Boundary Moufang trees with abelian root groups of characteristic p
We prove that Moufang sets with abelian root groups arising at infinity of a locally finite tree all come from rank one simple algebraic groups over local fields.
math.GR↗
arXiv subjects
Pierre-Emmanuel Caprace
Publications and source records attributed to Pierre-Emmanuel Caprace.
At infinity of finite-dimensional CAT(0) spaces
We show that any filtering family of closed convex subsets of a finite-dimensional CAT(0) space $X$ has a non-empty intersection in the visual bordification $ \bar{X} = X \cup \partial X$. Using this fact, several results known for proper CAT(0) spaces may be extended to finite-dimensional spaces, including the existence of canonical fixed points at infinity for parabolic isometries, algebraic and geometric restrictions on amenable group actions, and geometric superrigidity for non-elementary actions of irreducible uniform lattices in products of locally compact groups.
math.GR↗
Relative amenability
We introduce a relative fixed point property for subgroups of a locally compact group, which we call relative amenability. It is a priori weaker than amenability. We establish equivalent conditions, related among others to a problem studied by Reiter in 1968. We record a solution to Reiter's problem. We study the class X of groups in which relative amenability is equivalent to amenability for all closed subgroups; we prove that X contains all familiar groups. Actually, no group is known to lie outside X. Since relative amenability is closed under Chabauty limits, it follows that any Chabauty limit of amenable subgroups remains amenable if the ambient group belongs to the vast class X.
math.GR↗
Thickness, relative hyperbolicity, and randomness in Coxeter groups
For right-angled Coxeter groups $W_Γ$, we obtain a condition on $Γ$ that is necessary and sufficient to ensure that $W_Γ$ is thick and thus not relatively hyperbolic. We show that Coxeter groups which are not thick all admit canonical minimal relatively hyperbolic structures; further, we show that in such a structure, the peripheral subgroups are both parabolic (in the Coxeter group-theoretic sense) and strongly algebraically thick. We exhibit a polynomial-time algorithm that decides whether a right-angled Coxeter group is thick or relatively hyperbolic. We analyze random graphs in the Erdós-Rényi model and establish the asymptotic probability that a random right-angled Coxeter group is thick. In the joint appendix we study Coxeter groups in full generality and there we also obtain a dichotomy whereby any such group is either strongly algebraically thick or admits a minimal relatively hyperbolic structure. In this study, we also introduce a notion we call \emph{intrinsic horosphericity} which provides a dynamical obstruction to relative hyperbolicity which generalizes thickness.
math.GR↗
Buildings with isolated subspaces and relatively hyperbolic Coxeter groups
Let $(W, S)$ be a Coxeter system. We give necessary and sufficient conditions on the Coxeter diagram of $(W, S)$ for $W$ to be relatively hyperbolic with respect to a collection of finitely generated subgroups. The peripheral subgroups are necessarily parabolic subgroups (in the sense of Coxeter group theory). As an application, we present a criterion for the maximal flats of the Davis complex of $(W,S)$ to be isolated. If this is the case, then the maximal affine sub-buildings of any building of type $(W,S)$ are isolated.
math.GR↗
Amenable hyperbolic groups
We give a complete characterization of the locally compact groups that are non-elementary Gromov-hyperbolic and amenable. They coincide with the class of mapping tori of discrete or continuous one-parameter groups of compacting automorphisms. We moreover give a description of all Gromov-hyperbolic locally compact groups with a cocompact amenable subgroup: modulo a compact normal subgroup, these turn out to be either rank one simple Lie groups, or automorphism groups of semi-regular trees acting doubly transitively on the set of ends. As an application, we show that the class of hyperbolic locally compact groups with a cusp-uniform non-uniform lattice, is very restricted.
math.GR↗
Gelfand pairs and strong transitivity for Euclidean buildings
Let G be a locally compact group acting properly by type-preserving automorphisms on a locally finite thick Euclidean building $Δ$ and K be the stabilizer of a special vertex in $Δ$. It is known that (G, K) is a Gelfand pair as soon as G acts strongly transitively on $Δ$; this is in particular the case when G is a semi-simple algebraic group over a local field. We show a converse to this statement, namely: if (G, K) is a Gelfand pair and G acts cocompactly on $Δ$, then the action is strongly transitive. The proof uses the existence of strongly regular hyperbolic elements in G and their peculiar dynamics on the spherical building at infinity. Other equivalent formulations are also obtained, including the fact that G is strongly transitive on $Δ$ if and only if it is strongly transitive on the spherical building at infinity.
math.RT↗
Automorphism groups of right-angled buildings: simplicity and local splittings
We show that the group of type-preserving automorphisms of any irreducible semi-regular thick right-angled building is abstractly simple. When the building is locally finite, this gives a large family of compactly generated (abstractly) simple locally compact groups. Specializing to appropriate cases, we obtain examples of such simple groups that are locally indecomposable, but have locally normal subgroups decomposing non-trivially as direct products.
math.GR↗
Limits of contraction groups and the Tits core
The Tits core G^+ of a totally disconnected locally compact group G is defined as the abstract subgroup generated by the closures of the contraction groups of all its elements. We show that a dense subgroup is normalised by the Tits core if and only if it contains it. It follows that every dense subnormal subgroup contains the Tits core. In particular, if G is topologically simple, then the Tits core is abstractly simple, and if G^+ is non-trivial then it is the unique minimal dense normal subgroup. The proofs are based on the fact, of independent interest, that the map which associates to an element the closure of its contraction group is continuous.
math.GR↗
Locally normal subgroups of simple locally compact groups
We announce various results concerning the structure of compactly generated simple locally compact groups. We introduce a local invariant, called the structure lattice, which consists of commensurability classes of compact subgroups with open normaliser, and show that its properties reflect the global structure of the ambient group.
math.GR↗
Trees, contraction groups, and Moufang sets
We study closed subgroups $G$ of the automorphism group of a locally finite tree $T$ acting doubly transitively on the boundary. We show that if the stabiliser of some end is metabelian, then there is a local field $k$ such that $\mathrm{PSL}_2(k) \leq G \leq \mathrm{PGL}_2(k)$. We also show that the contraction group of some hyperbolic element is closed and torsion-free if and only if $G$ is (virtually) a rank one simple $p$-adic analytic group for some prime $p$. A key point is that if some contraction group is closed, then $G$ is boundary-Moufang, meaning that the boundary $\partial T$ is a Moufang set. We collect basic results on Moufang sets arising at infinity of locally finite trees, and provide a complete classification in case the root groups are torsion-free.
math.GR↗
On embeddings into compactly generated groups
We prove that there is a second countable locally compact group that does not embed as a closed subgroup in any compactly generated locally compact group, and discuss various related embedding and non-embedding results.
math.GR↗
On conjugacy separability of some Coxeter groups and parabolic-preserving automorphisms
We prove that even Coxeter groups, whose Coxeter diagrams contain no (4,4,2) triangles, are conjugacy separable. In particular, this applies to all right-angled Coxeter groups or word hyperbolic even Coxeter groups. For an arbitrary Coxeter group W, we also study the relationship between Coxeter generating sets that give rise to the same collection of parabolic subgroups. As an application we show that if an automorphism of W preserves the conjugacy class of every sufficiently short element then it is inner. We then derive consequences for the outer automorphism groups of Coxeter groups.
math.GR↗
Simplicity of twin tree lattices with non-trivial commutation relations
We prove a simplicity criterion for certain twin tree lattices. It applies to all rank two Kac-Moody groups over finite fields with non-trivial commutation relations, thereby yielding examples of simple non-uniform lattices in the product of two trees.
math.GR↗
Open subgroups of locally compact Kac-Moody groups
Let G be a complete Kac-Moody group over a finite field. It is known that G possesses a BN-pair structure, all of whose parabolic subgroups are open in G. We show that, conversely, every open subgroup of G is contained with finite index in some parabolic subgroup; moreover there are only finitely many such parabolic subgroups. The proof uses some new results on parabolic closures in Coxeter groups. In particular, we give conditions ensuring that the parabolic closure of the product of two elements in a Coxeter group contains the respective parabolic closures of those elements.
math.GR↗
Fixed points and amenability in non-positive curvature
Consider a proper cocompact CAT(0) space X. We give a complete algebraic characterisation of amenable groups of isometries of X. For amenable discrete subgroups, an even narrower description is derived, implying Q-linearity in the torsion-free case. We establish Levi decompositions for stabilisers of points at infinity of X, generalising the case of linear algebraic groups to Is(X). A geometric counterpart of this sheds light on the refined bordification of X (à la Karpelevich) and leads to a converse to the Adams-Ballmann theorem. It is further deduced that unimodular cocompact groups cannot fix any point at infinity except in the Euclidean factor; this fact is needed for the study of CAT(0) lattices. Various fixed point results are derived as illustrations.
math.GR↗
Regular elements in CAT(0) groups
Let X be a locally compact geodesically complete CAT(0) space and G be a discrete group acting properly and cocompactly on X. We show that G contains an element acting as a hyperbolic isometry on each indecomposable de Rham factor of X. It follows that if X is a product of d factors, then G contains free abelian group of rank d.
math.GR↗
Rank rigidity for CAT(0) cube complexes
We prove that any group acting essentially without a fixed point at infinity on an irreducible finite-dimensional CAT(0) cube complex contains a rank one isometry. This implies that the Rank Rigidity Conjecture holds for CAT(0) cube complexes. We derive a number of other consequences for CAT(0) cube complexes, including a purely geometric proof of the Tits Alternative, an existence result for regular elements in (possibly non-uniform) lattices acting on cube complexes, and a characterization of products of trees in terms of bounded cohomology.
math.GR↗