-
Around first-order rigidity of Coxeter groups
Authors:
Simon André,
Gianluca Paolini
Abstract:
By the work of Sela, for any free group $F$, the Coxeter group $W_ 3 = \mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z}$ is elementarily equivalent to $W_3 \ast F$, and so Coxeter groups are not closed under elementary equivalence among finitely generated groups. In this paper we show that if we restrict to models which are generated by finitely many torsion elements…
▽ More
By the work of Sela, for any free group $F$, the Coxeter group $W_ 3 = \mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z}$ is elementarily equivalent to $W_3 \ast F$, and so Coxeter groups are not closed under elementary equivalence among finitely generated groups. In this paper we show that if we restrict to models which are generated by finitely many torsion elements (finitely torsion-generated), then we can recover striking rigidity results. Our main result is that if $(W, S)$ is a Coxeter system whose irreducible components are either spherical, or affine or (Gromov) hyperbolic, and $G$ is finitely torsion-generated and elementarily equivalent to $W$, then $G$ is itself a Coxeter group. This combines results of the second author et al. from [MPS22, PS23] with the following main hyperbolic result: if $W$ is a Coxeter hyperbolic group and $G$ is $\mathrm{AE}$-equivalent to $W$ and finitely torsion-generated, then $G$ belongs to a finite collection of Coxeter groups (modulo isomorphism). Furthermore, we show that there are two hyperbolic Coxeter groups $W$ and $W'$ which are non-isomorphic but $\mathrm{AE}$-equivalent. We also show that, on other hand, if we restrict to certain specific classes of Coxeter groups then we can recover the strongest possible form of first-order rigidity, which we call first-order torsion-rigidity, namely the Coxeter group $W$ is the only finitely torsion-generated model of its theory. Crucially, we show that this form of rigidity holds for the following classes of Coxeter groups: even hyperbolic Coxeter groups and free products of one-ended or finite hyperbolic Coxeter groups. We conjecture that the same kind of phenomena occur for the whole class of Coxeter groups. In this direction, we prove that if $W$ and $W'$ are even Coxeter groups which are elementarily equivalent, then they are isomorphic.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Non-split sharply 2-transitive groups of odd positive characteristic
Authors:
Marco Amelio,
Simon André,
Katrin Tent
Abstract:
It is well-known that every sharply 2-transitive group of characteristic 3 splits. Here we construct the first examples of non-split sharply 2-transitive groups in odd positive characteristic $p$, for sufficiently large primes $p$. Furthermore, we show that any group without 2-torsion can be embedded into a non-split sharply 2-transitive group of characteristic $p$ for all sufficiently large prime…
▽ More
It is well-known that every sharply 2-transitive group of characteristic 3 splits. Here we construct the first examples of non-split sharply 2-transitive groups in odd positive characteristic $p$, for sufficiently large primes $p$. Furthermore, we show that any group without 2-torsion can be embedded into a non-split sharply 2-transitive group of characteristic $p$ for all sufficiently large primes $p$, yielding $2^{\aleph_0}$ many pairwise non-isomorphic countable non-split sharply 2-transitive groups in any sufficiently large characteristic.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Finitely generated simple sharply 2-transitive groups
Authors:
Simon André,
Vincent Guirardel
Abstract:
We construct the first examples of infinite sharply 2-transitive groups which are finitely generated. Moreover, we construct such a group that has Kazhdan property (T), is simple, has exactly four conjugacy classes, and we show that this number is as small as possible.
We construct the first examples of infinite sharply 2-transitive groups which are finitely generated. Moreover, we construct such a group that has Kazhdan property (T), is simple, has exactly four conjugacy classes, and we show that this number is as small as possible.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Co-Hopfian virtually free groups and elementary equivalence
Authors:
Simon André
Abstract:
We prove that two co-Hopfian finitely generated virtually free groups are elementarily equivalent if and only if they are isomorphic. We also prove that co-Hopfian finitely generated virtually free groups are homogeneous in the sense of model theory.
We prove that two co-Hopfian finitely generated virtually free groups are elementarily equivalent if and only if they are isomorphic. We also prove that co-Hopfian finitely generated virtually free groups are homogeneous in the sense of model theory.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
Simple sharply 2-transitive groups
Authors:
Simon André,
Katrin Tent
Abstract:
We construct simple sharply 2-transitive groups. Our result answers an open question of Peter Neumann. In fact, we prove that every sharply 2-transitive group of characteristic 0 embeds into a simple sharply 2-transitive group.
We construct simple sharply 2-transitive groups. Our result answers an open question of Peter Neumann. In fact, we prove that every sharply 2-transitive group of characteristic 0 embeds into a simple sharply 2-transitive group.
△ Less
Submitted 18 November, 2021;
originally announced November 2021.
-
Acylindrical hyperbolicity and existential closedness
Authors:
Simon André
Abstract:
Let $G$ be a finitely presented group, and let $H$ be a subgroup of $G$. We prove that if $H$ is acylindrically hyperbolic and existentially closed in $G$, then $G$ is acylindrically hyperbolic. As a corollary, any finitely presented group which is existentially equivalent to the mapping class group of a surface of finite type, to $\mathrm{Out}(F_n)$ or $\mathrm{Aut}(F_n)$ for $n\geq 2$ or to the…
▽ More
Let $G$ be a finitely presented group, and let $H$ be a subgroup of $G$. We prove that if $H$ is acylindrically hyperbolic and existentially closed in $G$, then $G$ is acylindrically hyperbolic. As a corollary, any finitely presented group which is existentially equivalent to the mapping class group of a surface of finite type, to $\mathrm{Out}(F_n)$ or $\mathrm{Aut}(F_n)$ for $n\geq 2$ or to the Higman group, is acylindrically hyperbolic.
△ Less
Submitted 21 May, 2020; v1 submitted 14 May, 2020;
originally announced May 2020.
-
Formal solutions and the first-order theory of acylindrically hyperbolic groups
Authors:
Simon André,
Jonathan Fruchter
Abstract:
We generalise Merzlyakov's theorem about the first-order theory of non-abelian free groups to all acylindrically hyperbolic groups. As a corollary, we deduce that if $G$ is an acylindrically hyperbolic group and $E(G)$ denotes the unique maximal finite normal subgroup of $G$, then $G$ and the HNN extension $G\dot{\ast}_{E(G)}$, which is simply the free product $G\ast\mathbb{Z}$ when $E(G)$ is triv…
▽ More
We generalise Merzlyakov's theorem about the first-order theory of non-abelian free groups to all acylindrically hyperbolic groups. As a corollary, we deduce that if $G$ is an acylindrically hyperbolic group and $E(G)$ denotes the unique maximal finite normal subgroup of $G$, then $G$ and the HNN extension $G\dot{\ast}_{E(G)}$, which is simply the free product $G\ast\mathbb{Z}$ when $E(G)$ is trivial, have the same $\forall\exists$-theory. As a consequence, we prove the following conjecture, formulated by Casals-Ruiz, Garreta and de la Nuez González: acylindrically hyperbolic groups have trivial positive theory. In particular, one recovers a result proved by Bestvina, Bromberg and Fujiwara, stating that, with only the obvious exceptions, verbal subgroups of acylindrically hyperbolic groups have infinite width.
△ Less
Submitted 23 May, 2020; v1 submitted 1 May, 2020;
originally announced May 2020.
-
Elementary subgroups of virtually free groups
Authors:
Simon André
Abstract:
We give a description of elementary subgroups (in the sense of first-order logic) of finitely generated virtually free groups. In particular, we recover the fact that elementary subgroups of finitely generated free groups are free factors. Moreover, we give an algorithm that takes as input a finite presentation of a virtually free group $G$ and a finite subset $X$ of $G$, and decides if the subgro…
▽ More
We give a description of elementary subgroups (in the sense of first-order logic) of finitely generated virtually free groups. In particular, we recover the fact that elementary subgroups of finitely generated free groups are free factors. Moreover, we give an algorithm that takes as input a finite presentation of a virtually free group $G$ and a finite subset $X$ of $G$, and decides if the subgroup of $G$ generated by $X$ is $\exists\forall\exists$-elementary. We also prove that every elementary embedding of an equationally noetherian group into itself is an automorphism.
△ Less
Submitted 13 December, 2019;
originally announced December 2019.
-
On Tarski's problem for virtually free groups
Authors:
Simon André
Abstract:
We give a complete classification of finitely generated virtually free groups up to $\forall\exists$-elementary equivalence. As a corollary, we give an algorithm that takes as input two finite presentations of virtually free groups, and decides whether these groups have the same $\forall\exists$-theory or not.
We give a complete classification of finitely generated virtually free groups up to $\forall\exists$-elementary equivalence. As a corollary, we give an algorithm that takes as input two finite presentations of virtually free groups, and decides whether these groups have the same $\forall\exists$-theory or not.
△ Less
Submitted 18 October, 2019;
originally announced October 2019.
-
Virtually free groups are almost homogeneous
Authors:
Simon André
Abstract:
Free groups are known to be homogeneous, meaning that finite tuples of elements which satisfy the same first-order properties are in the same orbit under the action of the automorphism group. We show that virtually free groups have a slightly weaker property, which we call uniform almost-homogeneity: the set of $k$-tuples which satisfy the same first-order properties as a given $k$-tuple…
▽ More
Free groups are known to be homogeneous, meaning that finite tuples of elements which satisfy the same first-order properties are in the same orbit under the action of the automorphism group. We show that virtually free groups have a slightly weaker property, which we call uniform almost-homogeneity: the set of $k$-tuples which satisfy the same first-order properties as a given $k$-tuple $\mathbf{u}$ is the union of a finite number of $\mathrm{Aut}(G)$-orbits, and this number is bounded independently from $\mathbf{u}$ and $k$. Moreover, we prove that there exists a virtually free group which is not $\exists$-homogeneous. We also prove that all hyperbolic groups are homogeneous in a probabilistic sense.
△ Less
Submitted 26 October, 2018;
originally announced October 2018.
-
Hyperbolicity and Cubulability Are Preserved Under Elementary Equivalence
Authors:
Simon André
Abstract:
The following properties are preserved under elementary equivalence, among finitely generated groups: being hyperbolic (possibly with torsion), being hyperbolic and cubulable, and being a subgroup of a hyperbolic group. In other words, if a finitely generated group G has the same first-order theory as a group possessing one of the previous property, then G enjoys this property as well.
The following properties are preserved under elementary equivalence, among finitely generated groups: being hyperbolic (possibly with torsion), being hyperbolic and cubulable, and being a subgroup of a hyperbolic group. In other words, if a finitely generated group G has the same first-order theory as a group possessing one of the previous property, then G enjoys this property as well.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.
-
A numerical study of heat source reconstruction for the advection-diffusion operator: A conjugate gradient method stabilized with SVD
Authors:
Jing Ye,
Laurent Farge,
Stéphane André,
Alain Neveu
Abstract:
In order to better understand micromechanical phenomena such as viscoelasticity and plasticity, the thermomechanical viewpoint is of prime importance but requires calorimetric measurements to be performed during a deformation process. Infrared imaging is commonly used to this aim but does not provide direct access to the intrinsic volumetric Thermomechanical Heat Sources (THS). An inversemethod is…
▽ More
In order to better understand micromechanical phenomena such as viscoelasticity and plasticity, the thermomechanical viewpoint is of prime importance but requires calorimetric measurements to be performed during a deformation process. Infrared imaging is commonly used to this aim but does not provide direct access to the intrinsic volumetric Thermomechanical Heat Sources (THS). An inversemethod is needed to convert temperature fields in the former quantity. The one proposed here relies on adiffusion-advection heat transfer model. Advection is generally not considered in such problems but due to plastic instabilities, a heterogeneous and non-negligible velocity field can play a role in the local heat transfer balance. Discretization of the governing equation is made through appropriate spectral approach. Spatial regularization is then achieved through regular modal truncation. The objective of the inversion process lies in a proper identification of the decomposition coefficients (states) which minimize the residuals. When a Conjugate Gradient Method (CGM) is applied to this nonlinear least square optimization, the use of Karhunen-Loeve Decomposition (KLD) or Singular Value Decomposition (SVD) on gradient vectors is shown to produce very good temporal regularization. Two test-cases were explored for noisy data which show that this algorithm performs very well when compared to the Tikhonov penalized conjugate gradient method.
△ Less
Submitted 21 April, 2017;
originally announced April 2017.
