Ordered structures and large conjugacy classes (Q2178555)

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.