Tannakian category

Tannakian category

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, and so "a fortiori" compact 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).

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.

Formal definition

A neutral tannakian category is a rigid abelian tensor category, together with a "K"-tensor functor to the category of K-vector spaces that is exact and faithful. [http://www.math.purdue.edu/~jinhyun/note/tannaka/tannaka.pdf]

References

* N. Saavedra Rivano, "Catégories Tannakiennes", Springer LNM 265, 1972
* Pierre Deligne and J. S. Milne, "Tannakian categories", in "Hodge Cycles, Motives, and Shimura Varieties" by Pierre Deligne, James S. Milne, Arthur Ogus, Kuang-yen Shih, Lecture Notes in Math. 900, Springer-Verlag, 1982, 414pp.
* Pierre Deligne, "Catégories tannakiennes". In The Grothendieck Festschrift, Volume 2, 111--195. Birkhauser, 1990.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Motive (algebraic geometry) — For other uses, see Motive (disambiguation). In algebraic geometry, a motive (or sometimes motif, following French usage) denotes some essential part of an algebraic variety . To date, pure motives have been defined, while conjectural mixed… …   Wikipedia

  • Hodge structure — In mathematics, a Hodge structure, named after W. V. D. Hodge, is an algebraic structure at the level of linear algebra, similar to the one that Hodge theory gives to the cohomology groups of a smooth and compact Kähler manifold. A mixed Hodge… …   Wikipedia

  • Pierre Deligne — Pierre Deligne, March 2005 Born 3 October 1944 (1944 10 03 …   Wikipedia

  • Tannaka-Krein duality — In mathematics, Tannaka Krein duality theory concerns the interaction of a compact topological group and its category of linear representations. It extends an important mathematical duality between compact and discrete commutative topological… …   Wikipedia

  • Tannaka–Krein duality — In mathematics, Tannaka–Krein duality theory concerns the interaction of a compact topological group and its category of linear representations. Its natural extension to the non Abelian case is the Grothendieck duality theory. It extends an… …   Wikipedia

  • Beck's monadicity theorem — In category theory, a branch of mathematics, Beck s monadicity theorem asserts that a functor :U: C o Dis monadic if and only if # U has a left adjoint; # U reflects isomorphisms; and # C has coequalizers of U split coequalizer pairs, and U… …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • Weil restriction — In mathematics, restriction of scalars (also known as Weil restriction ) is a functor which, for any finite extension of fields L/k and any algebraic variety X over L , produces another variety Res L / k X , defined over k . It is useful for… …   Wikipedia

  • Compact group — In mathematics, a compact (topological, often understood) group is a topological group whose topology is compact. Compact groups are a natural generalisation of finite groups with the discrete topology and have properties that carry over in… …   Wikipedia

  • Grothendieck–Katz p-curvature conjecture — In mathematics, the Grothendieck–Katz p curvature conjecture is a problem on linear ordinary differential equations, related to differential Galois theory and in a loose sense analogous to the result in the Chebotarev density theorem considered… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”