Hilbert's fourteenth problem

Hilbert's fourteenth problem

In mathematics, Hilbert's fourteenth problem, that is, number 14 of Hilbert's problems proposed in 1900, asks whether certain rings 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"1, ..., "x""n" ) over "k".

Consider now the ring "R" defined as the intersection

: R:= K cap k [x_1, dots, x_n] .

Hilbert conjectured that all such subrings are finitely generated. It can be shown that the field "K" is always finitely generated "as a field", in other words, there exist finitely many elements

:"y""i", "i" = 1 ,...,"d" in "K"

such that every element in "R" can be "rationally" represented by the "y""i". But this does not imply that the ring "R" is finitely generated "as a ring", even if all the elements "y"i could be chosen from "R".

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"1, ..., "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 "SL2(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 [cite journal | last = Winkelmann | first = Jörg | title = Invariant rings and quasiaffine quotients | journal = Math. Z. | volume = 244 | issue = 1 | pages = 163–174 | date = 2003 | doi = 10.1007/s00209-002-0484-9] to be equivalent to the original problem, for "X" normal.

References

* M. Nagata, "On the Fourteenth Problem of Hilbert", Proceedings of the International Congress of Mathematicians 1958, pp. 459-462, Cambridge University Press.
* M. Nagata: "Lectures on the fourteenth problem of Hilbert". Lect. Notes 31, Tata Inst. Bombay, 1965.
* O. Zariski, "Interpretations algebrico-geometriques du quatorzieme probleme de Hilbert", Bulletin des Sciences Mathematiques 78 (1954), pp. 155-168.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • Séminaire Nicolas Bourbaki (1950–1959) — Continuation of the Séminaire Nicolas Bourbaki programme, for the 1950s. 1950/51 series *33 Armand Borel, Sous groupes compacts maximaux des groupes de Lie, d après Cartan, Iwasawa et Mostow (maximal compact subgroups) *34 Henri Cartan, Espaces… …   Wikipedia

  • Geometric invariant theory — In mathematics Geometric invariant theory (or GIT) is a method for constructing quotients by group actions in algebraic geometry, used to construct moduli spaces. It was developed by David Mumford in 1965, using ideas from the paper… …   Wikipedia

  • Masayoshi Nagata — Born February 9, 1927(1927 02 09) Aichi Prefecture Died August 27, 2008(2008 08 27) (aged  …   Wikipedia

  • Trace identity — In mathematics, a trace identity is any equation involving the trace of a matrix. For example, the Cayley Hamilton theorem says that every matrix satisfies its own characteristic polynomial.Trace identities are invariant under simultaneous… …   Wikipedia

  • Четырнадцатая проблема Гильберта — Четырнадцатая проблема Гильберта  четырнадцатая из проблем, поставленных Давидом Гильбертом в его знаменитом докладе на II Международном Конгрессе математиков в Париже в 1900 году. Она посвящена вопросу конечной порождённости возникающих при …   Википедия

  • History of logic — Philosophy ( …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • History of mathematics — A proof from Euclid s Elements, widely considered the most influential textbook of all time.[1] …   Wikipedia

Share the article and excerpts

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