ART

In mathematics, a Tannakian category is a particular kind of monoidal category C, equipped with some extra structure relative to a given field K. The role of such categories C is to approximate, in some sense, the category of linear representations of an algebraic group G defined over K. A number of major applications of the theory have been made, or might be made in pursuit of some of the central conjectures of contemporary algebraic geometry and number theory.

The name is taken from Tannaka–Krein duality, a theory about compact groups G and their representation theory. The theory was developed first in the school of Alexander Grothendieck. It was later reconsidered by Pierre Deligne, and some simplifications made. The pattern of the theory is that of Grothendieck's Galois theory, which is a theory about finite permutation representations of groups G which are profinite groups.

The gist of the theory, which is rather elaborate in detail in the exposition of Saavedra Rivano, is that the fiber functor Φ of the Galois theory is replaced by a tensor functor T from C to K-Vect. The group of natural transformations of Φ to itself, which turns out to be a profinite group in the Galois theory, is replaced by the group (a priori only a monoid) of natural transformations of T into itself, that respect the tensor structure. This is by nature not an algebraic group, but an inverse limit of algebraic groups (pro-algebraic group).

Formal definition

A neutral Tannakian category is a rigid abelian tensor category, such that there exists a K-tensor functor to the category of finite dimensional K-vector spaces that is exact and faithful.[1]
Applications

The construction is used in cases where a Hodge structure or l-adic representation is to be considered in the light of group representation theory. For example, the Mumford–Tate group and motivic Galois group are potentially to be recovered from one cohomology group or Galois module, by means of a mediating Tannakian category it generates.

Those areas of application are closely connected to the theory of motives. Another place in which Tannakian categories have been used is in connection with the Grothendieck–Katz p-curvature conjecture; in other words, in bounding monodromy groups.

The Geometric Satake equivalence establishes an equivalence between representations of the Langlands dual group \( {\displaystyle {}^{L}G} \) of a reductive group G and certain equivariant perverse sheaves on the affine Grassmannian associated to G. This equivalence provides a non-combinatorial construction of the Langlands dual group. It is proved by showing that the mentioned category of perverse sheaves is a Tannakian category and identifying its Tannaka dual group with \( {\displaystyle {}^{L}G} \).

Extensions

Wedhorn (2004) has established partial Tannaka duality results in the situation where the category is R-linear, where R is no longer a field (as in classical Tannakian duality), but certain valuation rings. Duong & Hai (2017) showed a Tannaka duality result if R is a Dedekind ring.

Iwanari (2014) has initiated the study of Tannaka duality in the context of infinity-categories.
References

Deligne & Milne (1982)

Deligne, Pierre (2007) [1990], "Catégories tannakiennes", The Grothendieck Festschrift, II, Birkhauser, pp. 111–195, ISBN 9780817645755
Deligne, Pierre; Milne, James (1982), "Tannakian categories", in Deligne, Pierre; Milne, James; Ogus, Arthur; Shih, Kuang-yen (eds.), Hodge Cycles, Motives, and Shimura Varieties, Lecture Notes in Mathematics, 900, Springer, pp. 101–228, ISBN 978-3-540-38955-2
Duong, Nguyen Dai; Hai, Phùng Hô (2017), Tannakian duality over Dedekind rings and applications, arXiv:1311.1134v3
Iwanari, Isamu (2014), Tannaka duality and stable infinity-categories, arXiv:1409.3321, doi:10.1112/topo.12057
Saavedra Rivano, Neantro (1972), Catégories Tannakiennes, Lecture Notes in Mathematics, 265, Springer, ISBN 978-3-540-37477-0, MR 0338002
Wedhorn, Torsten (2004), "On Tannakian duality over valuation rings", Journal of Algebra, 282 (2): 575–609, doi:10.1016/j.jalgebra.2004.07.024, MR 2101076

Further reading

M. Larsen and R. Pink. Determining representations from invariant dimensions. Invent. math., 102:377–389, 1990.

vte

Category theory
Key concepts
Key concepts

Category Adjoint functors CCC Commutative diagram Concrete category End Exponential Functor Kan extension Morphism Natural transformation Universal property

Universal constructions
Limits

Terminal objects Products Equalizers
Kernels Pullbacks Inverse limit

Colimits

Initial objects Coproducts Coequalizers
Cokernels and quotients Pushout Direct limit

Algebraic categories

Sets Relations Magmas Groups Abelian groups Rings (Fields) Modules (Vector spaces)

Constructions on categories

Free category Functor category Kleisli category Opposite category Quotient category Product category Comma category Subcategory


A simple triangular commutative diagram
Higher category theory

Key concepts
Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model category Simplex category String diagram Topos
n-categories
Weak n-categories

Bicategory (pseudofunctor) Tricategory Tetracategory Kan complex ∞-groupoid ∞-topos

Strict n-categories

2-category (2-functor) 3-category

Categorified concepts

2-group 2-ring En-ring (Traced)(Symmetric) monoidal category n-group n-monoid

Undergraduate Texts in Mathematics

Graduate Texts in Mathematics

Graduate Studies in Mathematics

Mathematics Encyclopedia

World

Index

Hellenica World - Scientific Library

Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License