Hilbert’s Nullstellensatz plays a central role in algebraic geometry. It can be seen as the fundamental link between the modern theory of schemes and the classical theory of algebraic varieties over fields. Since this is one of the first results a novice in algebraic geometry learns and is often proved very algebraically, one often does not gain a good understanding of the proof till much later.
I will present three proofs of the Nullstellensatz found in the literature from a geometric perspective. This will highlight the role of the “spreading out and specializing” common to the proofs that might not be obvious from an algebraic presentation. The last proof is a very short, self contained demonstration of the techniques. Along the way, we will also see a geometric proof of Noether Normalization.
The proof of Hilbert’s lemma is usually broken up into the following two steps: 1) Prove the weak Nullstellensatz and 2) Derive the strong Nullstellensatz using the Rabinowitsch or other means. I will be focusing solely on the first step in this post. Nothing in this is original except for the presentation.