Ordered structures and large conjugacy classes

DOI10.1016/J.JALGEBRA.2020.03.021MaRDI QIDQ2178555zbMATH OpenOpenAlexFDO

Authors Aleksandra Kwiatkowska, Maciej Malicki

Publication date 11 May 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1903.00936

zbMATH Keywords

ample genericsextreme amenabilityPolish non-Archimedean groups

Mathematics Subject Classification ID

Descriptive set theory (03E15) Topological groups (topological aspects) (54H11)

Abstract: This article is a contribution to the following problem: does there exist a Polish non-archimedean group (equivalently: automorphism group of a Fraisse limit) that is extremely amenable, and has ample generics. As Fraisse limits whose automorphism groups are extremely amenable must be ordered, i.e., equipped with a linear ordering, we focus on ordered Fraisse limits. We prove that automorphism groups of the universal ordered boron tree, and the universal ordered poset have a comeager conjugacy class but no comeager $2$-dimensional diagonal conjugacy class. We also provide general conditions implying that there is no comeager conjugacy class, comeager $2$-dimensional diagonal conjugacy class or non-meager $2$-dimensional topological similarity class in the automorphism group of an ordered Fraisse limit. We provide a number of applications of these results.

Review text

A~Polish group~\(G\) is extremely amenable if every continuous action of~\(G\) on a~compact space has a~fixed point. The group~\(G\) has ample generics if for every \(n\ge1\) there exists \((g_1,\dots,g_n)\in G^n\) such that the \(n\)-dimensional diagonal conjugacy class \(\{(gg_1g^{-1},\dots,gg_ng^{-1}):g\in G\}\) is comeager in~\(G^n\). The paper is a~contribution to the question whether there exists a~Polish non-archimedean group~\(G\) that is extremely amenable and has ample generics. The authors focus on ordered Fraïsé limits since non-archimedean groups are automorphism groups of Fraïsé limits (which are ordered if the groups are extremely amenable). In particular, they prove that the automorphism groups of the universal ordered boron tree and of the universal ordered poset have a~comeager conjugacy class but no comeager 2-dimensional diagonal conjugacy class. The authors find conditions for the ordered Fraïsé limits so that their automorphism groups have no comeager conjugacy class, or no comeager 2-dimensional diagonal conjugacy class, or no non-meager 2-dimensional topological similarity class. These results have a~number of applications.

Recommendations

• Ordered asymptotic classes of finite structures
• Congruences on ordered groupoids
• scientific article; zbMATH DE number 169445
• Regular congruence classes of ordered semigroups
• scientific article; zbMATH DE number 4010579
• scientific article; zbMATH DE number 4152438
• Order relations on conjugacy classes and the Kazhdan-Lusztig map
• scientific article; zbMATH DE number 3217945
• A very large class of small varieties of lattice-ordered groups¹
• On conjugacy and order structure of certain classes of finite groups.

Cites work

• Connected Polish groups with ample generics
• Ergodic behavior of diagonal measures and a theorem of Szemeredi on arithmetic progressions
• Extendability of automorphisms of generic substructures
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• Generic Automorphisms of Homogeneous Structures
• Generic automorphisms of the universal partial order
• Generic expansions of ω-categorical structures and semantics of generalized quantifiers
• Generic representations of countable groups
• More on the Kechris-Pestov-Todorcevic correspondence: precompact expansions
• Non-genericity phenomena in ordered Fraïssé classes
• On amenability and groups of measurable maps
• Ramsey degrees of boron tree structures
• Ramsey precompact expansions of homogeneous directed graphs
• SOME TREELIKE OBJECTS
• The classification of countable homogeneous directed graphs and countable homogeneous 𝑛-tournaments
• Turbulence, amalgamation, and generic automorphisms of homogeneous structures

Cited in

(8)

• Conjugacy for homogeneous ordered graphs
• Comeagre conjugacy classes and free products with amalgamation
• Remarks on weak amalgamation and large conjugacy classes in non-Archimedean groups
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• An example of a non non-Archimedean Polish group with ample generics
• Non-genericity phenomena in ordered Fraïssé classes
• ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE
• Elements of finite order in automorphism groups of homogeneous structures.

This page was built for publication: Ordered structures and large conjugacy classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2178555)