In mathematics, Tannaka–Krein duality theory concerns the interaction of a compact topological group and its category of linear representations. It is a natural extension of Pontryagin duality, between compact and discrete commutative topological groups, to groups that are compact but noncommutative. The theory is named for two men, the Soviet mathematician Mark Grigorievich Krein, and the Japanese Tadao Tannaka. In contrast to the case of commutative groups considered by Lev Pontryagin, the notion dual to a noncommutative compact group is not a group, but a category Π(G) with some additional structures, formed by the finite-dimensional representations of G.
Contents
- The idea of TannakaKrein duality category of representations of a group
- Theorems of Tannaka and Krein
- Generalization
- DoplicherRoberts theorem
- References
Duality theorems of Tannaka and Krein describe the converse passage from the category Π(G) back to the group G, allowing one to recover the group from its category of representations. Moreover, they in effect completely characterize all categories that can arise from a group in this fashion. Alexander Grothendieck later showed that by a similar process, Tannaka duality can be extended to the case of algebraic groups: see tannakian category. Meanwhile, the original theory of Tannaka and Krein continued to be developed and refined by mathematical physicists. A generalization of Tannaka–Krein theory provides the natural framework for studying representations of quantum groups, and is currently being extended to quantum supergroups, quantum groupoids and their dual quantum algebroids.
The idea of Tannaka–Krein duality: category of representations of a group
In Pontryagin duality theory for locally compact commutative groups, the dual object to a group G is its character group
A representation of the category Π(G) is a monoidal natural transformation from the identity functor
Theorems of Tannaka and Krein
Tannaka's theorem provides a way to reconstruct the compact group G from its category of representations Π(G).
Let G be a compact group and let F: Π(G) → VectC be the forgetful functor from finite-dimensional complex representations of G to complex finite-dimensional vector spaces. One puts a topology on the natural transformations τ: F → F by setting it to be the coarsest topology possible such that each of the projections End(F) → End(V) given by
Krein's theorem answers the following question: which categories can arise as a dual object to a compact group?
Let Π be a category of finite-dimensional vector spaces, endowed with operations of tensor product and involution. The following conditions are necessary and sufficient in order for Π to be a dual object to a compact group G.
1. There exists an objectIf all these conditions are satisfied then the category Π = Π(G), where G is the group of the representations of Π.
Generalization
Interest in Tannaka–Krein duality theory was reawakened in the 1980s with the discovery of quantum groups in the work of Drinfeld and Jimbo. One of the main approaches to the study of a quantum group proceeds through its finite-dimensional representations, which form a category akin to the symmetric monoidal categories Π(G), but of more general type, braided monoidal category. It turned out that a good duality theory of Tannaka–Krein type also exists in this case and plays an important role in the theory of quantum groups by providing a natural setting in which both the quantum groups and their representations can be studied. Shortly afterwards different examples of braided monoidal categories were found in rational conformal field theory. Tannaka–Krein philosophy suggests that braided monoidal categories arising from conformal field theory can also be obtained from quantum groups, and in a series of papers, Kazhdan and Lusztig proved that it was indeed so. On the other hand, braided monoidal categories arising from certain quantum groups were applied by Reshetikhin and Turaev to construction of new invariants of knots.
Doplicher–Roberts theorem
The Doplicher–Roberts theorem (due to Sergio Doplicher and John E. Roberts) characterises Rep(G) in terms of category theory, as a type of subcategory of the category of Hilbert spaces. Such subcategories of compact group unitary representations on Hilbert spaces are:
- a strict symmetric monoidal C*-category with conjugates
- a subcategory having subobjects and direct sums, such that the C*-algebra of endomorphisms of the monoidal unit contains only scalars.