The structure of random automorphisms of countable structures
HTML articles powered by AMS MathViewer
- by Udayan B. Darji, Márton Elekes, Kende Kalina, Viktor Kiss and Zoltán Vidnyánszky PDF
- Trans. Amer. Math. Soc. 371 (2019), 8829-8848 Request permission
Abstract:
In order to understand the structure of the “typical” element of an automorphism group, one has to study how large the conjugacy classes of the group are. When typical is meant in the sense of Baire category, a complete description of the size of the conjugacy classes has been given by Kechris and Rosendal. Following Dougherty and Mycielski, we investigate the measure theoretic dual of this problem, using Christensen’s notion of Haar null sets. When typical means random, that is, almost every with respect to this notion of Haar null sets, the behavior of the automorphisms is entirely different from the Baire category case. In this paper we generalize the theorems of Dougherty and Mycielski about $S_\infty$ to arbitrary automorphism groups of countable structures isolating a new model theoretic property, the cofinal strong amalgamation property. As an application, we show that a large class of automorphism groups can be decomposed into the union of a meager and a Haar null set.References
- 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
- Nilson C. Bernardes Jr. and Udayan B. Darji, Graph theoretic structure of maps of the Cantor space, Adv. Math. 231 (2012), no. 3-4, 1655–1680. MR 2964619, DOI 10.1016/j.aim.2012.05.024
- Jens Peter Reus Christensen, On sets of Haar measure zero in abelian Polish groups, Israel J. Math. 13 (1972), 255–260 (1973). MR 326293, DOI 10.1007/BF02762799
- Michael P. Cohen and Robert R. Kallman, Openly Haar null sets and conjugacy in Polish groups, Israel J. Math. 215 (2016), no. 1, 1–30. MR 3551893, DOI 10.1007/s11856-016-1374-y
- U. B. Darji, M. Elekes, K. Kalina, V. Kiss, and Z. Vidnyánszky, The structure of random automorphisms of the random graph, arXiv:1808.06121 (2018).
- U. B. Darji, M. Elekes, K. Kalina, V. Kiss, and Z. Vidnyánszky, The structure of random automorphisms of the rational numbers, arXiv:1808.07466 (2018).
- U. B. Darji, M. Elekes, K. Kalina, V. Kiss, and Z. Vidnyánszky, The structure of random homeomorphisms, arxiv:1705.01884 (2017).
- Randall Dougherty and Jan Mycielski, The prevalence of permutations with infinite cycles, Fund. Math. 144 (1994), no. 1, 89–94. MR 1271480
- E. Glasner and B. Weiss, The universal minimal system for the group of homeomorphisms of the Cantor set, Fund. Math. 176 (2003), no. 3, 277–289. MR 1992824, DOI 10.4064/fm176-3-6
- A. M. W. Glass, Ordered permutation groups, London Mathematical Society Lecture Note Series, vol. 55, Cambridge University Press, Cambridge-New York, 1981. MR 645351
- Graham Higman, B. H. Neumann, and Hanna Neumann, Embedding theorems for groups, J. London Math. Soc. 24 (1949), 247–254. MR 32641, DOI 10.1112/jlms/s1-24.4.247
- Wilfrid Hodges, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR 1221741, DOI 10.1017/CBO9780511551574
- Wilfrid Hodges, Ian Hodkinson, Daniel Lascar, and Saharon Shelah, The small index property for $\omega$-stable $\omega$-categorical structures and for the random graph, J. London Math. Soc. (2) 48 (1993), no. 2, 204–218. MR 1231710, DOI 10.1112/jlms/s2-48.2.204
- 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
- Alexander S. Kechris and Christian Rosendal, Turbulence, amalgamation, and generic automorphisms of homogeneous structures, Proc. Lond. Math. Soc. (3) 94 (2007), no. 2, 302–350. MR 2308230, DOI 10.1112/plms/pdl007
- Jan Mycielski, Some unsolved problems on the prevalence of ergodicity, instability, and algebraic independence, Ulam Quart. 1 (1992), no. 3, 30ff., approx. 8 pp. (electronic only). MR 1208681
- James H. Schmerl, Decidability and $\aleph _{0}$-categoricity of theories of partially ordered sets, J. Symbolic Logic 45 (1980), no. 3, 585–611. MR 583376, DOI 10.2307/2273425
- Sławomir Solecki, Haar null and non-dominating sets, Fund. Math. 170 (2001), no. 1-2, 197–217. Dedicated to the memory of Jerzy Łoś. MR 1881376, DOI 10.4064/fm170-1-11
- J. K. Truss, Generic automorphisms of homogeneous structures, Proc. London Math. Soc. (3) 65 (1992), no. 1, 121–141. MR 1162490, DOI 10.1112/plms/s3-65.1.121
Additional Information
- Udayan B. Darji
- Affiliation: Department of Mathematics, University of Louisville, Louisville, Kentucky 40292; and Ashoka University, Rajiv Gandhi Education City, Kundli, Rai 131029, India
- MR Author ID: 318780
- ORCID: 0000-0002-2899-919X
- Email: ubdarj01@louisville.edu
- Márton Elekes
- Affiliation: Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, P.O. Box 127, 1364 Budapest, Hungary; and Eötvös Loránd University, Institute of Mathematics, Pázmány Péter sétány 1/c, 1117 Budapest, Hungary
- Email: elekes.marton@renyi.mta.hu
- Kende Kalina
- Affiliation: Eötvös Loránd University, Institute of Mathematics, Pázmány Péter sétány 1/c, 1117 Budapest, Hungary
- MR Author ID: 1134570
- Email: kkalina@cs.elte.hu
- Viktor Kiss
- Affiliation: Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, P.O. Box 127, 1364 Budapest, Hungary; and Eötvös Loránd University, Institute of Mathematics, Pázmány Péter sétány 1/c, 1117 Budapest, Hungary
- MR Author ID: 1105923
- Email: kiss.viktor@renyi.mta.hu
- Zoltán Vidnyánszky
- Affiliation: Kurt Gödel Research Center for Mathematical Logic, Universität Wien, Währinger Straße 25, 1090 Wien, Austria; and Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, P.O. Box 127, 1364 Budapest, Hungary
- Email: zoltan.vidnyanszky@univie.ac.at
- Received by editor(s): August 24, 2018
- Received by editor(s) in revised form: November 10, 2018
- Published electronically: February 25, 2019
- Additional Notes: The second, fourth, and fifth authors were partially supported by the National Research, Development and Innovation Office—NKFIH, grants no. 113047, no. 104178, and no. 124749.
The fifth author was also supported by FWF grant no. P29999. - © Copyright 2019 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 371 (2019), 8829-8848
- MSC (2010): Primary 03E15, 22F50; Secondary 03C15, 28A05, 54H11, 28A99
- DOI: https://doi.org/10.1090/tran/7758
- MathSciNet review: 3955566