Tannaka–Krein duality

Tannaka–Krein duality
Name	Tannaka–Krein duality
Field	Mathematics
Subfield	Category theory; Representation theory; Algebraic geometry
Introduced	1939
Founders	Tadao Tannaka; Mark Krein

Tannaka–Krein duality.

Tannaka–Krein duality connects representation-theoretic data with reconstruction of algebraic or topological objects, relating tensor categories of representations to their source groups, algebras, or group schemes. It provides a bridge between categorical structures and concrete objects such as compact groups, affine group schemes, and Hopf algebras, enabling recovery of symmetry from functorial data. The theory grew from early 20th-century work on harmonic analysis and representation theory and culminated in categorical formulations influential across algebraic geometry and quantum algebra.

Introduction

Tannaka–Krein duality concerns how a compact group or affine group scheme can be reconstructed from its category of finite-dimensional representations equipped with tensor structure and a fiber functor. The classical lineage traces through work on Hermann Weyl, Élie Cartan, Hermann Minkowski, Norbert Wiener, and analytic approaches used by Israel Gelfand and Mark Krein. Subsequent categorical abstraction invokes ideas associated with Alexander Grothendieck, Jean-Pierre Serre, Pierre Deligne, and Maxim Kontsevich. The duality has far-reaching implications for objects studied by Évariste Galois-inspired symmetry, connecting to concepts used by Michael Atiyah, Raoul Bott, and Jean-Louis Koszul.

Statement of the duality

In one classical form, the duality states that a compact Hausdorff group G is determined, up to isomorphism, by the rigid tensor category Rep(G) of its finite-dimensional continuous complex representations together with the forgetful functor to finite-dimensional complex vector spaces. The assertion parallels reconstruction theorems in von Neumann algebra theory developed by John von Neumann and in harmonic analysis by Norbert Wiener and Salomon Bochner. For an affine group scheme over a field k, the category of finite-dimensional representations together with a k-linear tensor fiber functor determines the group scheme; this echoes structures considered by Alexander Grothendieck in the study of group schemes and by Jean-Pierre Serre in linear representations.

Tannakian categories and reconstruction theorem

A Tannakian category is a neutral rigid abelian tensor category with a fiber functor to the category of finite-dimensional vector spaces over a field; such categories satisfy conditions formalized by Pierre Deligne and James Milne. The reconstruction theorem asserts that every neutral Tannakian category is equivalent to the category of finite-dimensional representations of a pro-algebraic group (an affine group scheme) over the base field. This result builds on foundational work by Tadao Tannaka, Mark Krein, and later categorical clarifications by Saavedra Rivano, Deligne, André Weil?, and others, and interfaces with cohomological perspectives introduced by Alexander Grothendieck and Jean-Pierre Serre. The theorem is a categorical analogue of Galois reconstruction theorems such as those by Évariste Galois and has analogies with dualities in John Milnor-style topology and the Pontryagin duality framework studied by Lev Pontryagin.

Examples and applications

Concrete examples include reconstruction of compact Lie groups such as SU(2), SO(3), and U(1) from their representation categories, with applications to harmonic analysis developed by Hermann Weyl and Harish-Chandra. In algebraic geometry, the duality reconstructs affine group schemes like the Tannaka duals of motives studied in programs by Pierre Deligne, Alexander Grothendieck, and Jacob Tate. In number theory, motivic Galois groups arising in Galois representations connect with perspectives advanced by Jean-Pierre Serre, Pierre Deligne, and Alexander Connes. Quantum groups introduced by Vladimir Drinfeld and Michio Jimbo admit braided and quasi-Hopf analogues of Tannaka duality used in the theory of tensor categories studied by André Henriques and Klaus Fredenhagen. Further applications appear in conformal field theory as developed by Edward Witten and Graeme Segal, in topological quantum field theory invoked by Michael Atiyah, and in categorical approaches used by Maxim Kontsevich.

Variants and generalizations

Generalizations include non-neutral Tannakian categories where fiber functors land in vector bundles or twisted forms, linking to descent theory of Alexander Grothendieck and to gerbe theory investigated by Jean Giraud. Hopf algebraic formulations relate to the reconstruction of quasi-Hopf algebras and weak Hopf algebras considered by Drinfeld and Gabriel Navarro. Braided, ribbon, and modular tensor categories appearing in work by Vladimir Turaev and Yuri Reshetikhin extend duality ideas to quantum invariants of knots studied by Edward Witten and Vladimir F. R. Jones. Noncommutative geometry perspectives tie duality to structures in Alain Connes's program and to categorical methods used by Jacob Lurie in higher category theory and derived algebraic geometry influenced by Bertrand Toën.

Historical development and contributors

The origins lie in analytic representation theory with contributions by Tadao Tannaka and Mark Krein in the late 1930s and 1940s, followed by elaborations through the mid-20th century by analysts and algebraists including Saavedra Rivano and Élie Cartan. The categorical and algebraic formulation owes much to Alexander Grothendieck's language of schemes and functors and to Pierre Deligne's axiomatization of Tannakian categories. Later contributors expanding applications and abstractions include Vladimir Drinfeld, Michio Jimbo, Maxim Kontsevich, Alain Connes, Jacob Lurie, and Yves André. Ongoing research continues in communities influenced by institutions such as the Institut des Hautes Études Scientifiques, Princeton University, Harvard University, and the Steklov Institute of Mathematics.

Category:Representation theory