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.

The Hilbert-Smith Conjecture

A symplectic Hilbert-Smith conjecture

On an Algebraic Formula and Applications to Group Action on Manifolds

Hilbert's Fifth Problem for Local Groups

Smale’s point estimate theory for Newton’s method on Lie groups

Fixed points of local actions of nilpotent Lie groups on surfaces

Conjugacy and Element-Conjugacy of Homomorphisms of Compact Lie Groups

An elementary proof of the chromatic Smith fixed point theorem

On the limit of simply connected manifolds with discrete isometric cocompact group actions

Fixed points of Lie group actions on moduli spaces: A tale of two actions

Totally disconnected locally compact groups locally of finite rank

Countable approximation of topological $G$-manifolds: compact Lie groups $G$

Subgroup Proximity in Banach Lie Groups

Galois Symmetry of Topological Manifolds

Topological fundamental groupoid. I

Topological automorphism groups of compact quantum groups

Torsion groups of subexponential growth cannot act on finite-dimensional CAT(0)-spaces without a fixed point

The Nub of an Automorphism of a Totally Disconnected, Locally Compact Group

Conformal actions of solvable Lie groups on closed Lorentzian manifolds

Locally approximating groups of homeomorphisms of manifolds

Locally Compact Groups and Locally Minimal Group Topologies