Abstract:Let $M$ be a compact, connected manifold of positive dimension and let $\mathcal G\leq\textrm{Homeo}(M)$ be \emph{locally approximating} in the sense that for all open $U\subseteq M$ compactly contained in a single Euclidean chart of $M$, the subgroup $\mathcal G[U]$ consisting of elements of $\mathcal G$ supported in $U$ is dense in the full group of homeomorphisms supported in $U$. We prove that $\mathcal G$ interprets first order arithmetic, as well as a first order predicate that encodes membership in finitely generated subgroups of $\mathcal G$. As a consequence, we show that if $\mathcal G$ is not finitely generated, then no group elementarily equivalent to $\mathcal G$ can be finitely generated. We show that many finitely generated locally approximating groups of homeomorphisms $\mathcal G$ of a manifold are prime models of their theories, and give conditions that guarantee any finitely presented group $G$ that is elementarily equivalent to $\mathcal G$ is isomorphic to $\mathcal G$. We thus recover some results of Lasserre about the model theory of Thompson's groups $F$ and $T$. Finally, we obtain several action rigidity result for locally approximating groups of homeomorphisms. If $\mathcal G$ acts in a locally approximating way on a compact, connected manifold $M$ then the dimension of $M$ is uniquely determined by the elementary equivalence class of $\mathcal G$. Moreover, if $\dim M\leq 3$ then $M$ is uniquely determined up to homeomorphism. In for general closed smooth manifolds, the homotopy type of $M$ is uniquely determined. In this way, we obtain a generalization of a well-known result of Rubin.

Actions of large finite groups on aspherical manifolds

Actions of large finite groups on manifolds

COMPACT LIE GROUP ACTIONS ON CLOSED MANIFOLDS OF NON-POSITIVE CURVATURE

Actions on positively curved manifolds and boundary in the orbit space

Actions of homeomorphism groups of manifolds admitting a nontrivial finite free action

Proper group actions in complex geometry

Conformal actions of solvable Lie groups on closed Lorentzian manifolds

Extending finite free actions of surfaces

Rigidity of Some Abelian-by-Cyclic Solvable Group Actions on 𝕋^N

Isometry groups with radical, and aspherical Riemannian manifolds with large symmetry I

Rigidity of braid group actions on $\mathbb{R}$ and of low-genus mapping class group actions on $S^1$

Locally approximating groups of homeomorphisms of manifolds

Some properties of Hamiltonian homeomorphisms on closed aspherical surfaces

Isometric actions of quaternionic symplectic groups

Finite, fiber- and orientation-preserving group actions on totally orientable Seifert manifolds

On finite symmetries of simply connected four-manifolds

3-Manifolds Which Admit Finite Group Actions

Global rigidity for some partially hyperbolic abelian actions with 1-dimensional center

Generic stabilizers for simple algebraic groups acting on orthogonal and symplectic Grassmannians

A free action of a finite group on 3-sphere equivalent to a linear action