arXiv research

Random quotients of hyperbolic cubulated groups remain cubulated.

We describe a procedure to deform cubulations of hyperbolic groups by "bending hyperplanes". Our construction is inspired by related constructions like Thurston's Mickey Mouse example, walls in fibred hyperbolic $3$-manifolds and free-by-$\mathbb Z$ groups, and Hsu-Wise turns. As an application, we show that every coco…

Clarifies boundary criterion for non-one-ended subgroups in cubulation theory.

We prove that a group obtained as a quotient of the free product of finitely many cubulable groups by a finite set of relators satisfying the classical $C'(1/6)$--small cancellation condition is cubulable. This yields a new large class of relatively hyperbolic groups that can be cubulated, and constitutes the first ins…

New groups act on cube complexes without compact cubulation.

The paper proves drilled bundles over graphs are virtually special cubulable.

Study on median algebra structures on Euclidean spaces and manifolds with local CAT(0) cubulation.

New findings on hyperbolic groups and their boundaries.

We give a conjectural classification of virtually cocompactly cubulated Artin-Tits groups (i.e. having a finite index subgroup acting geometrically on a CAT(0) cube complex), which we prove for all Artin-Tits groups of spherical type, FC type or two-dimensional type. A particular case is that for $n \geq 4$, the $n$-st…

The hyperbolic dodecahedral space of Weber and Seifert has a natural non-positively curved cubulation obtained by subdividing the dodecahedron into cubes. We show that the hyperbolic dodecahedral space has a 6-sheeted irregular cover with the property that the canonical hypersurfaces made up of the mid-cubes give a ver…

Many geometric structures associated to surface groups can be encoded in terms of invariant cross ratios on their circle at infinity; examples include points of Teichmüller space, Hitchin representations and geodesic currents. We add to this picture by studying cubulations of arbitrary Gromov hyperbolic groups $G$. Und…

New hyperbolic 3-pseudomanifolds with unique properties.

Agol proved that hyperbolic cubulated groups are virtually special. The aim of these notes is to make the proof accessible to a wider audience; we retain the underlying ideas and constructions of Agol, but substantially change or add to many parts of the argument to give a more transparent and detailed account.

We prove that a Kähler group which is cubulable, i.e. which acts properly discontinuously and cocompactly on a CAT(0) cubical complex, has a finite index subgroup isomorphic to a direct product of surface groups, possibly with a free Abelian factor. Similarly, we prove that a closed aspherical Kähler manifold with a cu…

We find explicit subdivision rules for all special cubulated groups. A subdivision rule for a group produces a sequence of tilings on a sphere which encode all quasi-isometric information for a group. We show how these tilings detect properties such as growth, ends, divergence, etc. We include figures of several worked…

Study of group actions on CAT(0) cube complexes, focusing on marked length spectra.

The aim of this paper (inspired from a problem of Habegger) is to describe the set of cubical decompositions of compact manifolds mod out by a set of combinatorial moves analogous to the bistellar moves considered by Pachner, which we call bubble moves. One constructs a surjection from this set onto the the bordism gro…

The study shows that surface groups are the only non-free infinite index subgroups of certain hyperbolic groups.

In this paper, we prove that given two cubical links of dimension two in ${\mathbb R}^4$, they are isotopic if and only if one can pass from one to the other by a finite sequence of cubulated moves. These moves are analogous to the Reidemeister and Roseman moves for classical tame knots of dimension one and two, respec…

Groups with specific properties have similar cubulations and coarse median structures.

We describe a correspondence between spaces with walls and CAT(0) cube complexes.

We introduce a simple algorithm which transforms every four-dimensional cubulation into a cusped finite-volume hyperbolic four-manifold. Combinatorially distinct cubulations give rise to topologically distinct manifolds. Using this algorithm we construct the first examples of finite-volume hyperbolic four-manifolds wit…

Minimal area of spun trefoil knot is found in 4D cubical space.

Stable cubulations and bicombings in mapping class groups and Teichmüller spaces.

Let $1 \to H \to G \to Q \to 1$ be an exact sequence where $H= π_1(S)$ is the fundamental group of a closed surface $S$ of genus greater than one, $G$ is hyperbolic and $Q$ is finitely generated free. The aim of this paper is to provide sufficient conditions to prove that $G$ is cubulable and construct examples satis…

A tubular group is a group that acts on a tree with $\mathbb{Z}^2$ vertex stabilizers and $\mathbb{Z}$ edge stabilizers. This paper develops further a criterion of Wise and determines when a tubular group acts freely on a finite dimensional CAT(0) cube complex. As a consequence we offer a unified explanation of the fai…

The paper shows how sublinearly Morse boundaries can be understood through combinatorial methods.

In this paper, we prove than given two cubic knots $K_1$, $K_2$ in $\mathbb{R}^3$, they are isotopic if and only if one can pass from one to the other by a finite sequence of cubulated moves. These moves are analogous to the Reidemeister moves for classical tame knots. We use the fact that a cubic knot is determined by…

We bound the size of $d$-dimensional cubulations of finitely presented groups. We apply this bound to obtain acylindrical accessibility for actions on CAT(0) cube complexes and bounds on curves on surfaces.

Effective rank rigidity proved for cubulated groups with factor systems.

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.

In this paper, we show that a nontrivial compact graph manifold is nonpositively curved if and only if its fundamental group virtually embeds into a right-angled Artin group. As a consequence, nonpositively curved graph manifolds have linear fundamental groups.

New group acts on complex but not in lower dimensions.

We study various analogues of theorems from PL topology for cubical complexes. In particular, we characterize when two PL homeomorphic cubulations are equivalent by Pachner moves by showing the question to be equivalent to the existence of cobordisms between generic immersions of hypersurfaces. This solves a question a…

New hyperbolic manifolds with diverse features created.

Proves small cancellation free products have geometric actions on CAT(0) cube complexes.

New method approximates hyperbolic lattices using cube complexes.

We prove that non-elementary hyperbolic groups grow exponentially more quickly than their infinite index quasiconvex subgroups. The proof uses the classical tools of automatic structures and Perron-Frobenius theory. We also extend the main result to relatively hyperbolic groups and cubulated groups. These extensions us…

The study establishes conditions for groups acting on polygonal complexes to contain virtually free subgroups.

We say that a topological $n$-manifold $N$ is a cubical $n$-manifold if it is contained in the $n$-skeleton of the canonical cubulation $\mathcal{C}$ of ${\mathbb{R}}^{n+k}$ ($k\geq1$). In this paper, we prove that any closed, oriented cubical $2$-manifold has a transverse field of 2-planes in the sense of Whitehead an…

We give a criterion in terms of the boundary for the existence of a proper cocompact action of a word-hyperbolic group on a CAT(0) cube complex. We describe applications towards lattices and hyperbolic 3-manifold groups. In particular, by combining the theory of special cube complexes, the surface subgroup result of Ka…

New group constructed from cube complex properties.

Groups acting on CAT(0) cube complexes have hyperfinite boundary actions.

We prove that cubulated hyperbolic groups are virtually special. The proof relies on results of Haglund and Wise which also imply that they are linear groups, and quasi-convex subgroups are separable. A consequence is that closed hyperbolic 3-manifolds have finite-sheeted Haken covers, which resolves the virtual Haken …

This paper shows that every Gromov hyperbolic group can be described by a finite subdivision rule acting on the 3-sphere. This gives a boundary-like sequence of increasingly refined finite cell complexes which carry all quasi-isometry information about the group. This extends a result from Cannon and Swenson in 1998 th…

Cube complexes allow hyperbolic groups to have Anosov representations.

New theorem bounds group quotient size to subgroups index.

New groups with special properties found.