Results 1  10
of
179
Algebras and Hopf algebras IN BRAIDED CATEGORIES
, 1995
"... This is an introduction for algebraists to the theory of algebras and Hopf algebras in braided categories. Such objects generalise superalgebras and superHopf algebras, as well as colourLie algebras. Basic facts about braided categories C are recalled, the modules and comodules of Hopf algebras i ..."
Abstract

Cited by 120 (14 self)
 Add to MetaCart
This is an introduction for algebraists to the theory of algebras and Hopf algebras in braided categories. Such objects generalise superalgebras and superHopf algebras, as well as colourLie algebras. Basic facts about braided categories C are recalled, the modules and comodules of Hopf algebras in such categories are studied, the notion of ‘braidedcommutative ’ or ‘braidedcocommutative ’ Hopf algebras (braided groups) is reviewed and a fully diagrammatic proof of the reconstruction theorem for a braided group Aut (C) is given. The theory has important implications for the theory of quasitriangular Hopf algebras (quantum groups). It also includes important examples such as the degenerate Sklyanin algebra and the quantum plane.
HigherDimensional Algebra I: Braided Monoidal 2Categories
 Adv. Math
, 1996
"... We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2categories and their relevance to 4d TQFTs and 2tangles. Then we give concise definitions of semistrict monoidal 2categories and braided monoidal 2categories, and show how these may be unpacked to give lon ..."
Abstract

Cited by 70 (8 self)
 Add to MetaCart
(Show Context)
We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2categories and their relevance to 4d TQFTs and 2tangles. Then we give concise definitions of semistrict monoidal 2categories and braided monoidal 2categories, and show how these may be unpacked to give long explicit definitions similar to, but not quite the same as, those given by Kapranov and Voevodsky. Finally, we describe how to construct a semistrict braided monoidal 2category Z(C) as the `center' of a semistrict monoidal category C, in a manner analogous to the construction of a braided monoidal category as the center of a monoidal category. As a corollary this yields a strictification theorem for braided monoidal 2categories. 1 Introduction This is the first of a series of articles developing the program introduced in the paper `HigherDimensional Algebra and Topological Quantum Field Theory' [1], henceforth referred to as `HDA'. This program consists of generalizing algebraic concep...
Higherdimensional algebra II: 2Hilbert spaces
"... A 2Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2Hilbert space to be an abelian category enriched over Hilb with a ∗structure, conjugatelinear on the homsets, satisfying 〈fg,h 〉 = 〈g,f ∗ h 〉 = 〈f,hg ∗ 〉. We also ..."
Abstract

Cited by 58 (12 self)
 Add to MetaCart
A 2Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2Hilbert space to be an abelian category enriched over Hilb with a ∗structure, conjugatelinear on the homsets, satisfying 〈fg,h 〉 = 〈g,f ∗ h 〉 = 〈f,hg ∗ 〉. We also define monoidal, braided monoidal, and symmetric monoidal versions of 2Hilbert spaces, which we call 2H*algebras, braided 2H*algebras, and symmetric 2H*algebras, and we describe the relation between these and tangles in 2, 3, and 4 dimensions, respectively. We prove a generalized DoplicherRoberts theorem stating that every symmetric 2H*algebra is equivalent to the category Rep(G) of continuous unitary finitedimensional representations of some compact supergroupoid G. The equivalence is given by a categorified version of the Gelfand transform; we also construct a categorified version of the Fourier transform when G is a compact abelian group. Finally, we characterize Rep(G) by its universal properties when G is a compact classical group. For example, Rep(U(n)) is the free connected symmetric 2H*algebra on one even object of dimension n. 1
Galois theory for braided tensor categories and the modular closure
 Adv. Math
, 2000
"... Given a braided tensor ∗category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C ⋊ S. This construction yields a tensor ∗category with conjugates and an irreducible unit. (A ∗category is a category enriched over VectC ..."
Abstract

Cited by 57 (9 self)
 Add to MetaCart
(Show Context)
Given a braided tensor ∗category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C ⋊ S. This construction yields a tensor ∗category with conjugates and an irreducible unit. (A ∗category is a category enriched over VectC with positive ∗operation.) A Galois correspondence is established between intermediate categories sitting between C and C ⋊S and closed subgroups of the Galois group Gal(C⋊S/C) = AutC(C⋊S) of C, the latter being isomorphic to the compact group associated to S by the duality theorem of Doplicher and Roberts. Denoting by D ⊂ C the full subcategory of degenerate objects, i.e. objects which have trivial monodromy with all objects of C, the braiding of C extends to a braiding of C⋊S iff S ⊂ D. Under this condition C⋊S has no nontrivial degenerate objects iff S = D. If the original category C is rational (i.e. has only finitely many isomorphism classes of irreducible objects) then the same holds for the new one. The category C ≡ C ⋊ D is called the modular closure of C since in the rational case it is modular, i.e. gives rise to a unitary representation of the modular group SL(2, Z). (In passing we prove that every braided tensor ∗category with conjugates automatically is a ribbon category, i.e. has a twist.) If all simple objects of S have dimension one the structure of the category C ⋊ S can be clarified quite explicitly in terms of group cohomology. 1
Triangular Hopf algebras with the Chevalley property
 Michigan Journal of Mathematics
"... Triangular Hopf algebras were introduced by Drinfeld [Dr]. They are the Hopf algebras whose representations form a symmetric tensor category. In that sense, they are the class of Hopf algebras closest to group algebras. The structure of triangular Hopf algebras is far from ..."
Abstract

Cited by 45 (10 self)
 Add to MetaCart
Triangular Hopf algebras were introduced by Drinfeld [Dr]. They are the Hopf algebras whose representations form a symmetric tensor category. In that sense, they are the class of Hopf algebras closest to group algebras. The structure of triangular Hopf algebras is far from
Uniqueness theorems for certain triangulated categories possessing an Adams spectral sequence
, 139
"... 1.2. The axioms ..."
Correspondences of ribbon categories
, 2003
"... Much of algebra and representation theory can be formulated in the general framework of tensor categories. The aim of this paper is to further develop this theory for braided tensor categories. Several results are established that do not have a substantial counterpart for symmetric tensor categories ..."
Abstract

Cited by 34 (9 self)
 Add to MetaCart
Much of algebra and representation theory can be formulated in the general framework of tensor categories. The aim of this paper is to further develop this theory for braided tensor categories. Several results are established that do not have a substantial counterpart for symmetric tensor categories. In particular, we exhibit various equivalences involving categories of modules over algebras in ribbon categories. Finally we establish a correspondence of ribbon categories that can be applied to, and is in fact motivated by, the coset construction in conformal quantum field theory.
Weighted completion of Galois groups and Galois actions on the fundamental group
 of P 1 − {0, 1, ∞}, arXiv:math.AG/0006158
"... Fix a prime number ℓ. In this paper we prove a conjecture [16, p. 300], which Ihara attributes to Deligne, about the action of the absolute Galois group on the proℓ completion of the fundamental group of the thrice punctured projective line. It is stated below. Similar techniques are also used to p ..."
Abstract

Cited by 33 (5 self)
 Add to MetaCart
Fix a prime number ℓ. In this paper we prove a conjecture [16, p. 300], which Ihara attributes to Deligne, about the action of the absolute Galois group on the proℓ completion of the fundamental group of the thrice punctured projective line. It is stated below. Similar techniques are also used to prove part of a conjecture