Is a complex line bundle over a compact Riemann surface topologically trivial iff it is holomorphically trivial? If so, how does one demonstrate that, and if not, what is a counterexample?

  • 3
    $\begingroup$ Yes, over any surface of positive genus, there is a whole torus of non-trivial line bundles of degree $0$. This question is more suited for math.stackexchange. $\endgroup$ – Alex Degtyarev Feb 3 '15 at 13:11
  • 4
    $\begingroup$ Why don't you try to read any introductory book on Riemann surfaces before asking such a question? $\endgroup$ – abx Feb 3 '15 at 13:22

There are holomorphic line bundles over a compact Riemann surface $X$ that are topologically trivial, yet not holomorphically trivial. To see this, note that smooth complex line bundles are classified by a complete invariant, called the degree. By contrast, we have the Picard group $Pic(X)$ of isomorphism classes of holomorphic line bundles on $X$.

One always has a surjective group morphism $Pic(X)\rightarrow\mathbb{Z}$, defined by taking degrees of holomorphic line bundles. In general (ie. for positive genus), this map is not an isomorphism. Its kernel therefore contains smoothly (hence topologically) trivial complex line bundles that are not holomorphically trivial.

| cite | improve this answer | |
  • 1
    $\begingroup$ Just to clarify the adverb "in general", let me point out the trivial and only counterexample: What you say is OK, unless $X$ is Riemann sphere, in which case the kernel of $Pic(X)\to\mathbf Z$ is zero. $\endgroup$ – ACL Feb 4 '15 at 0:39
  • $\begingroup$ Yes, "in general" means genus $>0$ in this case. I'll record this above to clarify. $\endgroup$ – Peter Crooks Feb 4 '15 at 0:40

Not the answer you're looking for? Browse other questions tagged or ask your own question.