We show that a finitely generated subgroup of the genus two handlebody group is stable if and only if the orbit map to the disk graph is a quasi-isometric embedding. To this end, we prove that the genus two handlebody group is a hierarchically hyperbolic group, and that the maximal hyperbolic space in the hierarchy is quasi-isometric to the disk graph of a genus two handlebody by appealing to a construction of Hamenstädt-Hensel. We then utilize the characterization of stable subgroups of hierarchically hyperbolic groups provided by Abbott-Behrstock-Berlyne-Durham-Russell. We also present several applications of the main theorems, and show that the higher genus analogues of the genus two results do not hold.
A handlebody link is a union of handlebodies of positive genus embedded in 3-space, which generalizes the notion of links in classical knot theory. In this paper, we consider handlebody links with one genus 2 handlebody and $n-1$ solid tori, $n>1$. Our main result is the complete classification of such handlebody links with six crossings or less, up to ambient isotopy.
We show that the Dehn function of the handlebody group is exponential in any genus $g\geq 3$. On the other hand, we show that the handlebody group of genus $2$ is cubical, biautomatic, and therefore has a quadratic Dehn function.
We study geometric properties of stabilisers in the handlebody group. We find that stabilisers of meridians are undistorted, while stabilisers of primitive curves or annuli are exponentially distorted for large enough genus.
By Thurston's hyperbolization theorem, irreducible handlebody-knots are classified into three classes: hyperbolic, toroidal, and atoroidal cylindrical. It is known that a non-trivial handlebody-knot of genus two has a finite symmetry group if and only if it is atoroidal. The paper investigates the topology of cylindrical handlebody-knots of genus two that admit an unknotting annulus; we show that the symmetry group is trivial if the unknotting annulus is unique and of type $2$.
A recent result of Funayoshi-Koda shows that a handlebody-knot of genus two has a finite symmetry group if and only if it is hyperbolic -- the exterior admits a hyperbolic structure with totally geodesic boundary -- or irreducible, atoroidal, cylindrical -- the exterior contains no essential disks or tori but contains an essential annulus. Based on the Koda-Ozawa classification theorem, essential annuli in an irreducible, atoroidal handlebody-knots of genus two are classified into four classes: type $2$, type $3$-$2$, type $3$-$3$ and type $4$-$1$. We show that under mild condition most genus …
A simple closed curve $α$ in the boundary of a genus two handlebody $H$ is primitive if adding a 2-handle to $H$ along $α$ yields a solid torus. If adding a 2-handle to $H$ along $α$ yields a Seifert-fibered space and not a solid torus, the curve is called Seifert. If $α$ is disjoint from an essential separating disk in $H$, does not bound a disk in $H$, and is not primitive in $H$, then it is said to be proper power. As one of the background papers of the classification project of hyperbolic primitive/Seifert knots in $S^3$ whose complete list is given in [BK20], this paper classifies in term…
We construct infinitely many linearly independent quasi-homomorphisms on the mapping class group of a Riemann surface with genus at least two which vanish on a handlebody subgroup. As a corollary, we disprove a conjecture of Reznikov on bounded width in Heegaard splittings. Another corollary is that there are infinitely many linearly independent quasi-invariants on the Heegaard splittings of three-manifolds.
In this paper we present two new bases, $B^{\prime}_{H_2}$ and $\mathcal{B}_{H_2}$, for the Kauffman bracket skein module of the handlebody of genus 2 $H_2$, KBSM($H_2$). We start from the well-known Przytycki-basis of KBSM($H_2$), $B_{H_2}$, and using the technique of parting we present elements in $B_{H_2}$ in open braid form. We define an ordering relation on an augmented set $L$ consisting of monomials of all different "loopings" in $H_2$, that contains the sets $B_{H_2}$, $B^{\prime}_{H_2}$ and $\mathcal{B}_{H_2}$ as proper subsets. Using the Kauffman bracket skein relation we relate $B_{…
The Johnson-Morita theory for the handlebody group
Graduate School of Mathematical Sciences, University of Tokyo（东京大学大学院数学系研究科）；Université Bourgogne Europe, CNRS, IMB (UMR 5584)（勃艮第欧洲大学，法国国家科学研究中心，IMB（UMR 5584））
The mapping class group $MCG(Σ_g)$ of a surface of genus $g$ has a long-history in topology and group theory. More recently, the mapping class group $MCG(V_g)$ of a handlebody $V_g$ of genus $g$ has become an interesting topic in the study of $3$ manifolds, largely thanks to Heegaard splitting. While $MCG(V_g)$ can be regarded naturally as a sub group of $MCG(Σ_g)$, we could not find any complete proof of this fundamental theorem. It is the purpose of this paper that we give a rigorous proof of embedding of $MCG(V_g)$ into $MCG(V_g)$. The key step is: Any self-homeomorphism $f$ of handlebody $…
We consider finite group-actions on closed, orientable and nonorientable 3-manifolds; such a finite group-action leaves invariant the two handlebodies of a Heegaard splitting of M of some genus g. The maximal possible order of a finite group-action of an orientable or nonorientable handlebody of genus g > 1 is 24(g-1), and in the present paper we characterize the 3-manifolds M and groups G for which the maximal possible order |G| = 24(g-1) is obtained, for some G-invariant Heegaard splitting of genus g > 1. If M is reducible then it is obtained by doubling an action of maximal possible order 2…
School of Mathematical Sciences, East China Normal University（华东师范大学数学科学学院）；School of Mathematical Sciences, Key Laboratory of MEA (Ministry of Education) & Shanghai Key Laboratory of PMMP, East China Normal University（华东师范大学数学科学学院、教育部MEA重点实验室与上海PMMP上海市重点实验室）
The classification of finite group-actions on closed surfaces of small genus is well-known. In the present paper we are interested in the question of which of these group-actions are bounding (extend to a compact 3-manifold with the surface as its unique boundary component, e.g. to a handlebody) or geometrically bounding (extend to a hyperbolic 3-manifold with totally geodesic boundary), concentrating, as a typical case, on large group-actions on surfaces of genus 3.
