Results 1  10
of
20
Higherdimensional algebra and topological quantum field theory
 Jour. Math. Phys
, 1995
"... For a copy with the handdrawn figures please email ..."
Abstract

Cited by 140 (14 self)
 Add to MetaCart
For a copy with the handdrawn figures please email
Claspers and finite type invariants of links
, 2000
"... We introduce the concept of “claspers,” which are surfaces in 3–manifolds with some additional structure on which surgery operations can be performed. Using claspers we define for each positive integer k an equivalence relation on links called “Ck–equivalence,” which is generated by surgery operatio ..."
Abstract

Cited by 26 (1 self)
 Add to MetaCart
We introduce the concept of “claspers,” which are surfaces in 3–manifolds with some additional structure on which surgery operations can be performed. Using claspers we define for each positive integer k an equivalence relation on links called “Ck–equivalence,” which is generated by surgery operations of a certain kind called “Ck–moves”. We prove that two knots in the 3–sphere are Ck+1–equivalent if and only if they have equal values of Vassiliev–Goussarov invariants of type k with values in any abelian groups. This result gives a characterization in terms of surgery operations of the informations that can be carried by Vassiliev–Goussarov invariants. In the last section we also describe outlines of some applications of claspers to other fields in 3–dimensional topology.
Integrals for braided Hopf algebras
 J. Pure Appl. Algebra
, 2000
"... Let H be a Hopf algebra in a rigid braided monoidal category with split idempotents. We prove the existence of integrals on (in) H characterized by the universal property, employing results about Hopf modules, and show that their common target (source) object IntH is invertible. The fully braided ve ..."
Abstract

Cited by 17 (3 self)
 Add to MetaCart
Let H be a Hopf algebra in a rigid braided monoidal category with split idempotents. We prove the existence of integrals on (in) H characterized by the universal property, employing results about Hopf modules, and show that their common target (source) object IntH is invertible. The fully braided version of Radford’s formula for the fourth power of the antipode is obtained. Connections of integration with crossproduct and transmutation are studied. 1991 Mathematics Subject Classification. Primary 16W30, 18D15, 17B37; Secondary 18D35.
A unified WittenReshetikhinTuraev invariant for integral homology spheres
, 2006
"... We construct an invariant JM of integral homology spheres M with values in a completion ̂ Z[q] of the polynomial ring Z[q] such that the evaluation at each root of unity ζ gives the the SU(2) WittenReshetikhinTuraev invariant τζ(M) of M at ζ. Thus JM unifies all the SU(2) WittenReshetikhinTurae ..."
Abstract

Cited by 14 (2 self)
 Add to MetaCart
We construct an invariant JM of integral homology spheres M with values in a completion ̂ Z[q] of the polynomial ring Z[q] such that the evaluation at each root of unity ζ gives the the SU(2) WittenReshetikhinTuraev invariant τζ(M) of M at ζ. Thus JM unifies all the SU(2) WittenReshetikhinTuraev invariants of M. As a consequence, τζ(M) is an algebraic integer. Moreover, it follows that τζ(M) as a function on ζ behaves like an “analytic function ” defined on the set of roots of unity. That is, the τζ(M) for all roots of unity are determined by a “Taylor expansion ” at any root of unity, and also by the values at infinitely many roots of unity of prime power orders. In particular, τζ(M) for all roots of unity are determined by the Ohtsuki series, which can be regarded as the Taylor expansion at q = 1.
Towards an Algebraic Characterization of 3dimensional Cobordisms. ArXiv: math.GT/0106253
"... (To appear in Contemp. Math.) Abstract: The goal of this paper is to find a close to isomorphic presentation of 3manifolds in terms of Hopf algebraic expressions. To this end we define and compare three different braided tensor categories that arise naturally in the study of Hopf algebras and 3dim ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
(To appear in Contemp. Math.) Abstract: The goal of this paper is to find a close to isomorphic presentation of 3manifolds in terms of Hopf algebraic expressions. To this end we define and compare three different braided tensor categories that arise naturally in the study of Hopf algebras and 3dimensional topology. The first is the category Cob of connected surfaces with one boundary component and 3dimensional relative cobordisms, the second is a
Invariants of spin threemanifolds from ChernSimons theory and finitedimensional Hopf algebras
 Adv. Math
"... Abstract. A version of Kirby calculus for spin and framed threemanifolds is given and is used to construct invariants of spin and framed threemanifolds in two situations. The first is ribbon ∗categories which possess odd degenerate objects. This case includes the quantum group situations correspon ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
Abstract. A version of Kirby calculus for spin and framed threemanifolds is given and is used to construct invariants of spin and framed threemanifolds in two situations. The first is ribbon ∗categories which possess odd degenerate objects. This case includes the quantum group situations corresponding to the halfinteger level ChernSimons theories conjectured to give spin TQFTs by Dijkgraaf and Witten [10]. In particular, the spin invariants constructed by Kirby and Melvin [21] are shown to be identical to the invariants associated to SO(3). Second, an invariant of spin manifolds analogous to the Hennings invariant is constructed beginning with an arbitrary factorizable, unimodular quasitriangular Hopf algebra. In particular a framed manifold invariant is associated to every finitedimensional Hopf algebra via its quantum double, and is conjectured to be identical to Kuperberg’s noninvolutory invariant of framed manifolds associated to that Hopf algebra.
Bottom tangles and universal invariants
, 2006
"... 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 ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
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 ModH 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 ModH. 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.
A FUNCTORIAL LMO INVARIANT FOR LAGRANGIAN COBORDISMS
, 2007
"... Abstract. Lagrangian cobordisms are threedimensional compact oriented cobordisms between oncepunctured surfaces, subject to some homological conditions. We extend the Le–Murakami–Ohtsuki invariant of homology threespheres to a functor ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Abstract. Lagrangian cobordisms are threedimensional compact oriented cobordisms between oncepunctured surfaces, subject to some homological conditions. We extend the Le–Murakami–Ohtsuki invariant of homology threespheres to a functor
KIRBY CALCULUS IN MANIFOLDS WITH BOUNDARY
, 1998
"... Suppose there are two framed links in a compact, connected 3manifold (possibly with boundary, or nonorientable) such that the associated 3manifolds obtained by surgery are homeomorphic (relative to their common boundary, if there is one.) How are the links related? Kirby’s theorem [K1] gives the ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Suppose there are two framed links in a compact, connected 3manifold (possibly with boundary, or nonorientable) such that the associated 3manifolds obtained by surgery are homeomorphic (relative to their common boundary, if there is one.) How are the links related? Kirby’s theorem [K1] gives the answer when the manifold is S 3, and Fenn and Rourke [FR] extended it to the case of any closed orientable 3manifold, or S 1 ˜×S 2. The purpose of this note is to give the answer in the general case, using only minor modifications of Kirby’s original proof. Let M be a compact, connected, orientable (for the moment) 3manifold with boundary, containing (in its interior) a framed link L. Doing surgery on this link produces a new manifold, whose boundary is canonically identified with the original ∂M. In fact any compact connected orientable N, whose boundary is identified (via some chosen homeomorphism) with that of M, may be obtained by surgery on M in such a way that the boundary identification obtained after doing the surgery agrees with the chosen one. This is because M ∪ (∂M × I) ∪ N (gluing N on via the prescribed homeomorphism of boundaries) is a closed orientable 3manifold, hence bounds a (smooth orientable) 4manifold, by Lickorish’s
Duality Theorems for Infinite Braided Hopf Algebras
, 2003
"... Let H be an infinitedimensional braided Hopf algebra and assume that the braiding is symmetric on H and its quasidual Hd. We prove the BlattnerMontgomery duality theorem, namely we prove (R#H)#H d ∼ d = R ⊗ (H#H) as algebras in braided tensor category C. In particular, we present two duality theo ..."
Abstract
 Add to MetaCart
Let H be an infinitedimensional braided Hopf algebra and assume that the braiding is symmetric on H and its quasidual Hd. We prove the BlattnerMontgomery duality theorem, namely we prove (R#H)#H d ∼ d = R ⊗ (H#H) as algebras in braided tensor category C. In particular, we present two duality theorems for infinite braided Hopf algebras in the YetterDrinfeld module category.