Title:Cross ratios on ${\rm CAT(0)}$ cube complexes and marked length-spectrum rigidity

Abstract:We show that group actions on irreducible ${\rm CAT(0)}$ cube complexes with no free faces are uniquely determined by their $\ell^1$ length function. Actions are allowed to be non-proper and non-cocompact, as long as they are essential and have no finite orbit in the visual boundary. While some of our arguments are well-known in negative curvature, until now no length-spectrum rigidity results were available in a setting of non-positive curvature (except some particular cases in dimension 2).
Our main tool is a natural notion of cross ratio on Roller boundaries of ${\rm CAT(0)}$ cube complexes. We develop a general framework reducing length-spectrum rigidity questions to the problem of extending cross-ratio preserving maps between (subsets of) Roller boundaries. When there are no free faces, we show that such cross-ratio preserving maps always extend to cubical isomorphisms. All our results equally apply to cube complexes with variable edge lengths.
As a special case of our work, we construct a compactification of the Charney-Stambaugh-Vogtmann Outer Space for the group of untwisted outer automorphisms of an (irreducible) right-angled Artin group. This generalises the length function compactification of the classical Culler-Vogtmann Outer Space.