Skip to main content

Showing 1–23 of 23 results for author: Virelizier, A

.
  1. arXiv:2401.10587  [pdf, ps, other

    math.GT math.QA

    3d TQFTs and 3-manifold invariants

    Authors: Kursat Sozer, Alexis Virelizier

    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

  2. arXiv:2305.15485  [pdf, ps, other

    math.QA

    Hopf crossed module (co)algebras

    Authors: Kursat Sozer, Alexis Virelizier

    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

  3. arXiv:2305.14626  [pdf, ps, other

    math.QA

    Chromatic maps for finite tensor categories

    Authors: Francesco Costantino, Nathan Geer, Bertrand Patureau-Mirand, Alexis Virelizier

    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

  4. arXiv:2302.04509  [pdf, other

    math.QA math.GT

    Non compact (2+1)-TQFTs from non-semisimple spherical categories

    Authors: Francesco Costantino, Nathan Geer, Bertrand Patureau-Mirand, Alexis Virelizier

    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

  5. arXiv:2207.06534  [pdf, ps, other

    math.GT math.QA

    Monoidal categories graded by crossed modules and 3-dimensional HQFTs

    Authors: Kursat Sozer, Alexis Virelizier

    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

  6. arXiv:1911.10257  [pdf, ps, other

    math.GT math.QA

    On 3-dimensional homotopy quantum field theory III: comparison of two approaches

    Authors: Vladimir Turaev, Alexis Virelizier

    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

  7. Generalized Kuperberg invariants of 3-manifolds

    Authors: Rinat Kashaev, Alexis Virelizier

    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

  8. arXiv:1303.1331  [pdf, ps, other

    math.QA math.GT

    Surgery HQFT

    Authors: Vladimir Turaev, Alexis Virelizier

    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

  9. arXiv:1208.5696  [pdf, ps, other

    math.QA math.CT

    On the graded center of graded categories

    Authors: Vladimir Turaev, Alexis Virelizier

    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

  10. arXiv:1208.5693  [pdf, ps, other

    math.QA

    The doubles of a braided Hopf algebra

    Authors: Alain Bruguières, Alexis Virelizier

    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

  11. arXiv:1203.4180  [pdf, ps, other

    math.QA

    On the center of fusion categories

    Authors: Alain Bruguières, Alexis Virelizier

    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

  12. arXiv:1202.6292  [pdf, ps, other

    math.QA math.GT

    On 3-dimensional Homotopy Quantum Field Theory, I

    Authors: Vladimir Turaev, Alexis Virelizier

    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

  13. arXiv:1103.1660  [pdf, ps, other

    math.QA math.GT

    Traces on ideals in pivotal categories

    Authors: Nathan Geer, Bertrand Patureau-Mirand, Alexis Virelizier

    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.

  14. arXiv:1006.3501  [pdf, ps, other

    math.GT math.QA

    On two approaches to 3-dimensional TQFTs

    Authors: Vladimir Turaev, Alexis Virelizier

    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

  15. Hopf monads on monoidal categories

    Authors: Alain Bruguières, Steve Lack, Alexis Virelizier

    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

  16. arXiv:0812.2443  [pdf, ps, other

    math.QA math.CT

    The double of a Hopf monad

    Authors: Alain Bruguières, Alexis Virelizier

    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

  17. arXiv:0812.2426  [pdf, ps, other

    math.QA math.GT

    Categorical centers and Reshetikhin-Turaev invariants

    Authors: Alain Bruguières, Alexis Virelizier

    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

  18. arXiv:math/0604180  [pdf, ps, other

    math.QA math.CT

    Hopf monads

    Authors: Alain Bruguières, Alexis Virelizier

    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

  19. Hopf diagrams and quantum invariants

    Authors: Alain Bruguieres, Alexis Virelizier

    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

  20. arXiv:math/0312337  [pdf, ps, other

    math.GT math.QA

    Kirby elements and quantum invariants

    Authors: Alexis Virelizier

    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

  21. arXiv:math/0312330  [pdf, ps, other

    math.QA

    Graded quantum groups

    Authors: Alexis Virelizier

    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

  22. arXiv:math/0206254  [pdf, ps, other

    math.GT math.QA

    Involutory Hopf group-coalgebras and flat bundles over 3-manifolds

    Authors: Alexis Virelizier

    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

  23. arXiv:math/0012073  [pdf, ps, other

    math.QA

    Hopf group-coalgebras

    Authors: Alexis Virelizier

    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