3

Let $X$ be a compact Riemann surface, $Y$ a smooth complex variety and $\pi : X \times Y \rightarrow Y$ the projection. Given a line bundle $L$ on $X \times Y$ which restricts to the trivial bundle on the fibers of $\pi$, can one say that $L$ is the pull-back of a line bundle on $Y$? If not, are there additional conditions that make this true?

Thanks!

Karl
  • 33
  • 1
    In the scheme-theoretic context, this is true and basically the content of Hartshorne exercise III.12.4, where the important tool is the semicontinuity theorem. It's a little unclear to me whether you're working in that context or not (your mention of "compact Riemann surface" suggests otherwise), but if you know that all Riemann surfaces are algebraic, then this should give you the result. Would you consider this an acceptable solution, or are you looking for something a little more complex-analytic? – KReiser Jun 02 '20 at 10:08
  • This is absolutely the kind of thing I was looking for, thanks. – Karl Jun 02 '20 at 10:16
  • Great, I have upgraded my comment in to an answer below. – KReiser Jun 02 '20 at 10:28

1 Answers1

3

This is basically the content of Hartshorne exercise III.12.4:

Let $Y$ be an integral scheme of finite type over an algebraically closed field $k$. Let $f:X\to Y$ be a flat projective morphism whose fibers are all integral schemes. Let $\mathcal{L},\mathcal{M}$ be invertible sheaves on $X$, and assume for each $y\in Y$ that $\mathcal{L}_y\cong \mathcal{M}_y$ on the fiber $X_y$. Then show that there is an invertible sheaf $\mathcal{N}$ on $Y$ so that $\mathcal{L}\cong \mathcal{M}\otimes f^*\mathcal{N}$. [Hint: Use the results of this section to show that $f_*(\mathcal{L}\otimes\mathcal{M}^{-1})$ is locally free of rank 1 on $Y$.]

The key result here is (a corollary to) the semicontinuity theorem:

Corollary 12.9 (Grauert). Let $f:X\to Y$ be a projective morphism of noetherian schemes with $Y$ integral and $\mathcal{F}$ a coherent sheaf on $X$ flat over $Y$. Assume also that for some $i$, the function $h^i(y,\mathcal{F})$ is constant on $Y$. Then $R^if_*(\mathcal{F})$ is locally free on $Y$, and for every $y$ the natural map $$R^if_*(\mathcal{F})\otimes k(y)\to H^i(X_y,\mathcal{F}_y)$$ is an isomorphism.

So applying this to our situation at hand, we may see that the pushforwards of your line bundle trivial on the fibers is again a line bundle on the target. After some messing about with pushforwards and pullbacks (see here, for instance), one may see that your line bundle trivial on the fibers is indeed the pullback of a line bundle on $Y$.

KReiser
  • 65,137