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

Let us work in the "nice" situation where $X,Y,Z$ are smooth complex algebraic varieties, not necessarily compact. Assume that the fiber product $W:= X \times_Z Y$ is also smooth. What can we say about the Picard group of $W$?

More precisely, assume that $Pic(X)=Pic(Z)=0$.

1) Can we deduce that $Pic(W)=Pic(Y)$?

2) If 1) is not true in general, can we draw the conclusion if $Z$ is a point and thus $W=X \times Y$?

3) If 1) is not true in general, can we draw the conclusion if $Y \to Z$ is a finite étale cover?

share|improve this question
1  
I believe this is true if $Y$ is complete and $Z$ is a point, by the so-called Seesaw theorem (Chapter 2, Corollary 6 in Mumford's Abelian varieties). I think the argument should go through for more general $Z$, however. @Martin: There actually is a ``Theorem of the Square"; it's just a bit later in the same chapter of Mumford, though it's unrelated to the situation at hand. –  Daniel Litt Nov 22 '11 at 15:25
    
(That last was in reference to a comment of Martin Brandenburg's, which is now deleted, apparently.) –  Daniel Litt Nov 22 '11 at 16:48
    
Unfortunately this is not always true, even when $Y$ is complete and $Z$ is a point. In fact it can even fail when $Z = \textrm{Spec}(k)$ for an algebraically closed field $k$, $X=Y$, and $Y$ is smooth and projective over $Z$. –  Chuck Hague Nov 22 '11 at 16:51
    
(This is exercise IV.4.10 in Hartshorne). –  Chuck Hague Nov 22 '11 at 16:54
    
See also mathoverflow.net/questions/57830/… –  David Speyer Nov 22 '11 at 19:35
show 3 more comments

2 Answers 2

up vote 7 down vote accepted

It can happen that $Pic(X) = Pic(Y) = Pic(Z) = 0$ but $Pic(W) \neq 0$!

For example, let $f: \mathcal{E} \to Z$ be a non-isotrivial family of elliptic curves, where $Z$ is a smooth rational curve. Then $Pic(\mathcal{E})$ is finitely generated, so by removing a finite number of (images of) sections of $f$ we obtain a surface $X \to Z$ such that $Pic(X) = 0$. Letting $Y = X$, I claim that $Pic(W) \neq 0$:

To see this, let $\Delta$ be the diagonal inside $W = X \times_Z X$ so $L :=\mathcal{O}(\Delta) \in Pic(W)$. The restriction of $L$ to any fibre of the map $W \to Z$ is nonzero since the cohomology class of the diagonal in $E \times E$, where $E$ is any elliptic curve, remains non-zero when restricted to $E' \times E'$ where $E' \subset E$ is any non-empty Zariski open subset. In particular, $L \neq 0$, so $Pic(W) \neq 0$.

3) is also false.

For example, let $Y \to Z$ be a finite etale cover such that $Z$ is a smooth rational curve and the genus of $\bar{Y}$, the smooth compactification of $Y$, is at least $2$. Let $X$ also be a rational curve and take any morphism $X \to Z$ of degree $> 1$. Then $W$ is a smooth curve with a map to $Y$ of degree $> 1$. Since $g(\bar{Y}) > 1$, at least one component of $\bar{W}$ has genus $> g(\bar{Y})$ or it has more than one component, so the cokernel of the induced map $Pic(\bar{Y}) \to Pic(\bar{W})$ is uncountable. Since the kernel of the map $Pic(\bar{W}) \to Pic(W)$ is finitely generated, it follows that the the map $Pic(Y) \to Pic(W)$ cannot be surjective.

share|improve this answer
    
Thank you very much, your examples are both very nice and simple. The first example makes me believe that the question, as I posed it, is really wrong. This because $H^2(X \times Y)$ contains $H^1(X) \otimes H^1(Y)$, and the latters could make algebraic classes on $X \times Y$. Does this make sense? –  Calc Nov 22 '11 at 19:36
    
Exactly: for proper smooth connected $X$ and $Y$ over an algebraically closed field $Z$, $\mathop{\rm Pic}(X\times_Z Y)=\mathop{\rm Pic}(X)\oplus \mathop{\rm Pic}(Y)\oplus\mathop{\rm Hom}(A_X,P_Y)$, where $A_X$ is the Albanese variety of $X$ and $P_Y$ is the Picard variety of $Y$ (both being Abelian varieties of dimensions $h^1(X,\mathcal O_X)$ and $h^1(Y,\mathcal O_Y)$ respectively) –  ACL Nov 22 '11 at 23:03
add comment

A weakening of 2) is an exercise (III.12.6) in Hartshorne: Let $X$ be an integral projective scheme over an algebraically closed field $k$ and assume that $H^1(X, \mathcal O_X) = 0$. Let $T$ be a connected scheme of finite type over $k$. Then $\textrm{Pic}(X) \times \textrm{Pic}(T) \cong \textrm{Pic}(X \times T) $ under the obvious morphism. However, it is not true in general that $\textrm{Pic}(X) \times \textrm{Pic}(T) \cong \textrm{Pic}(X \times T) $ for two arbitrary $k$-schemes $X$ and $T$, cf exercise IV.4.10 in Hartshorne.

In general, you might be interested in exercises III.12.4 and III.12.5 of Hartshorne as well; they give more results on Picard groups in this context.

share|improve this answer
    
I was aware of IV 4.10, but I was still hoping to see an example where $Pic(X)=0$. I was not aware of III.12.4 and 12.5, thanks a lot!! –  Calc Nov 22 '11 at 19:39
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.