Simple groups without lattices
We show that the group of almost automorphisms of a d-regular tree does not admit lattices. As far as we know this is the first such example among (compactly generated) simple locally compact groups.
math.GR↗
arXiv subjects
Pierre-Emmanuel Caprace
Publications and source records attributed to Pierre-Emmanuel Caprace.
A lattice in more than two Kac--Moody groups is arithmetic
Let $Γ$ be an irreducible lattice in a product of n infinite irreducible complete Kac-Moody groups of simply laced type over finite fields. We show that if n is at least 3, then each Kac-Moody groups is in fact a simple algebraic group over a local field and $Γ$ is an arithmetic lattice. This relies on the following alternative which is satisfied by any irreducible lattice provided n is at least 2: either $Γ$ is an S-arithmetic (hence linear) group, or it is not residually finite. In that case, it is even virtually simple when the ground field is large enough. More general CAT(0) groups are also considered throughout.
math.GR↗
Simple locally compact groups acting on trees and their germs of automorphisms
Automorphism groups of locally finite trees provide a large class of examples of simple totally disconnected locally compact groups. It is desirable to understand the connections between the global and local structure of such a group. Topologically, the local structure is given by the commensurability class of a vertex stabiliser; on the other hand, the action on the tree suggests that the local structure should correspond to the local action of a stabiliser of a vertex on its neighbours. We study the interplay between these different aspects for the special class of groups satisfying Tits' independence property. We show that such a group has few open subgroups if and only if it acts locally primitively. Moreover, we show that it always admits many germs of automorphisms which do not extend to automorphisms, from which we deduce a negative answer to a question by George Willis. Finally, under suitable assumptions, we compute the full group of germs of automorphisms; in some specific cases, these turn out to be simple and compactly generated, thereby providing a new infinite family of examples which generalise Neretin's group of spheromorphisms. Our methods describe more generally the abstract commensurator group for a large family of self-replicating profinite branch groups.
math.GR↗
Decomposing locally compact groups into simple pieces
We present a contribution to the structure theory of locally compact groups. The emphasis is on compactly generated locally compact groups which admit no infinite discrete quotient. It is shown that such a group possesses a characteristic cocompact subgroup which is either connected or admits a non-compact non-discrete topologically simple quotient. We also provide a description of characteristically simple groups and of groups all of whose proper quotients are compact. We show that Noetherian locally compact groups without infinite discrete quotient admit a subnormal series with all subquotients compact, compactly generated Abelian, or compactly generated topologically simple. Two appendices introduce results and examples around the concept of quasi-product.
math.GR↗
Bipolar Coxeter groups
We consider the class of those Coxeter groups for which removing from the Cayley graph any tubular neighbourhood of any wall leaves exactly two connected components. We call these Coxeter groups bipolar. They include both the virtually Poincare duality Coxeter groups and the infinite irreducible 2-spherical ones. We show in a geometric way that a bipolar Coxeter group admits a unique conjugacy class of Coxeter generating sets. Moreover, we provide a characterisation of bipolar Coxeter groups in terms of the associated Coxeter diagram.
math.GR↗
Twist-rigid Coxeter groups
We prove that two angle-compatible Coxeter generating sets of a given finitely generated Coxeter group are conjugate provided one of them does not admit any elementary twist. This confirms a basic case of a general conjecture which describes a potential solution to the isomorphism problem for Coxeter groups.
math.GR↗
Twin building lattices do not have asymptotic cut-points
We show that twin building lattices have linear divergence, which implies that all asymptotic cones are without cut-points.
math.GR↗
On the distortion of twin building lattices
We show that twin building lattices are undistorted in their ambient group; equivalently, the orbit map of the lattice to the product of the associated twin buildings is a quasi-isometric embedding. As a consequence, we provide an estimate of the quasi-flat rank of these lattices, which implies that there are infinitely many quasi-isometry classes of finitely presented simple groups. In an appendix, we describe how non-distortion of lattices is related to the integrability of the structural cocycle.
math.GR↗
Can an anisotropic reductive group admit a Tits system?
Seeking for a converse to a well-known theorem by Borel-Tits, we address the question whether the group of rational points G(k) of an anisotropic reductive k-group may admit a split spherical BN-pair. We show that if k is a perfect field or a local field, then such a BN-pair must be virtually trivial. We also consider arbitrary compact groups and show that the only abstract BN-pairs they can admit are spherical, and even virtually trivial provided they are split.
math.GR↗
Conjugacy of 2-spherical subgroups of Coxeter groups and parallel walls
Let (W,S) be a Coxeter system of finite rank (ie |S| is finite) and let A be the associated Coxeter (or Davis) complex. We study chains of pairwise parallel walls in A using Tits' bilinear form associated to the standard root system of (W,S). As an application, we prove the strong parallel wall conjecture of G Niblo and L Reeves [J Group Theory 6 (2003) 399--413]. This allows to prove finiteness of the number of conjugacy classes of certain one-ended subgroups of W, which yields in turn the determination of all co-Hopfian Coxeter groups of 2--spherical type.
math.GR↗
Rank one isometries of buildings and quasi-morphisms of Kac-Moody groups
Given an irreducible non-spherical non-affine (possibly non-proper) building $X$, we give sufficient conditions for a group $G < \Aut(X)$ to admit an infinite-dimensional space of non-trivial quasi-morphisms. The result applies to all irreducible (non-spherical and non-affine) Kac-Moody groups over integral domains. In particular, we obtain finitely presented simple groups of infinite commutator width, thereby answering a question of Valerii G. Bardakov from the Kourovka notebook. Independently of these considerations, we also include a discussion of rank one isometries of proper CAT(0) spaces from a rigidity viewpoint. In an appendix, we show that any homogeneous quasi-morphism of a locally compact group with integer values is continuous.
math.GR↗
Combinatorial and group-theoretic compactifications of buildings
Let X be a building of arbitrary type. A compactification $C_r(X)$ of the set Res(X) of spherical residues of X is introduced. We prove that it coincides with the horofunction compactification of Res(X) endowed with a natural combinatorial distance which we call the root-distance. Points of $C_r(X)$ admit amenable stabilisers in Aut(X) and conversely, any amenable subgroup virtually fixes a point in $C_r(X)$. In addition, it is shown that, provided Aut(X)is transitive enough, this compactification also coincides with the group-theoretic compactification constructed using the Chabauty topology on closed subgroups of Aut(X). This generalises to arbitrary buildings results established by Y. Guivarc'h and B. Rémy in the Bruhat--Tits case.
math.GR↗
Some properties of non-positively curved lattices
We announce results on the structure of CAT(0) groups, CAT(0) lattices and of the underlying spaces. Our statements rely notably on a general study of the full isometry groups of proper CAT(0) spaces. Classical statements about Hadamard manifolds are established for singular spaces; new arithmeticity and rigidity statements are obtained.
math.GR↗
Amenable groups and Hadamard spaces with a totally disconnected isometry group
Let $X$ be a locally compact Hadamard space and $G$ be a totally disconnected group acting continuously, properly and cocompactly on $X$. We show that a closed subgroup of $G$ is amenable if and only if it is (topologically locally finite)-by-(virtually abelian). We are led to consider a set $\bdfine X$ which is a refinement of the visual boundary $\bd X$. For each $x \in \bdfine X$, the stabilizer $G_x$ is amenable.
math.GR↗
A uniform bound on the nilpotency degree of certain subalgebras of Kac-Moody algebras
Let $\mathfrak{g}$ be a Kac-Moody algebra and $\mathfrak{b}_1, \mathfrak{b}_2$ be Borel subalgebras of opposite signs. The intersection $\mathfrak{b} = \mathfrak{b}_1 \cap \mathfrak{b}_2$ is a finite-dimensional solvable subalgebra of $\mathfrak{g}$. We show that the nilpotency degree of $[\mathfrak{b}, \mathfrak{b}]$ is bounded from above by a constant depending only on $\mathfrak{g}$. This confirms a conjecture of Y. Billig and A. Pianzola \cite{BilligPia95}.
math.RA↗
Simplicity and superrigidity of twin building lattices
Kac-Moody groups over finite fields are finitely generated groups. Most of them can naturally be viewed as irreducible lattices in products of two closed automorphism groups of non-positively curved twinned buildings: those are the most important (but not the only) examples of twin building lattices. We prove that these lattices are simple if and only if the corresponding buildings are (irreducible and) not of affine type (i.e. they are not Bruhat-Tits buildings). In fact, many of them are finitely presented and enjoy property (T). Our arguments explain geometrically why simplicity fails to hold only for affine Kac-Moody groups. Moreover we prove that a nontrivial continuous homomorphism from a completed Kac-Moody group is always proper. We also show that Kac-Moody lattices fulfill conditions implying strong superrigidity properties for isometric actions on non-positively curved metric spaces. Most results apply to the general class of twin building lattices.
math.GR↗
On geometric flats in the {${\rm CAT}(0)$} realization of Coxeter groups and Tits buildings
Given a complete CAT(0) space $X$ endowed with a geometric action of a group $Γ$, it is known that if $Γ$ contains a free abelian group of rank $n$, then $X$ contains a geometric flat of dimension $n$. We prove a converse of this statement in the special case where $X$ is a convex subcomplex of the CAT(0) realization of a Coxeter group $W$, and $Γ$ is a subgroup of $W$. In particular a convex cocompact subgroup of a Coxeter group is Gromov-hyperbolic if and only if it does not contain a free abelian group of rank 2. Our result also provides an explicit control on geometric flats in the CAT(0) realization of arbitrary Tits buildings.
math.GR↗