Source author record

Camille Horbez

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GT math.GR math.PR math.OA math.AT

Catalog footprint

Research overview

15works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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.

preprint2021arXiv

Boundary amenability of $Out(F_N)$

We prove that $Out(F_N)$ is boundary amenable. This also holds more generally for $Out(G)$ , where $G$ is either a toral relatively hyperbolic group or a finitely generated right-angled Artin group. As a consequence, all these groups satisfy the Novikov conjecture on higher signatures.

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.

preprint2015arXiv

Automorphisms of graphs of cyclic splittings of free groups

We prove that any isometry of the graph of cyclic splittings of a finitely generated free group $F_N$ of rank $N\ge 3$ is induced by an outer automorphism of $F_N$ . The same statement also applies to the graphs of maximally-cyclic splittings, and of very small splittings.

preprint2014arXiv

A short proof of Handel and Mosher's alternative for subgroups of $\text{Out}(F_N)$

We give a short proof of a theorem of Handel and Mosher stating that any finitely generated subgroup of $\text{Out}(F_N)$ either contains a fully irreducible automorphism, or virtually fixes the conjugacy class of a proper free factor of $F_N$ , and we extend their result to non finitely generated subgroups of $\text{Out}(F_N)$ .

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

Sphere paths in outer space

We give estimates on the length of paths defined in the sphere model of outer space using a surgery process, and show that they make definite progress in some sense when they remain in some thick part of outer space. To do so, we relate the Lipschitz metric on outer space to a notion of intersection numbers.

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

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.

Camille Horbez

Research overview

Is this your work?

15 publications

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

Proper proximality in non-positive curvature

Boundary amenability of $Out(F_N)$

Big mapping class groups with hyperbolic actions: classification and applications

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

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

The boundary of the outer space of a free product

Automorphisms of graphs of cyclic splittings of free groups

A short proof of Handel and Mosher's alternative for subgroups of $\text{Out}(F_N)$

Spectral rigidity for primitive elements of $F_N$

The horoboundary of outer space, and growth under random automorphisms

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

The Tits alternative for the automorphism group of a free product

Sphere paths in outer space

The hyperbolicity of the sphere complex via surgery paths

See the researcher in context

Building this map preview

Camille Horbez

Research overview

Is this your work?

15 publications

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

Proper proximality in non-positive curvature

Boundary amenability of Out(FN)Out(F_N)Out(FN​)

Big mapping class groups with hyperbolic actions: classification and applications

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

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

The boundary of the outer space of a free product

Automorphisms of graphs of cyclic splittings of free groups

A short proof of Handel and Mosher's alternative for subgroups of Out(FN)\text{Out}(F_N)Out(FN​)

Spectral rigidity for primitive elements of FNF_NFN​

The horoboundary of outer space, and growth under random automorphisms

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

The Tits alternative for the automorphism group of a free product

Sphere paths in outer space

The hyperbolicity of the sphere complex via surgery paths

See the researcher in context

Building this map preview

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

Boundary amenability of $Out(F_N)$

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

A short proof of Handel and Mosher's alternative for subgroups of $\text{Out}(F_N)$

Spectral rigidity for primitive elements of $F_N$

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