An example of a non non-Archimedean Polish group with ample generics (Q2809213)

We say a Polish group \(G\) has ample generics if the diagonal action of \(G\) on \(G^n\) by conjugation has a comeager orbit for each \(n\). A Polish group is said to be non-Archimedean if it is isomorphic to a closed subgroup of \(S_\infty\).NEWLINENEWLINELet \(I\) be an \(\Sigma^0_2\) \(P\)-ideal which contains \(\mathrm{Fin}\), and is not a trivial modification of \(\mathrm{Fin}\), i.e., there is no \(A\subseteq\mathbb N\) such that NEWLINE\[NEWLINEI=\{B\subseteq\mathbb N:A\cap B\in\mathrm{Fin}\}.NEWLINE\]NEWLINE Then, \(S_I=\{g\in S_\infty:\mathrm{supp}(g)\in I\}\) is a non non-Archimedean Polish group with ample generics. This answered an open problem asked by \textit{A. S. Kechris} [in: European Congress of Mathematics. Proceedings of the 6th ECM congress, Kraków, Poland, July 2--7 July, 2012. Zürich: European Mathematical Society (EMS). 375--397 (2013; Zbl 1364.03046)].