-
arXiv:2401.10587 [pdf, ps, other]
3d TQFTs and 3-manifold invariants
Abstract: This is an invited contribution to the 2nd edition of the Encyclopedia of Mathematical Physics. We give an overview of 3-dimensional topological quantum field theories (TQFTs) and the corresponding quantum invariants of 3-manifolds. We recall the main algebraic concepts and constructions, such as modular and spherical fusion categories, the Witten-Reshetikhin-Turaev and Turaev-Viro theories, and t… ▽ More
Submitted 19 January, 2024; originally announced January 2024.
Comments: 17 pages
MSC Class: 18M20; 57K31; 57K16
-
arXiv:2305.15485 [pdf, ps, other]
Hopf crossed module (co)algebras
Abstract: Given a crossed module $χ$, we introduce Hopf $χ$-(co)algebras which generalize Hopf algebras and Hopf group-(co)algebras. We interpret them as Hopf algebras in some symmetric monoidal category. We prove that their categories of representations are monoidal and $χ$-graded (meaning that both objects and morphisms have degrees which are related via $χ$).
Submitted 18 March, 2024; v1 submitted 24 May, 2023; originally announced May 2023.
Comments: 33 pages
MSC Class: 16T05; 18M05; 18A50; 18G45
-
arXiv:2305.14626 [pdf, ps, other]
Chromatic maps for finite tensor categories
Abstract: Chromatic maps for spherical tensor categories are instrumental tools to construct (non semisimple) invariants of 3-manifolds and their extension to (non compact) (2+1)-TQFTs. In this paper, we introduce left and right chromatic maps for finite tensor categories and prove that such maps always exist. As a corollary, we obtain that any spherical finite tensor category has a chromatic map.
Submitted 23 May, 2023; originally announced May 2023.
Comments: 14 pages. arXiv admin note: substantial text overlap with arXiv:2302.04509
MSC Class: 18M05; 57K31; 57K16
-
Non compact (2+1)-TQFTs from non-semisimple spherical categories
Abstract: This paper contains three related groupings of results. First, we consider a new notion of an admissible skein module of a surface associated to an ideal in a (non-semisimple) pivotal category. Second, we introduce the notion of a chromatic category and associate to such a category a finite dimensional non-compact (2+1)-TQFT by assigning admissible skein modules to closed oriented surfaces and usi… ▽ More
Submitted 17 April, 2024; v1 submitted 9 February, 2023; originally announced February 2023.
Comments: 29 pages: this second version includes arXiv:2305.14626 (existence of chromatic maps) and part of arXiv:2302.04493 (Admissible skein modules)
MSC Class: 57M27; 57R56
-
arXiv:2207.06534 [pdf, ps, other]
Monoidal categories graded by crossed modules and 3-dimensional HQFTs
Abstract: Given a crossed module $χ$, we introduce $χ$-graded monoidal categories and $χ$-fusion categories. We use spherical $χ$-fusion categories to construct (via the state sum method) 3-dimensional Homotopy Quantum Field Theories with target the classifying space $Bχ$ of the crossed module $χ$ (which is a homotopy 2-type).
Submitted 29 May, 2023; v1 submitted 13 July, 2022; originally announced July 2022.
MSC Class: 18M05; 57K31; 57K16
-
arXiv:1911.10257 [pdf, ps, other]
On 3-dimensional homotopy quantum field theory III: comparison of two approaches
Abstract: Let G be a discrete group and C be an additive spherical G-fusion category. We prove that the state sum 3-dimensional HQFT derived from C is isomorphic to the surgery 3-dimensional HQFT derived from the G-center of C.
Submitted 22 November, 2019; originally announced November 2019.
MSC Class: 57M27; 18D10; 57R56
-
arXiv:1805.00413 [pdf, ps, other]
Generalized Kuperberg invariants of 3-manifolds
Abstract: In the 90s, based on presentations of 3-manifolds by Heegaard diagrams, Kuperberg associated a scalar invariant of 3-manifolds to each finite dimensional involutory Hopf algebra over a field. We generalize this construction to the case of involutory Hopf algebras in arbitrary symmetric monoidal categories admitting certain pairs of morphisms called good pairs. We construct examples of such good pa… ▽ More
Submitted 1 May, 2018; originally announced May 2018.
Comments: 37 pages, 218 figures
MSC Class: 57M27; 16T05
Journal ref: Algebr. Geom. Topol. 19 (2019) 2575-2624
-
arXiv:1303.1331 [pdf, ps, other]
Surgery HQFT
Abstract: Homotopy Quantum Field Theories (HQFTs) generalize more familiar Topological Quantum Field Theories (TQFTs). In generalization of the surgery construction of 3-dimensional TQFTs from modular categories, we use surgery to derive 3-dimensional HQFTs from G-modular categories.
Submitted 6 March, 2013; originally announced March 2013.
MSC Class: 57M27; 18D10; 57R56
-
arXiv:1208.5696 [pdf, ps, other]
On the graded center of graded categories
Abstract: We study the G-centers of G-graded monoidal categories where G is an arbitrary group. We prove that for any spherical G-fusion category C over an algebraically closed field such that the dimension of the neutral component of C is non-zero, the G-center of C is a G-modular category. This generalizes a theorem of M. Müger corresponding to G=1. We also exhibit interesting objects of the G-center.
Submitted 28 August, 2012; originally announced August 2012.
MSC Class: 18D10; 18C20
-
arXiv:1208.5693 [pdf, ps, other]
The doubles of a braided Hopf algebra
Abstract: Let A be a Hopf algebra in a braided rigid category B. In the case B admits a coend C, which is a Hopf algebra in B, we defined in 2008 the double D(A) of A, which is a quasitriangular Hopf algebra in B whose category of modules is isomorphic to the center of the category of A-modules as a braided category. Here, quasitriangular means endowed with an R-matrix (our notion of R-matrix for a Hopf alg… ▽ More
Submitted 28 August, 2012; originally announced August 2012.
MSC Class: 16T05; 18C15; 18D10
-
arXiv:1203.4180 [pdf, ps, other]
On the center of fusion categories
Abstract: Müger proved in 2003 that the center of a spherical fusion category C of non-zero dimension over an algebraically closed field is a modular fusion category whose dimension is the square of that of C. We generalize this theorem to a pivotal fusion category C over an arbitrary commutative ring K, without any condition on the dimension of the category. (In this generalized setting, modularity is unde… ▽ More
Submitted 28 August, 2012; v1 submitted 19 March, 2012; originally announced March 2012.
MSC Class: 18D10; 16T05; 18C20
-
arXiv:1202.6292 [pdf, ps, other]
On 3-dimensional Homotopy Quantum Field Theory, I
Abstract: Given a discrete group G and a spherical G-fusion category whose neutral component has invertible dimension, we use the state-sum method to construct a 3-dimensional Homotopy Quantum Field Theory (HQFT) with target the Eilenberg-MacLane space K(G,1).
Submitted 19 June, 2012; v1 submitted 28 February, 2012; originally announced February 2012.
MSC Class: 57M27; 18D10; 57R56
-
arXiv:1103.1660 [pdf, ps, other]
Traces on ideals in pivotal categories
Abstract: We extend the notion of an ambidextrous trace on an ideal (developed by the first two authors) to the setting of a pivotal category. We show that under some conditions, these traces lead to invariants of colored spherical graphs (and so to modified 6j-symbols).
Submitted 21 March, 2012; v1 submitted 8 March, 2011; originally announced March 2011.
-
arXiv:1006.3501 [pdf, ps, other]
On two approaches to 3-dimensional TQFTs
Abstract: Let C be a spherical fusion category. We prove that the Turaev-Viro-Barrett-Westbury state sum invariant of 3-manifolds derived from C is equal to the Reshetikhin-Turaev surgery invariant of 3-manifolds derived from Z(C), where Z(C) is the Drinfeld-Joyal-Street center of C.
Submitted 24 June, 2013; v1 submitted 17 June, 2010; originally announced June 2010.
MSC Class: 57R56
-
arXiv:1003.1920 [pdf, ps, other]
Hopf monads on monoidal categories
Abstract: We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hop… ▽ More
Submitted 19 February, 2011; v1 submitted 9 March, 2010; originally announced March 2010.
Comments: 45 pages
MSC Class: 18C20; 16T05; 18D10; 18D15
Journal ref: Advances in Mathematics, 227(2):745-800, 2011
-
arXiv:0812.2443 [pdf, ps, other]
The double of a Hopf monad
Abstract: The center Z(C) of an autonomous category C is monadic over C (if certain coends exist in C). The notion of Hopf monad naturally arises if one tries to reconstruct the structure of Z(C) in terms of its monad Z: we show that Z is a quasitriangular Hopf monad on C and Z(C) is isomorphic to the braided category Z-C of Z-modules. More generally, let T be a Hopf monad on an autonomous category C. We… ▽ More
Submitted 12 December, 2008; v1 submitted 12 December, 2008; originally announced December 2008.
MSC Class: 16W30; 18C20; 18D10
-
arXiv:0812.2426 [pdf, ps, other]
Categorical centers and Reshetikhin-Turaev invariants
Abstract: The center Z(C) of a spherical fusion category C (over an arbitrary commutative ring) is modular. We give an algorithm for computing the Reshetikhin-Turaev invariant defined with Z(C). It is based on Hopf diagrams and an explicit description of the structure of the coend of Z(C).
Submitted 12 December, 2008; originally announced December 2008.
MSC Class: 57M27; 16W30; 18C20
-
arXiv:math/0604180 [pdf, ps, other]
Hopf monads
Abstract: We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous categories gives rise to a Hopf monad. We extend many fundamental results of the theory of Hopf algebras (such as the decomposition of Hopf modules, the existence of i… ▽ More
Submitted 26 April, 2006; v1 submitted 8 April, 2006; originally announced April 2006.
Comments: 47 pages
MSC Class: 16W30; 18C20; 18D10
-
arXiv:math/0505119 [pdf, ps, other]
Hopf diagrams and quantum invariants
Abstract: The Reshetikhin-Turaev invariant, Turaev's TQFT, and many related constructions rely on the encoding of certain tangles (n-string links, or ribbon n-handles) as n-forms on the coend of a ribbon category. We introduce the monoidal category of Hopf diagrams, and describe a universal encoding of ribbon string links as Hopf diagrams. This universal encoding is an injective monoidal functor and admit… ▽ More
Submitted 5 January, 2006; v1 submitted 6 May, 2005; originally announced May 2005.
Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-68.abs.html
MSC Class: 57M27; 18D10; 81R50
Journal ref: Algebr. Geom. Topol. 5 (2005) 1677-1710
-
arXiv:math/0312337 [pdf, ps, other]
Kirby elements and quantum invariants
Abstract: We define the notion of a Kirby element of a ribbon category C (not necessarily semisimple). Kirby elements lead to 3-manifolds invariants. We characterize (in terms of the structure maps of some categorical Hopf algebra) a set of Kirby elements of C which is sufficiently large to recover the known quantum invariants computed from C. The cases of a semisimple ribbon category and of a category of… ▽ More
Submitted 17 December, 2003; v1 submitted 17 December, 2003; originally announced December 2003.
Comments: 45 pages
MSC Class: 57M27; 18D10; 81R50
-
arXiv:math/0312330 [pdf, ps, other]
Graded quantum groups
Abstract: Starting from a Hopf algebra endowed with an action of a group G by Hopf automorphisms, we construct (by a twisted double method) a quasitriangular Hopf G-coalgebra. This method allows us to obtain non-trivial examples of quasitriangular Hopf G-coalgebras for any finite group G and for infinite groups G such as GL(n,K). In particular, we define the graded quantum groups.
Submitted 17 December, 2003; originally announced December 2003.
Comments: 18 pages
MSC Class: 81R50; 17B37
-
arXiv:math/0206254 [pdf, ps, other]
Involutory Hopf group-coalgebras and flat bundles over 3-manifolds
Abstract: Given a group G, we use involutary Hopf G-coalgebras to define a scalar invariant of flat G-bundles over 3-manifolds. When G=1, this invariant equals to the one of 3-manifolds constructed by Kuperberg from involutary Hopf algebras. We give examples which show that this invariant is not trivial.
Submitted 24 June, 2002; originally announced June 2002.
Comments: 26 pages
MSC Class: 57R10; 57M27; 16W30
-
arXiv:math/0012073 [pdf, ps, other]
Hopf group-coalgebras
Abstract: We study algebraic properties of Hopf group-coalgebras, recently introduced by Turaev. We show the existence of integrals and traces for such coalgebras, and we generalize the main properties of quasitriangular and ribbon Hopf algebras to the setting of Hopf group-coalgebras.
Submitted 11 December, 2000; originally announced December 2000.
Comments: 41 pages, Latex
Report number: IRMA (Strasbourg) preprint 054 MSC Class: 16W30;81R50;16W50