Source author record

Mark F. Hagen

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

ResearcherUnclaimed source record

math.GR math.GT math.CO math.PR

Catalog footprint

Research overview

11works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

The simplicial boundary of a CAT(0) cube complex

For a CAT(0) cube complex $\mathbf X$ , we define a simplicial flag complex $\partial_Δ\mathbf X$ , called the \emph{simplicial boundary}, which is a natural setting for studying non-hyperbolic behavior of $\mathbf X$ . We compare $\partial_Δ\mathbf X$ to the Roller, visual, and Tits boundaries of $\mathbf X$ and give conditions under which the natural CAT(1) metric on $\partial_Δ\mathbf X$ makes it (quasi)isometric to the Tits boundary. $\partial_Δ\mathbf X$ allows us to interpolate between studying geodesic rays in $\mathbf X$ and the geometry of its \emph{contact graph} $Γ\mathbf X$ , which is known to be quasi-isometric to a tree, and we characterize essential cube complexes for which the contact graph is bounded. Using related techniques, we study divergence of combinatorial geodesics in $\mathbf X$ using $\partial_Δ\mathbf X$ . Finally, we rephrase the rank-rigidity theorem of Caprace-Sageev in terms of group actions on $Γ\mathbf X$ and $\partial_Δ\mathbf X$ and state characterizations of cubulated groups with linear divergence in terms of $Γ\mathbf X$ and $\partial_Δ\mathbf X$ .

preprint2019arXiv

Panel collapse and its applications

We describe a procedure called panel collapse for replacing a CAT(0) cube complex $Ψ$ by a "lower complexity" CAT(0) cube complex $Ψ_\bullet$ whenever $Ψ$ contains a codimension- $2$ hyperplane that is extremal in one of the codimension- $1$ hyperplanes containing it. Although $Ψ_\bullet$ is not in general a subcomplex of $Ψ$ , it is a subspace consisting of a subcomplex together with some cubes that sit inside $Ψ$ "diagonally". The hyperplanes of $Ψ_\bullet$ extend to hyperplanes of $Ψ$ . Applying this procedure, we prove: if a group $G$ acts cocompactly on a CAT(0) cube complex $Ψ$ , then there is a CAT(0) cube complex $Ω$ so that $G$ acts cocompactly on $Ω$ and for each hyperplane $H$ of $Ω$ , the stabiliser in $G$ of $H$ acts on $H$ essentially. Using panel collapse, we obtain a new proof of Stallings's theorem on groups with more than one end. As another illustrative example, we show that panel collapse applies to the exotic cubulations of free groups constructed by Wise. Next, we show that the CAT(0) cube complexes constructed by Cashen-Macura can be collapsed to trees while preserving all of the necessary group actions. (It also illustrates that our result applies to actions of some non-discrete groups.) We also discuss possible applications to quasi-isometric rigidity for certain classes of graphs of free groups with cyclic edge groups. Panel collapse is also used in forthcoming work of the first-named author and Wilton to study fixed-point sets of finite subgroups of $\mathrm{Out}(F_n)$ on the free splitting complex. Finally, we apply panel collapse to a conjecture of Kropholler, obtaining a short proof under a natural extra hypothesis.

preprint2016arXiv

Global Structural Properties of Random Graphs

We study two global structural properties of a graph $Γ$ , denoted AS and CFS, which arise in a natural way from geometric group theory. We study these properties in the Erdös--Rényi random graph model G(n,p), proving a sharp threshold for a random graph to have the AS property asymptotically almost surely, and giving fairly tight bounds for the corresponding threshold for CFS. As an application of our results, we show that for any constant p and any $Γ\in G(n,p)$ , the right-angled Coxeter group $W_Γ$ asymptotically almost surely has quadratic divergence and thickness of order 1, generalizing and strengthening a result of Behrstock--Hagen--Sisto.

preprint2016arXiv

Quantifying separability in virtually special groups

We give a new, effective proof of the separability of cubically convex-cocompact subgroups of special groups. As a consequence, we show that if $G$ is a virtually compact special hyperbolic group, and $Q\leq G$ is a $K$ -quasiconvex subgroup, then any $g\in G-Q$ of word-length at most $n$ is separated from $Q$ by a subgroup whose index is polynomial in $n$ and exponential in $K$ . This generalizes a result of Bou-Rabee and the authors on residual finiteness growth and a result of the second author on surface groups.

preprint2014arXiv

Cocompactly cubulated crystallographic groups

We prove that the simplicial boundary of a CAT(0) cube complex admitting a proper, cocompact action by a virtually $\integers^n$ group is isomorphic to the hyperoctahedral triangulation of $S^{n-1}$ , providing a class of groups $G$ for which the simplicial boundary of a $G$ -cocompact cube complex depends only on $G$ . We also use this result to show that the cocompactly cubulated crystallographic groups in dimension $n$ are precisely those that are \emph{hyperoctahedral}. We apply this result to answer a question of Wise on cocompactly cubulating virtually free abelian groups.

preprint2014arXiv

Cubulated groups: thickness, relative hyperbolicity, and simplicial boundaries

Let G be a group acting geometrically on a CAT(0) cube complex X. We prove first that G is hyperbolic relative to the collection P of subgroups if and only if the simplicial boundary of X is the disjoint union of a nonempty discrete set, together with a pairwise-disjoint collection of subcomplexes corresponding, in the appropriate sense, to elements of P. As a special case of this result is a new proof, in the cubical case, of a Theorem of Hruska--Kleiner regarding Tits boundaries of relatively hyperbolic CAT(0) spaces. Second, we relate the existence of cut-points in asymptotic cones of a cube complex X to boundedness of the 1-skeleton of the boundary of X. We deduce characterizations of thickness and strong algebraic thickness of a group G acting properly and cocompactly on the CAT(0) cube complex X in terms of the structure of, and nature of the G-action on, the boundary of X. Finally, we construct, for each n,k, infinitely many quasi-isometry types of group G such that G is strongly algebraically thick of order n, has polynomial divergence of order n+1, and acts properly and cocompactly on a k-dimensional CAT(0) cube complex.

preprint2014arXiv

Cubulating hyperbolic free-by-cyclic groups: the general case

Let $Φ:F\rightarrow F$ be an automorphism of the finite-rank free group $F$ . Suppose that $G=F\rtimes_Φ\mathbb Z$ is word-hyperbolic. Then $G$ acts freely and cocompactly on a CAT(0) cube complex.

preprint2014arXiv

Cubulating hyperbolic free-by-cyclic groups: the irreducible case

Let $V$ be a finite graph and let $ϕ:V\rightarrow V$ be an irreducible train track map whose mapping torus has word-hyperbolic fundamental group $G$ . Then $G$ acts freely and cocompactly on a CAT(0) cube complex.

preprint2014arXiv

Residual Finiteness Growths of Virtually Special Groups

Let $G$ be a virtually special group. Then the residual finiteness growth of $G$ is at most linear. This result cannot be found by embedding $G$ into a special linear group. Indeed, the special linear group $\text{SL}_k(\mathbb{Z})$ , for $k > 2$ , has residual finiteness growth $n^{k-1}$ .

preprint2013arXiv

Cocompactly cubulated graph manifolds

Let M be a graph manifold. We show that π_1M is the fundamental group of a compact nonpositively curved cube complex if and only if M is chargeless. We also prove that in that case π_1M is virtually compact special.

preprint2013arXiv

Weak hyperbolicity of cube complexes and quasi-arboreal groups

We examine a graph $Γ$ encoding the intersection of hyperplane carriers in a CAT(0) cube complex $\widetilde X$ . The main result is that $Γ$ is quasi-isometric to a tree. This implies that a group $G$ acting properly and cocompactly on $\widetilde X$ is weakly hyperbolic relative to the hyperplane stabilizers. Using disc diagram techniques and Wright's recent result on the aymptotic dimension of CAT(0) cube complexes, we give a generalization of a theorem of Bell and Dranishnikov on the finite asymptotic dimension of graphs of asymptotically finite-dimensional groups. More precisely, we prove asymptotic finite-dimensionality for finitely-generated groups acting on finite-dimensional cube complexes with 0-cube stabilizers of uniformly bounded asymptotic dimension. Finally, we apply contact graph techniques to prove a cubical version of the flat plane theorem stated in terms of complete bipartite subgraphs of $Γ$ .

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.

Mark F. Hagen

Research overview

Is this your work?

11 publications

The simplicial boundary of a CAT(0) cube complex

Panel collapse and its applications

Global Structural Properties of Random Graphs

Quantifying separability in virtually special groups

Cocompactly cubulated crystallographic groups

Cubulated groups: thickness, relative hyperbolicity, and simplicial boundaries

Cubulating hyperbolic free-by-cyclic groups: the general case

Cubulating hyperbolic free-by-cyclic groups: the irreducible case

Residual Finiteness Growths of Virtually Special Groups

Cocompactly cubulated graph manifolds

Weak hyperbolicity of cube complexes and quasi-arboreal groups

See the researcher in context

Building this map preview