Bottom tangles and universal invariants

Abstract

A bottom tangle is a tangle in a cube consisting only of arc components, each of which has the two endpoints on the bottom line of the cube, placed next to each other. We introduce a subcategory B of the category of framed, oriented tangles, which acts on the set of bottom tangles. We give a finite set of generators of B, which provides an especially convenient way to generate all the bottom tangles, and hence all the framed, oriented links, via closure. We also define a kind of "braided Hopf algebra action" on the set of bottom tangles. Using the universal invariant of bottom tangles associated to each ribbon Hopf algebra H, we define a braided functor J from B to the category Mod_H of left H-modules. The functor J, together with the set of generators of B, provides an algebraic method to study the range of quantum invariants of links. The braided Hopf algebra action on bottom tangles is mapped by J to the standard braided Hopf algebra structure for H in Mod_H. Several notions in knot theory, such as genus, unknotting number, ribbon knots, boundary links, local moves, etc are given algebraic interpretations in the setting involving the category B. The functor J provides a convenient way to study the relationships between these notions and quantum invariants.

This is the version published by Algebraic & Geometric Topology on 7 September 2006

References in corpus (7)

• Claspers and finite type invariants of links
• The universal Vassiliev-Kontsevich invariant for framed oriented links
• Invariants of 3-manifolds and projective representations of mapping class groups via quantum groups at roots of unity
• Homology cylinders: an enlargement of the mapping class group
• Genealogy of Nonperturbative Quantum-Invariants of 3-Manifolds: The Surgical Family
• Hopf diagrams and quantum invariants
• t_k-moves on links

Cited by in corpus (30)

• A unified Witten-Reshetikhin-Turaev invariant for integral homology spheres
• A functorial LMO invariant for Lagrangian cobordisms
• Logarithmic Hennings invariants for restricted quantum sl(2)
• On the relation between the WRT invariant and the Hennings invariant
• On the universal sl_2 invariant of ribbon bottom tangles
• Categorical centers and Reshetikhin-Turaev invariants
• Modular Categories and TQFTs Beyond Semisimplicity
• A Unified Quantum SO(3) Invariant for Rational Homology 3-Spheres
• Unified quantum invariants for integral homology spheres associated with simple Lie algebras
• A polynomial time knot polynomial
• On the category of finitely generated free groups
• On the universal sl_2 invariant of boundary bottom tangles
• New Quantum Invariants of Planar Knotoids
• On the colored Jones polynomials of ribbon links, boundary links and Brunnian links
• Perturbed Gaussian generating functions for universal knot invariants
• Relationship of the Hennings and Chern-Simons Invariants For Higher Rank Quantum Groups
• Cyclotomic expansions for ${\mathfrak{gl}}_N$ knot invariants via interpolation Macdonald polynomials
• A Hennings type invariant of $3$-manifolds from a topological Hopf superalgebra
• On the universal sl_2 invariant of Brunnian bottom tangles
• Homological Construction of Quantum Representations of Mapping Class Groups
• On Bar-Natan - van der Veen's perturbed Gaussians
• Non-Semisimple 3-Manifold Invariants Derived From the Kauffman Bracket
• An extension of the LMO functor
• The universal sl_2 invariant and Milnor invariants
• Milnor invariants and edge-homotopy classification of clover links
• Hennings TQFTs for Cobordisms Decorated With Cohomology Classes
• Kerler-Lyubashenko Functors on 4-Dimensional 2-Handlebodies
• The Milnor invariants of clover links
• A combinatorial PROP for bialgebras
• Quantum invariants of 3-manifolds associated to restricted quantum groups