Tannaka-Krein Duality in Quantum Groups

• Tannaka-Krein duality is a categorical framework that reconstructs quantum groups from their representation categories, linking algebraic and topological symmetries.
• It underpins the derivation of mapping class group representations in both homological constructions and non-semisimple TQFTs, ensuring consistency of quantum symmetries.
• The duality facilitates explicit equivalences between quantum group actions and geometric configurations via Heisenberg quotients, advancing research in quantum topology.

Tannaka-Krein duality provides a categorical framework for connecting topological, algebraic, and quantum symmetries, allowing reconstruction of algebraic objects—such as quantum groups—from their categories of representations. This duality underpins substantial portions of modern representation theory, particularly where quantum groups, modular tensor categories, and topological quantum field theories (TQFTs) interact. In the context of quantum representations of mapping class groups, Tannaka-Krein duality facilitates the correspondence between geometric actions on configuration spaces and algebraic quantum symmetries, as made explicit in homological constructions of representations associated to non-semisimple TQFTs (Renzi et al., 2022).

1. Tannaka-Krein Duality: Categorical Formulation and Scope

Tannaka-Krein duality generalizes classical duality between compact groups and their representation categories to a categorical setting where a symmetric monoidal category with fiber functor determines, and is determined by, a (pro-)algebraic group or Hopf algebra. In this formalism, the reconstruction theorem asserts that the automorphism group of a fiber functor recovers the original group (or Hopf algebra) up to natural equivalence. This reconstruction is central to modern quantum algebra and is a foundational result for noncommutative and quantum group symmetries.

In the setting of quantum group theory, the duality relates representation categories of quantum groups (e.g., $U_q(\mathfrak{sl}_2)$ or its variants at roots of unity) to the algebraic data encoded by these quantum groups. For non-semisimple modular categories arising in logarithmic TQFTs and quantum groups at roots of unity, Tannaka-Krein duality supports the extraction of ribbon Hopf algebra data from categorical invariants.

2. Quantum Groups and Mapping Class Group Representations

Quantum groups, such as the small quantum group $u_\zeta\mathfrak{sl}_2$ at a root of unity $\zeta$, possess braided, factorizable ribbon Hopf algebra structures. Their representation categories are pivotal in constructing modular functors and TQFTs. For surfaces of genus $g$ with one boundary component $\Sigma_{g,1}$, representations of the mapping class group $\mathrm{Mod}(\Sigma_{g,1})$ arise naturally from the monoidal functoriality of such quantum representation categories.

The explicit construction of these representations leverages the categorical framework: a braided-monoidal functor $J: \mathrm{Cob} \to \mathrm{Mod}_{u_\zeta}$ maps topological cobordisms to module categories, inducing a projective action of $\mathrm{Mod}(\Sigma_{g,1})$ on spaces such as $(\mathrm{ad})^{\otimes g}$, where $\mathrm{ad}$ denotes the adjoint representation. The categorical equivalence realized by Tannaka-Krein duality ensures that the quantum group's algebraic structure is fully reflected in its action on these topological and homological data (Renzi et al., 2022).

3. Homological Construction via Configuration Spaces and Heisenberg Quotients

A geometric realization of quantum representations employs configuration spaces $u_\zeta\mathfrak{sl}_2$0 of $u_\zeta\mathfrak{sl}_2$1 unordered points on the surface and their fundamental "surface braid" groups $u_\zeta\mathfrak{sl}_2$2. Factoring these groups through discrete Heisenberg quotients $u_\zeta\mathfrak{sl}_2$3 and forming the associated (Borel–Moore) homology with twisted coefficients makes the connection between topology and quantum algebra explicit.

A basis indexed by multi-arcs, combinatorially encoding distributions of points along standard cycles on $u_\zeta\mathfrak{sl}_2$4, allows concrete representation of chain-level actions. The mapping class group acts on these homology groups—potentially with twisted coefficients—matching, under specialization and up to projectivization, the quantum group representations constructed via TQFT functors.

Diagrammatic relations (cutting, fusion, permutation, braid rules), entirely within the homological framework, realize the algebraic relations of $u_\zeta\mathfrak{sl}_2$5 on these homology groups. The resulting module structures respect the bi-modularity imposed by the Heisenberg and quantum group actions (Renzi et al., 2022).

4. Specialization to Roots of Unity and Projective Representations

Fixing a root of unity $u_\zeta\mathfrak{sl}_2$6, the Heisenberg group admits a finite-dimensional representation, and the homological modules become finite-dimensional after base change. The mapping class group action on these specialized homological modules, denoted $u_\zeta\mathfrak{sl}_2$7, factors through projective linear groups $u_\zeta\mathfrak{sl}_2$8.

The small Heisenberg homology, a finite summand invariant under the specialized quantum group action ($u_\zeta\mathfrak{sl}_2$9, $\zeta$0, $\zeta$1), carries a projective representation of the mapping class group that precisely parallels the standard quantum group construction for the same genus and root of unity. The bi-modular structure is thus preserved under specialization, and the diagrammatic and algebraic representations coincide.

5. Equivalence with Non-Semisimple TQFT Constructions

Non-semisimple TQFTs based on $\zeta$2 yield projective representations of mapping class groups via functorial assignments to cobordisms, as in the Kerler–Lyubashenko theory. These functorial TQFT representations and the homological representations constructed via configuration spaces and Heisenberg quotients are shown to be explicitly isomorphic. There exists a diagonal isomorphism of bases between the homological and TQFT representations, intertwining the quantum group actions and mapping class group actions up to scalar multiples.

This isomorphism demonstrates the completeness of the homological construction, confirming that it captures all the quantum symmetries present in the TQFT and mapping class group framework, and it answers long-standing questions regarding equivalence and integrality of these representations (Renzi et al., 2022).

6. Integrality and Cyclotomic Invariants

Restricting the projective representations to the Torelli subgroup $\zeta$3 (elements acting trivially on the homology of the surface) yields actions by inner deck transformations of the finite Heisenberg quotient. After conjugating out inner automorphisms, the resulting action is by scalar matrices with entries in the cyclotomic integers $\zeta$4. The homological and TQFT representations thus restrict to integral representations over $\zeta$5 on the Torelli subgroup, a property of foundational interest in arithmetic quantum topology.

7. Implications and Research Directions

The duality between categorical, homological, and quantum group-theoretic representation constructions emphasizes the robustness of Tannaka-Krein principles in quantum topology. The complete identification of the homological and TQFT approaches, with explicit bases and formulas for mapping class group actions, grounds further investigation into the linearity, integrality, and modularity properties of mapping class group and quantum representations. The use of Heisenberg coverings and categorical functoriality illustrates evolving techniques in constructing and analyzing quantum invariants and representations for surfaces and 3-manifolds (Renzi et al., 2022).