Polish groupoids and functorial complexity
HTML articles powered by AMS MathViewer
- by Martino Lupini; with an appendix by Anush Tserunyan PDF
- Trans. Amer. Math. Soc. 369 (2017), 6683-6723 Request permission
Abstract:
We introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims to measure the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of principal groupoids such a notion coincides with the usual Borel complexity of equivalence relations. Our main result is that on one hand for Polish groupoids with an essentially treeable orbit equivalence relation, functorial Borel complexity coincides with the Borel complexity of the associated orbit equivalence relation. On the other hand, for every countable equivalence relation $E$ that is not treeable there are Polish groupoids with different functorial Borel complexity both having $E$ as orbit equivalence relation. In order to obtain such a conclusion we generalize some fundamental results about the descriptive set theory of Polish group actions to actions of Polish groupoids, answering a question of Arlan Ramsay. These include the Becker-Kechris results on Polishability of Borel $G$-spaces, existence of universal Borel $G$-spaces, and characterization of Borel $G$-spaces with Borel orbit equivalence relations.References
- Claire Anantharaman-Delaroche, Old and new about treeability and the Haagerup property for measured groupoids, arXiv:1105.5961 (2011).
- Martin Argerami, Samuel Coskey, Matthew Kennedy, Mehrdad Kalantar, Martino Lupini, and Marcin Sabok, The classification problem for finitely generated operator systems and spaces, arXiv:1411.0512 (2014).
- Howard Becker and Alexander S. Kechris, The descriptive set theory of Polish group actions, London Mathematical Society Lecture Note Series, vol. 232, Cambridge University Press, Cambridge, 1996. MR 1425877, DOI 10.1017/CBO9780511735264
- Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson, and Alexander Usvyatsov, Model theory for metric structures, Model theory with applications to algebra and analysis. Vol. 2, London Math. Soc. Lecture Note Ser., vol. 350, Cambridge Univ. Press, Cambridge, 2008, pp. 315–427. MR 2436146, DOI 10.1017/CBO9780511735219.011
- Itaï Ben Yaacov, Andre Nies, and Todor Tsankov, A Lopez-Escobar theorem for continuous logic, arXiv:1407.7102 (2014).
- B. Blackadar, Operator algebras, Encyclopaedia of Mathematical Sciences, vol. 122, Springer-Verlag, Berlin, 2006. Theory of $C^*$-algebras and von Neumann algebras; Operator Algebras and Non-commutative Geometry, III. MR 2188261, DOI 10.1007/3-540-28517-2
- Kenneth R. Davidson, Christopher Ramsey, and Orr Moshe Shalit, Operator algebras for analytic varieties, Trans. Amer. Math. Soc. 367 (2015), no. 2, 1121–1150. MR 3280039, DOI 10.1090/S0002-9947-2014-05888-1
- George A. Elliott, On the classification of inductive limits of sequences of semisimple finite-dimensional algebras, J. Algebra 38 (1976), no. 1, 29–44. MR 397420, DOI 10.1016/0021-8693(76)90242-8
- George A. Elliott, Towards a theory of classification, Adv. Math. 223 (2010), no. 1, 30–48. MR 2563210, DOI 10.1016/j.aim.2009.07.018
- George A. Elliott, Ilijas Farah, Vern I. Paulsen, Christian Rosendal, Andrew S. Toms, and Asger Törnquist, The isomorphism relation for separable $\textrm {C}^*$-algebras, Math. Res. Lett. 20 (2013), no. 6, 1071–1080. MR 3228621, DOI 10.4310/MRL.2013.v20.n6.a6
- Ruy Exel, Inverse semigroups and combinatorial $C^\ast$-algebras, Bull. Braz. Math. Soc. (N.S.) 39 (2008), no. 2, 191–313. MR 2419901, DOI 10.1007/s00574-008-0080-7
- Ilijas Farah, A dichotomy for the Mackey Borel structure, Proceedings of the 11th Asian Logic Conference, World Sci. Publ., Hackensack, NJ, 2012, pp. 86–93. MR 2868507, DOI 10.1142/9789814360548_{0}005
- Ilijas Farah, Logic and operator algebras, Proceedings of the International Congress of Mathematicians (Seoul, South Korea), 2014.
- Ilijas Farah, Andrew Toms, and Asger Törnquist, The descriptive set theory of $\textrm {C}^*$-algebra invariants, Int. Math. Res. Not. IMRN 22 (2013), 5196–5226. MR 3129097, DOI 10.1093/imrn/rns206
- Ilijas Farah, Andrew S. Toms, and Asger Törnquist, Turbulence, orbit equivalence, and the classification of nuclear $C^*$-algebras, J. Reine Angew. Math. 688 (2014), 101–146. MR 3176617, DOI 10.1515/crelle-2012-0053
- Valentin Ferenczi, Alain Louveau, and Christian Rosendal, The complexity of classifying separable Banach spaces up to isomorphism, J. Lond. Math. Soc. (2) 79 (2009), no. 2, 323–345. MR 2496517, DOI 10.1112/jlms/jdn068
- Matthew Foreman and Benjamin Weiss, An anti-classification theorem for ergodic measure preserving transformations, J. Eur. Math. Soc. (JEMS) 6 (2004), no. 3, 277–292. MR 2060477, DOI 10.4171/JEMS/10
- Harvey Friedman and Lee Stanley, A Borel reducibility theory for classes of countable structures, J. Symbolic Logic 54 (1989), no. 3, 894–914. MR 1011177, DOI 10.2307/2274750
- Su Gao, Invariant descriptive set theory, Pure and Applied Mathematics (Boca Raton), vol. 293, CRC Press, Boca Raton, FL, 2009. MR 2455198
- Su Gao and Alexander S. Kechris, On the classification of Polish metric spaces up to isometry, Mem. Amer. Math. Soc. 161 (2003), no. 766, viii+78. MR 1950332, DOI 10.1090/memo/0766
- Michael Hartz and Martino Lupini, The classification problem for operator algebraic varieties and their multiplier algebras, arXiv:1508.07044 (2015).
- Greg Hjorth, Non-smooth infinite-dimensional group representations (1997).
- Greg Hjorth, Classification and orbit equivalence relations, Mathematical Surveys and Monographs, vol. 75, American Mathematical Society, Providence, RI, 2000. MR 1725642, DOI 10.1090/surv/075
- Greg Hjorth and Alexander S. Kechris, Borel equivalence relations and classifications of countable models, Ann. Pure Appl. Logic 82 (1996), no. 3, 221–272. MR 1423420, DOI 10.1016/S0168-0072(96)00006-1
- Greg Hjorth and Alexander S. Kechris, New dichotomies for Borel equivalence relations, Bull. Symbolic Logic 3 (1997), no. 3, 329–346. MR 1476761, DOI 10.2307/421148
- S. Jackson, A. S. Kechris, and A. Louveau, Countable Borel equivalence relations, J. Math. Log. 2 (2002), no. 1, 1–80. MR 1900547, DOI 10.1142/S0219061302000138
- D. L. Johnson, Presentations of groups, 2nd ed., London Mathematical Society Student Texts, vol. 15, Cambridge University Press, Cambridge, 1997. MR 1472735, DOI 10.1017/CBO9781139168410
- Alexander S. Kechris and Alain Louveau, The classification of hypersmooth Borel equivalence relations, J. Amer. Math. Soc. 10 (1997), no. 1, 215–242. MR 1396895, DOI 10.1090/S0894-0347-97-00221-X
- Alexander S. Kechris, Countable sections for locally compact group actions, Ergodic Theory Dynam. Systems 12 (1992), no. 2, 283–295. MR 1176624, DOI 10.1017/S0143385700006751
- Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597, DOI 10.1007/978-1-4612-4190-4
- A. S. Kechris and N. E. Sofronidis, A strong generic ergodicity property of unitary and self-adjoint operators, Ergodic Theory Dynam. Systems 21 (2001), no. 5, 1459–1479. MR 1855842, DOI 10.1017/S0143385701001705
- David Kerr, Hanfeng Li, and Mikaël Pichot, Turbulence, representations, and trace-preserving actions, Proc. Lond. Math. Soc. (3) 100 (2010), no. 2, 459–484. MR 2595746, DOI 10.1112/plms/pdp036
- David Kerr, Martino Lupini, and N. Christopher Phillips, Borel complexity and automorphisms of $C^*$-algebras, J. Funct. Anal. 268 (2015), no. 12, 3767–3789. MR 3341964, DOI 10.1016/j.jfa.2015.01.023
- Eberhard Kirchberg and N. Christopher Phillips, Embedding of exact $C^*$-algebras in the Cuntz algebra $\scr O_2$, J. Reine Angew. Math. 525 (2000), 17–53. MR 1780426, DOI 10.1515/crll.2000.065
- Alex Kumjian, David Pask, Iain Raeburn, and Jean Renault, Graphs, groupoids, and Cuntz-Krieger algebras, J. Funct. Anal. 144 (1997), no. 2, 505–541. MR 1432596, DOI 10.1006/jfan.1996.3001
- Martino Lupini, Unitary equivalence of automorphisms of separable $\textrm {C}^*$-algebras, Adv. Math. 262 (2014), 1002–1034. MR 3228448, DOI 10.1016/j.aim.2014.05.022
- George W. Mackey, Borel structure in groups and their duals, Trans. Amer. Math. Soc. 85 (1957), 134–165. MR 89999, DOI 10.1090/S0002-9947-1957-0089999-2
- George W. Mackey, Ergodic theory, group theory, and differential geometry, Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 1184–1191. MR 165034, DOI 10.1073/pnas.50.6.1184
- Julien Melleray, Computing the complexity of the relation of isometry between separable Banach spaces, MLQ Math. Log. Q. 53 (2007), no. 2, 128–131. MR 2308492, DOI 10.1002/malq.200610032
- Julien Melleray, On the geometry of Urysohn’s universal metric space, Topology Appl. 154 (2007), no. 2, 384–403. MR 2278687, DOI 10.1016/j.topol.2006.05.005
- Julien Melleray and Todor Tsankov, Generic representations of abelian groups and extreme amenability, Israel J. Math. 198 (2013), no. 1, 129–167. MR 3096634, DOI 10.1007/s11856-013-0036-5
- Alan L. T. Paterson, Groupoids, inverse semigroups, and their operator algebras, Progress in Mathematics, vol. 170, Birkhäuser Boston, Inc., Boston, MA, 1999. MR 1724106, DOI 10.1007/978-1-4612-1774-9
- Arlan Ramsay, Virtual groups and group actions, Advances in Math. 6 (1971), 253–322 (1971). MR 281876, DOI 10.1016/0001-8708(71)90018-1
- Arlan Ramsay, The Mackey-Glimm dichotomy for foliations and other Polish groupoids, J. Funct. Anal. 94 (1990), no. 2, 358–374. MR 1081649, DOI 10.1016/0022-1236(90)90018-G
- Arlan B. Ramsay, Polish groupoids, Descriptive set theory and dynamical systems (Marseille-Luminy, 1996) London Math. Soc. Lecture Note Ser., vol. 277, Cambridge Univ. Press, Cambridge, 2000, pp. 259–271. MR 1774429
- Pedro Resende, Lectures on étale groupoids, inverse semigroups and quantales (2006).
- Marcin Sabok, Completeness of the isomorphism problem for separable $\rm C^\ast$-algebras, Invent. Math. 204 (2016), no. 3, 833–868. MR 3502066, DOI 10.1007/s00222-015-0625-5
- Ramez L. Sami, Polish group actions and the Vaught conjecture, Trans. Amer. Math. Soc. 341 (1994), no. 1, 335–353. MR 1022169, DOI 10.1090/S0002-9947-1994-1022169-2
- V. V. Uspenskij, On the group of isometries of the Urysohn universal metric space, Comment. Math. Univ. Carolin. 31 (1990), no. 1, 181–182. MR 1056185
- Robert Vaught, Invariant sets in topology and logic, Fund. Math. 82 (1974/75), 269–294. MR 363912, DOI 10.4064/fm-82-3-269-294
- Joseph Zielinski, The complexity of the homeomorphism relation between compact metric spaces, Adv. Math. 291 (2016), 635–645. MR 3459026, DOI 10.1016/j.aim.2015.11.051
Additional Information
- Martino Lupini
- Affiliation: Department of Mathematics and Statistics, N520 Ross, 4700 Keele Street, Toronto, Ontario M3J 1P3, Canada
- Address at time of publication: Department of Mathematics, California Institute of Technology, 1200 E. California Boulevard, MC 253-37, Pasadena, California 91125
- MR Author ID: 1071243
- Email: lupini@caltech.edu
- Anush Tserunyan
- Affiliation: Department of Mathematics, University of Illinois at Urbana-Champaign, 273 Altgeld Hall, 1409 W. Green Street (MC-382), Urbana, Illinois 61801
- MR Author ID: 853942
- Received by editor(s): March 17, 2016
- Received by editor(s) in revised form: September 27, 2016
- Published electronically: May 16, 2017
- Additional Notes: The author was supported by the York University Elia Scholars Program. This work was completed when the author was attending the Thematic Program on Abstract Harmonic Analysis, Banach and Operator Algebras at the Fields Institute. The hospitality of the Fields Institute is gratefully acknowledged.
- © Copyright 2017 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 369 (2017), 6683-6723
- MSC (2010): Primary 03E15, 22A22; Secondary 54H05
- DOI: https://doi.org/10.1090/tran/7102
- MathSciNet review: 3660238