# Hilbert's Nullstellensatz

Hilbert's Nullstellensatz In mathematics, Hilbert's Nullstellensatz (German for "theorem of zeros," or more literally, "zero-locus-theorem"—see Satz) is a theorem that establishes a fundamental relationship between geometry and algebra. This relationship is the basis of algebraic geometry. It relates algebraic sets to ideals in polynomial rings over algebraically closed fields. This relationship was discovered by David Hilbert, who proved the Nullstellensatz and several other important related theorems named after him (like Hilbert's basis theorem).

Contents 1 Formulation 2 Proof and generalization 3 Effective Nullstellensatz 4 Projective Nullstellensatz 5 Analytic Nullstellensatz (Rückert’s Nullstellensatz) 6 See also 7 Notes 8 References Formulation Let k be a field (such as the rational numbers) and K be an algebraically closed field extension (such as the complex numbers). Consider the polynomial ring {displaystyle k[X_{1},ldots ,X_{n}]} and let I be an ideal in this ring. The algebraic set V(I) defined by this ideal consists of all n-tuples x = (x1,...,xn) in Kn such that f(x) = 0 for all f in I. Hilbert's Nullstellensatz states that if p is some polynomial in {displaystyle k[X_{1},ldots ,X_{n}]} that vanishes on the algebraic set V(I), i.e. p(x) = 0 for all x in V(I), then there exists a natural number r such that pr is in I.[1] An immediate corollary is the weak Nullstellensatz: The ideal {displaystyle Isubset k[X_{1},ldots ,X_{n}]} contains 1 if and only if the polynomials in I do not have any common zeros in Kn. It may also be formulated as follows: if I is a proper ideal in {displaystyle k[X_{1},ldots ,X_{n}],} then V(I) cannot be empty, i.e. there exists a common zero for all the polynomials in the ideal in every algebraically closed extension of k. This is the reason for the name of the theorem, which can be proved easily from the 'weak' form using the Rabinowitsch trick. The assumption of considering common zeros in an algebraically closed field is essential here; for example, the elements of the proper ideal (X2 + 1) in {displaystyle mathbb {R} [X]} do not have a common zero in {displaystyle mathbb {R} .} With the notation common in algebraic geometry, the Nullstellensatz can also be formulated as {displaystyle {hbox{I}}({hbox{V}}(J))={sqrt {J}}} for every ideal J. Here, {displaystyle {sqrt {J}}} denotes the radical of J and I(U) is the ideal of all polynomials that vanish on the set U.

In this way, we obtain an order-reversing bijective correspondence between the algebraic sets in Kn and the radical ideals of {displaystyle K[X_{1},ldots ,X_{n}].} In fact, more generally, one has a Galois connection between subsets of the space and subsets of the algebra, where "Zariski closure" and "radical of the ideal generated" are the closure operators.

As a particular example, consider a point {displaystyle P=(a_{1},dots ,a_{n})in K^{n}} . Then {displaystyle I(P)=(X_{1}-a_{1},ldots ,X_{n}-a_{n})} . More generally, {displaystyle {sqrt {I}}=bigcap _{(a_{1},dots ,a_{n})in V(I)}(X_{1}-a_{1},dots ,X_{n}-a_{n}).} Conversely, every maximal ideal of the polynomial ring {displaystyle K[X_{1},ldots ,X_{n}]} (note that {displaystyle K} is algebraically closed) is of the form {displaystyle (X_{1}-a_{1},ldots ,X_{n}-a_{n})} for some {displaystyle a_{1},ldots ,a_{n}in K} .

As another example, an algebraic subset W in Kn is irreducible (in the Zariski topology) if and only if {displaystyle I(W)} is a prime ideal.

Proof and generalization There are many known proofs of the theorem. One proof uses Zariski's lemma, which asserts that if a field is finitely generated as an associative algebra over a field k, then it is a finite field extension of k (that is, it is also finitely generated as a vector space). Here is a sketch of this proof.[2] Let {displaystyle A=k[t_{1},ldots ,t_{n}]} (k algebraically closed field), I an ideal of A, and V the common zeros of I in {displaystyle k^{n}} . Clearly, {displaystyle {sqrt {I}}subseteq I(V)} . Let {displaystyle fnot in {sqrt {I}}} . Then {displaystyle fnot in {mathfrak {p}}} for some prime ideal {displaystyle {mathfrak {p}}supseteq I} in A. Let {displaystyle R=(A/{mathfrak {p}})[f^{-1}]} and {displaystyle {mathfrak {m}}} a maximal ideal in {displaystyle R} . By Zariski's lemma, {displaystyle R/{mathfrak {m}}} is a finite extension of k; thus, is k since k is algebraically closed. Let {displaystyle x_{i}} be the images of {displaystyle t_{i}} under the natural map {displaystyle Ato k} passing through {displaystyle R} . It follows that {displaystyle x=(x_{1},ldots ,x_{n})in V} and {displaystyle f(x)neq 0} .

The Nullstellensatz also follows trivially from a systematic development of Jacobson rings, in which a radical ideal is an intersection of maximal ideals. Let {displaystyle R} be a Jacobson ring. If {displaystyle S} is a finitely generated R-algebra, then {displaystyle S} is a Jacobson ring. Further, if {displaystyle {mathfrak {n}}subset S} is a maximal ideal, then {displaystyle {mathfrak {m}}:={mathfrak {n}}cap R} is a maximal ideal of R, and {displaystyle S/{mathfrak {n}}} is a finite extension field of {displaystyle R/{mathfrak {m}}} .

Another generalization states that a faithfully flat morphism of schemes {displaystyle f:Yto X} locally of finite type with X quasi-compact has a quasi-section, i.e. there exists {displaystyle X'} affine and faithfully flat and quasi-finite over X together with an X-morphism {displaystyle X'to Y} Effective Nullstellensatz In all of its variants, Hilbert's Nullstellensatz asserts that some polynomial g belongs or not to an ideal generated, say, by f1, ..., fk; we have g = f r in the strong version, g = 1 in the weak form. This means the existence or the non-existence of polynomials g1, ..., gk such that g = f1g1 + ... + fkgk. The usual proofs of the Nullstellensatz are not constructive, non-effective, in the sense that they do not give any way to compute the gi.

It is thus a rather natural question to ask if there is an effective way to compute the gi (and the exponent r in the strong form) or to prove that they do not exist. To solve this problem, it suffices to provide an upper bound on the total degree of the gi: such a bound reduces the problem to a finite system of linear equations that may be solved by usual linear algebra techniques. Any such upper bound is called an effective Nullstellensatz.

A related problem is the ideal membership problem, which consists in testing if a polynomial belongs to an ideal. For this problem also, a solution is provided by an upper bound on the degree of the gi. A general solution of the ideal membership problem provides an effective Nullstellensatz, at least for the weak form.

In 1925, Grete Hermann gave an upper bound for ideal membership problem that is doubly exponential in the number of variables. In 1982 Mayr and Meyer gave an example where the gi have a degree that is at least double exponential, showing that every general upper bound for the ideal membership problem is doubly exponential in the number of variables.

Since most mathematicians at the time assumed the effective Nullstellensatz was at least as hard as ideal membership, few mathematicians sought a bound better than double-exponential. In 1987, however, W. Dale Brownawell gave an upper bound for the effective Nullstellensatz that is simply exponential in the number of variables.[3] Brownawell's proof relied on analytic techniques valid only in characteristic 0, but, one year later, János Kollár gave a purely algebraic proof, valid in any characteristic, of a slightly better bound.

In the case of the weak Nullstellensatz, Kollár's bound is the following:[4] Let f1, ..., fs be polynomials in n ≥ 2 variables, of total degree d1 ≥ ... ≥ ds. If there exist polynomials gi such that f1g1 + ... + fsgs = 1, then they can be chosen such that {displaystyle deg(f_{i}g_{i})leq max(d_{s},3)prod _{j=1}^{min(n,s)-1}max(d_{j},3).} This bound is optimal if all the degrees are greater than 2.

If d is the maximum of the degrees of the fi, this bound may be simplified to {displaystyle max(3,d)^{min(n,s)}.} Kollár's result has been improved by several authors. As of 14 October 2012, the best improvement, due to M. Sombra is[5] {displaystyle deg(f_{i}g_{i})leq 2d_{s}prod _{j=1}^{min(n,s)-1}d_{j}.} His bound improves Kollár's as soon as at least two of the degrees that are involved are lower than 3.

Projective Nullstellensatz We can formulate a certain correspondence between homogeneous ideals of polynomials and algebraic subsets of a projective space, called the projective Nullstellensatz, that is analogous to the affine one. To do that, we introduce some notations. Let {displaystyle R=k[t_{0},ldots ,t_{n}].} The homogeneous ideal, {displaystyle R_{+}=bigoplus _{dgeqslant 1}R_{d}} is called the maximal homogeneous ideal (see also irrelevant ideal). As in the affine case, we let: for a subset {displaystyle Ssubseteq mathbb {P} ^{n}} and a homogeneous ideal I of R, {displaystyle {begin{aligned}operatorname {I} _{mathbb {P} ^{n}}(S)&={fin R_{+}mid f=0{text{ on }}S},\operatorname {V} _{mathbb {P} ^{n}}(I)&={xin mathbb {P} ^{n}mid f(x)=0{text{ for all }}fin I}.end{aligned}}} By {displaystyle f=0{text{ on }}S} we mean: for every homogeneous coordinates {displaystyle (a_{0}:cdots :a_{n})} of a point of S we have {displaystyle f(a_{0},ldots ,a_{n})=0} . This implies that the homogeneous components of f are also zero on S and thus that {displaystyle operatorname {I} _{mathbb {P} ^{n}}(S)} is a homogeneous ideal. Equivalently, {displaystyle operatorname {I} _{mathbb {P} ^{n}}(S)} is the homogeneous ideal generated by homogeneous polynomials f that vanish on S. Now, for any homogeneous ideal {displaystyle Isubseteq R_{+}} , by the usual Nullstellensatz, we have: {displaystyle {sqrt {I}}=operatorname {I} _{mathbb {P} ^{n}}(operatorname {V} _{mathbb {P} ^{n}}(I)),} and so, like in the affine case, we have:[6] There exists an order-reversing one-to-one correspondence between proper homogeneous radical ideals of R and subsets of {displaystyle mathbb {P} ^{n}} of the form {displaystyle operatorname {V} _{mathbb {P} ^{n}}(I).} The correspondence is given by {displaystyle operatorname {I} _{mathbb {P} ^{n}}} and {displaystyle operatorname {V} _{mathbb {P} ^{n}}.} Analytic Nullstellensatz (Rückert’s Nullstellensatz) The Nullstellensatz also holds for the germs of holomorphic functions at a point of complex n-space {displaystyle mathbb {C} ^{n}.} Precisely, for each open subset {displaystyle Usubset mathbb {C} ^{n},} let {displaystyle {mathcal {O}}_{mathbb {C} ^{n}}(U)} denote the ring of holomorphic functions on U; then {displaystyle {mathcal {O}}_{mathbb {C} ^{n}}} is a sheaf on {displaystyle mathbb {C} ^{n}.} The stalk {displaystyle {mathcal {O}}_{mathbb {C} ^{n},0}} at, say, the origin can be shown to be a Noetherian local ring that is a unique factorization domain.

If {displaystyle fin {mathcal {O}}_{mathbb {C} ^{n},0}} is a germ represented by a holomorphic function {displaystyle {widetilde {f}}:Uto mathbb {C} } , then let {displaystyle V_{0}(f)} be the equivalence class of the set {displaystyle left{zin Umid {widetilde {f}}(z)=0right},} where two subsets {displaystyle X,Ysubset mathbb {C} ^{n}} are considered equivalent if {displaystyle Xcap U=Ycap U} for some neighborhood U of 0. Note {displaystyle V_{0}(f)} is independent of a choice of the representative {displaystyle {widetilde {f}}.} For each ideal {displaystyle Isubset {mathcal {O}}_{mathbb {C} ^{n},0},} let {displaystyle V_{0}(I)} denote {displaystyle V_{0}(f_{1})cap dots cap V_{0}(f_{r})} for some generators {displaystyle f_{1},ldots ,f_{r}} of I. It is well-defined; i.e., is independent of a choice of the generators.

For each subset {displaystyle Xsubset mathbb {C} ^{n}} , let {displaystyle I_{0}(X)=left{fin {mathcal {O}}_{mathbb {C} ^{n},0}mid V_{0}(f)supset Xright}.} It is easy to see that {displaystyle I_{0}(X)} is an ideal of {displaystyle {mathcal {O}}_{mathbb {C} ^{n},0}} and that {displaystyle I_{0}(X)=I_{0}(Y)} if {displaystyle Xsim Y} in the sense discussed above.

The analytic Nullstellensatz then states:[7] for each ideal {displaystyle Isubset {mathcal {O}}_{mathbb {C} ^{n},0}} , {displaystyle {sqrt {I}}=I_{0}(V_{0}(I))} where the left-hand side is the radical of I.

See also Stengle's Positivstellensatz Differential Nullstellensatz Combinatorial Nullstellensatz Artin–Tate lemma Real radical Restricted power series#Tate algebra, an analog of Hilbert's nullstellensatz holds for Tate algebras. Notes ^ Zariski–Samuel, Ch. VII, Theorem 14 ^ Atiyah–MacDonald 1969, Ch. 7 ^ Brownawell, W. Dale (1987), "Bounds for the degrees in the Nullstellensatz", Ann. of Math., 126 (3): 577–591, doi:10.2307/1971361, MR 0916719 ^ Kollár, János (1988), "Sharp Effective Nullstellensatz" (PDF), Journal of the American Mathematical Society, 1 (4): 963–975, doi:10.2307/1990996, MR 0944576, archived from the original (PDF) on 2014-03-03, retrieved 2012-10-14 ^ Sombra, Martín (1999), "A Sparse Effective Nullstellensatz", Advances in Applied Mathematics, 22 (2): 271–295, arXiv:alg-geom/9710003, doi:10.1006/aama.1998.0633, MR 1659402 ^ This formulation comes from Milne, Algebraic geometry [1] and differs from Hartshorne 1977, Ch. I, Exercise 2.4 ^ Huybrechts, Proposition 1.1.29. References Jose Maria Almira, Nullstellensatz revisited, Rend. Sem. Mat. Univ. Pol. Torino - Vol. 65 (3) (2007) 365-369 M. Atiyah, I.G. Macdonald, Introduction to Commutative Algebra, Addison–Wesley, 1994. ISBN 0-201-40751-5 Shigeru Mukai (2003). An Introduction to Invariants and Moduli. Cambridge studies in advanced mathematics. Vol. 81. William Oxbury (trans.). p. 82. ISBN 0-521-80906-1. David Eisenbud, Commutative Algebra With a View Toward Algebraic Geometry, New York : Springer-Verlag, 1999. Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 Huybrechts, Daniel (2005). Complex Geometry: An Introduction. Springer. ISBN 3-540-21290-6. Zariski, Oscar; Samuel, Pierre (1960). Commutative algebra. Volume II. Berlin. ISBN 978-3-662-27753-9. Categories: PolynomialsTheorems in algebraic geometry

Si quieres conocer otros artículos parecidos a **Hilbert's Nullstellensatz** puedes visitar la categoría **Polynomials**.

Deja una respuesta