Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm confused about the proof of the Nullstellensatz for projective varieties.

If $J \subset k[x_0, \ldots , x_n]$ is a homogeneous ideal, we may regard $V(J)$ as a closed subset $ V(J) = V \subset \mathbb P_k^n$ and also as a closed subset $V(J) = V^a \subset \mathbb A_k^n$. If $\pi : \mathbb A_k^{n+1} \backslash \{ 0\} \to \mathbb P_k^n$ is the residue class map used to define projective space, then we have that $V^a = \pi^{-1}(V) \cup \{ 0\} $ ($0$ is always a root of a homogeneous polynomial). The statement I have of the Projective Nullstellensatz is:

Let $k$ be an algebraically closed field and $J \subset k[x_0, \ldots , x_n]$ be a homogenous ideal. Then we have

i) $ V(J) = \emptyset \iff \sqrt{J} \supset \langle x_0, \ldots , x_n \rangle$

ii) If $V(J) \neq \emptyset $, then $I(V(J)) = \sqrt{J}$

The proof of i) goes: $ V(J) = \emptyset \iff V^a \subset \{0 \} \iff \sqrt{J} \supset \langle x_0 , \ldots , x_n \rangle$. But mustn't $V^a$ always contain $ 0$, so we always have equality $\sqrt{J} = \langle x_0 , \ldots , x_n \rangle$?. But then that isn't true, since we could let $J = k[x_0, \ldots , x_n]$ What's going on?

Thanks

share|improve this question

1 Answer 1

But mustn't $V^a$ always contain $0$, so we always have equality $\sqrt{J}=\langle x_0,\ldots,x_n\rangle$?

Not necessarily. There is a single exception, which you mentioned, that is $J=(1)$. Then $V^a=\emptyset$ so $V\subset \{0\}$ and $\sqrt{J}\supset \langle x_0,\ldots,x_n\rangle$ where both inclusions are proper. In all other cases the degree of $J$ is at least $1$ so $0\in V^{a}$ giving us equality.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.