Generic elements in isometry groups of Polish ultrametric spaces (Q2339606)

A space \(X\) is called \textit{Polish} if \(X\) is separable and completely metrizable. A metric space \((X,d)\) is \textit{ultrametric} if \(d(x,z) \leq \max\{d(x,y), d(y,z)\}\) for all \(x,y,z\in X\). Given a group \(G\) and a natural number \(n\geq 2\), the \textit{digonal conjugation action} of \(G\) on \(G^n\) is defined by the formula \[ g\cdot(g_1, \ldots,g_n) = (gg_1g^{-1}, \ldots, gg_ng^{-1}), \] for all \(g,g_1,\ldots, g_n\in G\). A Polish group \(G\) is said to have \textit{ample generics} if its diagonal conjugation action on \(G^n\) has a comeager orbit for every \(n\geq 2\). For any Polish space \(X\), its isometry group Iso\((X)\) is the set of all isometries on \(X\) endowed with the pointwise convergence topology. The main result of the paper is a characterization of Polish ultrametric spaces \(X\) such that Iso\((X)\) has a neighborhood basis at the identity consisting of open subgroups with ample generics.