View source for Mumford–Tate group

{{Short description|Mathematics concept}}
In [[Algebraic geometry|algebraic geometry]], the '''Mumford–Tate group''' (or '''Hodge group''') ''MT''(''F'') constructed from a [[Hodge structure]] ''F'' is a certain [[Algebraic group|algebraic group]] ''G''. When ''F'' is given by a [[Rational representation|rational representation]] of an [[Algebraic torus|algebraic torus]], the definition of ''G'' is as the Zariski closure of the image in the representation of the [[Circle group|circle group]], over the rational numbers.  {{harvs|txt|last=Mumford|year=1966}} introduced Mumford–Tate groups over the [[Complex number|complex number]]s under the name of Hodge groups. {{harvtxt|Serre|1967}} introduced the ''p''-adic analogue of Mumford's construction for [[Hodge–Tate module]]s, using the work of {{harvs|txt|last=Tate|authorlink=John Tate (mathematician)|year=1967}} on p-divisible groups, and named them Mumford–Tate groups.

==Formulation==
The algebraic torus ''T'' used to describe Hodge structures has a concrete matrix representation, as the 2&times;2 invertible matrices of the shape that is given by the action of ''a''+''bi'' on the basis {1,''i''} of the complex numbers '''C''' over '''R''':

:<math>\begin{bmatrix} a & b \\ -b & a \end{bmatrix}.
       </math>

The circle group inside this group of matrices is the [[Unitary group|unitary group]] ''U''(1).

Hodge structures arising in geometry, for example on the cohomology groups of [[Kähler manifold]]s, have a lattice consisting of the integral cohomology classes. Not quite so much is needed for the definition of the Mumford&ndash;Tate group, but it does assume that the vector space ''V'' underlying the Hodge structure has a given rational structure, i.e. is given over the rational numbers ''Q''. For the purposes of the theory the complex vector space ''V''<sub>''C''</sub>, obtained by extending the scalars of ''V'' from ''Q'' to ''C'', is used.

The weight ''k'' of the Hodge structure describes the action of the diagonal matrices of ''T'', and ''V'' is supposed therefore to be homogeneous of weight ''k'', under that action. Under the action of the full group ''V''<sub>''C''</sub> breaks up into subspaces ''V''<sup>''pq''</sup>, complex conjugate in pairs under switching ''p'' and ''q''. Thinking of the matrix in terms of the complex number &lambda; it represents, ''V''<sup>''pq''</sup> has the action of &lambda; by the ''p''th power and of the complex conjugate of &lambda; by the ''q''th power. Here necessarily

:''p'' + ''q'' = ''k''.

In more abstract terms, the torus ''T'' underlying the matrix group is the [[Weil restriction]] of the [[Multiplicative group|multiplicative group]] ''GL''(1), from the complex field to the real field, an algebraic torus whose character group consists of the two homomorphisms to ''GL''(1), interchanged by complex conjugation.

Once formulated in this fashion, the rational representation &rho; of ''T'' on ''V'' setting up the Hodge structure ''F'' determines the image &rho;(''U''(1)) in ''GL''(''V''<sub>''C''</sub>); and ''MT''(''F'') is by definition the smallest algebraic group defined over ''Q'' containing this image.<ref>http://www.math.columbia.edu/~thaddeus/seattle/voisin.pdf, pp. 7&ndash;9.</ref>

==Mumford–Tate conjecture==

The original context for the formulation of the group in question was the question of the Galois representation on the [[Tate module]] of an [[Abelian variety|abelian variety]] ''A''. Conjecturally, the image of such a Galois representation, which is an l-adic Lie group for a given prime number ''l'', is determined by the corresponding Mumford–Tate group ''G'' (coming from the Hodge structure on ''H''<sup>1</sup>(''A'')), to the extent that knowledge of ''G'' determines the [[Lie algebra]] of the Galois image. This conjecture is known only in particular cases.<ref>http://math.berkeley.edu/~ribet/Articles/mg.pdf, survey by [[Biography:Ken Ribet|Ken Ribet]].</ref> Through generalisations of this conjecture, the Mumford–Tate group has been connected to the motivic Galois group, and, for example, the general issue of extending the Sato&ndash;Tate conjecture (now a theorem).

==Period conjecture==

A related conjecture on abelian varieties states that the period matrix of ''A'' over number field has [[Transcendence degree|transcendence degree]], in the sense of the field generated by its entries, predicted by the dimension of its Mumford&ndash;Tate group, as in the previous section. Work of [[Biography:Pierre Deligne|Pierre Deligne]] has shown that the dimension bounds the transcendence degree; so that the Mumford&ndash;Tate group catches sufficiently many algebraic relations between the periods. This is a special case of the full Grothendieck period conjecture.<ref>http://math.cts.nthu.edu.tw/Mathematics/preprints/prep2005-6-002.pdf, p. 3.</ref><ref>https://arxiv.org/abs/0805.2569v1, p. 7.</ref>

==Notes==
{{reflist}}

==References==

*{{Citation | last1=Mumford | first1=David |  title=Algebraic Groups and Discontinuous Subgroups (Proc. Sympos. Pure Math., Boulder, Colo., 1965) | publisher=American Mathematical Society | location=Providence, R.I. |mr=0206003 | year=1966 | chapter=Families of abelian varieties | pages=347–351}}
*{{Citation | last1=Serre | first1=Jean-Pierre |  editor1-last=Springer | editor1-first=Tonny A. | title=Proceedings of a Conference on Local Fields (Driebergen, 1966) | publisher=[[Physics:Springer-Verlag|Springer-Verlag]] | location=Berlin, New York | isbn=978-3-540-03953-2 |mr=0242839 | year=1967 | chapter=Sur les groupes de Galois attachés aux groupes p-divisibles | pages=118–131}}
*{{Citation | last1=Tate | first1=John T. | editor1-last=Springer | editor1-first=Tonny A. | title=Proc. Conf. Local Fields( Driebergen, 1966) | publisher=[[Physics:Springer-Verlag|Springer-Verlag]] | location=Berlin, New York | mr=0231827 | year=1967 | chapter=p-divisible groups.}}

==External links==
*[http://www.math.umass.edu/~hacking/agnes/griffiths.pdf Lecture slides (PDF)] by [[Biography:Phillip Griffiths|Phillip Griffiths]]
*[http://www.cms.zju.edu.cn/UploadFiles/AttachFiles/2005730145725232.pdf ''Mumford-Tate groups, families of Calabi-Yau varieties and analogue André-Oort problems I'', preprint (PDF)]

{{DEFAULTSORT:Mumford-Tate group}}
[[Category:Algebraic groups]]

{{Sourceattribution|Mumford–Tate group}}