2
$\begingroup$

Can any one help me to understand why all the proper Zariski closed sets of the parabola $V=\mathbb{V}(y-x^2)\subseteq\mathbb{A}^2$ are finite?Indeed, the Zariski topology on any plane curve is the co-finite topology, provided the curve is not a union of two other curves.

  • 0
    @puchkusona: ...so you are reduced to the same question for $\mathbb A^1$. And there a closed set is given by the zero set of a polynomial.2012-02-09

1 Answers 1

1

The key of understanding what you said is that for a curve $f(x,y)=0$ in $\Bbb A(K)^2$ the closed Zariski subsets correspond (roughly) to ideals $I\subseteq A:=K[x,y]/(f(x,y))$. The geometrical points in the closed set corresponding to the ideal $I$ are given by the maximal ideals containing $I$ (to avoid headaches one may assume that $K$ is algebraically closed, e.g. $K=\Bbb C$).

One knows that:

  • There is a 1-1 correspondence between ideals in $A$ and ideals in $K[x,y]$ containing $f(x,y)$

  • If the curve (equivalently: the polynomial $f(x,y)$) is irreducible, every non-zero prime ideal in $A$ is maximal.

Thus, either $I$ in $A$ is the zero ideal and the whole curve is the closed set corresponding to it, or $I$ is not zero and so is contained in only finitely many maximal ideals.

When the curve is not irreducible, say $f(x,y)=g_1(x,y)g_2(x,y)$ as product of irreducibles, then the ideals $I_1=(g_1)$ and $I_2=(g_2)$ are prime in $A$ but not maximal and correspond to infinite Zariski closed sets contained in the curve (namely, the two components).