Hilbert's fourteenth problem

In mathematics, Hilbert's fourteenth problem, that is, number 14 of Hilbert's problems proposed in 1900, asks whether certain algebras are finitely generated.

The setting is as follows: Assume that k is a field and let K be a subfield of the field of rational functions in n variables,

k(x₁, ..., x_n ) over k.

Consider now the k-algebra R defined as the intersection

R:=K\cap k[x_{1},\dots ,x_{n}]\ .

Hilbert conjectured that all such algebras are finitely generated over k.

After some results were obtained confirming Hilbert's conjecture in special cases and for certain classes of rings (in particular the conjecture was proved unconditionally for n = 1 and n = 2 by Zariski in 1954) then in 1959 Masayoshi Nagata found a counterexample to Hilbert's conjecture. The counterexample of Nagata is a suitably constructed ring of invariants for the action of a linear algebraic group.

History

The problem originally arose in algebraic invariant theory. Here the ring R is given as a (suitably defined) ring of polynomial invariants of a linear algebraic group over a field k acting algebraically on a polynomial ring k[x₁, ..., x_n] (or more generally, on a finitely generated algebra defined over a field). In this situation the field K is the field of rational functions (quotients of polynomials) in the variables x_i which are invariant under the given action of the algebraic group, the ring R is the ring of polynomials which are invariant under the action. A classical example in nineteenth century was the extensive study (in particular by Cayley, Sylvester, Clebsch, Paul Gordan and also Hilbert) of invariants of binary forms in two variables with the natural action of the special linear group SL₂(k) on it. Hilbert himself proved the finite generation of invariant rings in the case of the field of complex numbers for some classical semi-simple Lie groups (in particular the general linear group over the complex numbers) and specific linear actions on polynomial rings, i.e. actions coming from finite-dimensional representations of the Lie-group. This finiteness result was later extended by Hermann Weyl to the class of all semi-simple Lie-groups. A major ingredient in Hilbert's proof is the Hilbert basis theorem applied to the ideal inside the polynomial ring generated by the invariants.

Zariski's formulation

Zariski's formulation of Hilbert's fourteenth problem asks whether, for a quasi-affine algebraic variety X over a field k, possibly assuming X normal or smooth, the ring of regular functions on X is finitely generated over k.

Zariski's formulation was shown[1] to be equivalent to the original problem, for X normal. (See also: Zariski's finiteness theorem.)

Éfendiev F.F. (Fuad Efendi) provided symmetric algorithm generating basis of invariants of n-ary forms of degree r.[2]

Nagata's counterexample

Nagata (1958) gave the following counterexample to Hilbert's problem. The field k is a field containing 48 elements a_1i, ...,a_16i, for i=1, 2, 3 that are algebraically independent over the prime field. The ring R is the polynomial ring k[x₁,...,x₁₆, t₁,...,t₁₆] in 32 variables. The vector space V is a 13-dimensional vector space over k consisting of all vectors (b₁,...,b₁₆) in k¹⁶ orthogonal to each of the three vectors (a_1i, ...,a_16i) for i=1, 2, 3. The vector space V is a 13-dimensional commutative unipotent algebraic group under addition, and its elements act on R by fixing all elements t_j and taking x_j to x_j + b_jt_j. Then the ring of elements of R invariant under the action of the group V is not a finitely generated k-algebra.

Several authors have reduced the sizes of the group and the vector space in Nagata's example. For example, Totaro (2008) showed that over any field there is an action of the sum G³
_a of three copies of the additive group on k¹⁸ whose ring of invariants is not finitely generated.

gollark: Go is supposed to not *need* docker anyway due to the crazy static binaries thing.

gollark: Oh, and gone through the manual again.

gollark: It did make it very convenient, *after* I had packed my server with several hundred megabytes of junk and waited ages.

gollark: In the interest of extreme trendiness it was *also* packaged with docker.

gollark: I had to modify a go program to make my dwarf fortress dwarf chat API thingy work. It was horrible.

References

Bibliography

Nagata, Masayoshi (1960), "On the fourteenth problem of Hilbert", Proc. Internat. Congress Math. 1958, Cambridge University Press, pp. 459–462, MR 0116056, archived from the original on 2011-07-17
Nagata, Masayoshi (1965), Lectures on the fourteenth problem of Hilbert (PDF), Tata Institute of Fundamental Research Lectures on Mathematics, 31, Bombay: Tata Institute of Fundamental Research, MR 0215828
Totaro, Burt (2008), "Hilbert's 14th problem over finite fields and a conjecture on the cone of curves", Compositio Mathematica, 144 (5): 1176–1198, arXiv:0808.0695, doi:10.1112/S0010437X08003667, ISSN 0010-437X, MR 2457523
O. Zariski, Interpretations algebrico-geometriques du quatorzieme probleme de Hilbert, Bulletin des Sciences Mathematiques 78 (1954), pp. 155–168.

Footnotes

Winkelmann, Jörg (2003), "Invariant rings and quasiaffine quotients", Math. Z., 244 (1): 163–174, arXiv:math/0007076, doi:10.1007/s00209-002-0484-9.
Éfendiev, F. F. (1992). "Explicit construction of elements of the ring S(n, r) of invariants of n-ary forms of degree R". Mathematical Notes. 51 (2): 204–207. doi:10.1007/BF02102130.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Winkelmann, Jörg (2003), "Invariant rings and quasiaffine quotients", Math. Z., 244 (1): 163–174, arXiv:math/0007076, doi:10.1007/s00209-002-0484-9.

[2] Éfendiev, F. F. (1992). "Explicit construction of elements of the ring S(n, r) of invariants of n-ary forms of degree R". Mathematical Notes. 51 (2): 204–207. doi:10.1007/BF02102130.