-
Elementary equivalence and diffeomorphism groups of smooth manifolds
Authors:
Sang-hyun Kim,
Thomas Koberda,
J. de la Nuez González
Abstract:
Let two smooth manifolds $M$ and $N$ be given, with $M$ closed and connected. If the $C^r$--diffeomorphism group of $M$ is elementarily equivalent to the $C^s$--diffeomorphism group of $N$ for some $r,s\in[1,\infty)\cup\{0,\infty\}$, then $r=s$ and $M$ and $N$ are $C^r$--xdiffeomorphic. This strengthens a previously known result by Takens and Filipkiewicz, which implies that a group isomorphism be…
▽ More
Let two smooth manifolds $M$ and $N$ be given, with $M$ closed and connected. If the $C^r$--diffeomorphism group of $M$ is elementarily equivalent to the $C^s$--diffeomorphism group of $N$ for some $r,s\in[1,\infty)\cup\{0,\infty\}$, then $r=s$ and $M$ and $N$ are $C^r$--xdiffeomorphic. This strengthens a previously known result by Takens and Filipkiewicz, which implies that a group isomorphism between diffeomorphism groups of closed manifolds necessarily arises from a diffeomorphism of the underlying manifolds, provided the regularity lies in $\mathbb{N}\cup\{\infty\}$. We prove an analogous result for groups of diffeomorphisms preserving smooth volume forms, in dimension at least two.
△ Less
Submitted 10 July, 2025;
originally announced July 2025.
-
Sharply k-transitive actions on ultrahomogeneous structures
Authors:
J. de la Nuez González,
Rob Sullivan
Abstract:
Given an action of a group $G$ by automorphisms on an infinite relational structure $\mathcal{M}$, we say that the action is structurally sharply $k$-transitive if, for any two $k$-tuples $\bar{a}, \bar{b} \in M^k$ of distinct elements such that $\bar{a} \mapsto \bar{b}$ is an isomorphism, there exists exactly one element of $G$ sending $\bar{a}$ to $\bar{b}$. This generalises the well-known notio…
▽ More
Given an action of a group $G$ by automorphisms on an infinite relational structure $\mathcal{M}$, we say that the action is structurally sharply $k$-transitive if, for any two $k$-tuples $\bar{a}, \bar{b} \in M^k$ of distinct elements such that $\bar{a} \mapsto \bar{b}$ is an isomorphism, there exists exactly one element of $G$ sending $\bar{a}$ to $\bar{b}$. This generalises the well-known notion of a sharply $k$-transitive action on a set. We show that, for $k \leq 3$, a wide range of countable ultrahomogeneous structures admit structurally sharply $k$-transitive actions by finitely generated virtually free groups, giving a substantial answer to a question of Cameron from the book Oligomorphic Permutation Groups. We also show that the random $k$-hypertournament admits a structurally sharply $k$-transitive action for $k=4,5$, and that $\mathbb{Q}$ and several of its reducts admit structurally sharply $k$-transitive actions for all $k$. (This contrasts with the case of sets, where for $k \geq 4$ there are no sharply $k$-transitive actions on infinite sets by results of Tits and Hall.) We also show the existence of sharply $2$-transitive actions of finitely generated virtually free groups on an infinite set, solving the open question of whether such actions exist for hyperbolic groups.
[Note: this is an early working draft.]
△ Less
Submitted 16 February, 2025;
originally announced February 2025.
-
Locally approximating groups of homeomorphisms of manifolds
Authors:
Thomas Koberda,
J. de la Nuez González
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…
▽ More
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.
△ Less
Submitted 11 November, 2024; v1 submitted 21 October, 2024;
originally announced October 2024.
-
Group topologies on groups of bi-absolutely continuous homeomorphisms
Authors:
J. de la Nuez González
Abstract:
The group of homeomorphisms of the closed interval that are orientation preserving, absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $τ_{ac}$. We observe that, more generally, under some conditions on a compact space endowed with a finite Borel measure an analogous Polish group topology can be defined on the subgroup of t…
▽ More
The group of homeomorphisms of the closed interval that are orientation preserving, absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $τ_{ac}$. We observe that, more generally, under some conditions on a compact space endowed with a finite Borel measure an analogous Polish group topology can be defined on the subgroup of the homeomorphism group which push forward the measure to another one with which it is mutually absolutely continuous. We use a probabilistic argument involving approximations by supmartingale processes to show that in many cases there is no group topology between $τ_{ac}$ and the restriction $τ_{co}$ of the compact-open topology. This applies, in particular, to any compact topological manifold equipped with an Oxtoby-Ulam measure and to the Cantor space endowed with some natural Borel measures. In fact, we show that in such cases any separable group topology strictly finer than $τ_{co}$ has to be also finer than $τ_{ac}$. For one-dimensional manifolds well-known arguments show that the compact-open topology is a minimum Hausdroff group topology on the group, which implies that $τ_{co}$ and $τ_{ac}$ are the only Hausdorff group topologies coarser than $τ_{ac}$. We also show that while Solecki's example is not Roelcke precompact, the group of bi-absolutely continuous homeomorphisms of the Cantor space endowed with the measure given by the Fräissé limit of the class of measured boolean algebras with rational probability measures is Roelcke precompact.
△ Less
Submitted 1 January, 2024;
originally announced January 2024.
-
Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
Authors:
Thomas Koberda,
J. de la Nuez González
Abstract:
We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded dimension. As a consequence, many classical problems in group theory and geometry (e.g.~the linearity of mapping classes of compact $2$--manifolds) are encoded as…
▽ More
We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded dimension. As a consequence, many classical problems in group theory and geometry (e.g.~the linearity of mapping classes of compact $2$--manifolds) are encoded as elementary properties homeomorphism groups of manifolds. Furthermore, the homeomorphism group interprets the Borel and projective hierarchies of the homeomorphism group. Finally, we show that the collection of sentences that isolate the homeomorphism group of a particular manifold, or that isolate the homeomorphism groups of manifolds in general, is not definable in arithmetic, and that membership of particular sentences in these collections cannot be proved in ZFC.
△ Less
Submitted 6 February, 2024; v1 submitted 26 December, 2023;
originally announced December 2023.
-
The compact-open topology on the diffeomorphism or homeomorphism group of a smooth manifold without boundary is minimal in almost all dimensions
Authors:
J. de la Nuez González
Abstract:
We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group topology. This implies the minimality of the compact-open topology on the homeomorphism group of $M$ in all dimensions different from $3$ and $4$. In those case…
▽ More
We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group topology. This implies the minimality of the compact-open topology on the homeomorphism group of $M$ in all dimensions different from $3$ and $4$. In those cases for which in addition to all of this automatic continuity is known to hold, such as when $M$ is closed, one can conclude that the compact-open topology is the unique separable Hausdorff group topology on the homeomorphism group.
△ Less
Submitted 16 April, 2024; v1 submitted 20 March, 2023;
originally announced March 2023.
-
First order rigidity of homeomorphism groups of manifolds
Authors:
Sang-hyun Kim,
Thomas Koberda,
J. de la Nuez González
Abstract:
For every compact, connected manifold $M$, we prove the existence of a sentence $φ_M$ in the language of groups such that the homeomorphism group of another compact manifold $N$ satisfies $φ_M$ if and only if $N$ is homeomorphic to $M$. We prove the analogous statement for groups of homeomorphisms preserving an Oxtoby--Ulam probability measure.
For every compact, connected manifold $M$, we prove the existence of a sentence $φ_M$ in the language of groups such that the homeomorphism group of another compact manifold $N$ satisfies $φ_M$ if and only if $N$ is homeomorphic to $M$. We prove the analogous statement for groups of homeomorphisms preserving an Oxtoby--Ulam probability measure.
△ Less
Submitted 11 March, 2025; v1 submitted 2 February, 2023;
originally announced February 2023.
-
The compact-open topology on the homeomorphism group of a surface without boundary is minimal
Authors:
J. de la Nuez González
Abstract:
We show that the homeomorphism group of a surface without boundary does not admit a Hausdorff group topology strictly coarser than the compact-open topology. In combination with known automatic continuity results, this implies that the compact-open topology is the unique Hausdorff separable group topology on the group if the surface is closed or the complement in a closed surface of either a finit…
▽ More
We show that the homeomorphism group of a surface without boundary does not admit a Hausdorff group topology strictly coarser than the compact-open topology. In combination with known automatic continuity results, this implies that the compact-open topology is the unique Hausdorff separable group topology on the group if the surface is closed or the complement in a closed surface of either a finite set or the union of a finite set and a Cantor set.
△ Less
Submitted 6 November, 2022; v1 submitted 31 October, 2022;
originally announced October 2022.
-
Planar graphs with separation are dp-minimal
Authors:
Javier de la Nuez González
Abstract:
We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.
We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.
△ Less
Submitted 20 May, 2022;
originally announced May 2022.
-
Non-Roelcke precompactness of groups of surface homeomorphisms
Authors:
Javier de la Nuez Gonzalez
Abstract:
We prove that no subgroup of the group of boundary-fixing homeomorphisms of a compact surface whose action on the interior of the surface is sufficiently transitive can be Roelcke precompact with the topology inherited from the compact-open topology.
We prove that no subgroup of the group of boundary-fixing homeomorphisms of a compact surface whose action on the interior of the surface is sufficiently transitive can be Roelcke precompact with the topology inherited from the compact-open topology.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
On the elementary theory of graph products of groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov,
Javier de la Nuez González
Abstract:
In this paper we study the elementary theory of graph products of groups and show that under natural conditions on the vertex groups we can recover (the core of) the underlying graph and the associated vertex groups. More precisely, we require the vertex groups to satisfy a non-generic almost positive sentence, a condition which generalizes a range of natural ``non-freeness conditions" such as the…
▽ More
In this paper we study the elementary theory of graph products of groups and show that under natural conditions on the vertex groups we can recover (the core of) the underlying graph and the associated vertex groups. More precisely, we require the vertex groups to satisfy a non-generic almost positive sentence, a condition which generalizes a range of natural ``non-freeness conditions" such as the satisfaction of a group law, having nontrivial center or being boundedly simple.
As a corollary, we determine an invariant of the elementary theory of a right-angled Artin group, the core of the defining graph, which we conjecture to determine the elementary class of the RAAG. We further combine our results with the results of Sela on free products of groups to describe all finitely generated groups elementarily equivalent to certain RAAGs. We also deduce rigidity results on the elementary classification of graph products of groups for specific types of vertex groups, such as finite, nilpotent or classical linear groups.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
The model theory of the curve graph
Authors:
Valentina Disarlo,
Thomas Koberda,
J. de la Nuez González
Abstract:
In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups?
More specifically, we consi…
▽ More
In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups?
More specifically, we consider a surface $Σ$ of finite type and its curve graph $\mathcal C(Σ)$, and we investigate its first-order theory in the language of graph theory. Crucially, $\mathcal C(Σ)$ is bi-interpretable with a certain object called the augmented Cayley graph of the mapping class group of the surface. We use this bi-interpretation to prove that the theory of the curve graph is $ω$--stable, to compute its Morley rank, and to show that it has quantifier elimination with respect to the class of $\forall\exists$--formulae. We also show that many of the complexes which are naturally associated to a surface are interpretable in $\mathcal C(Σ)$. This shows that these complexes are all $ω$--stable and admit certain a priori bounds on their Morley ranks. We are able to use Morley ranks to prove that various complexes are not bi--interpretable with the curve graph. As a consequence of quantifier elimination, we show that algebraic intersection number is not definable in the first order theory of the curve graph. Finally, we prove that the curve graph of a surface enjoys a novel phenomenon that we call interpretation rigidity. That is, if surfaces $Σ_1$ and $Σ_2$ admits curve graphs that are mutually interpretable, then $Σ_1$ and $Σ_2$ are homeomorphic to each other. Along the way, numerous technical results are obtained.
△ Less
Submitted 9 June, 2023; v1 submitted 24 August, 2020;
originally announced August 2020.
-
Simple groups with infinite verbal width and the same positive theory as free groups
Authors:
Montserrat Casals-Ruiz,
Albert Garreta,
Ilya Kazachkov,
Javier de la Nuez González
Abstract:
In this paper we show that there exists an uncountable family of finitely generated simple groups with the same positive theory as any non-abelian free group. In particular, these simple groups have infinite $w$-verbal width for all non-trivial words $w$.
In this paper we show that there exists an uncountable family of finitely generated simple groups with the same positive theory as any non-abelian free group. In particular, these simple groups have infinite $w$-verbal width for all non-trivial words $w$.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
On the positive theory of groups acting on trees
Authors:
Montserrat Casals-Ruiz,
Albert Garreta,
Javier de la Nuez González
Abstract:
We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group. Our results apply to a wide class of groups, including non-virtually solvable fundamental groups of $3$-manifold groups, generalised Baumslag-Solitar groups and…
▽ More
We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group. Our results apply to a wide class of groups, including non-virtually solvable fundamental groups of $3$-manifold groups, generalised Baumslag-Solitar groups and almost all one-relator groups and graph products of groups. It follows that groups in the class satisfy a number of algebraic properties: for instance, their verbal subgroups have infinite width and, although some groups in the class are simple, they cannot be boundedly simple.
In order to prove these results we describe a uniform way for constructing (weak) small cancellation tuples from (weakly) stable elements. This result of interest in its own is fundamental to obtain corollaries of general nature such as a quantifier reduction for positive sentences or the preservation of the non-trivial positive theory under extensions of groups.
△ Less
Submitted 20 October, 2019;
originally announced October 2019.
-
Group topologies on automorphism groups of homogeneous structures
Authors:
Zaniar Ghadernezhad,
Javier de la Nuez González
Abstract:
We classify all group topologies coarser than the topology of stabilizers of finite sets in the case of automorphism groups of countable free-homogeneous structures, Urysohn space and Urysohn sphere, among other related results.
We classify all group topologies coarser than the topology of stabilizers of finite sets in the case of automorphism groups of countable free-homogeneous structures, Urysohn space and Urysohn sphere, among other related results.
△ Less
Submitted 23 March, 2022; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Linearity of graph products
Authors:
Federico Berlai,
Javier de la Nuez González
Abstract:
In this work we prove that, given a simplicial graph $Γ$ and a family $\mathcal{G}$ of linear groups over a domain $R$, the graph product $Γ\mathcal{G}$ is linear over $R[\underline t]$, where $\underline t$ is a tuple of finitely many linearly independent variables. As a consequence we obtain that any graph product of finitely many groups linear over the complex numbers is again a linear group ov…
▽ More
In this work we prove that, given a simplicial graph $Γ$ and a family $\mathcal{G}$ of linear groups over a domain $R$, the graph product $Γ\mathcal{G}$ is linear over $R[\underline t]$, where $\underline t$ is a tuple of finitely many linearly independent variables. As a consequence we obtain that any graph product of finitely many groups linear over the complex numbers is again a linear group over the complex numbers. This solves an open problem of Hsu and Wise in the case of faithful representations over $\mathbb C$.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Some lower bounds on Shelah rank in the free group
Authors:
Javier de la Nuez González,
Chloé Perin,
Rizos Sklinos
Abstract:
We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.
We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
On expansions of non-abelian free groups by cosets of a finite index subgroup
Authors:
Javier de la Nuez González
Abstract:
Let $F$ be a finitely generated non-abelian free group and $Q$ a finite quotient. Denote by $L_Q$ the language obtained by adding unary predicates $P_q$, $q\in Q$ to the language of groups. Using a slight generalization of some of the techniques involved in Zlil Sela's solution to Tarskiś problem on the elementary theory of non-abelian free groups, we provide a few basic results on the validity of…
▽ More
Let $F$ be a finitely generated non-abelian free group and $Q$ a finite quotient. Denote by $L_Q$ the language obtained by adding unary predicates $P_q$, $q\in Q$ to the language of groups. Using a slight generalization of some of the techniques involved in Zlil Sela's solution to Tarskiś problem on the elementary theory of non-abelian free groups, we provide a few basic results on the validity of first order entences in the $L_Q$-expansion of $F$ in which every $P_q$ is interpreted as the preimage of $q$ in $F$. In particular we prove an analogous result to Sela's generalization of Merzlyakov's theorem on $\forall\exists$-sentences and show that the positive theory depends only on $Q$ and neither on the rank of $F$ nor the particular quotient map.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
