12
$\begingroup$

If one has a quasiprojective complex variety X, there is a natural map from the algebraic Picard group to the analytic Picard group. Is this map either injective or surjective?

I assume the latter is not true, but couldn't think of an example (nor a definitive opinion for the former question) If you take a normal crossings projective compactification Xbar, then both notions coincide, but while an algebraic line bundle on Xbar that is trivial on X must be associated to the boundary divisor, I couldn't see if the same holds in the analytic setting.

  • 1
    Okay so a punctured higher genus curve shows that it isn't injective. Not sure about surjective.2011-03-15

2 Answers 2

8

Here is an example of non-surjectivity. Let $X = \mathbb{A}^2 \setminus 0$. I claim that $Pic(X)$ is $0$, but $Pic(X^{an}) \neq 0$.

Proof that $Pic(X)= 0$: There is an affine cover $X = U_1 \cup U_2$ where $U_1 = \{ (x, y) : x \neq 0 \}$ and $U_2 = \{ (x,y) : y \neq 0 \}$. Note that $U_1$, $U_2$ and $U_{12}$ are all Spec's of PID's, so their Picard groups are trivial and we can compute $Pic(X)$ in terms of this open cover. The corresponding unit groups are $\{ \alpha x^i : \alpha \in \mathbb{C}^*, \ i \in \mathbb{Z} \}$, $\{ \alpha y^j : \alpha \in \mathbb{C}^*, \ j \in \mathbb{Z} \}$ and $\{\alpha x^i y^j : \alpha \in \mathbb{C}^*, \ (i,j) \in \mathbb{Z}^2 \}$. So the Cech complex is $\left( \mathbb{C}^* \oplus \mathbb{Z}\right) \oplus \left( \mathbb{C}^* \oplus \mathbb{Z}\right) \to \mathbb{C}^* \oplus \mathbb{Z}^2,$ which clearly has no cokernel.

Proof that $Pic(X^{an}) \neq 0$: We could mimic the above, but it is a little simpler to first use the exponential sequence $0 \to \mathbb{Z} \to \mathcal{O} \to \mathcal{O}^* \to 0$. Since $X \cong \mathbb{R}^4 \setminus \{ (0,0) \}$ retracts on $S^3$, we have $H^1(X, \mathbb{Z}) \cong H^2(X, \mathbb{Z}) \cong 0$ and $H^1(X, \mathcal{O}) \cong H^1(X, \mathcal{O}^*)$. Computing $H^1(X, \mathcal{O})$ from the Cech cover above, we get that it is spanned by the set of all sums $\{ \sum a_{ij} x^{-i} y^{-j} \}$ where the sum is convergent everywhere in $U_{12}$.

So the simplest example of a nontrivial class in $H^1(X, \mathcal{O})$ is the Cech cocycle $U_{12} \mapsto x^{-1} y^{-1}$, and the simplest nontrivial line bundle is to take trivial line bundles on $U_1$ and $U_2$ and glue them together by $e^{x^{-1} y^{-1}}$.