hilbert's nullstellensatz - an introduction to algebraic ... · introduction i my talk today...

50
Hilbert’s Nullstellensatz An Introduction to Algebraic Geometry Scott Sanderson Department of Mathematics Williams College April 6, 2013

Upload: others

Post on 20-Jul-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Hilbert’s NullstellensatzAn Introduction to Algebraic Geometry

Scott Sanderson

Department of MathematicsWilliams College

April 6, 2013

Page 2: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Introduction

I My talk today is on Hilbert’s Nullstellensatz, a foundationalresult in the field of algebraic geometry.

I First proved by David Hilbert in 1900.

I Pronounced “nool-shtell-en-zatss”.

I The Nullstellensatz derives its name, like many other Germanwords, from a combination of smaller words: null (zero),stellen (to put/place), satz (theorem). It is generallytranslated as “theorem of zeros”, or more literally as “zeroplaces theorem”.

Page 3: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Introduction

I My talk today is on Hilbert’s Nullstellensatz, a foundationalresult in the field of algebraic geometry.

I First proved by David Hilbert in 1900.

I Pronounced “nool-shtell-en-zatss”.

I The Nullstellensatz derives its name, like many other Germanwords, from a combination of smaller words: null (zero),stellen (to put/place), satz (theorem). It is generallytranslated as “theorem of zeros”, or more literally as “zeroplaces theorem”.

Page 4: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Introduction

I My talk today is on Hilbert’s Nullstellensatz, a foundationalresult in the field of algebraic geometry.

I First proved by David Hilbert in 1900.

I Pronounced “nool-shtell-en-zatss”.

I The Nullstellensatz derives its name, like many other Germanwords, from a combination of smaller words: null (zero),stellen (to put/place), satz (theorem). It is generallytranslated as “theorem of zeros”, or more literally as “zeroplaces theorem”.

Page 5: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Introduction

I My talk today is on Hilbert’s Nullstellensatz, a foundationalresult in the field of algebraic geometry.

I First proved by David Hilbert in 1900.

I Pronounced “nool-shtell-en-zatss”.

I The Nullstellensatz derives its name, like many other Germanwords, from a combination of smaller words: null (zero),stellen (to put/place), satz (theorem). It is generallytranslated as “theorem of zeros”, or more literally as “zeroplaces theorem”.

Page 6: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Polynomial Rings

I Given a ring R, we can define an associated ring, R[x ], calledthe polynomial ring over R in the indeterminate x . Elementsof R[x ] are of the form:

cnxn + cn−1xn−1 + · · ·+ c1x1 + c0

where each ci is an element of R.

I Multiplication and addition are defined for polynomial rings tocorrespond with the usual rules for polynomials from highschool algebra.

Page 7: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

“Evaluating” Polynomials

I For any r ∈ R, we can define a natural homomorphismφr : R[x ]→ R that corresponds to “evaluating” eachpolynomial in R[x ] at r in the usual way.

I These notions generalize naturally to polynomials defined overany number of indeterminates, which we denote byR[x1, x2, . . . , xn].

I They also generalize to fields of rational functions, which wedenote R(x1, x2, . . . , xn).

I Note: When no confusion will arise, we often denote φx(p)simply by p(x).

Page 8: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

“Evaluating” Polynomials

I For any r ∈ R, we can define a natural homomorphismφr : R[x ]→ R that corresponds to “evaluating” eachpolynomial in R[x ] at r in the usual way.

I These notions generalize naturally to polynomials defined overany number of indeterminates, which we denote byR[x1, x2, . . . , xn].

I They also generalize to fields of rational functions, which wedenote R(x1, x2, . . . , xn).

I Note: When no confusion will arise, we often denote φx(p)simply by p(x).

Page 9: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Affine Varieties

Definition (Affine Variety)

Let S = {p1, p2, . . . , pn} be a subset of K [x1, x2, . . . , xn], with Kan algebraically closed field. We say that the intersection of thezero sets of the pi is the affine variety associated with S , and wedenote this set by V(S).

Page 10: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Ideals

Definition (Ideal)

An ideal of a ring R is a subset of R satisfying the followingconditions:

I For any a, b ∈ I , a + b ∈ I .

I For any a ∈ I and r ∈ R, ar ∈ I .

Page 11: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Examples - Ideals

I {0} is an ideal of every ring. It is called the trivial ideal.

I nZ, the subset of Z containing all multiples of n is an ideal ofZ.

Page 12: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Generating Ideals

For any set S ⊆ R, we can associate an ideal with S as follows:

Definition (〈S〉)For any subset S ⊆ R, we define the ideal generated by S ,denoted 〈S〉, to be the intersection of all ideals containing S . It isnot too hard to verify that 〈S〉 is given by:

〈S〉 = {r | r = r1s1 + r2s2 + · · ·+ rksk}

where si ∈ S and ri ∈ R.

Page 13: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Generating Ideals

For any set S ⊆ R, we can associate an ideal with S as follows:

Definition (〈S〉)For any subset S ⊆ R, we define the ideal generated by S ,denoted 〈S〉, to be the intersection of all ideals containing S . It isnot too hard to verify that 〈S〉 is given by:

〈S〉 = {r | r = r1s1 + r2s2 + · · ·+ rksk}

where si ∈ S and ri ∈ R.

Page 14: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Generating Ideals cont’d

Given a set of points V ⊆ Kn, we can construct an ideal ofK [x1, x2, . . . , xn] whose variety is precisely V .

Definition (I(V ))

Let V ⊂ Kn. I(V ) ⊆ K [x1, x2, . . . , xn] is the set of all polynomialsin K [x1, x2, . . . , xn] that vanish on every point in V .

We’ll leave it as an exercise to show that I(V ) is, in fact, an ideal.

Page 15: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Generating Ideals cont’d

Given a set of points V ⊆ Kn, we can construct an ideal ofK [x1, x2, . . . , xn] whose variety is precisely V .

Definition (I(V ))

Let V ⊂ Kn. I(V ) ⊆ K [x1, x2, . . . , xn] is the set of all polynomialsin K [x1, x2, . . . , xn] that vanish on every point in V .

We’ll leave it as an exercise to show that I(V ) is, in fact, an ideal.

Page 16: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Radical Ideals

Given an ideal I ⊆ R, we can construct a new ideal√

I , called theradical ideal of I , which is given by:√

I = {r | rn ∈ I}, r ∈ R, n ∈ N

Page 17: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

More Special Rings

Definition (Noetherian Ring)

A ring R is said to be Noetherian if every ideal of R is of the form〈S〉, where S is a finite subset of R. (Such ideals are said to befinitely generated.

Page 18: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Hilbert’s Basis Theorem

Theorem (Hilbert’s Basis Theorem)

For any ring R, if R is Noetherian, then so is R[x1, x2, . . . , xn].

Corollary

K [x1, x2, . . . , xn] is Noetherian for any field K.

We will use this fact in our proof in a moment.

Page 19: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Hilbert’s Basis Theorem

Theorem (Hilbert’s Basis Theorem)

For any ring R, if R is Noetherian, then so is R[x1, x2, . . . , xn].

Corollary

K [x1, x2, . . . , xn] is Noetherian for any field K.

We will use this fact in our proof in a moment.

Page 20: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Hilbert’s Nullstellensatz

We now have all the vocabulary we need to state Hilbert’sNullstellensatz in both its strong and weak forms.

Theorem (Hilbert Nullstellensatz (Weak Form))

Let K be an algebraically closed field, and let I ⊆ K [x1, x2, . . . , xn]be an ideal such that V(I ) = ∅. Then I = K [x1, x2, . . . , xn].

Theorem (Hilbert Nullstellensatz (Strong Form))

Let K be an algebraically closed field, and let I ⊆ k[x1, x2, . . . , xn].Then I(V(I )) =

√I .

Page 21: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Hilbert’s Nullstellensatz

We now have all the vocabulary we need to state Hilbert’sNullstellensatz in both its strong and weak forms.

Theorem (Hilbert Nullstellensatz (Weak Form))

Let K be an algebraically closed field, and let I ⊆ K [x1, x2, . . . , xn]be an ideal such that V(I ) = ∅. Then I = K [x1, x2, . . . , xn].

Theorem (Hilbert Nullstellensatz (Strong Form))

Let K be an algebraically closed field, and let I ⊆ k[x1, x2, . . . , xn].Then I(V(I )) =

√I .

Page 22: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Hilbert’s Nullstellensatz

We now have all the vocabulary we need to state Hilbert’sNullstellensatz in both its strong and weak forms.

Theorem (Hilbert Nullstellensatz (Weak Form))

Let K be an algebraically closed field, and let I ⊆ K [x1, x2, . . . , xn]be an ideal such that V(I ) = ∅. Then I = K [x1, x2, . . . , xn].

Theorem (Hilbert Nullstellensatz (Strong Form))

Let K be an algebraically closed field, and let I ⊆ k[x1, x2, . . . , xn].Then I(V(I )) =

√I .

Page 23: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Hilbert’s Nullstellensatz

I Despite the unusual nomenclature, the strong and weakNullstellensatze are actually equivalent!

I We won’t have time to prove the full Nullstellensatz today.The usual way of doing so is to first prove the weakNullstellensatz, then prove that the strong is equivalent to theweak.

Page 24: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Hilbert’s Nullstellensatz

I Despite the unusual nomenclature, the strong and weakNullstellensatze are actually equivalent!

I We won’t have time to prove the full Nullstellensatz today.The usual way of doing so is to first prove the weakNullstellensatz, then prove that the strong is equivalent to theweak.

Page 25: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Proof: Strong ⇒ Weak

Let K be an algebraically closed field and I an ideal inK [x1, x2, . . . , xn] with V(I ) = ∅.

Since V(I ) = ∅, I(V(I )) is the set of polynomials that vanish onevery point in the empty set.

But this statement is (vacuously) true for all polynomials inK [x1, x2, . . . , xn], so I(V(I )) = K [x1, x2, . . . , xn].

Page 26: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Proof: Strong ⇒ Weak

Let K be an algebraically closed field and I an ideal inK [x1, x2, . . . , xn] with V(I ) = ∅.

Since V(I ) = ∅, I(V(I )) is the set of polynomials that vanish onevery point in the empty set.

But this statement is (vacuously) true for all polynomials inK [x1, x2, . . . , xn], so I(V(I )) = K [x1, x2, . . . , xn].

Page 27: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Proof: Strong ⇒ Weak

Let K be an algebraically closed field and I an ideal inK [x1, x2, . . . , xn] with V(I ) = ∅.

Since V(I ) = ∅, I(V(I )) is the set of polynomials that vanish onevery point in the empty set.

But this statement is (vacuously) true for all polynomials inK [x1, x2, . . . , xn], so I(V(I )) = K [x1, x2, . . . , xn].

Page 28: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Proof: Strong ⇒ Weak

Assuming now the strong Nullstellensatz, we have

√I = I(V(I ))

and we just showed that

I(V(I )) = K [x1, x2, . . . , xn]

so it follows that √I = K [x1, x2, . . . , xn]

which implies that 1 ∈√

I . By the definition of a√

I there existsan n ∈ N such that

1n ∈ I

so 1 ∈ I , which implies that I = K [x1, x2, . . . , xn].

Page 29: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Proof: Strong ⇒ Weak

Assuming now the strong Nullstellensatz, we have

√I = I(V(I ))

and we just showed that

I(V(I )) = K [x1, x2, . . . , xn]

so it follows that √I = K [x1, x2, . . . , xn]

which implies that 1 ∈√

I . By the definition of a√

I there existsan n ∈ N such that

1n ∈ I

so 1 ∈ I , which implies that I = K [x1, x2, . . . , xn].

Page 30: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Proof: Strong ⇒ Weak

Assuming now the strong Nullstellensatz, we have

√I = I(V(I ))

and we just showed that

I(V(I )) = K [x1, x2, . . . , xn]

so it follows that √I = K [x1, x2, . . . , xn]

which implies that 1 ∈√

I . By the definition of a√

I there existsan n ∈ N such that

1n ∈ I

so 1 ∈ I , which implies that I = K [x1, x2, . . . , xn].

Page 31: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Proof: Weak ⇒ Strong

I We now move on to the proof that the weak Nullstellensatz isactually equivalent to the strong.

I The proof we looking at today is due to J.L. Rabinowitsch.Though remarkably short, it is, as mentioned earlier, a bittricky.

I Tricky enough, in fact, that the technique used in this proofhas become known as the “Trick of Rabinowitsch”

Page 32: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Proof: Weak ⇒ Strong

I We now move on to the proof that the weak Nullstellensatz isactually equivalent to the strong.

I The proof we looking at today is due to J.L. Rabinowitsch.Though remarkably short, it is, as mentioned earlier, a bittricky.

I Tricky enough, in fact, that the technique used in this proofhas become known as the “Trick of Rabinowitsch”

Page 33: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Proof: Weak ⇒ Strong

I We now move on to the proof that the weak Nullstellensatz isactually equivalent to the strong.

I The proof we looking at today is due to J.L. Rabinowitsch.Though remarkably short, it is, as mentioned earlier, a bittricky.

I Tricky enough, in fact, that the technique used in this proofhas become known as the “Trick of Rabinowitsch”

Page 34: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong

Let K be an algebraically closed field, and let I be an ideal inK [x1, x2, . . . , xn]. Assuming the weak Nullstellensatz, we want toshow that I(V(I )) =

√I .

Page 35: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊇√I

We first show that I(V(I )) ⊇√

I . This direction is easy.

Let p ∈√

I . To show that p ∈ I(V(I )) we must show that pvanishes on every point in the variety of I . Let x be in V(I ).We know that there exists a natural number d such that pd ∈ I ,which means that:

0 = φx(pd) = pd(x) =d∏

i=1

p(x)

Since pd ∈ I , pd(x) = 0, and since K is a field, it has no zerodivisors, so it immediately follows that p(x) = 0. Thus p vanisheson every point in V(I ), so it is in I(V(I )).

Page 36: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊇√I

We first show that I(V(I )) ⊇√

I . This direction is easy.

Let p ∈√

I . To show that p ∈ I(V(I )) we must show that pvanishes on every point in the variety of I . Let x be in V(I ).We know that there exists a natural number d such that pd ∈ I ,which means that:

0 = φx(pd) = pd(x) =d∏

i=1

p(x)

Since pd ∈ I , pd(x) = 0, and since K is a field, it has no zerodivisors, so it immediately follows that p(x) = 0. Thus p vanisheson every point in V(I ), so it is in I(V(I )).

Page 37: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊇√I

We first show that I(V(I )) ⊇√

I . This direction is easy.

Let p ∈√

I . To show that p ∈ I(V(I )) we must show that pvanishes on every point in the variety of I . Let x be in V(I ).We know that there exists a natural number d such that pd ∈ I ,which means that:

0 = φx(pd) = pd(x) =d∏

i=1

p(x)

Since pd ∈ I , pd(x) = 0, and since K is a field, it has no zerodivisors, so it immediately follows that p(x) = 0. Thus p vanisheson every point in V(I ), so it is in I(V(I )).

Page 38: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

Proof IdeaGiven an ideal I in K [x1, x2, . . . , xn] and a polynomial f thatvanishes everywhere in V(I ), we want to show that there existssome natural number d such that f d ∈ I . Our general strategy fordoing so is a common one in mathematics: we consider a relatedobject in a higher dimensional space and project back down to thespace we actually care about.

Specifically, we construct a related ideal, I ∗ in a larger polynomialring by adding another indeterminate, which we call y . We do so ina way that guarantees that V(I ∗) = ∅, which lets us use the weakNullstellensatz to conclude that I ∗ = K [x1, x2, . . . , xn, y ]. Thisallows us to construct an expression for f d in terms of products ofthe generators of I , which is sufficient to show that f d ∈ I .

Page 39: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

Proof.Let K be an algebraically closed field, let I be an ideal inK [x1, x2, . . . , xn], and let f be a polynomial in I(V(I )), i.e. apolynomial that vanishes everywhere on V(I ).

Since K is a field, it is Noetherian, so Hilbert’s Basis Theorem tellsus that K [x1, x2, . . . , xn] is also Noetherian, which means that Ican be written as 〈p1, . . . , pk〉, where each pi ∈ I .

Thus we need to show that there exists a d ∈ N andq1, . . . , qk ∈ K [x1, x2, . . . , xn] such that

f d =k∑

i=1

piqi

.

Page 40: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

Proof.Let K be an algebraically closed field, let I be an ideal inK [x1, x2, . . . , xn], and let f be a polynomial in I(V(I )), i.e. apolynomial that vanishes everywhere on V(I ).

Since K is a field, it is Noetherian, so Hilbert’s Basis Theorem tellsus that K [x1, x2, . . . , xn] is also Noetherian, which means that Ican be written as 〈p1, . . . , pk〉, where each pi ∈ I .

Thus we need to show that there exists a d ∈ N andq1, . . . , qk ∈ K [x1, x2, . . . , xn] such that

f d =k∑

i=1

piqi

.

Page 41: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

Proof.Let K be an algebraically closed field, let I be an ideal inK [x1, x2, . . . , xn], and let f be a polynomial in I(V(I )), i.e. apolynomial that vanishes everywhere on V(I ).

Since K is a field, it is Noetherian, so Hilbert’s Basis Theorem tellsus that K [x1, x2, . . . , xn] is also Noetherian, which means that Ican be written as 〈p1, . . . , pk〉, where each pi ∈ I .

Thus we need to show that there exists a d ∈ N andq1, . . . , qk ∈ K [x1, x2, . . . , xn] such that

f d =k∑

i=1

piqi

.

Page 42: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

Consider the ideal I ∗ ⊆ K [x1, x2, . . . , xn, y ] given by〈p1, . . . , pk , 1− yf 〉, where f and the pi are now considered aselements of K [x1, x2, . . . , xn, y ] that happen not to contain theindeterminate y .

Suppose x ∈ V(I ∗). x must be a zero of each pi , which meansthat it must also be a zero of f . But this implies that x cannot bea zero of 1− yf , a contradiction, since 1− yf ∈ I ∗. ThusV(I ∗) = ∅, which by the weak Nullstellensatz implies thatI ∗ = K [x1, x2, . . . , xn, y ].

Page 43: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

Consider the ideal I ∗ ⊆ K [x1, x2, . . . , xn, y ] given by〈p1, . . . , pk , 1− yf 〉, where f and the pi are now considered aselements of K [x1, x2, . . . , xn, y ] that happen not to contain theindeterminate y .

Suppose x ∈ V(I ∗). x must be a zero of each pi , which meansthat it must also be a zero of f . But this implies that x cannot bea zero of 1− yf , a contradiction, since 1− yf ∈ I ∗. ThusV(I ∗) = ∅, which by the weak Nullstellensatz implies thatI ∗ = K [x1, x2, . . . , xn, y ].

Page 44: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

In particular, we now have that 1 ∈ I ∗, so there existq1, . . . qk+1 ∈ K [x1, x2, . . . , xn, y ] such that

1 = p1q1 + · · · pnqn + (1− yf )qn+1

Consider now the homomorphism

ψ : K [x1, x2, . . . , xn, y ]→ K (x1, x2, . . . , xn) which takes

y i → (1/f )i

We have:

ψ(1) = ψ(p1q1 + · · · pnqn + (1− yf )qn+1)

1 = ψ(p1)ψ(q1) + · · ·+ ψ(pn)ψ(qn) + ψ(1− yf )ψ(qn+1)

Page 45: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

In particular, we now have that 1 ∈ I ∗, so there existq1, . . . qk+1 ∈ K [x1, x2, . . . , xn, y ] such that

1 = p1q1 + · · · pnqn + (1− yf )qn+1

Consider now the homomorphism

ψ : K [x1, x2, . . . , xn, y ]→ K (x1, x2, . . . , xn) which takes

y i → (1/f )i

We have:

ψ(1) = ψ(p1q1 + · · · pnqn + (1− yf )qn+1)

1 = ψ(p1)ψ(q1) + · · ·+ ψ(pn)ψ(qn) + ψ(1− yf )ψ(qn+1)

Page 46: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

Since y does not appear in the p1, they remain unchanged (exceptthat we now interpret them as rational functions with denominator1). The expression 1− yf gets taken to 1− 1 = 0, and each qi

becomes a sum of rational functions which contain only powers off in their denominators. Thus we have:

1 = p1ψ(q1) + · · ·+ pnψ(qn) + (1− 1)ψ(qn+1)

1 = p1ψ(q1) + · · ·+ pnψ(qn)

Page 47: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

Let d be the maximum degree of f that appears in the denominatorof any of the ψ(qi ). Multiplying on both sides by f d , we have:

f d = p1q∗1 + · · ·+ pkq∗

k

where the q∗i are now all rational functions with denominator 1.

The subring of K (x1, x2, . . . , xn) containing entries of denominator1 is trivially isomorphic to K [x1, x2, . . . , xn], so we can map back toour original ring to obtain the same equality:

f d = p1q∗1 + · · ·+ pkq∗

k

where now all the terms are understood as elements ofK [x1, x2, . . . , xn]. But this shows that for some d ∈ N, f d can bewritten as a sum of products of the pi , which implies that f ∈

√I ,

which is what we wanted to show.

Page 48: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

Let d be the maximum degree of f that appears in the denominatorof any of the ψ(qi ). Multiplying on both sides by f d , we have:

f d = p1q∗1 + · · ·+ pkq∗

k

where the q∗i are now all rational functions with denominator 1.

The subring of K (x1, x2, . . . , xn) containing entries of denominator1 is trivially isomorphic to K [x1, x2, . . . , xn], so we can map back toour original ring to obtain the same equality:

f d = p1q∗1 + · · ·+ pkq∗

k

where now all the terms are understood as elements ofK [x1, x2, . . . , xn].

But this shows that for some d ∈ N, f d can bewritten as a sum of products of the pi , which implies that f ∈

√I ,

which is what we wanted to show.

Page 49: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Weak ⇒ Strong: I(V(I )) ⊆√I

Let d be the maximum degree of f that appears in the denominatorof any of the ψ(qi ). Multiplying on both sides by f d , we have:

f d = p1q∗1 + · · ·+ pkq∗

k

where the q∗i are now all rational functions with denominator 1.

The subring of K (x1, x2, . . . , xn) containing entries of denominator1 is trivially isomorphic to K [x1, x2, . . . , xn], so we can map back toour original ring to obtain the same equality:

f d = p1q∗1 + · · ·+ pkq∗

k

where now all the terms are understood as elements ofK [x1, x2, . . . , xn]. But this shows that for some d ∈ N, f d can bewritten as a sum of products of the pi , which implies that f ∈

√I ,

which is what we wanted to show.

Page 50: Hilbert's Nullstellensatz - An Introduction to Algebraic ... · Introduction I My talk today is on Hilbert’s Nullstellensatz, a foundational result in the eld of algebraic geometry

Conclusion/Questions

HOORAY! Questions?