Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $X$ be a one-dimensional Noetherian scheme over an algebraically closed field $k$. Suppose $X$ is reduced and let $X=\bigcup X_i$ be the composition of $X$ into irreducible components. Then, is the following homomorphism surjective?

$\mathrm{Pic} X\to \bigoplus \mathrm{Pic} X_i$.

share|improve this question
1  
Yes. Use the description of $Pic(X)$ as the cohomology group $H^1(X,O_X^*)$. You may want to see the thread mathoverflow.net/questions/57127/…. –  J.C. Ottem Mar 4 '11 at 22:22
2  
This is problem III.5.8 in Hartshorne by the way. –  J.C. Ottem Mar 4 '11 at 22:25
add comment

1 Answer

up vote 4 down vote accepted

Yes! This can be shown using the isomorphism $H^1(X,\mathcal{O}_X) \cong \mathrm{Pic} X$. First, look at the short exact sequence:

$ 0 \to \mathcal{O}_X^* \to \bigoplus \mathcal{O}_{X_i}^* \to \mathcal{C} \to 0$

From the long exact sequence of cohomological groups associated to the short exact sequence, it suffices to show that $H^1(X,\mathcal{C})\cong 0$. However, this is clear since from the short exact sequence above, we can see that the support of $\mathcal{C}$ is a finite number of points (points that belong to more than just 1 irreducible component) and hence, of dimension 0. Now, use Grothendieck's vanishing theorem and we are done.

share|improve this answer
    
Yes, although the Grothendieck vanishing theorem is perhaps a bit of a sledgehammer here.. –  J.C. Ottem Mar 4 '11 at 22:48
    
True. But using this, we get a strong result: it seems to work for Noetherian locally ringed space of dimension 1 in general. –  Brian Mar 4 '11 at 22:52
add comment

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.