arXiv subjects
Publications and source records attributed to Sakie Suzuki.
It is well known that every compact oriented 3-manifold admits an ideal triangulation, and that any two such triangulations with at least two ideal tetrahedra are related by a sequence of Pachner $2$-$3$ moves. Motivated by constructions in quantum topology, we give a combinatorial description of closed $3$-manifolds in terms of ordered ideal triangulations and ordered Pachner $2$-$3$ and $0$-$2$ moves.
The Matveev-Piergallini (MP) moves on spines of $3$-manifolds are well-known for their correspondence to the Pachner $2$-$3$ moves in dual ideal triangulations. Benedetti and Petronio introduced combinatorial descriptions of closed $3$-manifolds and combed $3$-manifolds by using branched spines and their equivalence relations, which involve MP moves with 16 distinct patterns of branchings. In this paper, we demonstrate that these 16 MP moves on branched spines are derived from a primary MP move, pure sliding moves, and their inverses. Consequently, we obtain simpler combinatorial descriptions for closed $3$-manifolds and combed $3$-manifolds. Furthermore, we extend these results to framed $3$-manifolds and spin $3$-manifolds. These descriptions are advantageous, particularly when constructing and studying quantum invariants of links and $3$-manifolds. In various constructions of quantum invariants using (ideal) triangulations, branching structures naturally arise to facilitate the assignment of non-symmetric algebraic objects to tetrahedra. In these frameworks, the primary MP move precisely corresponds to certain algebraic pentagon relations, such as the pentagon relation of the canonical element of a Heisenberg double, the Biedenharn-Elliott identity for quantum $6j$-symbols, or Schaeffer's identity for the Rogers dilogarithm and its non-commutative analog for Faddeev's quantum dilogarithm in quantum Teichmüller theory. We expect our results to contribute to a better understanding of quantum invariants in the context of spines and ideal triangulations.
The skein algebra of an oriented $3$-manifold is a classical limit of the Kauffman bracket skein module and gives the coordinate ring of the $SL_2(\mathbb{C})$-character variety. In this paper we determine the quotient of a polynomial ring which is isomorphic to the skein algebra of a group with three generators and two relators. As an application, we give an explicit formula for the skein algebra of the Borromean rings complement in $S^3$.
We construct a new type of quantum invariant of closed framed $3$-manifolds with the vanishing first Betti number. The invariant is defined for any finite dimensional Hopf algebra, such as small quantum groups, and is based on ideal triangulations. We use the canonical element of the Heisenberg double, which satisfies a pentagon equation, and graphical representations of $3$-manifolds introduced by R. Benedetti and C. Petronio. The construction is simple and easy to be understood intuitively; the pentagon equation reflects the Pachner $(2,3)$ move of ideal triangulations and the non-involutiveness of the Hopf algebra reflects framings. For an involutory Hopf algebra, the invariant reduces to an invariant of closed combed $3$-manifolds. For an involutory unimodular counimodular Hopf algebra, the invariant reduces to the topological invariant of closed $3$-manifolds which is introduced in our previous paper. In this paper we formalize the construction using more generally a Hopf monoid in a symmetric pivotal category and use tensor networks for calculations.
We construct an invariant of closed oriented $3$-manifolds using a finite dimensional, involutory, unimodular and counimodular Hopf algebra $H$. We use the framework of normal o-graphs introduced by R. Benedetti and C. Petronio, in which one can represent a branched ideal triangulation via an oriented virtual knot diagram. We assign a copy of a canonical element of the Heisenberg double $\mathcal{H}(H)$ of $H$ to each real crossing, which represents a branched ideal tetrahedron. The invariant takes values in the cyclic quotient $\mathcal{H}(H)/{[\mathcal{H}(H),\mathcal{H}(H)]}$, which is isomorphic to the base field. In the construction we use only the canonical element and structure constants of $H$ and we do not use any representations of $H$. This, together with the finiteness and locality conditions of the moves for normal o-graphs, makes the calculation of our invariant rather simple and easy to understand. When $H$ is the group algebra of a finite group, the invariant counts the number of group homomorphisms from the fundamental group of the $3$-manifold to the group.
The Drinfeld double of a finite dimensional Hopf algebra is a quasi-triangular Hopf algebra with the canonical element as the universal $R$-matrix, and one can obtain a ribbon Hopf algebra by adding the ribbon element. The universal quantum invariant of framed links is constructed using a ribbon Hopf algebra. In that construction, a copy of the universal $R$-matrix is attached to each crossing, and invariance under the Reidemeister III move is shown by the quantum Yang-Baxter equation of the universal $R$-matrix. On the other hand, the Heisenberg double of a finite dimensional Hopf algebra has the canonical element (the $S$-tensor) satisfying the pentagon relation. In this paper we reconstruct the universal quantum invariant using the Heisenberg double, and extend it to an invariant of equivalence classes of colored ideal triangulations of $3$-manifolds up to colored moves. In this construction, a copy of the $S$-tensor is attached to each tetrahedron, and invariance under the colored Pachner $(2,3)$ moves is shown by the pentagon relation of the $S$-tensor.
The universal sl_2 invariant of string links has a universality property for the colored Jones polynomial of links, and takes values in the h-adic completed tensor powers of the quantized enveloping algebra of sl_2. In this paper, we exhibit explicit relationships between the universal sl_2 invariant and Milnor invariants, which are classical invariants generalizing the linking number, providing some new topological insight into quantum invariants. More precisely, we define a reduction of the universal sl_2 invariant, and show how it is captured by Milnor concordance invariants. We also show how a stronger reduction corresponds to Milnor link-homotopy invariants. As a byproduct, we give explicit criterions for invariance under concordance and link-homotopy of the universal sl_2 invariant, and in particular for sliceness. Our results also provide partial constructions for the still-unknown weight system of the universal sl_2 invariant.
The purpose of this paper is twofold. On one hand, we introduce a modification of the dual canonical basis for invariant tensors of the 3-dimensional irreducible representation of $U_q(sl_2)$, given in terms of Jacobi diagrams, a central tool in quantum topology. On the other hand, we use this modified basis to study the so-called homotopy $sl_2$ weight system, which is its restriction to the space of Jacobi diagrams labeled by distinct integers. Noting that the $sl_2$ weight system is completely determined by its values on trees, we compute the image of the homotopy part on connected trees in all degrees; the kernel of this map is also discussed.
Bing doubling is an operation which gives a satellite of a knot. It is also applied to a link by specifying a component of the link. We give a formula to compute the reduced colored Jones polynomial of a Bing double by using that of the companion. This formula enables us to compute a lot of examples of the reduced colored Jones polynomial of Bing doubles. Moreover, from this formula we can derive a divisibility property of the unified Witten-Reshetikhin-Turaev invariant of integral homology spheres obtained by \pm1 surgery along Bing doubles of knots. This result is applied to the Witten-Reshetikhin-Turaev invariant and the Ohtsuki series of these integral homology spheres.
Habiro gave principal ideals of Z[q,q^{-1}] in which certain linear combinations of the colored Jones polynomials of algebraically-split links take values. The author proved that the same linear combinations for ribbon links, boundary links and Brunnian links are contained in smaller ideals of Z[q,q^{-1}] generated by several elements. In this paper, we prove that these ideals also are principal, each generated by a product of cyclotomic polynomials.
A link L is called Brunnian if every proper sublink of L is trivial. Similarly, a bottom tangle T is called Brunnian if every proper subtangle of T is trivial. In this paper, we give a small subalgebra of the n-fold completed tensor power of U_h(sl_2) in which the universal sl_2 invariant of n-component Brunnian bottom tangles takes values. As an application, we give a divisibility property of the colored Jones polynomial of Brunnian links.
The universal sl_2 invariant of bottom tangles has a universality property for the colored Jones polynomial of links. Habiro conjectured that the universal sl_2 invariant of boundary bottom tangles takes values in certain subalgebras of the completed tensor powers of the quantized enveloping algebra U_h(sl_2) of the Lie algebra sl_2. In the present paper, we prove an improved version of Habiro's conjecture. As an application, we prove a divisibility property of the colored Jones polynomial of boundary links.
A bottom tangle is a tangle in a cube consisting of arc components whose boundary points are on a line in the bottom square of the cube. A ribbon bottom tangle is a bottom tangle whose closure is a ribbon link. For every n-component ribbon bottom tangle T, we prove that the universal invariant J_T of T associated to the quantized enveloping algebra U_h(sl_2) of the Lie algebra sl_2 is contained in a certain Z[q,q^{-1}]-subalgebra of the n-fold completed tensor power of U_h(sl_2). This result is applied to the colored Jones polynomial of ribbon links.