Automorphism groups of finite topological rank

Kaplan, Itay; Simon, Pierre

doi:10.1090/tran/7674

Automorphism groups of finite topological rank
HTML articles powered by AMS MathViewer

by Itay Kaplan and Pierre Simon PDF

Trans. Amer. Math. Soc. 372 (2019), 2011-2043

Abstract:

We offer a criterion for showing that the automorphism group of an ultrahomogeneous structure is topologically 2-generated and even has a cyclically dense conjugacy class. We then show how finite topological rank of the automorphism group of an $\omega$-categorical structure can go down to reducts. Together, those results prove that a large number of $\omega$-categorical structures that appear in the literature have an automorphism group of finite topological rank. In fact, we are not aware of any $\omega$-categorical structure to which they do not apply (assuming the automorphism group has no compact quotients). We end with a few questions and conjectures.

References

Fred G. Abramson and Leo A. Harrington, Models without indiscernibles, J. Symbolic Logic 43 (1978), no. 3, 572–600. MR 503795, DOI 10.2307/2273534
Joseph Auslander, Minimal flows and their extensions, North-Holland Mathematics Studies, vol. 153, North-Holland Publishing Co., Amsterdam, 1988. Notas de Matemática [Mathematical Notes], 122. MR 956049
Manuel Bodirsky, Ramsey classes: examples and constructions, Surveys in combinatorics 2015, London Math. Soc. Lecture Note Ser., vol. 424, Cambridge Univ. Press, Cambridge, 2015, pp. 1–48. MR 3497266
Gabriel Conant, An axiomatic approach to free amalgamation, J. Symb. Log. 82 (2017), no. 2, 648–671. MR 3663421, DOI 10.1017/jsl.2016.42
Gregory Cherlin, Saharon Shelah, and Niandong Shi, Universal graphs with forbidden subgraphs and algebraic closure, Adv. in Appl. Math. 22 (1999), no. 4, 454–491. MR 1683298, DOI 10.1006/aama.1998.0641
M. Droste, W. C. Holland, and H. D. Macpherson, Automorphism groups of infinite semilinear orders. I, II, Proc. London Math. Soc. (3) 58 (1989), no. 3, 454–478, 479–494. MR 988099, DOI 10.1112/plms/s3-58.3.454
U. B. Darji and J. D. Mitchell, Approximation of automorphisms of the rationals and the random graph, J. Group Theory 14 (2011), no. 3, 361–388. MR 2794373, DOI 10.1515/JGT.2010.057
David M. Evans and P. R. Hewitt, Counterexamples to a conjecture on relative categoricity, Ann. Pure Appl. Logic 46 (1990), no. 2, 201–209. MR 1042609, DOI 10.1016/0168-0072(90)90034-Y
David M. Evans and Ehud Hrushovski, On the automorphism groups of finite covers, Ann. Pure Appl. Logic 62 (1993), no. 2, 83–112. Stability in model theory, III (Trento, 1991). MR 1226301, DOI 10.1016/0168-0072(93)90168-D
David M. Evans, $\aleph _0$-categorical structures with a predimension, Ann. Pure Appl. Logic 116 (2002), no. 1-3, 157–186. MR 1900903, DOI 10.1016/S0168-0072(01)00109-9
Szymon Głąb and Filip Strobin, Large free subgroups of automorphism groups of ultrahomogeneous spaces, Colloq. Math. 140 (2015), no. 2, 279–295. MR 3371779, DOI 10.4064/cm140-2-7
A. M. W. Glass, Ordered permutation groups, London Mathematical Society Lecture Note Series, vol. 55, Cambridge University Press, Cambridge-New York, 1981. MR 645351
Jan Hubička and Jaroslav Nešetřil, All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), arXiv: 1606.07979, (2016).
Wilfrid Hodges, Categoricity and permutation groups, Logic Colloquium ’87 (Granada, 1987) Stud. Logic Found. Math., vol. 129, North-Holland, Amsterdam, 1989, pp. 53–72. MR 1015304, DOI 10.1016/S0049-237X(08)70124-1
Wilfrid Hodges, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR 1221741, DOI 10.1017/CBO9780511551574
A. Ivanov, A countably categorical theory which is not $G$-compact, Siberian Adv. Math. 20 (2010), no. 2, 75–82. MR 2668073, DOI 10.3103/S105513441002001X
Julius Jonušas and James Mitchell, Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs, Forum Math. 29 (2017), no. 4, 905–939. MR 3669009, DOI 10.1515/forum-2016-0056
Markus Junker and Martin Ziegler, The 116 reducts of $(\Bbb Q,<,a)$, J. Symbolic Logic 73 (2008), no. 3, 861–884. MR 2444273, DOI 10.2178/jsl/1230396752
Aleksandra Kwiatkowska and Maciej Malicki, Groups of measurable functions, arXiv:1612.03106, (2017).
A. S. Kechris, V. G. Pestov, and S. Todorcevic, Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups, Geom. Funct. Anal. 15 (2005), no. 1, 106–189. MR 2140630, DOI 10.1007/s00039-005-0503-1
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
Daniel Lascar, On the category of models of a complete theory, J. Symbolic Logic 47 (1982), no. 2, 249–266. MR 654786, DOI 10.2307/2273140
Daniel Lascar, Autour de la propriété du petit indice, Proc. London Math. Soc. (3) 62 (1991), no. 1, 25–53 (French, with English summary). MR 1078212, DOI 10.1112/plms/s3-62.1.25
A. H. Lachlan and Robert E. Woodrow, Countable ultrahomogeneous undirected graphs, Trans. Amer. Math. Soc. 262 (1980), no. 1, 51–94. MR 583847, DOI 10.1090/S0002-9947-1980-0583847-2
H. D. Macpherson, Groups of automorphisms of $\aleph _0$-categorical structures, Quart. J. Math. Oxford Ser. (2) 37 (1986), no. 148, 449–465. MR 868619, DOI 10.1093/qmath/37.4.449
Dugald Macpherson, A survey of homogeneous structures, Discrete Math. 311 (2011), no. 15, 1599–1634. MR 2800979, DOI 10.1016/j.disc.2011.01.024
Isabel Müller, Fraïssé structures with universal automorphism groups, J. Algebra 463 (2016), 134–151. MR 3527542, DOI 10.1016/j.jalgebra.2016.06.010
Jaroslav Ne et il, Ramsey classes and homogeneous structures, Combin. Probab. Comput. 14 (2005), no. 1-2, 171–189. MR 2128088, DOI 10.1017/S0963548304006716
B. H. Neumann, Groups covered by permutable subsets, J. London Math. Soc. 29 (1954), 236–248. MR 62122, DOI 10.1112/jlms/s1-29.2.236
Jaroslav Ne et il and Vojtěch Rödl, Ramsey classes of set systems, J. Combin. Theory Ser. A 34 (1983), no. 2, 183–201. MR 692827, DOI 10.1016/0097-3165(83)90055-9
Rodrigo Peláez Peláez, About the Lascar group, Ph.D. thesis, University of Barcelona, 2008.
James H. Schmerl, Countable homogeneous partially ordered sets, Algebra Universalis 9 (1979), no. 3, 317–321. MR 544855, DOI 10.1007/BF02488043
Lynn Scow, Indiscernibles, EM-types, and Ramsey classes of trees, Notre Dame J. Form. Log. 56 (2015), no. 3, 429–447. MR 3373612, DOI 10.1215/00294527-3132797
Stephen Silverman, On maps with dense orbits and the definition of chaos, Rocky Mountain J. Math. 22 (1992), no. 1, 353–375. MR 1159963, DOI 10.1216/rmjm/1181072815
Pierre Simon, A guide to NIP theories, Lecture Notes in Logic, vol. 44, Association for Symbolic Logic, Chicago, IL; Cambridge Scientific Publishers, Cambridge, 2015. MR 3560428, DOI 10.1017/CBO9781107415133
Sławomir Solecki, Extending partial isometries, Israel J. Math. 150 (2005), 315–331. MR 2255813, DOI 10.1007/BF02762385
Katrin Tent and Martin Ziegler, A course in model theory, Lecture Notes in Logic, vol. 40, Association for Symbolic Logic, La Jolla, CA; Cambridge University Press, Cambridge, 2012. MR 2908005, DOI 10.1017/CBO9781139015417
Katrin Tent and Martin Ziegler, On the isometry group of the Urysohn space, J. Lond. Math. Soc. (2) 87 (2013), no. 1, 289–303. MR 3022717, DOI 10.1112/jlms/jds027
Martin Ziegler, Introduction to the Lascar group, Tits buildings and the model theory of groups (Würzburg, 2000) London Math. Soc. Lecture Note Ser., vol. 291, Cambridge Univ. Press, Cambridge, 2002, pp. 279–298. MR 2018391, DOI 10.1017/CBO9780511549786.013