Showing 1–16 of 16 results for author: Lécureux, J

A Tits alternative for $\mathbb{R}$-buildings of type $\tilde{A}_2$

Authors: Corentin Le Bars, Jean Lécureux, Jeroen Schillewaert

Abstract: Let $G$ be a group with a non-elementary action on a (not necessarily discrete) $\tilde{A}_2$-buildings. We prove that, given a random walk on $G$, isometries in $G$ are strongly regular hyperbolic with high probability. As a consequence, we prove a Tits alternative for $G$, as well as a local-to-global fixed point result. We also prove that isometries of (not necessarily complete) $\mathbb{R}$-bu… ▽ More Let $G$ be a group with a non-elementary action on a (not necessarily discrete) $\tilde{A}_2$-buildings. We prove that, given a random walk on $G$, isometries in $G$ are strongly regular hyperbolic with high probability. As a consequence, we prove a Tits alternative for $G$, as well as a local-to-global fixed point result. We also prove that isometries of (not necessarily complete) $\mathbb{R}$-buildings are semi-simple. △ Less

Submitted 6 November, 2024; originally announced November 2024.

Comments: 25 pages

MSC Class: 20F65 (Primary) 20E42; 60G50 (Secondary)

Normal Subgroup Theorem for groups acting on $\tilde A_2$-buildings

Authors: Uri Bader, Alex Furman, Jean Lécureux

Abstract: Let $Γ$ be a group acting on with finite stabilizers and finite fundamental domain on a building of type $\tilde A_2$. We prove that any non-trivial normal subgroup of $Γ$ is of finite index in $Γ$. Let $Γ$ be a group acting on with finite stabilizers and finite fundamental domain on a building of type $\tilde A_2$. We prove that any non-trivial normal subgroup of $Γ$ is of finite index in $Γ$. △ Less

Submitted 20 October, 2023; originally announced October 2023.

Contact Graphs, Boundaries, and a Central Limit Theorem for CAT(0) cubical complexes

Authors: Talia Fernós, Jean Lécureux, Frédéric Mathéus

Abstract: Let $X$ be a nonelementary CAT(0) cubical complex. We prove that if $X$ is essential and irreducible, then the contact graph of $X$ (introduced in \cite{Hagen}) is unbounded and its boundary is homeomorphic to the regular boundary of $X$ (defined in \cite{Fernos}, \cite{KarSageev}). Using this, we reformulate the Caprace-Sageev's Rank-Rigidity Theorem in terms of the action on the contact graph. L… ▽ More Let $X$ be a nonelementary CAT(0) cubical complex. We prove that if $X$ is essential and irreducible, then the contact graph of $X$ (introduced in \cite{Hagen}) is unbounded and its boundary is homeomorphic to the regular boundary of $X$ (defined in \cite{Fernos}, \cite{KarSageev}). Using this, we reformulate the Caprace-Sageev's Rank-Rigidity Theorem in terms of the action on the contact graph. Let $G$ be a group with a nonelementary action on $X$, and $(Z_n)$ a random walk corresponding to a generating probability measure on $G$ with finite second moment. Using this identification of the boundary of the contact graph, we prove a Central Limit Theorem for $(Z_n)$, namely that $\frac{d(Z_n o,o)-nA}{\sqrt n}$ converges in law to a non-degenerate Gaussian distribution (where $A=\lim \frac{d(Z_no,o)}{n}$ is the drift of the random walk, and $o\in X$ is an arbitrary basepoint). △ Less

Submitted 18 January, 2023; v1 submitted 19 December, 2021; originally announced December 2021.

Strong Property (T), weak amenability and $\ell^p$-cohomology in $\tilde{A}_2$-buildings

Authors: Jean Lécureux, Mikael de la Salle, Stefan Witzel

Abstract: We prove that cocompact (and more generally: undistorted) lattices on $\tilde{A}_2$-buildings satisfy Lafforgue's strong property (T), thus exhibiting the first examples that are not related to algebraic groups over local fields. Our methods also give two further results. First, we show that the first $\ell^p$-cohomology of an $\tilde{A}_2$-building vanishes for any finite $p$. Second, we show tha… ▽ More We prove that cocompact (and more generally: undistorted) lattices on $\tilde{A}_2$-buildings satisfy Lafforgue's strong property (T), thus exhibiting the first examples that are not related to algebraic groups over local fields. Our methods also give two further results. First, we show that the first $\ell^p$-cohomology of an $\tilde{A}_2$-building vanishes for any finite $p$. Second, we show that the non-commutative $L^p$-space for $p$ not in $[\frac 4 3,4]$ and the reduced $C^*$-algebra associated to an $\tilde{A}_2$-lattice do not have the operator space approximation property and, consequently, that the lattice is not weakly amenable. △ Less

Submitted 15 March, 2023; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: v1: 68 pages, 6 figures; v2: 79 pages, many improvements in the presentation. To appear in Ann. Sci. École Norm. Sup

MSC Class: 20F65; 51E24

Proper proximality in non-positive curvature

Authors: Camille Horbez, Jingyin Huang, Jean Lécureux

Abstract: Proper proximality of a countable group is a notion that was introduced by Boutonnet, Ioana and Peterson as a tool to study rigidity properties of certain von Neumann algebras associated to groups or ergodic group actions. In the present paper, we establish the proper proximality of many groups acting on nonpositively curved spaces. First, these include many countable groups $G$ acting properly… ▽ More Proper proximality of a countable group is a notion that was introduced by Boutonnet, Ioana and Peterson as a tool to study rigidity properties of certain von Neumann algebras associated to groups or ergodic group actions. In the present paper, we establish the proper proximality of many groups acting on nonpositively curved spaces. First, these include many countable groups $G$ acting properly nonelementarily by isometries on a proper $\mathrm{CAT}(0)$ space $X$. More precisely, proper proximality holds in the presence of rank one isometries or when $X$ is a locally thick affine building with a minimal $G$-action. As a consequence of Rank Rigidity, we derive the proper proximality of all countable nonelementary $\mathrm{CAT}(0)$ cubical groups, and of all countable groups acting properly cocompactly nonelementarily by isometries on either a Hadamard manifold with no Euclidean factor, or on a $2$-dimensional piecewise Euclidean $\mathrm{CAT}(0)$ simplicial complex. Second, we establish the proper proximality of many hierarchically hyperbolic groups. These include the mapping class groups of connected orientable finite-type boundaryless surfaces (apart from a few low-complexity cases), thus answering a question raised by Boutonnet, Ioana and Peterson. We also prove the proper proximality of all subgroups acting nonelementarily on the curve graph. In view of work of Boutonnet, Ioana and Peterson, our results have applications to structural and rigidity results for von Neumann algebras associated to all the above groups and their ergodic actions. △ Less

Submitted 2 June, 2022; v1 submitted 18 May, 2020; originally announced May 2020.

Comments: v2: Final version, accepted in the American Journal of Mathematics

Cocycle superrigidity from higher rank lattices to $\mathrm{Out}(F_N)$

Authors: Vincent Guirardel, Camille Horbez, Jean Lécureux

Abstract: We prove a rigidity result for cocycles from higher rank lattices to $\mathrm{Out}(F_N)$ and more generally to the outer automorphism group of a torsion-free hyperbolic group. More precisely, let $G$ be either a product of connected higher rank simple algebraic groups over local fields, or a lattice in such a product. Let $G\curvearrowright X$ be an ergodic measure-preserving action on a standard… ▽ More We prove a rigidity result for cocycles from higher rank lattices to $\mathrm{Out}(F_N)$ and more generally to the outer automorphism group of a torsion-free hyperbolic group. More precisely, let $G$ be either a product of connected higher rank simple algebraic groups over local fields, or a lattice in such a product. Let $G\curvearrowright X$ be an ergodic measure-preserving action on a standard probability space, and let $H$ be a torsion-free hyperbolic group. We prove that every Borel cocycle $G\times X\to\mathrm{Out}(H)$ is cohomologous to a cocycle with values in a finite subgroup of $\mathrm{Out}(H)$. This provides a dynamical version of theorems of Farb--Kaimanovich--Masur and Bridson--Wade asserting that every morphism from $G$ to either the mapping class group of a finite-type surface or the outer automorphism group of a free group, has finite image. The main new geometric tool is a barycenter map that associates to every triple of points in the boundary of the (relative) free factor graph a finite set of (relative) free splittings. △ Less

Submitted 11 October, 2022; v1 submitted 15 May, 2020; originally announced May 2020.

Comments: v2: Accepted in the Journal of Modern Dynamics. This version is an authors copy of the accepted manuscript; the version of record, in its final form, can be found at https://www.aimsciences.org/article/doi/10.3934/jmd.2022010

MSC Class: Primary: 37A20; Secondary: 20E36; 20F65; 20F67; 20G25; 22E40

Journal ref: Journal of Modern Dynamics, 2022, 18: 291-344

Tangent bundles of hyperbolic spaces and proper affine actions on $L^p$ spaces

Authors: Indira Chatterji, François Dahmani, Thomas Haettel, Jean Lécureux

Abstract: We define the notion of a negatively curved tangent bundle of a metric measured space. We prove that, when a group $G$ acts on a metric measured space $X$ with a negatively curved tangent bundle, then $G$ acts on some $L^p$ space, and that this action is proper under suitable assumptions. We then check that this result applies to the case when $X$ is a hyperbolic space. We define the notion of a negatively curved tangent bundle of a metric measured space. We prove that, when a group $G$ acts on a metric measured space $X$ with a negatively curved tangent bundle, then $G$ acts on some $L^p$ space, and that this action is proper under suitable assumptions. We then check that this result applies to the case when $X$ is a hyperbolic space. △ Less

Submitted 15 June, 2020; v1 submitted 22 January, 2019; originally announced January 2019.

Boundary maps and maximal representations on infinite dimensional Hermitian symmetric spaces

Authors: Bruno Duchesne, Jean Lécureux, Maria Beatrice Pozzetti

Abstract: We define a Toledo number for actions of surface groups and complex hyperbolic lattices on infinite dimensional Hermitian symmetric spaces, which allows us to define maximal representations. When the target is not of tube type we show that there cannot be Zariski-dense maximal representations, and whenever the existence of a boundary map can be guaranteed, the representation preserves a finite dim… ▽ More We define a Toledo number for actions of surface groups and complex hyperbolic lattices on infinite dimensional Hermitian symmetric spaces, which allows us to define maximal representations. When the target is not of tube type we show that there cannot be Zariski-dense maximal representations, and whenever the existence of a boundary map can be guaranteed, the representation preserves a finite dimensional totally geodesic subspace on which the action is maximal. In the opposite direction we construct examples of geometrically dense maximal representation in the infinite dimensional Hermitian symmetric space of tube type and finite rank. Our approach is based on the study of boundary maps, that we are able to construct in low ranks or under some suitable Zariski-density assumption, circumventing the lack of local compactness in the infinite dimensional setting. △ Less

Submitted 27 August, 2021; v1 submitted 24 October, 2018; originally announced October 2018.

Comments: Final version. To appear in ETDS

MSC Class: 20F67; 32M15

Journal ref: Ergodic Theory and Dynamical Systems , Volume 43 , Issue 1 , January 2023 , pp. 140 - 189

Random Walks and Boundaries of CAT(0) Cubical complexes

Authors: Talia Fernós, Jean Lécureux, Fréderic Mathéus

Abstract: We show under weak hypotheses that the pushforward $\{Z_no\}$ of a random-walk to a CAT(0) cube complex converges to a point on the boundary. We introduce the notion of squeezing points, which allows us to consider the convergence in either the Roller boundary or the visual boundary, with the appropriate hypotheses. This study allows us to show that any nonelementary action necessarily contains re… ▽ More We show under weak hypotheses that the pushforward $\{Z_no\}$ of a random-walk to a CAT(0) cube complex converges to a point on the boundary. We introduce the notion of squeezing points, which allows us to consider the convergence in either the Roller boundary or the visual boundary, with the appropriate hypotheses. This study allows us to show that any nonelementary action necessarily contains regular elements, that is, elements that act as rank-1 hyperbolic isometries in each irreducible factor of the essential core. △ Less

Submitted 8 September, 2016; originally announced September 2016.

Comments: 46 pages

MSC Class: 20F65; 60B05; 20F67; 20P05; 60J50; 20F38

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

Almost algebraic actions of algebraic groups and applications to algebraic representations

Authors: Uri Bader, Bruno Duchesne, Jean Lécureux

Abstract: Let G be an algebraic group over a complete separable valued field k. We discuss the dynamics of the G-action on spaces of probability measures on algebraic G-varieties. We show that the stabilizers of measures are almost algebraic and the orbits are separated by open invariant sets. We discuss various applications, including existence results for algebraic representations of amenable ergodic acti… ▽ More Let G be an algebraic group over a complete separable valued field k. We discuss the dynamics of the G-action on spaces of probability measures on algebraic G-varieties. We show that the stabilizers of measures are almost algebraic and the orbits are separated by open invariant sets. We discuss various applications, including existence results for algebraic representations of amenable ergodic actions. The latter provides an essential technical step in the recent generalization of Margulis-Zimmer super-rigidity phenomenon due to Bader and Furman. △ Less

Submitted 11 January, 2017; v1 submitted 19 November, 2014; originally announced November 2014.

Comments: Correction of a small mistake in Proposition 5.3

Journal ref: Groups Geom. Dyn. 11 (2017), 705-738

Geometric density for invariant random subgroups of groups acting on CAT(0) spaces

Authors: Bruno Duchesne, Yair Glasner, Nir Lazarovich, Jean Lécureux

Abstract: We prove that an IRS of a group with a geometrically dense action on a CAT(0) space also acts geometrically densely; assuming the space is either of finite telescopic dimension or locally compact with finite dimensional Tits boundary. This can be thought of as a Borel density theorem for IRSs. We prove that an IRS of a group with a geometrically dense action on a CAT(0) space also acts geometrically densely; assuming the space is either of finite telescopic dimension or locally compact with finite dimensional Tits boundary. This can be thought of as a Borel density theorem for IRSs. △ Less

Submitted 29 September, 2014; originally announced September 2014.

Journal ref: Geometriae Dedicata, Volume 175, Issue 1 (2015), Page 249-256

Amenable Invariant Random Subgroups

Authors: Uri Bader, Bruno Duchesne, Jean Lecureux

Abstract: We show that an amenable Invariant Random Subgroup of a locally compact second countable group lives in the amenable radical. This answers a question raised in the introduction of the paper "Kesten's Theorem for Invariant Random Subgroup" by Abert, Glasner and Virag. We also consider, in the opposite direction, property (T), and prove a similar statement for this property. The Appendix by Phillip… ▽ More We show that an amenable Invariant Random Subgroup of a locally compact second countable group lives in the amenable radical. This answers a question raised in the introduction of the paper "Kesten's Theorem for Invariant Random Subgroup" by Abert, Glasner and Virag. We also consider, in the opposite direction, property (T), and prove a similar statement for this property. The Appendix by Phillip Wesolek proves that the set of amenable subgroups is a Borel subset in the Chabauty topology. △ Less

Submitted 6 October, 2014; v1 submitted 16 September, 2014; originally announced September 2014.

Comments: We added an Appendix by Phillip Wesolek

Journal ref: Israel Journal of Mathematics, Volume 213, Issue 1, pp 399-422 (2016)

Furstenberg Maps For CAT(0) Targets Of Finite Telescopic Dimension

Authors: Uri Bader, Bruno Duchesne, Jean Lécureux

Abstract: We consider actions of locally compact groups $G$ on certain CAT(0) spaces $X$ by isometries. The CAT(0) spaces we consider have finite dimension at large scale. In case $B$ is a $G$-boundary, that is a measurable $G$-space with amenability and ergodicity properties, we prove the existence of equivariant maps from $B$ to the visual boundary $\partial X$. We consider actions of locally compact groups $G$ on certain CAT(0) spaces $X$ by isometries. The CAT(0) spaces we consider have finite dimension at large scale. In case $B$ is a $G$-boundary, that is a measurable $G$-space with amenability and ergodicity properties, we prove the existence of equivariant maps from $B$ to the visual boundary $\partial X$. △ Less

Submitted 11 April, 2014; originally announced April 2014.

Comments: 16 pages, 1 figure

Journal ref: Ergod. Th. Dynam. Sys. 36 (2016) 1723-1742

Amenability of actions on the boundary of a building

Authors: Jean Lecureux

Abstract: We prove that the action of the automorphism group of a building on its boundary is topologically amenable. The notion of boundary we use was defined in a previous paper \cite{CL}. It follows from this result that such groups have property (A), and thus satisfy the Novikov conjecture. It may also lead to applications in rigidity theory. We prove that the action of the automorphism group of a building on its boundary is topologically amenable. The notion of boundary we use was defined in a previous paper \cite{CL}. It follows from this result that such groups have property (A), and thus satisfy the Novikov conjecture. It may also lead to applications in rigidity theory. △ Less

Submitted 12 July, 2009; originally announced July 2009.

Combinatorial and group-theoretic compactifications of buildings

Authors: Pierre-Emmanuel Caprace, Jean Lecureux

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

Submitted 27 January, 2009; originally announced January 2009.

MSC Class: 20E42; 20G25; 22E20; 22F50; 51E24