Polish groupoids and functorial complexity

Lupini, Martino

doi:10.1090/tran/7102

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