It is well-known that in $\operatorname{Spec}A$, $V(I)\subset V(J)$ implies $\sqrt{I}\supset\sqrt{J}$. Is it also true in $\operatorname{Proj}A$, where $A$ is an $\mathbb{N}$-graded ring and $I,J\subset A$ are graded ideals? The difficulty in proving this seems to stem from the condition that the elements of $\operatorname{Proj}A$ do not contain $\sum_{d>0}A_d$.

  • 3
    $\begingroup$ I know holds $V_+(I) \subset V_+(J) \Leftrightarrow J \cap \oplus_{d>0} S_d \subseteq \sqrt{I}$. $\endgroup$ – Sabino Di Trani Nov 16 '13 at 17:37
  • $\begingroup$ Search for "projective Nullstellensatz" in the literature / internet. $\endgroup$ – Martin Brandenburg Nov 17 '13 at 7:28
  • $\begingroup$ @Martin I thought Nullstellensatz is for $\mathbb{P}^n$ and polynomial rings over a field. $\endgroup$ – ashpool Nov 17 '13 at 12:17
  • $\begingroup$ Sure, but this shows how to correct the statement ... $\endgroup$ – Martin Brandenburg Nov 24 '13 at 14:33

It is not true: $\mathbb{Z}$ can be considered as an $\mathbb{N}$-graded ring, with $\mathbb{Z}_+=\{0\}$. Then $\operatorname{Proj}\mathbb{Z}=\emptyset$, and if $I=(2)$ and $J=(3)$, then $\emptyset=V_+(I)\subset V_+(J)=\emptyset$, but $\sqrt{I}=I\not\supset J=\sqrt{J}$.


Proposition. Let $J,K\subset S$ be graded ideals. TFAE:

  1. $V_+(J)\subset V_+(K)$
  2. $(\sqrt{J})_+\supset (\sqrt{K})_+$
  3. $\sqrt{J}\supset K_+$

In particular, $V_+(J)=V_+(K)$ if and only if $(\sqrt{J})_+=(\sqrt{K})_+$.

Proof. 1$\Rightarrow$2 : Let $\hat{J}:=\bigcap_{\mathfrak{p}\in V_+(J)}\mathfrak{p}$. Using Zorn's Lemma, one can show that $\sqrt{J}$ is the intersection of all graded prime ideals containing $J$. Hence, $\hat{J}_+=(\sqrt{J})_+$.

1$\Rightarrow$2 : If $V_+(J)\subset V_+(K)$, then $\hat{J}\supset\hat{K}$, so $(\sqrt{J})_+=\hat{J}_+\supset\hat{K}_+=(\sqrt{K})_+$.

2$\Rightarrow$3 : $\sqrt{J}\supset(\sqrt{J})_+\supset(\sqrt{K})_+\supset K_+$

3$\Rightarrow$1 : $V_+(J)=V_+(\sqrt{J})\subset V_+(K_+)=V_+(K)$.

Remark. Since $(\sqrt{J_+})_+=(\sqrt{J})_+$, the inclusion $V_+(J)\subset V_+(K)$ depends only on $J_+$ and $K_+$.

  • $\begingroup$ Do you mean by $I_+,$ for an ideal $I,$ the homogenised ideal of $I?$ $\endgroup$ – awllower Feb 27 '14 at 14:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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