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.

Oka-1 manifolds: New examples and properties

Runge and Mergelyan theorems on families of open Riemann surfaces

Gromov's Oka principle for equivariant maps

Holomorphic Maps from Sasakian Manifolds into Kähler Manifolds

Oka tubes in holomorphic line bundles

Flexibility Properties in Complex Analysis and Affine Algebraic Geometry

A soft Oka principle for proper holomorphic embeddings of open Riemann surfaces into $(\mathbb{C}^*)^2$

Oka properties of complements of holomorphically convex sets

Holomorphic geometric structures on Oeljeklaus-Toma manifolds

An implicit function theorem for sprays and applications to Oka theory

Explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds

Regular immersions directed by algebraically elliptic cones

Construction of real algebraic functions with prescribed preimages

Stein manifolds M for which O(M) has the property Ω-tilda

Holomorphic geometric structures on Oeljeklaus–Toma manifolds

On real algebraic maps whose images are domains surrounded by the products of hyperbolas and real affine spaces

Universal holomorphic maps with slow growth II. functional analysis methods

Finite-dimensional complex manifolds on commutative Banach algebras and continuous families of compact complex manifolds

Complex geometry of moment-angle manifolds

Locally approximating groups of homeomorphisms of manifolds

On holomorphic tubular neighborhoods of compact Riemann surfaces