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.

Why is it true that prime divisors on nonsingular curves (curve: integral separated scheme of finite type over an algebraically closed field, of dimension 1 with all local rings regular) are only the closed points? In particular, if $C$ is curve, then $dim(C)=1$. Now i can see that if $p$ is a closed point, then it is a prime divisor, since it is irreducible and it has codimension 1 (the codimension could not be higher than 1, otherwise we have a violation of $dim(C)=1$). But why can we not have a closed irreducible proper subset $Z$, which is not a point, such that $Z$ is a prime divisor?

Intuition: if every closed, irreducible proper subset $Z$ of a curve $C$, contains a closed point $p$ of $C$, then $Z=\left\{p\right\}$, otherwise we would have a chain $\left\{p\right\} \subsetneq Z \subsetneq C$. Is that the case?

Is it true that all points of a curve are closed?

share|improve this question

1 Answer 1

up vote 3 down vote accepted

An irreducible scheme with more than one point always has a non-closed point, namely the generic point. If $X$ is a $1$-dimensional irreducible scheme, then it has closed points, necessarily of codimension $1$, and a unique generic point, necessarily of codimension zero. Here's an argument. Note that a proper closed subset of an irreducible space of finite dimension has dimension strictly less than that of the ambient space. So let $x\in X$. Then $\overline{\{x\}}$ is a closed irreducible subset of $X$. If it has dimension $1$, then it equals $X$, whence $x$ is the generic point. Otherwise this space has dimension $0$. Take any $y\in\overline{\{x\}}$. Then $\overline{\{y\}}\subseteq\overline{\{x\}}$, and this inclusion cannot be strict because the latter space is zero-dimensional. So $y$ and $x$ have the same closure. Since schemes are Kolmogorov (distinct points have distinct closures), we conclude that $x=y$. Thus $\overline{\{x\}}=\{x\}$ is a closed point.

So the irreducible closed subsets of $X$ are closed points and $X$ itself. A closed point has codimension $1$ because we always have the chain $\{x\}\subsetneq X$.

If $X$ is not assumed irreducible, then there can be closed points of codimension $0$. For example, take $\mathbf{A}_k^1\coprod\mathrm{Spec}(k)$ has a closed point which is an irreducible component, hence of codimension zero, although the ambient scheme is $1$-dimensional.

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.