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

L is a holomorphic line bundle on a compact complex manifold X. The Kodaira dimension of L is defined as the maximal dimension of the image of the map associated to the powers $ mL(m \in N)$. I want to prove the asymptotic estimate

$$ h^0 (X,mL) \leq O(m^{k(L)})$$

I heard that it is an easy consequence of the Schwarz lemma. Maybe it is a similar argument used by Siegel to prove the theorem "the transcendental degree of the meromorphic function field of a compact complex manifold is not bigger than the dimension of the manifold". But I'm afraid to deal with meromorphic mappings and singularities in the image.So I cannot complete the argument myself.

Can somebody tell me how the argument goes?

share|improve this question
add comment

3 Answers

up vote 3 down vote accepted


An enlightening and very elementary proof of this fact can be found in the very complete book of X. Ma and G. Marinescu "Holomorphic Morse inequalities and Bergman kernels".

You will find this in Chapter 2. Their approach is exactly what you are looking for (only elementary complex analysis in several variables and a slightly modified Schwarz inequality).

share|improve this answer
Yes,that is the proof I'm looking for.Thank you. –  Jun Li Jun 29 '11 at 7:43
Ok! I am glad I gave you the answer you wanted... –  diverietti Jun 29 '11 at 14:53
add comment

Actually, it is possible to prove the following statement. Set

$$\mathbb{N}(L, X):=\{a > 0 \ | \ h^0(X, aL) \geq 1 \}$$

and let $d$ be the largest common divisor of the elements of $\mathbb{N}(L, X)$.

Then there exist two positive integers $\alpha$, $\beta$ such that for $m$ large enough one has

$$\alpha m^{k(L)}\leq h^0(X, mdL) \leq \beta m^{k(L)}.$$

For a proof, see [Ueno, Classification theory of algebraic varieties and compact complex manifolds, Lecture Notes in Mathematics 439, Theorem 8.1 p. 86].

share|improve this answer
This does not seem to work if $L$ is a non-trivial line bundle of finite order. Perhaps the statement needs to be changed slightly? –  ulrich Jun 19 '11 at 10:18
Now it should be ok (this is actually the statement that one finds in Ueno's book). Thank you. –  Francesco Polizzi Jun 19 '11 at 11:29
Thank you for the reference.I find many topics interesting in this book. –  Jun Li Jun 20 '11 at 3:35
add comment

For an answer in terms of Bergman kernels associated with line bundles (a little bit of functional analysis is involved), see Theorem 4.2.3 in:

Berndtsson, Bo An introduction to things $\overline\partial$. Analytic and algebraic geometry, 7–76, IAS/Park City Math. Ser., 17, Amer. Math. Soc., Providence, RI, 2010

share|improve this answer
Unfortunately I can't find this book in our library.Thanks for the reference. –  Jun Li Jun 29 '11 at 7:37
add comment

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.