[Paper Review] Finite Quantum Groupoids and Their Applications

Dmitri Nikshych, Leonid Vaînerman|ArXiv.org|Jun 7, 2000

Algebraic structures and combinatorial modelsMathematics48 references120 citations

TL;DR

This paper establishes finite quantum groupoids (weak Hopf algebras) as a unifying framework for finite depth subfactors, dynamical quantum groups, and invariants of knots and 3-manifolds. It demonstrates that the representation category of a quantum groupoid inherits monoidal and duality structures, enabling construction of braided, ribbon, and modular categories via Drinfeld double and twisting constructions, with applications to subfactor theory through Galois correspondences and principal graph descriptions via Bratteli diagrams.

ABSTRACT

We give a survey of the theory of finite quantum groupoids (weak Hopf algebras), including foundations of the theory and applications to finite depth subfactors, dynamical deformations of quantum groups, and invariants of knots and 3-manifolds.

Motivation & Objective

• To develop a comprehensive theory of finite quantum groupoids (weak Hopf algebras) as generalizations of Hopf algebras and finite groupoids.
• To establish a Galois correspondence between finite depth subfactors and actions of C*-quantum groupoids on von Neumann algebras.
• To show that the representation category of a quantum groupoid naturally yields braided, ribbon, and modular categories, enabling knot and 3-manifold invariants.
• To demonstrate how dynamical twists of quantum groups at roots of unity yield finite quantum groupoids and solutions to the quantum dynamical Yang-Baxter equation.

Proposed method

• Use of Sweedler's notation for comultiplication and weak Hopf algebra axioms to define quantum groupoids over a field k.
• Construction of the Drinfeld double and quasitriangular structures to induce braided monoidal categories on the representation category.
• Application of twisting procedures to Hopf algebras to generate dynamical quantum groups and self-dual finite quantum groupoids.
• Definition of smash products and duality for actions to generalize Blattner-Montgomery duality to the quantum groupoid setting.
• Use of the Haar integral and square of the antipode to characterize semisimplicity and C*-structure in quantum groupoids.
• Derivation of principal graphs from Bratteli diagrams of inclusions bBt ⊂bB via identification of simple objects in representation and bimodule categories.

Experimental results

Research questions

• RQ1 How can finite quantum groupoids serve as non-commutative symmetries of finite depth subfactors?
• RQ2 What is the role of the Drinfeld double construction in producing modular categories from quantum groupoids?
• RQ3 How do dynamical twists of Uq(g) at roots of unity lead to finite quantum groupoids and solutions of the quantum dynamical Yang-Baxter equation?
• RQ4 In what way do representation categories of quantum groupoids realize braided, ribbon, and modular structures?
• RQ5 How can the principal graph of a subfactor be reconstructed from the Bratteli diagram of a quantum groupoid inclusion?

Key findings

• The representation category Rep(H) of a finite quantum groupoid H is a monoidal category with duality, and becomes braided, ribbon, or modular when H admits a quasitriangular, ribbon, or factorizable structure.
• A finite quantum groupoid H is semisimple if and only if it admits a normalized integral, generalizing Maschke’s theorem to the weak Hopf algebra setting.
• The category of bimodules over a finite depth subfactor N ⊂ M is equivalent to the category of comodules over a quantum groupoid B, establishing a Galois correspondence.
• The principal graph of a depth 2 subfactor N ⊂ N>⊳K is given by the connected component of the Bratteli diagram of the inclusion δ(K) ⊂bB containing the trivial representation.
• For a C*-quantum groupoid B, the inclusion bBt ⊂bB yields the principal graph of the subfactor N ⊂N>⊳B, with bBt being the image of the dual coideal.
• Dynamical twists of Uq(g) at roots of unity produce self-dual finite quantum groupoids, providing solutions to the quantum dynamical Yang-Baxter equation.