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 (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.

Weyl-invariants of totally disconnected locally compact groups acting cocompactly on buildings

Quotients of buildings by groups acting freely on chambers

Stacky Buildings

Subgroups, hyperbolicity and cohomological dimension for totally disconnected locally compact groups

On convex hulls of orbits of Coxeter groups and Weyl groups

Unimodular totally disconnected locally compact groups of rational discrete cohomological dimension one

Around first-order rigidity of Coxeter groups

Equivariant triangulations of tori of compact Lie groups and hyperbolic extension to non-crystallographic Coxeter groups

Convex cocompactness for Coxeter groups

Commensurability of lattices in right-angled buildings

The Bruhat Order of a Finite Coxeter Group and Elnitsky Tilings

Invariants of reflection groups, arrangements, and normality of decomposition classes in Lie algebras

Action of Weyl group on equivariant K-theory of flag varieties

The geometry of conjugation in affine Coxeter groups

Chern-Simons theory and cohomological invariants of representation varieties

Delocalized Eta Invariants, Cyclic Cohomology and Higher Rho Invariants

On loop Deligne--Lusztig varieties of Coxeter-type for inner forms of ${\rm GL}_n$

Chern–Simons theory and cohomological invariants of representation varieties

Punctured surfaces, quiver mutations, and quotients of Coxeter groups

Stanley decompositions of rings of invariants and certain highest weight Harish-Chandra modules