Abstract:In recent years, much work has been done to measure and compare the complexity of orbit equivalence relations, especially for certain classes of Polish groups. We start by introducing some language to organize this previous work, namely the notion of classification strength of Polish groups. Broadly speaking, a Polish group $G$ has stronger classification strength than $H$ if every orbit equivalence relation induced by a continuous action of $H$ on a Polish space can be "emulated" by such an action of $G$ in the sense of Borel reduction. Among the non-Archimedean Polish groups, the groups with the highest classification strength are those that involve $S_\infty$, the Polish group of permutations of a countably-infinite set. We prove that several properties, including a weakening of the disjoint amalgamation in Fraïssé theory, a weakening of the existence of an absolute set of generating indiscernibles, and not having ordinal rank for a particular coanalytic rank function, are all equivalent to a non-Archimedean Polish group involving $S_\infty$. Furthermore, we show the equivalence relation $=^+$, which is a relatively simple benchmark equivalence relation in the theory of Borel reducibility, can only be classified by such groups that involve $S_\infty$.

Pettis property for Polish inverse semigroups

On the Polishness of the inverse semigroup $Γ(X)$ on a compact metric space $X$

Classifying the Polish semigroup topologies on the symmetric inverse monoid

Transitive representations of inverse semigroups

Non-concentration property of Patterson-Sullivan measures for Anosov subgroups

Classification Strength of Polish Groups I: Involving $S_\infty$

Topological embeddings into transformation monoids

Backward orbits and petals of semigroups of holomorphic self-maps of the unit disc

The Poincaré-extended ab-index

Inverse polynomials of numerical semigroup rings

Permutations of a semigroup that map to inverses

Some Properties of Affine -semigroups

Properties of Pettis-Aumann integration

Infinite convolutions of probability measures on Polish semigroups

Every Polish group has a non-trivial topological group automorphism

Non-concentration property of Patterson–Sullivan measures for Anosov subgroups

An inverse problem in Polya-Schur theory. I. Non-genegerate and degenerate operators

Exponential semi-polynomials and their characterization on semigroups

On semigroups of orientation-preserving partial permutations with restricted range

Graph inverse semigroups: their characterization and completion

Introduction to inverse semigroups