Processing math: 100%

Thursday, June 11, 2015

Chapter 1, Exercise 2.8: Hypersurfaces and dimension n-1

A projective variety Y\subseteq\mathbb P^n has dimension n-1 if and only if it is the zero set of a single irreducible homogeneous polynomial f of positive degree. Y is called a hypersurface in \mathbb P^n.

Let Y=Z(f) be the zero set of one irreducible polynomial with \deg f>0. This has projective coordinate ring S(Y)=S/(f). By the Hauptidealsatz \operatorname{height}(f)=1 (using \deg f\neq 0) and thus \dim S(Y) = \dim S - \operatorname{height}(f)=n+1-1=n. But \dim Y=\dim S(Y)-1=n-1.

Now suppose \dim Y=n-1, then \dim S(Y)=n and further I(Y) is prime. Also, \operatorname{height}I(Y)=\dim S(Y)-\dim Y = 1, so I(Y) has a single nonconstant generator g which can be taken to be homogeneous since I(Y) is a homogeneous ideal. Then I(Y)=(g) implies Y=Z(g) as desired.

No comments:

Post a Comment