Searcharxiv⌕ Search

arXiv subjects

Jean Lécureux

Publications and source records attributed to Jean Lécureux.

14 recordsLinked to original sources
arXiv2026

The Normal Subgroup Theorem for lattices on two-dimensional Euclidean buildings

We prove the normal subgroup property for every group that acts properly and cocompactly on a two-dimensional Euclidean building: every normal subgroup has finite index or is contained in the finite kernel of the action. As a consequence, the non-residually finite lattices constructed by Titz Mite and the second author are virtually simple. They are the first known simple lattices on irreducible Euclidean buildings.

math.GR↗
arXiv2024

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

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.

math.GR↗
arXiv2023

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

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.

math.GR↗
arXiv2023

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

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

math.GT↗
arXiv2022

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

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.

math.GR↗
arXiv2022

Proper proximality in non-positive curvature

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.

math.GR↗
arXiv2021

Boundary maps and maximal representations on infinite dimensional Hermitian symmetric spaces

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.

math.GR↗
arXiv2020

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

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.

math.GR↗
arXiv2018

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

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

math.GR↗
arXiv2017

Almost algebraic actions of algebraic groups and applications to algebraic representations

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.

math.GR↗
arXiv2016

Random Walks and Boundaries of CAT(0) Cubical complexes

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.

math.GR↗
arXiv2014

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

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

math.GR↗