arXiv research

Maps from 4D handlebodies to their boundaries have sections.

Constructs a TQFT for 3-manifolds and extends it to 4-dimensional 2-handlebodies.

New proof of Laudenbach and Poénaru's theorem on 4D 1-handlebodies.

Quantum invariants for surfaces in 4D 2-handlebodies.

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-deforma…

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 clo…

High-dimensional handlebodies are shown to be products of simpler shapes.

Refined invariants for 4D 2-handlebodies, linking quantum groups and cohomology.

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…

New algebraic presentations for 3D cobordisms and 4D 2-handlebodies.

New Hopf algebras help classify 4D shapes.

Functor connects 4D 2-handlebodies to ribbon categories, detecting non-deformation diffeomorphisms.

New invariants detect exotic smooth structures in 4-manifolds.

Calegari's 4-spheres from fibered knots are proven standard.

By 2-twist-spinning the knotted graph that represents the knotted handlebody $5_2$, we obtain a knotted foam in 4-dimensional space with a non-trivial quandle cocycle invariant.

Kirby color defined in Khovanov homology for 4D handlebodies.

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…

Algorithm constructs Kirby diagrams for 4D open books.

We provide a complete set of moves relating any two Lefschetz fibrations over the disk having as their total space the same 4-dimensional 2-handlebody up to 2-equivalence. As a consequence, we also obtain moves relating diffeomorphic 3-dimensional open books, providing a different approach to an analogous previous resu…

Algorithms that decompose a manifold into simple pieces reveal the geometric and topological structure of the manifold, showing how complicated structures are constructed from simple building blocks. This note describes a way to algorithmically construct a trisection, which describes a $4$-dimensional manifold as a uni…

Here we show that every compact smooth 4-manifold X has a structure of a Broken Lefschetz Fibration (BLF in short). Furthermore, if b_{2}^{+}(X)> 0 then it also has a Broken Lefschetz Pencil structure (BLP) with nonempty base locus. This imroves a Theorem of Auroux, Donaldson and Katzarkov, and our proof is topological…

The paper constructs multisections for m-spun 3-manifolds in higher dimensions.

From any 4-dimensional oriented handlebody X without 3- and 4-handles and with b_2>0, we construct arbitrary many compact Stein 4-manifolds which are mutually homeomorphic but not diffeomorphic to each other, so that their topological invariants (their fundamental groups, homology groups, boundary homology groups, and …

In analogy with the vector bundle theory we define universal and strongly universal Lefschetz fibrations over bounded surfaces. After giving a characterization of these fibrations we construct very special strongly universal Lefschetz fibrations when the fiber is the torus or an orientable surface with connected bounda…

New invariant detects more elements in 4D diffeomorphism group.

Donaldson showed that every closed symplectic 4-manifold can be given the structure of a topological Lefschetz pencil. Gay and Kirby showed that every closed 4-manifold has a trisection. In this paper we relate these two structure theorems, showing how to construct a trisection directly from a topological Lefschetz pen…

The notion of a Bing cell is introduced, and it is used to define invariants, link groups, of 4-manifolds. Bing cells combine some features of both surfaces and 4-dimensional handlebodies, and the link group λ(M) measures certain aspects of the handle structure of a 4-manifold M. This group is a quotient of the fundame…

The Jacobi identity is the key relation in the definition of a Lie algebra. In the last decade, it also appeared at the heart of the theory of finite type invariants of knots, links and 3-manifolds (and is there called the IHX-relation). In addition, this relation was recently found to arise naturally in a theory of em…

The study proves exotic smooth structures and equivalent genus functions in 4-manifolds.

Study shows $S^1$ algebraic structure in 2-dimensional CW-complex cobordisms.

The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every $k \geq 2$, we construct $2^{k}-1$ non-diffeomorphic $(3k,k)$-trisections on infinitely many 4-manifolds. Here, the manifolds are spun Seifert fiber spaces and the trisections come from Meier's spun trisection…

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 c…

The paper proves unique factorization of knotted handlebodies and examines handlebody-knot symmetry.

Complete classification of handlebody links up to six crossings.

Paper defines numerical criteria to test handlebody link irreducibility.

A handlebody-link is a disjoint union of embeddings of handlebodies in $S^3$ and an HL-homotopy is an equivalence relation on handlebody-links generated by self-crossing changes. The second author and Ryo Nikkuni classified the set of HL-homotopy classes of 2-component handlebody-links completely using the linking numb…

The JSJ decomposition helps classify genus two handlebody-knots.

We give examples of knots in a genus 2 handlebody which have nontrivial Dehn surgeries yielding handlebodies and show that these knots are not 1--bridge.

Finite presentation for a specific group in 3D handlebody topology.

Study on finiteness properties of handlebody mapping class groups.

Bridge positions of handlebody-knots are equivalent when stable.

We introduce several algebraic structures related to handlebody-knots, including $G$-families of biquandles, partially multiplicative biquandles and group decomposable biquandles. These structures can be used to color the semiarcs in $Y$-oriented spatial trivalent graph diagrams representing $S^1$-oriented handlebody-k…

A complex of incompressible surfaces in a handlebody is constructed so that it contains, as a subcomplex, the complex of curves of the boundary of the handlebody. For genus 2 handlebodies, the group of automorphisms of this complex is used to characterize the mapping class group of the handlebody. In particular, it is …

We generalize unoriented handlebody-links to the twisted virtual case, obtaining Reidemeister moves for handlebody-links in ambient spaces of the form $Σ\times [0,1]$ for $Σ$ a compact closed 2-manifold up to stable equivalence. We introduce a related algebraic structure known as twisted virtual bikeigebras whose axiom…

Paper introduces an invariant to distinguish handlebody-knot exteriors.

Homological stability proved for handlebody mapping class groups.

Defines annulus complex of handlebodies and proves its connectivity.

Enumerated all genus two handlebody-knots with seven crossings.