arXiv research

New groups act on cube complexes without compact cubulation.

We construct infinitely many noncommensurable non-cocompact Fuchsian groups $Δ$ of finite covolume sitting in PSL(2,Q) so that the set of hyperbolic fixed points of $Δ$ will contain a given finite collection of elements in the boundary of the hyperbolic plane.

Random quotients of hyperbolic cubulated groups remain cubulated.

Let $X$ be a negatively curved symmetric space and $Γ$ a non-cocompact lattice in $\rm{Isom}(X)$. We show that small, parabolic-preserving deformations of $Γ$ into the isometry group of any negatively curved symmetric space containing $X$ remain discrete and faithful (the cocompact case is due to Guichard). This applie…

Paradan and Vergne generalised the quantisation commutes with reduction principle of Guillemin and Sternberg from symplectic to Spin$^c$-manifolds. We extend their result to noncompact groups and manifolds. This leads to a result for cocompact actions, and a result for non-cocompact actions for reduction at zero. The r…

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…

A Jørgensen group is a non-elementary Kleinian group that can be generated by two elements for which equality holds in Jørgensen's Inequality. This paper shows that the only torsion-free Jørgensen group is the figure-eight knot group, identifies all non-cocompact arithmetic Jørgensen groups, and establishes a character…

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…

Proves minimal growth rate for Coxeter groups in hyperbolic space.

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.

A hyperbolic 3-simplex reflection group is a Coxeter group arising as a lattice in the isometry group of hyperbolic 3-space, with fundamental domain a geodesic simplex (possibly with some ideal vertices). The classification of these groups is known, and there are exactly 9 cocompact examples, and 23 non-cocompact examp…

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.

In this paper we use techniques from convex projective geometry to produce many new examples of thin subgroups of lattices in special linear groups that are isomorphic to the fundamental groups of finite volume hyperbolic manifolds. More specifically, we show that for a large class of arithmetic lattices in SO(n,1) it …

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.

Mark and Paupert devised a general method for obtaining presentations for arithmetic non-cocompact lattices, $Γ$, in isometry groups of negatively curved symmetric spaces. The method involves a classical theorem of Macbeath applied to a $Γ$-invariant covering by horoballs of the negatively curved symmetric space upon w…

New method approximates hyperbolic lattices using cube complexes.

We formulate, for any Lie group G acting isometrically on a manifold M, the general notion of a G-equivariant elliptic operator that is invertible outside of a G-cocompact subset of M. We prove a version of the Rellich lemma for this setting and use this to define the equivariant index of such operators. We show that G…

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 paper introduces new topological obstructions for positive scalar curvature metrics on manifolds.