Difference between revisions of "Mumford hypothesis"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 12: | Line 12: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> D. Mumford, "Geometric invariant theory" , Springer (1965) {{MR|0214602}} {{ZBL|0147.39304}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> J. Fogarty, "Invariant theory" , Benjamin (1969) {{MR|0240104}} {{ZBL|0191.51701}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> J. Dieudonné, J.B. Carrell, "Invariant theory: old and new" , Acad. Press (1971) {{MR|0279102}} {{ZBL|0258.14011}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> W.J. Haboush, "Reductive groups are geometrically reductive" ''Ann. of Math.'' , '''102''' (1975) pp. 67–83 {{MR|0382294}} {{ZBL|0316.14016}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> C.S. Seshadri, "Geometric reductivity over arbitrary base" ''Adv. Math.'' , '''26''' (1977) pp. 225–274 {{MR|0466154}} {{ZBL|0371.14009}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> M. Nagata, "Invariants of a group in an affine ring" ''J. Math. Kyoto Univ.'' , '''3''' (1964) pp. 369–377 (With appendix by M. Miyanishi) {{MR|0179268}} {{ZBL|0146.04501}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> C.S. Seshadri, "Mumford's conjecture for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065570/m06557045.png" /> and applications" , ''Algebraic geometry. Papers presented at the Bombay Colloq. 1968'' , Oxford Univ. Press (1969) pp. 347–371 {{MR|262248}} {{ZBL|}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> H. Popp, "Moduli theory and classification theory of algebraic varieties" , Springer (1977) {{MR|0466143}} {{ZBL|0359.14005}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> C.S. Seshadri, "Theory of moduli" R. Hartshorne (ed.) , ''Algebraic geometry (Arcata, 1974)'' , ''Proc. Symp. Pure Math.'' , '''29''' , Amer. Math. Soc. (1975) pp. 263–304 {{MR|0396565}} {{ZBL|0321.14005}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> M. Nagata, T. Miyata, "Note on semi-reductive groups" ''J. Math. Kyoto Univ.'' , '''3''' (1964) pp. 379–382 {{MR|0179269}} {{ZBL|0152.00902}} </TD></TR></table> |
Revision as of 14:50, 24 March 2012
The hypothesis that each semi-simple algebraic group is geometrically reductive, i.e., has the following property: For any rational representation of
in a finite-dimensional vector space
and any non-zero vector
fixed by
, there is a
-invariant homogeneous polynomial
of positive degree on
for which
.
This hypothesis was stated by D. Mumford [1] (in a different, but equivalent form) with the aim of finding a property of semi-simple groups, defined over an algebraically closed field of arbitrary characteristic, which, from the point of view of the geometric theory of invariants (cf. Invariants, theory of), would serve as a substitute for the classical property of complete reducibility of rational linear representations of semi-simple groups defined over fields of characteristic zero (this latter property not holding for ground fields of positive characteristic). It would allow the removal of restrictions on the characteristic of the ground field in a number of central results in the geometric theory of invariants, such as the theorem on finite generation of the algebra of invariants of reductive groups of automorphisms of an algebra of finite type over a field (see Hilbert theorem on invariants).
If the characteristic of the ground field is zero, then a proof of Mumford's hypothesis is given by Weyl's classical theorem on complete reducibility of rational representations of semi-simple groups (see [2]): in this case the invariant line
in
has an invariant complement
(an invariant hyperplane such that
), and
can be taken to be the linear form giving the equation of
. When
has positive characteristic
, Mumford's hypothesis generalizes the fact that there is an invariant homogeneous hypersurface
in
for which
(with the degree of
equal to
for some integer
).
Mumford's hypothesis is also equivalent to the assertion that for any regular action of a semi-simple group on an affine algebraic variety
and for any two closed non-intersecting invariant subsets
and
in
there is an invariant regular function
on
for which
and
(i.e.,
and
can be separated by regular invariants, see [3]).
Mumford's hypothesis was first proved in [4]; the proof was extended in [5] to the general case of reductive group schemes over a field.
The proof of Mumford's hypothesis, together with the results of [6] and [10], allow one, first, to give a final form to the generalization of Hilbert's theorem on invariants: If is an algebra of finite type over an algebraically closed field
,
is a reductive group, acting as an automorphism group on
, and
is the subalgebra of all
-invariant elements in
, then
is also an algebra of finite type over
; and, secondly, to establish that a linear algebraic group over a field of arbitrary characteristic is geometrically reductive if and only if it is reductive (cf. Reductive group). Mumford's hypothesis has applications in the geometric theory of invariants and in moduli theory (see [7]–[9]).
References
[1] | D. Mumford, "Geometric invariant theory" , Springer (1965) MR0214602 Zbl 0147.39304 |
[2] | J. Fogarty, "Invariant theory" , Benjamin (1969) MR0240104 Zbl 0191.51701 |
[3] | J. Dieudonné, J.B. Carrell, "Invariant theory: old and new" , Acad. Press (1971) MR0279102 Zbl 0258.14011 |
[4] | W.J. Haboush, "Reductive groups are geometrically reductive" Ann. of Math. , 102 (1975) pp. 67–83 MR0382294 Zbl 0316.14016 |
[5] | C.S. Seshadri, "Geometric reductivity over arbitrary base" Adv. Math. , 26 (1977) pp. 225–274 MR0466154 Zbl 0371.14009 |
[6] | M. Nagata, "Invariants of a group in an affine ring" J. Math. Kyoto Univ. , 3 (1964) pp. 369–377 (With appendix by M. Miyanishi) MR0179268 Zbl 0146.04501 |
[7] | C.S. Seshadri, "Mumford's conjecture for ![]() |
[8] | H. Popp, "Moduli theory and classification theory of algebraic varieties" , Springer (1977) MR0466143 Zbl 0359.14005 |
[9] | C.S. Seshadri, "Theory of moduli" R. Hartshorne (ed.) , Algebraic geometry (Arcata, 1974) , Proc. Symp. Pure Math. , 29 , Amer. Math. Soc. (1975) pp. 263–304 MR0396565 Zbl 0321.14005 |
[10] | M. Nagata, T. Miyata, "Note on semi-reductive groups" J. Math. Kyoto Univ. , 3 (1964) pp. 379–382 MR0179269 Zbl 0152.00902 |
Mumford hypothesis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Mumford_hypothesis&oldid=11673