The Stacks project

Lemma 53.15.5. Let $k$ be an algebraically closed field. If $f : X' \to X$ is the glueing of two points $a, b$ as in Example 53.15.2, then there is an exact sequence

\[ k^* \to \mathop{\mathrm{Pic}}\nolimits (X) \to \mathop{\mathrm{Pic}}\nolimits (X') \to 0 \]

The first map is zero if $a$ and $b$ are on different connected components of $X'$ and injective if $X'$ is proper and $a$ and $b$ are on the same connected component of $X'$.

Proof. The map $\mathop{\mathrm{Pic}}\nolimits (X) \to \mathop{\mathrm{Pic}}\nolimits (X')$ is surjective by Varieties, Lemma 33.38.7. Using the short exact sequence

\[ 0 \to \mathcal{O}_ X^* \to f_*\mathcal{O}_{X'}^* \xrightarrow {ab^{-1}} x_*k^* \to 0 \]

we obtain

\[ H^0(X', \mathcal{O}_{X'}^*) \xrightarrow {ab^{-1}} k^* \to H^1(X, \mathcal{O}_ X^*) \to H^1(X, f_*\mathcal{O}_{X'}^*) \]

We have $H^1(X, f_*\mathcal{O}_{X'}^*) \subset H^1(X', \mathcal{O}_{X'}^*)$ (for example by the Leray spectral sequence, see Cohomology, Lemma 20.13.4). Hence the kernel of $\mathop{\mathrm{Pic}}\nolimits (X) \to \mathop{\mathrm{Pic}}\nolimits (X')$ is the cokernel of $ab^{-1} : H^0(X', \mathcal{O}_{X'}^*) \to k^*$. If $a$ and $b$ are on different connected components of $X'$, then $ab^{-1}$ is surjective. Because $k$ is algebraically closed any regular function on a reduced connected proper scheme over $k$ comes from an element of $k$, see Varieties, Lemma 33.9.3. Thus $ab^{-1}$ is zero if $X'$ is proper and $a$ and $b$ are on the same connected component. $\square$

Comments (5)

Comment #3004 by James Waldron on

In the statement of Lemma 49.15.5, I think that should be a map instead of .

Comment #4869 by Grisha Konovalov on

This doesn't seem to be true that if is affine than map is surjective. For example, is constant for glueing of two -points on .

Comment #4870 by on

Oops, yes you are right. Luckily this parenthetical statement isn't needed for the proof. I will fix this soonish.

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0C1M. Beware of the difference between the letter 'O' and the digit '0'.