Mumford–Tate group

In algebraic geometry, the Mumford–Tate group (or Hodge group) MT(F) constructed from a Hodge structure F is a certain algebraic group G. When F is given by a rational representation of an algebraic torus, the definition of G is as the Zariski closure of the image in the representation of the circle group, over the rational numbers. Mumford (1966) introduced Mumford–Tate groups over the complex numbers under the name of Hodge groups. Serre (1967) introduced the p-adic analogue of Mumford's construction for Hodge–Tate modules, using the work of Tate (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×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:

The circle group inside this group of matrices is the unitary group U(1).

Hodge structures arising in geometry, for example on the cohomology groups of Kähler manifolds, have a lattice consisting of the integral cohomology classes. Not quite so much is needed for the definition of the Mumford–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 VC, 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 VC breaks up into subspaces Vpq, complex conjugate in pairs under switching p and q. Thinking of the matrix in terms of the complex number λ it represents, Vpq has the action of λ by the pth power and of the complex conjugate of λ by the qth 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 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 ρ of T on V setting up the Hodge structure F determines the image ρ(U(1)) in GL(VC); and MT(F) is by definition the smallest algebraic group defined over Q containing this image.[1]

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 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 H1(A)), to the extent that knowledge of G determines the Lie algebra of the Galois image. This conjecture is known only in particular cases.[2] 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–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, in the sense of the field generated by its entries, predicted by the dimension of its Mumford–Tate group, as in the previous section. Work of Pierre Deligne has shown that the dimension bounds the transcendence degree; so that the Mumford–Tate group catches sufficiently many algebraic relations between the periods. This is a special case of the full Grothendieck period conjecture.[3][4]

Notes
  1. http://www.math.columbia.edu/~thaddeus/seattle/voisin.pdf, pp. 7–9.
  2. http://math.berkeley.edu/~ribet/Articles/mg.pdf, survey by Ken Ribet.
  3. http://math.cts.nthu.edu.tw/Mathematics/preprints/prep2005-6-002.pdf, p. 3.
  4. https://arxiv.org/abs/0805.2569v1, p. 7.
gollark: Why not R⁷RS?
gollark: It's in the arch AUR user repository.
gollark: Hmm, chez scheme is not in the arch repos. Can I use racket/chicken/whatever?
gollark: Can I do evil and slightly impure things?
gollark: Hmm, I have an IDEA for what to IMPLEMENŦ.

References
  • Mumford, David (1966), "Families of abelian varieties", Algebraic Groups and Discontinuous Subgroups (Proc. Sympos. Pure Math., Boulder, Colo., 1965), Providence, R.I.: American Mathematical Society, pp. 347–351, MR 0206003
  • Serre, Jean-Pierre (1967), "Sur les groupes de Galois attachés aux groupes p-divisibles", in Springer, Tonny A. (ed.), Proceedings of a Conference on Local Fields (Driebergen, 1966), Berlin, New York: Springer-Verlag, pp. 118–131, ISBN 978-3-540-03953-2, MR 0242839
  • Tate, John T. (1967), "p-divisible groups.", in Springer, Tonny A. (ed.), Proc. Conf. Local Fields( Driebergen, 1966), Berlin, New York: Springer-Verlag, MR 0231827
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.