MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $X$ is a complex manifold, we have the map $H^0(X,K_X^*/O_X^*)\to H^1(X,O_X^*)$, is the canonical line bundle $\wedge^n{\Omega}$ always in the image of the map?

share|cite|improve this question
Did you mean to write $H^0(X,\mathcal{K}_X^*/\mathcal{O}_X^*)$? – Jason Starr May 12 '14 at 15:50
It's true if $X$ is algebraic. – Ariyan Javanpeykar May 12 '14 at 17:44
up vote 13 down vote accepted

The answer is no. The group $H^0(X, \mathcal{K}_X^*/\mathcal{O}_X^*)$ is isomorphic to the divisor group $\mathrm{Div}(X)$ (see e.g. Huybrechts' Complex Geometry, Prop. 2.3.9), so its image in $\mathrm{Pic}(X)$ is the group of line bundles associated to some divisor. Now there are complex compact surfaces which do not contain any curve but with a nontrivial canonical bundle, for instance the Inoue surfaces (see Barth et al., ch. V, §19).

share|cite|improve this answer

Perhaps I did not get you question. Anyway, $H^{1}(X,\mathcal{O}_X^{*})\cong Pic(X)$. If $X$ is an integral schemes the Picard group is isomorphic to the class group of Cartier divisors. Therefore one can interpret $\bigwedge^n\Omega_X$ both as a line bunlde on $X$ and as a Cartier divisor $K_X$ in $X$. Does this answer to your question?

share|cite|improve this answer
The question is about a complex manifold, not an integral scheme. – abx May 12 '14 at 18:34

Your Answer


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.