arXiv subjects
Publications and source records attributed to Talia Fernós.
We revisit the topic of probability measures on CAT(0) cube complexes and prove that an amenable group acting on a CAT(0) cube complex, regardless of dimension, necessarily preserves an interval in the Roller compactification. In the finite dimensional case, we prove that there must be an orbit of cardinality $2^N$, where $N$ is bounded by the dimension. This is a slight extension of the author's previous Tits' Alternative.
A finite-dimensional CAT(0) cube complex $X$ is equipped with several well-studied boundaries. These include the Tits boundary (which depends on the CAT(0) metric), the Roller boundary (which depends only on the combinatorial structure), and the simplicial boundary (which also depends only on the combinatorial structure). We use a partial order on a certain quotient of the Roller boundary to obtain the simplicial Roller boundary. Then, we show that the Tits, simplicial, and simplicial Roller boundaries are all homotopy equivalent, $Aut(X)$--equivariantly up to homotopy. As an application, we deduce that the perturbations of the CAT(0) metric introduced by Qing do not affect the equivariant homotopy type of the Tits boundary. Along the way, we develop a self-contained exposition providing a dictionary among different perspectives on cube 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).
We construct new families of quasimorphisms on many groups acting on CAT(0) cube complexes. These quasimorphisms have a uniformly bounded defect of 12, and they "see" all elements that act hyperbolically on the cube complex. We deduce that all such elements have stable commutator length at least 1/24. The group actions for which these results apply include the standard actions of right-angled Artin groups on their associated CAT(0) cube complexes. In particular, every non-trivial element of a right-angled Artin group has stable commutator length at least 1/24. These results make use of some new tools that we develop for the study of group actions on CAT(0) cube complexes: the essential characteristic set and equivariant Euclidean embeddings.
We explore the Mayer-Vietoris sequence developed by Chiswell for the fundamental group of a graph of groups when vertex groups satisfy some vanishing assumption on the first cohomology (e.g. property (T), or vanishing of the first $\ell^2$-Betti number). We characterize the vanishing of first reduced cohomology of unitary representations when vertex stabilizer have property (T). We find necessary and sufficient conditions for the vanishing of the first $\ell^2$-Betti number. We also study the associated Haagerup cocycle and show that it vanishes in first reduced cohomology precisely when the action is elementary.
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.
We define a bounded cohomology class, called the {\em median class}, in the second bounded cohomology -- with appropriate coefficients --of the automorphism group of a finite dimensional CAT(0) cube complex X. The median class of X behaves naturally with respect to taking products and appropriate subcomplexes and defines in turn the {\em median class of an action} by automorphisms of X. We show that the median class of a non-elementary action by automorphisms does not vanish and we show to which extent it does vanish if the action is elementary. We obtain as a corollary a superrigidity result and show for example that any irreducible lattice in the product of at least two locally compact connected groups acts on a finite dimensional CAT(0) cube complex X with a finite orbit in the Roller compactification of X. In the case of a product of Lie groups, the Appendix by Caprace allows us to deduce that the fixed point is in fact inside the complex X. In the course of the proof we construct a Γ-equivariant measurable map from a Poisson boundary of Γwith values in the non-terminating ultrafilters on the Roller boundary of X.
We show under weak hypotheses that $\partial X$, the Roller boundary of a finite dimensional CAT(0) cube complex $X$ is the Furstenberg-Poisson boundary of a sufficiently nice random walk on an acting group $Γ$. In particular, we show that if $Γ$ admits a nonelementary proper action on $X$, and $μ$ is a generating probability measure of finite entropy and finite first logarithmic moment, then there is a $μ$-stationary measure on $\partial X$ making it the Furstenberg-Poisson boundary for the $μ$-random walk on $Γ$. We also show that the support is contained in the closure of the regular points. Regular points exhibit strong contracting properties.
In this paper, we show that certain families with relative property (T) have trivial first $\ell^2$-Betti number. We apply this to the elementary matrix group $\EL_n(\R)$ where $\R$ is any countable unital ring of characteristic 0.
Shalom characterized property (T) in terms of the vanishing of all reduced first cohomology. We characterize group pairs having the property that the restriction map on all first reduced cohomology vanishes. We show that, in a strong sense, this is inequivalent to relative property (T).