arXiv research

Wise's Quasiconvex Hierarchy Theorem classifying hyperbolic virtually compact special groups in terms of quasiconvex hierarchies played an essential role in Agol's proof of the Virtual Haken Conjecture. Answering a question of Wise, we construct a new virtual quasiconvex hierarchy for relatively hyperbolic virtually co…

The study shows exponential distortion in virtually special groups containing free subgroups.

Proves hyperbolized groups are virtually compact special and linear.

We provide new conditions for the Strong Atiyah conjecture to lift to finite group extensions. In particular, we show cocompact special groups satisfy these conditions, so the Strong Atiyah conjecture holds for virtually cocompact 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}$.

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

Study growth rates of automorphisms of special groups.

New groups with special properties found.

Let M be a graph manifold. We prove that fundamental groups of embedded incompressible surfaces in M are separable in the fundamental group of M, and that the double cosets for crossing surfaces are also separable. We deduce that if there is a "sufficient" collection of surfaces in M, then the fundamental group of M is…

Finite stature proven for cube complexes with cyclonormal edges.

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

Study classifies 2-manifolds with special homeomorphism groups.

Let M be a compact oriented irreducible 3-manifold which is neither a graph manifold nor a hyperbolic manifold. We prove that the fundamental group of M is virtually special.

Study $L^2$-Betti numbers of Dehn fillings for 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 subg…

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

Let M be a complete hyperbolic 3-manifold of finite volume that admits a decomposition into right-angled ideal polyhedra. We show that M has a deformation retraction that is a virtually special square complex, in the sense of Haglund and Wise and deduce that such manifolds are virtually fibered. We generalise a theorem…

Proves one-relator groups with negative immersions are hyperbolic and virtually special.

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 …

We show, using Wise's equitable sets criterion, that every tubular free by cyclic group acts freely on a CAT(0) cube complex. We also show that these groups have a finite index subgroup satisfying the strongest Tits alternative, which means that every subgroup either surjects a non abelian free group or is torsion free…

Generators found for automorphisms of special groups.

We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and furthermore of a very particular form. In particular, the profinite completion of th…

Proves conditions for nearby special Lagrangians in Calabi-Yau manifolds.

A classical result by K.B. Lee states that every group morphism between almost crystallographic groups is induced by an affine map on the nilpotent Lie group whereon these groups by definition act. It is the main technique for studying morphisms between virtually nilpotent groups, having important applications in fixed…

Lattices in PSL(2,C) are omnipotent, acting on geodesics and homology.

Effective rank rigidity proved for cubulated groups with factor systems.

Study describes prosoluble subgroups in 3-manifold groups.

For any right-angled Coxeter group $Γ$ on $k$ generators, we construct proper actions of $Γ$ on $\mathrm{O}(p,q+1)$ by right and left multiplication, and on the Lie algebra $\mathfrak{o}(p,q+1)$ by affine transformations, for some $p,q\in\mathbb N$ with $p+q+1=k$. As a consequence, any virtually special group admits pr…

An elementary proof shows that quasi-isometric groups to integers are virtually integers.

In this paper we prove that RAAGs are distinguished from each other by their pro-$p$ completions for any choice of prime $p$, and that RACGs are distinguished from each other by their pro-2 completions. We also give a new proof that hyperbolic virtually special groups are good in the sense of Serre. Furthermore we give…

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.

New virtual version of Thompson's group created to handle virtual knots.

The paper characterizes crystallographic groups derived from virtual braid and twin groups.

Study virtual braid groups, proving a key subgroup result.

We study the structure of the virtual braid group. It is shown that the virtual braid group is a semi--direct product of the virtual pure braid group and the symmetric group. Also, it is shown that the virtual pure braid group is a semi--direct product of free groups. From these results we obtain a normal form of words…

Finite subgroups of good groups correspond to their profinite completions.

Classic braids embed in virtual braids.

A graph product kernel means the kernel of the natural surjection from a graph product to the corresponding direct product. We prove that a graph product kernel of countable groups is special, and a graph product of finite or cyclic groups is virtually cocompact special in the sense of Haglund and Wise. The proof of th…

The paper defines new representations and groups related to virtual links.

Study of commutator subgroups and crystallographic quotients of virtual groups.

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 study groups of some virtual knots with small number of crossings and prove that there is a virtual knot with long lower central series which, in particular, implies that there is a virtual knot with residually nilpotent group. This gives a possibility to construct invariants of virtual knots using quotients by term…

The paper examines subgroup separability for surface and virtual braid groups.

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…

Virtual twin groups map to symmetric groups, revealing automorphism structure.

This paper gives a new interpretation of the virtual braid group in terms of a strict monoidal category SC that is freely generated by one object and three morphisms, two of the morphisms corresponding to basic pure virtual braids and one morphism corresponding to a transposition in the symmetric group. The key to this…

The paper removes a condition for the Nielsen realisation problem using equivariant Poincaré duality.

The paper constructs representations of flat virtual braids by free group automorphisms.