Showing 1–50 of 70 results for author: Caprace, P

Amalgams of rational unipotent groups and residual nilpotence

Authors: Pierre-Emmanuel Caprace, Timothée Marquis

Abstract: We provide sufficient conditions for a free amalgamated product of torsionfree nilpotent groups to be residually nilpotent. We also characterise the residual nilpotence of certain higher-dimensional amalgams of unipotent groups over the rationals (known as KMS groups) in terms of their defining Cartan matrix. As an application, we give a normal form for the elements of a minimal Kac-Moody group ov… ▽ More We provide sufficient conditions for a free amalgamated product of torsionfree nilpotent groups to be residually nilpotent. We also characterise the residual nilpotence of certain higher-dimensional amalgams of unipotent groups over the rationals (known as KMS groups) in terms of their defining Cartan matrix. As an application, we give a normal form for the elements of a minimal Kac-Moody group over the rationals. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: 24 pages

MSC Class: 20E06; 20E26; 20F14; 20F65; 20F67; 20G44

Lattice envelopes of right-angled Artin groups

Authors: Pierre-Emmanuel Caprace, Tom De Medts

Abstract: Let $Γ$ be a finite simplicial graph with at least two vertices, and let $G(Γ)$ be the associated right-angled Artin group. We describe a locally compact group $\mathcal U$ containing $G(Γ)$ as a cocompact lattice. If $Γ$ is not a join (i.e. the complement graph is connected), the group $\mathcal U$ is non-discrete, almost simple, but not virtually simple: it has a smallest normal subgroup… ▽ More Let $Γ$ be a finite simplicial graph with at least two vertices, and let $G(Γ)$ be the associated right-angled Artin group. We describe a locally compact group $\mathcal U$ containing $G(Γ)$ as a cocompact lattice. If $Γ$ is not a join (i.e. the complement graph is connected), the group $\mathcal U$ is non-discrete, almost simple, but not virtually simple: it has a smallest normal subgroup $\mathcal U^+$ which is an open simple subgroup, and the quotient $\mathcal U/\mathcal U^+$ is isomorphic to the right-angled Coxeter group $W(Γ)$. Under suitable assumptions on $Γ$, we rely on work by Bader-Furman-Sauer and Huang-Kleiner to show that $\mathcal U \rtimes \mathrm{Aut}(Γ)$ is the universal lattice envelope of $G(Γ)$: for every lattice envelope $H$ of $G(Γ)$, there is a continuous proper homomorphism $H \to \mathcal U \rtimes \mathrm{Aut}(Γ)$. In particular, no lattice envelope of $G(Γ)$ is virtually simple. We also show that no locally compact group quasi-isometric to $G(Γ)$ is virtually simple. This contrasts with the case of free groups. The group $\mathcal U$ is a universal automorphism group of the Davis building of $G(Γ)$, with prescribed local actions. As an application, we describe the algebraic structure of the full automorphism group of the Cayley graph of $G(Γ)$ with respect to its standard generating set. △ Less

Submitted 10 June, 2025; v1 submitted 29 January, 2024; originally announced January 2024.

Comments: 35 pages

MSC Class: 20F65; 20E32; 20E42; 20F36; 22D05; 22E40

Simple $p$-adic Lie groups with abelian Lie algebras

Authors: P. -E. Caprace, A. Minasyan, D. Osin

Abstract: For each prime $p$ and each positive integer $d$, we construct the first examples of second countable, topologically simple, $p$-adic Lie groups of dimension $d$ whose Lie algebras are abelian. This answers several questions of Glöckner and Caprace-Monod. The proof relies on a generalization of small cancellation methods that applies to central extensions of acylindrically hyperbolic groups. For each prime $p$ and each positive integer $d$, we construct the first examples of second countable, topologically simple, $p$-adic Lie groups of dimension $d$ whose Lie algebras are abelian. This answers several questions of Glöckner and Caprace-Monod. The proof relies on a generalization of small cancellation methods that applies to central extensions of acylindrically hyperbolic groups. △ Less

Submitted 2 May, 2024; v1 submitted 8 August, 2023; originally announced August 2023.

Comments: Minor corrections. To appear in Crelle

On compact uniformly recurrent subgroups

Authors: Pierre-Emmanuel Caprace, Gil Goffer, Waltraud Lederle, Todor Tsankov

Abstract: Let a group $Γ$ act on a paracompact, locally compact, Hausdorff space $M$ by homeomorphisms and let $2^M$ denote the set of closed subsets of $M$. We endow $2^M$ with the Chabauty topology, which is compact and admits a natural $Γ$-action by homeomorphisms. We show that for every minimal $Γ$-invariant closed subset $\mathcal Y$ of $2^M$ consisting of compact sets, the union… ▽ More Let a group $Γ$ act on a paracompact, locally compact, Hausdorff space $M$ by homeomorphisms and let $2^M$ denote the set of closed subsets of $M$. We endow $2^M$ with the Chabauty topology, which is compact and admits a natural $Γ$-action by homeomorphisms. We show that for every minimal $Γ$-invariant closed subset $\mathcal Y$ of $2^M$ consisting of compact sets, the union $\bigcup \mathcal{Y}\subset M$ has compact closure. As an application, we deduce that every compact uniformly recurrent subgroup of a locally compact group is contained in a compact normal subgroup. This generalizes a result of Ušakov on compact subgroups whose normalizer is compact. △ Less

Submitted 8 May, 2024; v1 submitted 28 October, 2022; originally announced October 2022.

Comments: Todor Tsankov added as author, statements generalized, proofs shortened. 10 pages

Tame automorphism groups of polynomial rings with property (T) and infinitely many alternating group quotients

Authors: Pierre-Emmanuel Caprace, Martin Kassabov

Abstract: We construct new families of groups with property (T) and infinitely many alternating group quotients. One of those consists of subgroups of $\mathrm{Aut}(\mathbf F_{p}[x_1, \dots, x_n])$ generated by a suitable set of tame automorphisms. Finite quotients are constructed using the natural action of $\mathrm{Aut}(\mathbf F_{p}[x_1, \dots, x_n])$ on the $n$-dimensional affine spaces over finite exte… ▽ More We construct new families of groups with property (T) and infinitely many alternating group quotients. One of those consists of subgroups of $\mathrm{Aut}(\mathbf F_{p}[x_1, \dots, x_n])$ generated by a suitable set of tame automorphisms. Finite quotients are constructed using the natural action of $\mathrm{Aut}(\mathbf F_{p}[x_1, \dots, x_n])$ on the $n$-dimensional affine spaces over finite extensions of $\mathbf F_p$. As a consequence, we obtain explicit presentations of Gromov hyperbolic groups with property (T) and infinitely many alternating group quotients. Our construction also yields an explicit infinite family of expander Cayley graphs of degree $4$ for alternating groups of degree $p^7-1$ for any odd prime $p$. △ Less

Submitted 25 May, 2023; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: New Proposition 7.2; improved bound in Theorem 5.1; minor changes and corrections, main results unchanged. Version accepted for publication

MSC Class: 22D55; 20F67; 05C48; 20D06; 14E07

Hyperbolic actions of higher-rank lattices come from rank-one factors

Authors: Uri Bader, Pierre-Emmanuel Caprace, Alex Furman, Alessandro Sisto

Abstract: We study actions of higher rank lattices $Γ<G$ on hyperbolic spaces, and we show that all such actions satisfying mild properties come from the rank-one factors of $G$. In particular, all non-elementary actions on an unbounded hyperbolic space are of this type. We study actions of higher rank lattices $Γ<G$ on hyperbolic spaces, and we show that all such actions satisfying mild properties come from the rank-one factors of $G$. In particular, all non-elementary actions on an unbounded hyperbolic space are of this type. △ Less

Submitted 28 October, 2024; v1 submitted 13 June, 2022; originally announced June 2022.

Comments: 26 pages, to appear in Ergodic theory and Dynamical Systems. In v1 there was a mistake due to non-separability of certain spaces. The main theorem still applies to Lie groups but it is now weaker than in v1, and we introduce the new notion of coarse metric ergodicity to prove it

Locally normal subgroups and ends of locally compact Kac-Moody groups

Authors: Pierre-Emmanuel Caprace, Timothée Marquis, Colin D. Reid

Abstract: A locally normal subgroup in a topological group is a subgroup whose normaliser is open. In this paper, we provide a detailed description of the large-scale structure of closed locally normal subgroups of complete Kac-Moody groups over finite fields. Combining that description with the main result from arXiv:2111.07066, we show that under mild assumptions, if the Kac-Moody group is one-ended (a pr… ▽ More A locally normal subgroup in a topological group is a subgroup whose normaliser is open. In this paper, we provide a detailed description of the large-scale structure of closed locally normal subgroups of complete Kac-Moody groups over finite fields. Combining that description with the main result from arXiv:2111.07066, we show that under mild assumptions, if the Kac-Moody group is one-ended (a property that is easily determined from the generalised Cartan matrix), then it is locally indecomposable, which means that no open subgroup decomposes as a nontrivial direct product. △ Less

Submitted 17 November, 2022; v1 submitted 9 December, 2021; originally announced December 2021.

Comments: 26 pages; to appear in Münster Journal of Mathematics

MSC Class: 20G44; 20E42; 22D05

Growing trees from compact subgroups

Authors: Pierre-Emmanuel Caprace, Timothée Marquis, Colin D. Reid

Abstract: We establish a new connection between local and large-scale structure in compactly generated totally disconnected locally compact (t.d.l.c.) groups $G$, finding a sufficient condition for $G$ to have more than one end in terms of its compact subgroups. The condition actually results in an action of a quotient group $G/N$ on a tree with faithful micro-supported action on the boundary, where $N$ is… ▽ More We establish a new connection between local and large-scale structure in compactly generated totally disconnected locally compact (t.d.l.c.) groups $G$, finding a sufficient condition for $G$ to have more than one end in terms of its compact subgroups. The condition actually results in an action of a quotient group $G/N$ on a tree with faithful micro-supported action on the boundary, where $N$ is compact, and is closely related to the Boolean algebra formed by the centralisers of the subgroups of $G/N$ with open normaliser. As an application, we find a sufficient condition, given a one-ended t.d.l.c. group $G$, for all direct factors of open subgroups of $G$ to be trivial or open. △ Less

Submitted 5 September, 2023; v1 submitted 13 November, 2021; originally announced November 2021.

Comments: 24 pages; journal accepted version. To appear in Groups, Geometry and Dynamics

MSC Class: 22D05; 20E08

A totally disconnected invitation to locally compact groups

Authors: Pierre-Emmanuel Caprace, George A. Willis

Abstract: We present a selection of results contributing to a structure theory of totally disconnected locally compact groups. We present a selection of results contributing to a structure theory of totally disconnected locally compact groups. △ Less

Submitted 12 October, 2021; originally announced October 2021.

Comments: Prepared for the proceedings of the ICM2022 (25 pages)

MSC Class: 22D05; 20E32; 20E15; 37B05; 43A07

A type I conjecture and boundary representations of hyperbolic groups

Authors: Pierre-Emmanuel Caprace, Mehrdad Kalantar, Nicolas Monod

Abstract: We establish new results on the weak containment of quasi-regular and Koopman representations of a second countable locally compact group $G$ associated with non-singular $G$-spaces. We deduce that any two boundary representations of a hyperbolic locally compact group are weakly equivalent. We also show that non-amenable hyperbolic locally compact groups with a cocompact amenable subgroup are char… ▽ More We establish new results on the weak containment of quasi-regular and Koopman representations of a second countable locally compact group $G$ associated with non-singular $G$-spaces. We deduce that any two boundary representations of a hyperbolic locally compact group are weakly equivalent. We also show that non-amenable hyperbolic locally compact groups with a cocompact amenable subgroup are characterized by the property that any two proper length functions are homothetic up to an additive constant. Combining those results with the work of Ł. Garncarek on the irreducibility of boundary representations of discrete hyperbolic groups, we deduce that a type I hyperbolic group with a cocompact lattice contains a cocompact amenable subgroup. Specializing to groups acting on trees, we answer a question of C. Houdayer and S. Raum. △ Less

Submitted 12 February, 2022; v1 submitted 30 September, 2021; originally announced October 2021.

Comments: Amendments to Theorem G and Corollary H; new Proposition 3.2; minor changes to improve the exposition

Piecewise strongly proximal actions, free boundaries and the Neretin groups

Authors: Pierre-Emmanuel Caprace, Adrien Le Boudec, Nicolás Matte Bon

Abstract: A closed subgroup $H$ of a locally compact group $G$ is confined if the closure of the conjugacy class of $H$ in the Chabauty space of $G$ does not contain the trivial subgroup. We establish a dynamical criterion on the action of a totally disconnected locally compact group $G$ on a compact space $X$ ensuring that no relatively amenable subgroup of $G$ can be confined. This property is equivalent… ▽ More A closed subgroup $H$ of a locally compact group $G$ is confined if the closure of the conjugacy class of $H$ in the Chabauty space of $G$ does not contain the trivial subgroup. We establish a dynamical criterion on the action of a totally disconnected locally compact group $G$ on a compact space $X$ ensuring that no relatively amenable subgroup of $G$ can be confined. This property is equivalent to the fact that the action of $G$ on its Furstenberg boundary is free. Our criterion applies to the Neretin groups. We deduce that each Neretin group has two inequivalent irreducible unitary representations that are weakly equivalent. This implies that the Neretin groups are not of type I, thereby answering a question of Y.~Neretin. △ Less

Submitted 8 December, 2022; v1 submitted 16 July, 2021; originally announced July 2021.

Hyperbolic generalized triangle groups, property (T) and finite simple quotients

Authors: Pierre-Emmanuel Caprace, Marston Conder, Marek Kaluba, Stefan Witzel

Abstract: We construct several series of explicit presentations of infinite hyperbolic groups enjoying Kazhdan's property (T). Some of them are significantly shorter than the previously known shortest examples. Moreover, we show that some of those hyperbolic Kazhdan groups possess finite simple quotient groups of arbitrarily large rank; they constitute the first known specimens combining those properties. A… ▽ More We construct several series of explicit presentations of infinite hyperbolic groups enjoying Kazhdan's property (T). Some of them are significantly shorter than the previously known shortest examples. Moreover, we show that some of those hyperbolic Kazhdan groups possess finite simple quotient groups of arbitrarily large rank; they constitute the first known specimens combining those properties. All the hyperbolic groups we consider are non-positively curved k-fold generalized triangle groups, i.e. groups that possess a simplicial action on a CAT(0) triangle complex, which is sharply transitive on the set of triangles, and such that edge-stabilizers are cyclic of order k. △ Less

Submitted 4 January, 2021; v1 submitted 18 November, 2020; originally announced November 2020.

Comments: 86 pages

MSC Class: 20F67; 22D55; 20E26

Commensurated subgroups and micro-supported actions

Authors: Pierre-Emmanuel Caprace, Adrien Le Boudec, Dominik Francoeur

Abstract: Let $Γ$ be a finitely generated group and $X$ be a minimal compact $Γ$-space. We assume that the $Γ$-action is micro-supported, i.e. for every non-empty open subset $U \subseteq X$, there is an element of $Γ$ acting non-trivially on $U$ and trivially on the complement $X \setminus U$. We show that, under suitable assumptions, the existence of certain commensurated subgroups in $Γ$ yields strong re… ▽ More Let $Γ$ be a finitely generated group and $X$ be a minimal compact $Γ$-space. We assume that the $Γ$-action is micro-supported, i.e. for every non-empty open subset $U \subseteq X$, there is an element of $Γ$ acting non-trivially on $U$ and trivially on the complement $X \setminus U$. We show that, under suitable assumptions, the existence of certain commensurated subgroups in $Γ$ yields strong restrictions on the dynamics of the $Γ$-action: the space $X$ has compressible open subsets, and it is an almost $Γ$-boundary. Those properties yield in turn restrictions on the structure of $Γ$: $Γ$ is neither amenable nor residually finite. Among the applications, we show that the (alternating subgroup of the) topological full group associated to a minimal and expansive Cantor action of a finitely generated amenable group has no commensurated subgroups other than the trivial ones. Similarly, every commensurated subgroup of a finitely generated branch group is commensurate to a normal subgroup; the latter assertion relies on an appendix by Dominik Francoeur, and generalizes a result of Phillip Wesolek on finitely generated just-infinite branch groups. Other applications concern discrete groups acting on the circle, and the centralizer lattice of non-discrete totally disconnected locally compact (tdlc) groups. Our results rely, in an essential way, on recent results on the structure of tdlc groups, on the dynamics of their micro-supported actions, and on the notion of uniformly recurrent subgroups. △ Less

Submitted 16 July, 2021; v1 submitted 7 February, 2020; originally announced February 2020.

Comments: Primary article by P.-E. Caprace and A. Le Boudec; appendix by D. Francoeur

Erratum and addenda to "Isometry groups of non-positively curved spaces: discrete subgroups"

Authors: Pierre-Emmanuel Caprace, Nicolas Monod

Abstract: We amend the statement of point~(i) in Theorem~1.3 in arxiv:0901.1022 and supply the additional arguments and minor changes for the results that depend on it. We also seize the occasion and generalize to non-finitely generated lattices. We amend the statement of point~(i) in Theorem~1.3 in arxiv:0901.1022 and supply the additional arguments and minor changes for the results that depend on it. We also seize the occasion and generalize to non-finitely generated lattices. △ Less

Submitted 28 August, 2019; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: Erratum/addenda for arxiv:0901.1022. v2: added arxiv identifier for reference [LM]

Closed sets of real roots in Kac-Moody root systems

Authors: Pierre-Emmanuel Caprace, Timothée Marquis

Abstract: In this note, we provide a complete description of the closed sets of real roots in a Kac-Moody root system. In this note, we provide a complete description of the closed sets of real roots in a Kac-Moody root system. △ Less

Submitted 16 October, 2018; v1 submitted 11 October, 2018; originally announced October 2018.

Comments: 8 pages; typo corrected and reference added

MSC Class: 17B22; 17B67

A radius 1 irreducibility criterion for lattices in products of trees

Authors: Pierre-Emmanuel Caprace

Abstract: Let $T_1, T_2$ be regular trees of degrees $d_1, d_2 \geq 3$. Let also $Γ\leq \mathrm{Aut}(T_1) \times \mathrm{Aut}(T_2)$ be a group acting freely and transitively on $VT_1 \times VT_2$. For $i=1$ and $2$, assume that the local action of $Γ$ on $T_i$ is $2$-transitive; if moreover $d_i \geq 7$, assume that the local action contains $\mathrm{Alt}(d_i)$. We show that $Γ$ is irreducible, unless… ▽ More Let $T_1, T_2$ be regular trees of degrees $d_1, d_2 \geq 3$. Let also $Γ\leq \mathrm{Aut}(T_1) \times \mathrm{Aut}(T_2)$ be a group acting freely and transitively on $VT_1 \times VT_2$. For $i=1$ and $2$, assume that the local action of $Γ$ on $T_i$ is $2$-transitive; if moreover $d_i \geq 7$, assume that the local action contains $\mathrm{Alt}(d_i)$. We show that $Γ$ is irreducible, unless $(d_1, d_2)$ belongs to an explicit small set of exceptional values. This yields an irreducibility criterion for $Γ$ that can be checked purely in terms of its local action on a ball of radius~$1$ in $T_1$ and $T_2$. Under the same hypotheses, we show moreover that if $Γ$ is irreducible, then it is hereditarily just-infinite, provided the local action on $T_i$ is not the affine group $\mathbf F_5 \rtimes \mathbf F_5^*$. The proof of irreducibility relies, in several ways, on the Classification of the Finite Simple Groups. △ Less

Submitted 13 September, 2021; v1 submitted 23 August, 2018; originally announced August 2018.

Comments: Minor corrections and improvements of the exposition. Referees' comments taken into account

MSC Class: 20F65; 20E08; 22E40

Groups with irreducibly unfaithful subsets for unitary representations

Authors: Pierre-Emmanuel Caprace, Pierre de la Harpe

Abstract: Let $G$ be a group. A subset $F \subset G$ is called irreducibly faithful if there exists an irreducible unitary representation $π$ of $G$ such that $π(x) \neq \mathrm{id}$ for all $x \in F \smallsetminus \{e\}$. Otherwise $F$ is called irreducibly unfaithful. Given a positive integer $n$, we say that $G$ has Property $P(n)$ if every subset of size $n$ is irreducibly faithful. Every group has… ▽ More Let $G$ be a group. A subset $F \subset G$ is called irreducibly faithful if there exists an irreducible unitary representation $π$ of $G$ such that $π(x) \neq \mathrm{id}$ for all $x \in F \smallsetminus \{e\}$. Otherwise $F$ is called irreducibly unfaithful. Given a positive integer $n$, we say that $G$ has Property $P(n)$ if every subset of size $n$ is irreducibly faithful. Every group has $P(1)$, by a classical result of Gelfand and Raikov. Walter proved that every group has $P(2)$. It is easy to see that some groups do not have $P(3)$. We provide a complete description of the irreducibly unfaithful subsets of size $n$ in a countable group $G$ (finite or infinite) with Property $P(n-1)$: it turns out that such a subset is contained in a finite elementary abelian normal subgroup of $G$ of a particular kind. We deduce a characterization of Property $P(n)$ purely in terms of the group structure. It follows that, if a countable group $G$ has $P(n-1)$ and does not have $P(n)$, then $n$ is the cardinality of a projective space over a finite field. A group $G$ has Property $Q(n)$ if, for every subset $F \subset G$ of size at most $n$, there exists an irreducible unitary representation $π$ of $G$ such that $π(x) \ne π(y)$ for any distinct $x, y$ in $F$. Every group has $Q(2)$. For countable groups, it is shown that Property $Q(3)$ is equivalent to $P(3)$, Property $Q(4)$ to $P(6)$, and Property $Q(5)$ to $P(9)$. For $m, n \ge 4$, the relation between Properties $P(m)$ and $Q(n)$ is closely related to a well-documented open problem in additive combinatorics. △ Less

Submitted 17 October, 2019; v1 submitted 13 July, 2018; originally announced July 2018.

Comments: 45 pages

MSC Class: 43A65; 22D10

Bounding the covolume of lattices in products

Authors: Pierre-Emmanuel Caprace, Adrien Le Boudec

Abstract: We study lattices in a product $G = G_1 \times \dots \times G_n$ of non-discrete, compactly generated, totally disconnected locally compact (tdlc) groups. We assume that each factor is quasi just-non-compact, meaning that $G_i$ is non-compact and every closed normal subgroup of $G_i$ is discrete or cocompact (e.g. $G_i$ is topologically simple). We show that the set of discrete subgroups of $G$… ▽ More We study lattices in a product $G = G_1 \times \dots \times G_n$ of non-discrete, compactly generated, totally disconnected locally compact (tdlc) groups. We assume that each factor is quasi just-non-compact, meaning that $G_i$ is non-compact and every closed normal subgroup of $G_i$ is discrete or cocompact (e.g. $G_i$ is topologically simple). We show that the set of discrete subgroups of $G$ containing a fixed cocompact lattice $Γ$ with dense projections is finite. The same result holds if $Γ$ is non-uniform, provided $G$ has Kazhdan's property (T). We show that for any compact subset $K \subset G$, the collection of discrete subgroups $Γ\leq G$ with $G = ΓK$ and dense projections is uniformly discrete, hence of covolume bounded away from $0$. When the ambient group $G$ is compactly presented, we show in addition that the collection of those lattices falls into finitely many $Aut(G)$-orbits. As an application, we establish finiteness results for discrete groups acting on products of locally finite graphs with semiprimitive local action on each factor. We also present several intermediate results of independent interest. Notably it is shown that if a non-discrete, compactly generated quasi just-non-compact tdlc group $G$ is a Chabauty limit of discrete subgroups, then some compact open subgroup of $G$ is an infinitely generated pro-$p$ group for some prime $p$. It is also shown that in any Kazhdan group with discrete amenable radical, the lattices form an open subset of the Chabauty space of closed subgroups. △ Less

Submitted 23 October, 2019; v1 submitted 11 May, 2018; originally announced May 2018.

Comments: v1: 51 pages. v2: 52 pages. v3: final version

Journal ref: Compositio Math. 155 (2019) 2296-2333

Future directions in locally compact groups

Authors: Pierre-Emmanuel Caprace, Nicolas Monod

Abstract: This text is the preprint version of the concluding chapter for the book New Directions in Locally Compact Groups published by Cambridge University Press in the series Lecture Notes of the LMS. The recent progress on locally compact groups surveyed in that volume also reveals the considerable extent of the unexplored territories. Therefore, we wish to conclude it by mentioning a few open problems… ▽ More This text is the preprint version of the concluding chapter for the book New Directions in Locally Compact Groups published by Cambridge University Press in the series Lecture Notes of the LMS. The recent progress on locally compact groups surveyed in that volume also reveals the considerable extent of the unexplored territories. Therefore, we wish to conclude it by mentioning a few open problems related to the material covered in the book and that we consider important at the time of this writing. △ Less

Submitted 16 January, 2018; originally announced January 2018.

Finite and infinite quotients of discrete and indiscrete groups

Authors: Pierre-Emmanuel Caprace

Abstract: These notes are devoted to lattices in products of trees and related topics. They provide an introduction to the construction, by M. Burger and S. Mozes, of examples of such lattices that are simple as abstract groups. Two features of that construction are emphasized: the relevance of non-discrete locally compact groups, and the two-step strategy in the proof of simplicity, addressing separately,… ▽ More These notes are devoted to lattices in products of trees and related topics. They provide an introduction to the construction, by M. Burger and S. Mozes, of examples of such lattices that are simple as abstract groups. Two features of that construction are emphasized: the relevance of non-discrete locally compact groups, and the two-step strategy in the proof of simplicity, addressing separately, and with completely different methods, the existence of finite and infinite quotients. A brief history of the quest for finitely generated and finitely presented infinite simple groups is also sketched. A comparison with Margulis' proof of Kneser's simplicity conjecture is discussed, and the relevance of the Classification of the Finite Simple Groups is pointed out. A final chapter is devoted to finite and infinite quotients of hyperbolic groups and their relation to the asymptotic properties of the finite simple groups. Numerous open problems are discussed along the way. △ Less

Submitted 31 May, 2018; v1 submitted 18 September, 2017; originally announced September 2017.

Comments: Revised according to referee's report; definition of BMW-groups updated; more examples added in Section 4; new Proposition 5.12

MSC Class: 20F65; 20F67; 20D05; 20E08; 20E26; 20E32; 20G25; 20G30; 22D05; 22E40

A sixteen-relator presentation of an infinite hyperbolic Kazhdan group

Authors: Pierre-Emmanuel Caprace

Abstract: We provide an explicit presentation of an infinite hyperbolic Kazhdan group with $4$ generators and $16$ relators of length at most $73$. That group acts properly and cocompactly on a hyperbolic triangle building of type $(3,4,4)$. We also point out a variation of the construction that yields examples of lattices in $\tilde A_2$-buildings admitting non-Desarguesian residues of arbitrary prime powe… ▽ More We provide an explicit presentation of an infinite hyperbolic Kazhdan group with $4$ generators and $16$ relators of length at most $73$. That group acts properly and cocompactly on a hyperbolic triangle building of type $(3,4,4)$. We also point out a variation of the construction that yields examples of lattices in $\tilde A_2$-buildings admitting non-Desarguesian residues of arbitrary prime power order. △ Less

Submitted 31 August, 2017; originally announced August 2017.

Comments: 9 pages, 1 figure

MSC Class: 20F65; 20F67; 20E42

Indicability, residual finiteness, and simple subquotients of groups acting on trees

Authors: Pierre-Emmanuel Caprace, Phillip Wesolek

Abstract: We establish three independent results on groups acting on trees. The first implies that a compactly generated locally compact group which acts continuously on a locally finite tree with nilpotent local action and no global fixed point is virtually indicable; that is to say, it has a finite index subgroup which surjects onto $\mathbf{Z}$. The second ensures that irreducible cocompact lattices in a… ▽ More We establish three independent results on groups acting on trees. The first implies that a compactly generated locally compact group which acts continuously on a locally finite tree with nilpotent local action and no global fixed point is virtually indicable; that is to say, it has a finite index subgroup which surjects onto $\mathbf{Z}$. The second ensures that irreducible cocompact lattices in a product of non-discrete locally compact groups such that one of the factors acts vertex-transitively on a tree with a nilpotent local action cannot be residually finite. This is derived from a general result, of independent interest, on irreducible lattices in product groups. The third implies that every non-discrete Burger-Mozes universal group of automorphisms of a tree with an arbitrary prescribed local action admits a compactly generated closed subgroup with a non-discrete simple quotient. As applications, we answer a question of D. Wise by proving the non-residual finiteness of a certain lattice in a product of two regular trees, and we obtain a negative answer to a question of C. Reid, concerning the structure theory of locally compact groups. △ Less

Submitted 15 August, 2017; originally announced August 2017.

Journal ref: Geom. Topol. 22 (2018) 4163-4204

Approximating simple locally compact groups by their dense locally compact subgroups

Authors: Pierre-Emmanuel Caprace, Colin D. Reid, Phillip Wesolek

Abstract: The class, denoted by $\mathscr{S}$, of totally disconnected locally compact groups which are non-discrete, compactly generated, and topologically simple contains many compelling examples. In recent years, a general theory for these groups, which studies the interaction between the compact open subgroups and the global structure, has emerged. In this article, we study the non-discrete totally disc… ▽ More The class, denoted by $\mathscr{S}$, of totally disconnected locally compact groups which are non-discrete, compactly generated, and topologically simple contains many compelling examples. In recent years, a general theory for these groups, which studies the interaction between the compact open subgroups and the global structure, has emerged. In this article, we study the non-discrete totally disconnected locally compact groups $H$ that admit a continuous embedding with dense image into some $G\in \mathscr{S}$; that is, we consider the dense locally compact subgroups of groups $G\in \mathscr{S}$. We identify a class $\mathscr{R}$ of almost simple groups which properly contains $\mathscr{S}$ and is moreover stable under passing to a non-discrete dense locally compact subgroup. We show that $\mathscr{R}$ enjoys many of the same properties previously obtained for $\mathscr{S}$ and establish various original results for $\mathscr{R}$ that are also new for the subclass $\mathscr{S}$, notably concerning the structure of the local Sylow subgroups and the full automorphism group. △ Less

Submitted 18 February, 2019; v1 submitted 22 June, 2017; originally announced June 2017.

Comments: Published version

Journal ref: Int. Math. Res. Not. 2021 Nr. 7 (2021), pp. 5037-5110

On the residual and profinite closures of commensurated subgroups

Authors: Pierre-Emmanuel Caprace, Peter H. Kropholler, Colin D. Reid, Phillip Wesolek

Abstract: The residual closure of a subgroup $H$ of a group $G$ is the intersection of all virtually normal subgroups of $G$ containing $H$. We show that if $G$ is generated by finitely many cosets of $H$ and if $H$ is commensurated, then the residual closure of $H$ in $G$ is virtually normal. This implies that separable commensurated subgroups of finitely generated groups are virtually normal. A stream of… ▽ More The residual closure of a subgroup $H$ of a group $G$ is the intersection of all virtually normal subgroups of $G$ containing $H$. We show that if $G$ is generated by finitely many cosets of $H$ and if $H$ is commensurated, then the residual closure of $H$ in $G$ is virtually normal. This implies that separable commensurated subgroups of finitely generated groups are virtually normal. A stream of applications to separable subgroups, polycyclic groups, residually finite groups, groups acting on trees, lattices in products of trees and just-infinite groups then flows from this main result. △ Less

Submitted 3 July, 2019; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 22 pages

MSC Class: 20E26; 20F65; 20E08; 20E18; 20F16

Lattices in amenable groups

Authors: U. Bader, P-E. Caprace, T. Gelander, Sh. Mozes

Abstract: Let $G$ be a locally compact amenable group. We say that G has property (M) if every closed subgroup of finite covolume in G is cocompact. A classical theorem of Mostow ensures that connected solvable Lie groups have property (M). We prove a non-Archimedean extension of Mostow's theorem by showing the amenable linear locally compact groups have property (M). However property (M) does not hold for… ▽ More Let $G$ be a locally compact amenable group. We say that G has property (M) if every closed subgroup of finite covolume in G is cocompact. A classical theorem of Mostow ensures that connected solvable Lie groups have property (M). We prove a non-Archimedean extension of Mostow's theorem by showing the amenable linear locally compact groups have property (M). However property (M) does not hold for all solvable locally compact groups: indeed, we exhibit an example of a metabelian locally compact group with a non-uniform lattice. We show that compactly generated metabelian groups, and more generally nilpotent-by-nilpotent groups, do have property (M). Finally, we highlight a connection of property (M) with the subtle relation between the analytic notions of strong ergodicity and the spectral gap. △ Less

Submitted 8 October, 2018; v1 submitted 19 December, 2016; originally announced December 2016.

Comments: 38 pages

MSC Class: 22F30 (primary) 22D40; 43A07 (secondary)

On the linearity of lattices in affine buildings and ergodicity of the singular Cartan flow

Authors: Uri Bader, Pierre-Emmanuel Caprace, Jean Lécureux

Abstract: Let $X$ be a locally finite irreducible affine building of dimension $\geq 2$ and $Γ\leq \mathrm{Aut}(X)$ be a discrete group acting cocompactly. The goal of this paper is to address the following question: When is $Γ$ linear? More generally, when does $Γ$ admit a finite-dimensional representation with infinite image over a commutative unital ring? If $X$ is the Bruhat--Tits building of a simple a… ▽ More Let $X$ be a locally finite irreducible affine building of dimension $\geq 2$ and $Γ\leq \mathrm{Aut}(X)$ be a discrete group acting cocompactly. The goal of this paper is to address the following question: When is $Γ$ linear? More generally, when does $Γ$ admit a finite-dimensional representation with infinite image over a commutative unital ring? If $X$ is the Bruhat--Tits building of a simple algebraic group over a local field and if $Γ$ is an arithmetic lattice, then $Γ$ is clearly linear. We prove that if $X$ is of type $\widetilde A_2$, then the converse holds. In particular, cocompact lattices in exotic $\widetilde A_2$-buildings are non-linear. As an application, we obtain the first infinite family of lattices in exotic $\widetilde A_2$-buildings of arbitrarily large thickness, providing also a partial answer to a question of W. Kantor from 1986. We also show that if $X$ is Bruhat--Tits of arbitrary type, then the linearity of $Γ$ implies that $Γ$ is virtually contained in the linear part of the automorphism group of $X$, in particular $Γ$ is an arithmetic lattice. The proofs are based on the machinery of algebraic representations of ergodic systems recently developed by U. Bader and A. Furman. The implementation of that tool in the present context requires the geometric construction of a suitable ergodic $Γ$-space attached to the the building $X$, which we call the \emph{singular Cartan flow}. △ Less

Submitted 21 November, 2018; v1 submitted 22 August, 2016; originally announced August 2016.

MSC Class: 51E24; 22F50; 20C99

Chabauty limits of simple groups acting on trees

Authors: Pierre-Emmanuel Caprace, Nicolas Radu

Abstract: Let $T$ be a locally finite tree without vertices of degree $1$. We show that among the closed subgroups of $\mathrm{Aut}(T)$ acting with a bounded number of orbits, the Chabauty-closure of the set of topologically simple groups is the set of groups without proper open subgroup of finite index. Moreover, if all vertices of $T$ have degree $\geq 3$, then the set of isomorphism classes of topologica… ▽ More Let $T$ be a locally finite tree without vertices of degree $1$. We show that among the closed subgroups of $\mathrm{Aut}(T)$ acting with a bounded number of orbits, the Chabauty-closure of the set of topologically simple groups is the set of groups without proper open subgroup of finite index. Moreover, if all vertices of $T$ have degree $\geq 3$, then the set of isomorphism classes of topologically simple closed subgroups of $\mathrm{Aut}(T)$ acting doubly transitively on $\partial T$ carries a natural compact Hausdorff topology inherited from Chabauty. Some of our considerations are valid in the context of automorphism groups of locally finite connected graphs. Applications to Weyl-transitive automorphism groups of buildings are also presented. △ Less

Submitted 4 July, 2018; v1 submitted 1 August, 2016; originally announced August 2016.

Comments: 29 pages, to appear in Journal of the Institute of Mathematics of Jussieu

MSC Class: 20E08; 20E32; 20E42; 20F65; 22D05

Journal ref: J. Inst. Math. Jussieu 19 (4) (2020), 1093-1120

An indiscrete Bieberbach theorem: from amenable CAT(0) groups to Tits buildings

Authors: Pierre-Emmanuel Caprace, Nicolas Monod

Abstract: Non-positively curved spaces admitting a cocompact isometric action of an amenable group are investigated. A classification is established under the assumption that there is no global fixed point at infinity under the full isometry group. The visual boundary is then a spherical building. When the ambient space is geodesically complete, it must be a product of flats, symmetric spaces, biregular tre… ▽ More Non-positively curved spaces admitting a cocompact isometric action of an amenable group are investigated. A classification is established under the assumption that there is no global fixed point at infinity under the full isometry group. The visual boundary is then a spherical building. When the ambient space is geodesically complete, it must be a product of flats, symmetric spaces, biregular trees and Bruhat--Tits buildings. We provide moreover a sufficient condition for a spherical building arising as the visual boundary of a proper CAT(0) space to be Moufang, and deduce that an irreducible locally finite Euclidean building of dimension at least 2 is a Bruhat--Tits building if and only if its automorphism group acts cocompactly and chamber-transitively at infinity. △ Less

Submitted 26 March, 2015; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: minor typos corrected; reference added

Totally disconnected locally compact groups with a linear open subgroup

Authors: Pierre-Emmanuel Caprace, Thierry Stulemeijer

Abstract: We describe the global structure of totally disconnected locally compact groups having a linear open compact subgroup. Among the applications, we show that if a non-discrete, compactly generated, topologically simple, totally disconnected locally compact group is locally linear, then it is a simple algebraic group over a local field. We describe the global structure of totally disconnected locally compact groups having a linear open compact subgroup. Among the applications, we show that if a non-discrete, compactly generated, topologically simple, totally disconnected locally compact group is locally linear, then it is a simple algebraic group over a local field. △ Less

Submitted 29 September, 2014; originally announced September 2014.

MSC Class: 22D05; 20G25

Orthogonal forms of Kac--Moody groups are acylindrically hyperbolic

Authors: Pierre-Emmanuel Caprace, David Hume

Abstract: We give sufficient conditions for a group acting on a geodesic metric space to be acylindrically hyperbolic and mention various applications to groups acting on CAT($0$) spaces. We prove that a group acting on an irreducible non-spherical non-affine building is acylindrically hyperbolic provided there is a chamber with finite stabiliser whose orbit contains an apartment. Finally, we show that the… ▽ More We give sufficient conditions for a group acting on a geodesic metric space to be acylindrically hyperbolic and mention various applications to groups acting on CAT($0$) spaces. We prove that a group acting on an irreducible non-spherical non-affine building is acylindrically hyperbolic provided there is a chamber with finite stabiliser whose orbit contains an apartment. Finally, we show that the following classes of groups admit an action on a building with those properties: orthogonal forms of Kac--Moody groups over arbitrary fields, and irreducible graph products of arbitrary groups - recovering a result of Minasyan--Osin. △ Less

Submitted 6 March, 2015; v1 submitted 26 August, 2014; originally announced August 2014.

Comments: 20 pages, to appear in Annales de l'Institut Fourier

MSC Class: 20F67; 20E42

Journal ref: Annales de l'institut Fourier, 65 no. 6 (2015), p. 2613-2640

Boundary Moufang trees with abelian root groups of characteristic p

Authors: Pierre-Emmanuel Caprace, Matthias Grüninger

Abstract: 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. 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. △ Less

Submitted 23 June, 2014; originally announced June 2014.

Comments: 29 pages

MSC Class: 20E08; 20B22; 20E42; 20G25; 22D05

Locally normal subgroups of totally disconnected groups. Part II: Compactly generated simple groups

Authors: Pierre-Emmanuel Caprace, Colin D. Reid, George A. Willis

Abstract: We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr S$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are non-discrete. Given $G \in \mathscr S$, we show that compact open subgroups of $G$ involve finitely many isomorphism types of composition factors, and do not have any soluble norma… ▽ More We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr S$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are non-discrete. Given $G \in \mathscr S$, we show that compact open subgroups of $G$ involve finitely many isomorphism types of composition factors, and do not have any soluble normal subgroup other than the trivial one. By results of Part I, this implies that the centraliser lattice and local decomposition lattice of $G$ are Boolean algebras. We show that the $G$-action on the Stone space of those Boolean algebras is minimal, strongly proximal, and micro-supported. Building upon those results, we obtain partial answers to the following key problems: Are all groups in $\mathscr S$ abstractly simple? Can a group in $\mathscr S$ be amenable? Can a group in $\mathscr S$ be such that the contraction groups of all of its elements are trivial? △ Less

Submitted 4 January, 2017; v1 submitted 14 January, 2014; originally announced January 2014.

Comments: 82 pages

MSC Class: 22D05; 20E15; 20E18; 20E32; 37B05; 43A07

Journal ref: Forum Math. Sigma 5 (2017), e12, 89 pp

Thickness, relative hyperbolicity, and randomness in Coxeter groups

Authors: Jason Behrstock, Mark F. Hagen, Alessandro Sisto, Pierre-Emmanuel Caprace

Abstract: 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 sens… ▽ More 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. △ Less

Submitted 17 December, 2013; originally announced December 2013.

Comments: Primary article by Behrstock, Hagen, and Sisto with an appendix by Behrstock, Caprace, Hagen, and Sisto. 31 pages, 5 figures, 1 table. All necessary C++ code can be downloaded from this ArXiv page. The same C++ code, along with instructions and control scripts, is available at http://www-personal.umich.edu/~mfhagen/thickracgcode.tar

Journal ref: Algebr. Geom. Topol. 17 (2017) 705-740

Relative amenability

Authors: Pierre-Emmanuel Caprace, Nicolas Monod

Abstract: 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 al… ▽ More 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. △ Less

Submitted 25 March, 2014; v1 submitted 11 September, 2013; originally announced September 2013.

Comments: We added a solution to Reiter's problem and a discussion of L^1-equivariance

Limits of contraction groups and the Tits core

Authors: Pierre-Emmanuel Caprace, Colin D. Reid, George A. Willis

Abstract: 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 c… ▽ More 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. △ Less

Submitted 23 April, 2013; originally announced April 2013.

Comments: 11 pages

MSC Class: 22D05; 20E32

Journal ref: J. Lie Theory 24 Nr. 4 (2014), pp. 957-967

Gelfand pairs and strong transitivity for Euclidean buildings

Authors: Pierre-Emmanuel Caprace, Corina Ciobotaru

Abstract: 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… ▽ More 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. △ Less

Submitted 26 October, 2013; v1 submitted 23 April, 2013; originally announced April 2013.

Comments: Final version, to appear in `Ergodic Theory and Dynamical Systems'

MSC Class: 20C08; 20E42; 22D10

Journal ref: Ergod. Th. Dynam. Sys. 35 (2014) 1056-1078

Locally normal subgroups of totally disconnected groups. Part I: General theory

Authors: Pierre-Emmanuel Caprace, Colin D. Reid, George A. Willis

Abstract: Let G be a totally disconnected, locally compact group. A closed subgroup of G is locally normal if its normaliser is open in G. We begin an investigation of the structure of the family of closed locally normal subgroups of G. Modulo commensurability, this family forms a modular lattice, called the structure lattice of G. We show that G admits a canonical maximal quotient H for which the quasi-cen… ▽ More Let G be a totally disconnected, locally compact group. A closed subgroup of G is locally normal if its normaliser is open in G. We begin an investigation of the structure of the family of closed locally normal subgroups of G. Modulo commensurability, this family forms a modular lattice, called the structure lattice of G. We show that G admits a canonical maximal quotient H for which the quasi-centre and the abelian locally normal subgroups are trivial. In this situation the structure lattice of H has a canonical subset called the centraliser lattice, forming a Boolean algebra whose elements correspond to centralisers of locally normal subgroups. If H is second-countable and acts faithfully on its centraliser lattice, we show that the topology of H is determined by its algebraic structure (and thus invariant by every abstract group automomorphism), and also that the action on the Stone space of the centraliser lattice is universal for a class of actions on profinite spaces. Most of the material is developed in the more general framework of Hecke pairs. △ Less

Submitted 20 June, 2016; v1 submitted 18 April, 2013; originally announced April 2013.

Comments: 71 pages; revised version

MSC Class: 22D05; 20E15; 20E18

Journal ref: Forum Math. Sigma 5 (2017), e11, 76 pp

Locally normal subgroups of simple locally compact groups

Authors: Pierre-Emmanuel Caprace, Colin D. Reid, George A. Willis

Abstract: 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. 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. △ Less

Submitted 27 March, 2013; originally announced March 2013.

Comments: 6 pages

MSC Class: 22D05; 20E32; 20E15; 20E18; 37B05; 43A07

Journal ref: C. R. Acad. Sci. Paris, Ser. I, 351 Nr. 17-18 (2013), pp. 657-661

On embeddings into compactly generated groups

Authors: Pierre-Emmanuel Caprace, Yves Cornulier

Abstract: 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. 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. △ Less

Submitted 23 November, 2012; originally announced November 2012.

Comments: 16 pages, no figure

MSC Class: 22D05 (Primary) 05C63; 20E18; 57S30 (Secondary)

Journal ref: Pacific J. Math. 269(2) (2014) 305-321

Automorphism groups of right-angled buildings: simplicity and local splittings

Authors: Pierre-Emmanuel Caprace

Abstract: 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… ▽ More 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. △ Less

Submitted 29 April, 2013; v1 submitted 28 October, 2012; originally announced October 2012.

Comments: 26 pages. Several points were clarified and a few lemmas were added, in accordance with the referee's report

MSC Class: 20E42; 22D05; 20E08; 20F65

Journal ref: Fund. Math. 224 (2014), pp. 17-51

On conjugacy separability of some Coxeter groups and parabolic-preserving automorphisms

Authors: Pierre-Emmanuel Caprace, Ashot Minasyan

Abstract: 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… ▽ More 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. △ Less

Submitted 16 October, 2012; originally announced October 2012.

Comments: 19 pages

MSC Class: 20F55; 20E26; 20E36

Journal ref: Illinois J. Math. 57 (2013), no. 2, pp. 499-523

Simplicity of twin tree lattices with non-trivial commutation relations

Authors: Pierre-Emmanuel Caprace, Bertrand Remy

Abstract: 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. 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. △ Less

Submitted 24 September, 2012; originally announced September 2012.

Fixed points and amenability in non-positive curvature

Authors: Pierre-Emmanuel Caprace, Nicolas Monod

Abstract: 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… ▽ More 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. △ Less

Submitted 5 March, 2012; originally announced March 2012.

Comments: 33 pages

MSC Class: 20F65; 20F50; 20F67; 43A07

Journal ref: Math. Annalen, 356 No. 4 (2013), 1303-1337

Amenable hyperbolic groups

Authors: Pierre-Emmanuel Caprace, Yves de Cornulier, Nicolas Monod, Romain Tessera

Abstract: 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 tu… ▽ More 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. △ Less

Submitted 12 November, 2013; v1 submitted 16 February, 2012; originally announced February 2012.

Comments: 41 pages, no figure. v2: revised version (minor changes)

MSC Class: Primary 20F67; Secondary 05C63; 20E08; 22D05; 43A07; 53C30; 57S30

Journal ref: J. Eur. Math. Soc. 17 (2015), 2903-2947

Trees, contraction groups, and Moufang sets

Authors: Pierre-Emmanuel Caprace, Tom De Medts

Abstract: 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 (vir… ▽ More 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. △ Less

Submitted 3 December, 2012; v1 submitted 18 January, 2012; originally announced January 2012.

Comments: 24 pages

Journal ref: Duke Math. J. 162, no. 13 (2013), 2413-2449

Regular elements in CAT(0) groups

Authors: Pierre-Emmanuel Caprace, Gašper Zadnik

Abstract: 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. 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. △ Less

Submitted 20 December, 2011; originally announced December 2011.

Comments: 5 pages

Open subgroups of locally compact Kac-Moody groups

Authors: Pierre-Emmanuel Caprace, Timothée Marquis

Abstract: 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… ▽ More 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. △ Less

Submitted 9 August, 2012; v1 submitted 24 August, 2011; originally announced August 2011.

Comments: Minor changes. Theorem A has been slightly improved and now contains an additional finiteness statement

MSC Class: 20E42; 20F55; 20G44

Simple groups without lattices

Authors: Uri Bader, Pierre-Emmanuel Caprace, Tsachik Gelander, Shahar Mozes

Abstract: 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. 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. △ Less

Submitted 13 March, 2011; v1 submitted 17 August, 2010; originally announced August 2010.

Comments: 17 pages. Revised according to referee's report

MSC Class: 22E40; 20E08

Journal ref: Bull. Lond. Math. Soc. 44 (2012), no. 1, 55-67

Rank rigidity for CAT(0) cube complexes

Authors: Pierre-Emmanuel Caprace, Michah Sageev

Abstract: 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 regu… ▽ More 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. △ Less

Submitted 1 April, 2011; v1 submitted 31 May, 2010; originally announced May 2010.

Comments: 39 pages, 4 figures. Revised version according to referee report

MSC Class: 20F65; 20F67; 53C21

Journal ref: Geom. Funct. Anal. 21 Nr. 4 (2011) pp. 851--891

Bipolar Coxeter groups

Authors: Pierre-Emmanuel Caprace, Piotr Przytycki

Abstract: 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 c… ▽ More 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. △ Less

Submitted 21 February, 2010; originally announced February 2010.

Comments: 25 pages, 2 figures

MSC Class: 20F55; 20F10; 20F65

Journal ref: J. Algebra 338 Nr. 1 (2011) pp. 35--55