We study the orientation preserving involutions of the orientable 3-dimensional handlebody $H_g$, for any genus $g$. A complete classification of such involutions is given in terms of their fixed points.
Applying Morse theory, we give a standard form for a class of surfaces which includes all the properly embedded incompressible surfaces in 3-dimensional handlebodies. We also give a necessary and sufficient condition to determine the incompressibility of such surfaces placed in our standard form. Our algorithm is practical. Several examples are given to test the algorithm.
This paper is the second part of our work on 4-dimensional 2-handlebodies. In the first part (arXiv:math.GT/0407032) it is shown that up to certain set of local moves, connected simple coverings of B^4 branched over ribbon surfaces, bijectively represent connected orientable 4-dimensional 2-handlebodies up to 2-deformations (handle slides and creations/cancellations of handles of index <= 2). We factor this bijective correspondence through a map onto the closed morphisms in a universal braided category freely generated by a Hopf algebra object H. In this way we obtain a complete algebraic desc…
For two generator free Fuchsian groups, the quotient three manifold is a genus two solid handlebody and its boundary is a hyperelliptic Riemann surface. The convex core is also a hyperelliptic Riemann surface. We find the Weierstrass points of both of these surfaces. We then generalize the notion of a hyperelliptic Riemann surface to a ``hyperelliptic'' three manifold. We show that the handlebody has a unique order two isometry fixing six unique geodesic line segments, which we call the {\sl Weierstrass lines} of the handlebody. The Weierstrass lines are, of course, the analogue of the Weierst…
We construct a braided monoidal functor $J_4$ from Bobtcheva and Piergallini's category $4\mathrm{HB}$ of connected 4-dimensional 2-handlebodies (up to 2-deformations) to an arbitrary unimodular ribbon category $\mathcal{C}$, which is not required to be semisimple. The main example of target category is provided by $H$-mod, the category of left modules over a unimodular ribbon Hopf algebra $H$. The source category $4\mathrm{HB}$ is freely generated, as a braided monoidal category, by a BPH algebra (short for Bobtcheva-Piergallini Hopf algebra), and this is sent by the Kerler-Lyubashenko functo…
It is known that the order of a finite group of diffeomorphisms of a 3-dimensional handlebody of genus g > 1 is bounded by the linear polynomial 12(g-1), and that the order of a finite group of diffeomorphisms of a 4-dimensional handlebody (or equivalently, of its boundary 3-manifold), faithful on the fundamental group, is bounded by a quadratic polynomial in g (but not by a linear one). In the present paper we prove a generalization for handlebodies of arbitrary dimension d, uniformizing handlebodies by Schottky groups and considering finite groups of isometries of such handlebodies. We prove…
Fix a free, orientation-preserving action of a finite group G on a 3-dimensional handlebody V. Whenever G acts freely preserving orientation on a connected 3-manifold X, there is a G-equivariant imbedding of V into X. There are choices of X closed and Seifert-fibered for which the image of V is a handlebody of a Heegaard splitting of X. Provided that the genus of V is at least 2, there are similar choices with X closed and hyperbolic.
We show that for any n > 3 there exists an equivalence functor from the category of n-fold connected simple coverings of B^3 x [0, 1] branched over ribbon surface tangles up to certain local ribbon moves, to the category Chb^{3+1} of orientable relative 4-dimensional 2-handlebody cobordisms up to 2-deformations. As a consequence, we obtain an equivalence theorem for simple coverings of S^3 branched over links, which provides a complete solution to the long-standing Fox-Montesinos covering moves problem. This last result generalizes to coverings of any degree results by the second author and Ap…
In this paper we consider all orientation-preserving $\mathbb{Z}_{4}$-actions on $3$-dimensional handlebodies $V_g$ of genus $g>0$. We study the graph of groups $(Γ($v$),\mathbf{G(v)})$, which determines a handlebody orbifold $V(Γ($v$),{\mathbf{G(v)}})\simeq{V_g}/\mathbb{Z}_{4}$. This algebraic characterization is used to enumerate the total number of $\mathbb{Z}_{4}$ group actions on such handlebodies, up to equivalence.
The equivalence (or weak equivalence) classes of orientation-preserving free actions of a finite group G on an orientable 3-dimensional handlebody of genus g can be enumerated in terms of sets of generators of G. They correspond to the equivalence classes of generating n-vectors of elements of G, where n=1+(g-1)/|G|, under Nielsen equivalence (or weak Nielsen equivalence). For abelian and dihedral G, this allows a complete determination of the equivalence and weak equivalence classes of actions for all genera. Additional information is obtained for solvable groups and for the groups PSL(2,3^p)…
We study the moduli space of handlebodies diffeomorphic to $(D^{n+1}\times S^{n})^{\natural g}$, i.e. the classifying space $BDiff((D^{n+1}\times S^n)^{\natural g}, D^{2n})$ of the group of diffeomorphisms that restrict to the identity near a $2n$-dimensional disk embedded in the boundary, $\partial(D^{n+1}\times S^n)^{\natural g}$. We construct a map $colim_{g\to\infty}BDiff((D^{n+1}\times S^n)^{\natural g}, D^{2n}) \longrightarrow Q_{0}BO(2n+1)\langle n \rangle_{+}$ and prove that it induces an isomorphism on integral homology in the case that $2n+1 \geq 9$. Above, $BO(2n+1)\langle n \rangle…
A trisection of a smooth, closed, oriented 4-manifold is a decomposition into three 4-dimensional 1-handlebodies meeting pairwise in 3-dimensional 1-handlebodies, with triple intersection a closed surface. The fundamental groups of the surface, the 3-dimensional handlebodies, the 4-dimensional handlebodies, and the closed 4-manifold, with homomorphisms between them induced by inclusion, form a commutative diagram of epimorphisms, which we call a trisection of the 4-manifold group. A trisected 4-manifold thus gives a trisected group; here we show that every trisected group uniquely determines a…
We show that simple coverings of B^4 branched over ribbon surfaces up to certain local ribbon moves bijectively represent orientable 4-dimensional 2-handlebodies up to handle sliding and addition/deletion of cancelling handles. As a consequence, we obtain an equivalence theorem for simple coverings of S^3 branched over links, in terms of local moves. This result generalizes to coverings of any degree results by the second author and Apostolakis, concerning respectively the case of degree 3 and 4. We also provide an extension of our equivalence theorem to possibly non-simple coverings of S^3 br…
In this paper we prove a homological stability theorem for the diffeomorphism groups of high dimensional manifolds with boundary, with respect to forming the boundary connected sum with the product $D^{p+1}\times S^{q}$ for $|q - p| < \min\{p, q\} - 2$. In a recent joint paper with Boris Botvinnik (see arXiv:1509.03359 ), we identify the homology of $colim_{g\to \infty}BDiff((D^{n+1}\times S^{n})^{\natural g}, \; D^{2n})$ with that of the infinite loopspace $Q_{0}BO(2n+1)\langle n\rangle_{+}$, in the case that $n \geq 4$. Combining this "stable homology" calculation with this paper's homologic…
Given a (genus 2) cube-with-holes M, i.e. the complement in S^3 of a handlebody H, we relate intrinsic properties of M (like its cut number) with extrinsic features depending on the way the handlebody H is knotted in S^3. Starting from a first level of knotting that requires the non-existence of a planar spine for H, we define several instances of knotting of H in terms of the non-existence of spines with special properties. Some of these instances are implied by an intrinsic counterpart in terms of the non-existence of special cut-systems for M. We study a natural partial order on these insta…
Gay and Kirby introduced trisections which describe any closed oriented smooth 4-manifold $X$ as a union of three four-dimensional handlebodies. A trisection is encoded in a diagram, namely three collections of curves in a closed oriented surface $Σ$, guiding the gluing of the handlebodies. Any morphism $φ$ from $π_1(X)$ to a finitely generated free abelian group induces a morphism on $π_1(Σ)$. We express the twisted homology and Reidemeister torsion of $(X;φ)$ in terms of the first homology of $(Σ;φ)$ and the three subspaces generated by the collections of curves. We also express the intersec…
In this article, we classify all involutions on S^6 with 3-dimensional fixed point set. In particular, we discuss the relation between the classification of involutions with fixed point set a knotted 3-sphere and the classification of free involutions on homotopy CP^3's.
The equivariant rho-invariants studied in this paper are a version of the classical rho-invariants of Atiyah, Patodi, and Singer in the presence of an isometric involution. We compute these rho-invariants for all involutions on the 3-dimensional lens spaces with 1-dimensional fixed point sets, as well as for some involutions on Brieskorn homology spheres. As an application, we compute the generators and Floer gradings in the singular instanton chain complex of (p,q)-torus knots with odd p and q.
We prove that the canonical 4-dimensional surgery problems can be solved after passing to a double cover. This contrasts the long-standing conjecture about the validity of the topological surgery theorem for arbitrary fundamental groups (without passing to a cover). As a corollary, the surgery conjecture is reformulated in terms of the existence of free involutions on a certain class of 4-manifolds. We consider this question and analyze its relation to the A,B-slice problem.
In this paper, a classification of free involutions on 3-dimensional homotopy complex projective spaces is given. By the $\mathbb Z_2$-equivariant Montgomery-Yang correspondence, we obtain all smooth involutions on $S^6$ with fixed-point set an embedded $S^3$.
The (4k+2)-dimensional Kervaire manifold is a closed, piecewise linear (PL) manifold with Kervaire invariant 1 and the same homology as the product of two (2k+1)-dimensional spheres. We show that a finite group of odd order acts freely on a Kervaire manifold if and only if it acts freely on the corresponding product of spheres. If the Kervaire manifold M is smoothable, then each smooth structure on M admits a free smooth involution. If k + 1 is not a 2-power, then the Kervaire manifold in dimension 4k+2 does not admit any free TOP involutions. Free "exotic" (PL) involutions are constructed on …
A symmetric quandle is a quandle with a good involution. For a knot in \$R^3\$, a knotted surface in \$R^4\$ or an \$n\$-manifold knot in \$R^{n+2}\$, the knot symmetric quandle is defined. We introduce the notion of a symmetric quandle presentation, and show how to get a presentation of a knot symmetric quandle from a diagram.