Source author record

Camille Horbez

Camille Horbez appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2022arXiv

On the homology growth and the $\ell^2$-Betti numbers of $\mathrm{Out}(W_n)$

Let $n\ge 3$, and let $\mathrm{Out}(W_n)$ be the outer automorphism group of a free Coxeter group $W_n$ of rank $n$. We study the growth of the dimension of the homology groups (with coefficients in any field $\mathbb{K}$) along Farber sequences of finite-index subgroups of $\mathrm{Out}(W_n)$. We show that, in all degrees up to $\lfloor\frac{n}{2}\rfloor-1$, these Betti numbers grow sublinearly in the index of the subgroup. When $\mathbb{K}=\mathbb{Q}$, through Lück's approximation theorem, this implies that all $\ell^2$-Betti numbers of $\mathrm{Out}(W_n)$ vanish up to degree $\lfloor\frac{n}{2}\rfloor-1$. In contrast, in top dimension equal to $n-2$, an argument of Gaboriau and Noûs implies that the $\ell^2$-Betti number does not vanish. We also prove that the torsion growth of the integral homology is sublinear. Our proof of these results relies on a recent method introduced by Abért, Bergeron, Frączyk and Gaboriau. A key ingredient is to show that a version of the complex of partial bases of $W_n$ has the homotopy type of a bouquet of spheres of dimension $\lfloor\frac{n}{2}\rfloor-1$.

preprint2022arXiv

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.

preprint2020arXiv

Big mapping class groups with hyperbolic actions: classification and applications

We address the question of determining which mapping class groups of infinite-type surfaces admit nonelementary continuous actions on hyperbolic spaces. More precisely, let $Σ$ be a connected, orientable surface of infinite type with tame endspace whose mapping class group is generated by a coarsely bounded subset. We prove that $\mathrm{Map}(Σ)$ admits a continuous nonelementary action on a hyperbolic space if and only if $Σ$ contains a finite-type subsurface which intersects all its homeomorphic translates. When $Σ$ contains such a nondisplaceable subsurface $K$ of finite type, the hyperbolic space we build is constructed from the curve graphs of $K$ and its homeomorphic translates via a construction of Bestvina, Bromberg and Fujiwara. Our construction has several applications: first, the second bounded cohomology of $\mathrm{Map}(Σ)$ contains an embedded $\ell^1$; second, using work of Dahmani, Guirardel and Osin, we deduce that $\mathrm{Map}(Σ)$ contains nontrivial normal free subgroups (while it does not if $Σ$ has no nondisplaceable subsurface of finite type), has uncountably many quotients and is SQ-universal.

preprint2020arXiv

Boundaries of relative factor graphs and subgroup classification for automorphisms of free products

Given a countable group $G$ splitting as a free product $G=G_1\ast\dots\ast G_k\ast F_N$, we establish classification results for subgroups of the group $Out(G,\mathcal{F})$ of all outer automorphisms of $G$ that preserve the conjugacy classes of each $G_i$. We show that every finitely generated subgroup $H\subseteq Out(G,\mathcal{F})$ either contains a relatively fully irreducible automorphism, or else it virtually preserves the conjugacy class of a proper free factor relative to the decomposition (the finite generation hypothesis on $H$ can be dropped for $G=F_N$, or more generally when $G$ is toral relatively hyperbolic). In the first case, either $H$ virtually preserves a nonperipheral conjugacy class in $G$, or else $H$ contains an atoroidal automorphism. The key geometric tool to obtain these classification results is a description of the Gromov boundaries of relative versions of the free factor graph $\mathrm{FF}$ and the $\mathcal{Z}$-factor graph $\mathcal{Z}\mathrm{F}$, as spaces of equivalence classes of arational trees (respectively relatively free arational trees). We also identify the loxodromic isometries of $\mathrm{FF}$ with the fully irreducible elements of $Out(G,\mathcal{F})$, and loxodromic isometries of $\mathcal{Z}\mathrm{F}$ with the fully irreducible atoroidal outer automorphisms.

preprint2016arXiv

Spectral theorems for random walks on mapping class groups and $\text{Out}(F_N)$

We establish spectral theorems for random walks on mapping class groups of connected, closed, oriented, hyperbolic surfaces, and on $\text{Out}(F_N)$. In both cases, we relate the asymptotics of the stretching factor of the diffeomorphism/automorphism obtained at time $n$ of the random walk to the Lyapunov exponent of the walk, which gives the typical growth rate of the length of a curve -- or of a conjugacy class in $F_N$ -- under a random product of diffeomorphisms/automorphisms. In the mapping class group case, we first observe that the drift of the random walk in the curve complex is also equal to the linear growth rate of the translation lengths in this complex. By using a contraction property of typical Teichmüller geodesics, we then lift the above fact to the realization of the random walk on the Teichmüller space. For the case of $\text{Out}(F_N)$, we follow the same procedure with the free factor complex in place of the curve complex, and the outer space in place of the Teichmüller space. A general criterion is given for making the lifting argument possible.

preprint2016arXiv

The boundary of the outer space of a free product

Let $G$ be a countable group that splits as a free product of groups of the form $G=G_1\ast\dots\ast G_k\ast F_N$, where $F_N$ is a finitely generated free group. We identify the closure of the outer space $P\mathcal{O}(G,\{G_1,\dots,G_k\})$ for the axes topology with the space of projective minimal, \emph{very small} $(G,\{G_1,\dots,G_k\})$-trees, i.e. trees whose arc stabilizers are either trivial, or cyclic, closed under taking roots, and not conjugate into any of the $G_i$'s, and whose tripod stabilizers are trivial. Its topological dimension is equal to $3N+2k-4$, and the boundary has dimension $3N+2k-5$. We also prove that any very small $(G,\{G_1,\dots,G_k\})$-tree has at most $2N+2k-2$ orbits of branch points.

preprint2014arXiv

Spectral rigidity for primitive elements of $F_N$

Two trees in the boundary of outer space are said to be \emph{primitive-equivalent} whenever their translation length functions are equal in restriction to the set of primitive elements of $F_N$. We give an explicit description of this equivalence relation, showing in particular that it is nontrivial. This question is motivated by our description of the horoboundary of outer space for the Lipschitz metric. Along the proof, we extend a theorem due to White about the Lipschitz metric on outer space to trees in the boundary, showing that the infimal Lipschitz constant of an $F_N$-equivariant map between the metric completion of any two minimal, very small $F_N$-trees is equal to the supremal ratio between the translation lengths of the elements of $F_N$ in these trees. We also provide approximation results for trees in the boundary of outer space.

preprint2014arXiv

The horoboundary of outer space, and growth under random automorphisms

We show that the horoboundary of outer space for the Lipschitz metric is a quotient of Culler and Morgan's classical boundary, two trees being identified whenever their translation length functions are homothetic in restriction to the set of primitive elements of $F_N$. We identify the set of Busemann points with the set of trees with dense orbits. We also investigate a few properties of the horoboundary of outer space for the backward Lipschitz metric, and show in particular that it is infinite-dimensional when $N\ge 3$. We then use our description of the horoboundary of outer space to derive an analogue of a theorem of Furstenberg--Kifer and Hennion for random products of outer automorphisms of $F_N$, that estimates possible growth rates of conjugacy classes of elements of $F_N$ under such products.

preprint2014arXiv

The Poisson boundary of $\text{Out}(F_N)$

Let $μ$ be a probability measure on $\text{Out}(F_N)$ with finite first logarithmic moment with respect to the word metric, finite entropy, and whose support generates a nonelementary subgroup of $\text{Out}(F_N)$. We show that almost every sample path of the random walk on $(\text{Out}(F_N),μ)$, when realized in Culler and Vogtmann's outer space, converges to the simplex of a free, arational tree. We then prove that the space $\mathcal{FI}$ of simplices of free and arational trees, equipped with the hitting measure, is the Poisson boundary of $(\text{Out}(F_N),μ)$. Using Bestvina-Reynolds' and Hamenstädt's description of the Gromov boundary of the complex $\mathcal{FF}_N$ of free factors of $F_N$, this gives a new proof of the fact, due to Calegari and Maher, that the realization in $\mathcal{FF_N}$ of almost every sample path of the random walk converges to a boundary point. We get in addition that $\partial\mathcal{FF}_N$, equipped with the hitting measure, is the Poisson boundary of $(\text{Out}(F_N),μ)$.

preprint2014arXiv

The Tits alternative for the automorphism group of a free product

Let $G=G_1\ast\dots\ast G_k\ast F$ be a countable group which splits as a free product, where all groups $G_i$ are freely indecomposable and not isomorphic to $\mathbb{Z}$, and $F$ is a finitely generated free group. If for all $i\in\{1,\dots,k\}$, both $G_i$ and its outer automorphism group $\text{Out}(G_i)$ satisfy the Tits alternative, then $\text{Out}(G)$ satisfies the Tits alternative. As an application, we prove that the Tits alternative holds for outer automorphism groups of right-angled Artin groups, and of torsion-free groups that are hyperbolic relative to a finite family of virtually polycyclic groups.

preprint2013arXiv

The hyperbolicity of the sphere complex via surgery paths

Handel and Mosher have proved that the free splitting complex FS for the free group is Gromov hyperbolic. This is a deep and much sought-after result, since it establishes FS as a good analogue of the curve complex for surfaces. We give a shorter alternative proof of this theorem, using surgery paths in Hatcher's sphere complex (another model for the free splitting complex), instead of Handel and Mosher's fold paths. As a byproduct, we get that surgery paths are unparameterized quasi-geodesics in the sphere complex. We explain how to deduce from our proof the hyperbolicity of some other complexes such as the free factor complex or the arc complex (of a surface with boundary).