arXiv research

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…

Complete classification of handlebody links up to six crossings.

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…

The paper studies invariants of surfaces in the 3-sphere using handlebody-links.

Associated to an embedded surface in the $3$-sphere, we construct a diagram of fundamental groups, and prove that it is a complete invariant, wherefrom we deduce complete invariants of handlebody links, tunnels of handlebody links, and spatial graphs.The main ingredients in the proof of the completeness are a generaliz…

As a generalization of the linking number, we construct a set of invariant numbers for two-component handlebody-links. These numbers are elementary divisors associated with the natural homomorphism from the first homology group of a component to that of the complement of another component.

The paper explores new quandle systems for handlebody-links and spatial graphs.

We introduce a multiple conjugation biquandle, and show that it is the universal algebra to define a semi-arc coloring invariant for handlebody-links. A multiple conjugation biquandle is a generalization of a multiple conjugation quandle. We extend the notion of $n$-parallel biquandle operations for any integer $n$, an…

We introduce \textit{Niebrzydowski algebras}, algebraic structures with a ternary operation and a partially defined multiplication, with axioms motivated by the Reidemeister moves for $Y$-oriented trivalent spatial graphs and handlebody-links. As part of this definition, we identify generating sets of $Y$-oriented Reid…

New polynomials defined for quandle structures, enhancing graph invariants.

In this paper, we introduce the (co)homology group of a multiple conjugation biquandle. It is the (co)homology group of the prismatic chain complex, which is related to the homology of foams introduced by J. S. Carter, modulo a certain subchain complex. We construct invariants for $S^1$-oriented handlebody-links using …

A quandle is a set that has a binary operation satisfying three conditions corresponding to the Reidemeister moves. Homology theories of quandles have been developed in a way similar to group homology, and have been applied to knots and knotted surfaces. In this paper, a homology theory is defined that unifies group an…

An enhanced trivalent tangle is a trivalent tangle with some of its edges labeled. We use enhanced trivalent tangles and classical knot theory to provide a recipe for constructing invariants for trivalent tangles, and in particular, for knotted trivalent graphs. Our method also yields invariants of, what we refer to as…

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 neighborhood homotopy is an equivalence relation on spatial graphs which is generated by crossing changes on the same component and neighborhood equivalence. We give a complete classification of all 2-component spatial graphs up to neighborhood homotopy by the elementary divisor of a linking matrix with respect to th…

We define a functor $\mathcal{Q}$ from the category of multiple conjugation biquandles to that of multiple conjugation quandles. We show that for any multiple conjugation biquandle $X$, there is a one-to-one correspondence between the set of $X$-colorings and that of $\mathcal{Q}(X)$-colorings diagrammatically for any …

A handlebody-knot is a handlebody embedded in the 3-sphere. We establish a uniform method to construct invariants for handlebody-links. We introduce the category $\mathcal{T}$ of handlebody-tangles and present it by generators and relations. The result tells us that every functor on $\mathcal{T}$ that gives rise to inv…

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