Abstract:Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= \pi_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 satisfying these conditions. The main result may be thought of as a combination theorem for virtually special hyperbolic groups when the amalgamating subgroup is not quasiconvex. Ingredients include the theory of tracks, the quasiconvex hierarchy theorem of Wise, the distance estimates in the mapping class group from subsurface projections due to Masur-Minsky and the model geometry for doubly degenerate Kleinian surface groups used in the proof of the ending lamination theorem. An appendix to this paper by Manning, Mj, and Sageev proves a reduction theorem by showing that cubulability of $G$ follows from the existence of an essential incompressible quasiconvex track in a surface bundle over a graph with fundamental group $G$.

Fixed Subgroups are not Compressed in Direct Products of Surface Groups

Fixed Subgroups in Direct Products of Surface Groups of Euclidean Type

Fixed Subgroups Are Compressed in Surface Groups

Surface groups among cubulated hyperbolic and one-relator groups

The Group Fixed by a Family of Endomorphisms of a Surface Group

Classification of aut-fixed subgroups in free-abelian times surface groups

Groups not presentable by products

Cubulating Surface-by-free Groups

A Description of Fixed Subgroups of Free Groups

Subdirect products of groups and the n-(n+1)-(n+2) Conjecture

Subgroups of the direct product of graphs of groups with free abelian vertex groups

The subgroup membership problem in amalgamated products of finitely generated free groups

Free products of groups are strongly verbally closed

Relative Cubulation of Small Cancellation Free Products

On Finite Groups that are the Product of Two Subnormal Supersoluble Subgroups

On the fundamental groups of surfaces parametrizing cuboids

Bounds for Fixed Points and Fixed Subgroups on Surfaces and Graphs

Triangles of Baumslag-Solitar Groups

Subgroups of Genus-2 Quasi-Fuchsian groups and Cocompact Kleinian Groups

Congruence Subgroup Property for nilpotent groups and subsurface subgroups of Mapping Class Groups

Fixed subgroups of automorphisms of hyperbolic 3-manifold groups