×

zbMATH — the first resource for mathematics

On the volume of a line bundle. (English) Zbl 1101.14008
Let \(L\) be a holomorphic line bundle on a compact \(n\)-dimensional Kähler manifold \(X\). The volume \(v(L)\) of \(L\) is defined as \[ v(L):=\limsup_{k\to \infty} \frac{n!}{k^n}h^0(X,kL). \] The bundle \(L\) has maximal Kodaira-Iitaka dimension, i.e. \(L\) is big, if and only if \(v(L)>0\). This implies that \(v(mF)=m^nv(F)\) for every \(m\in\mathbb Z\) and allows the definition \(v(F)=m^{-n}v(mF)\) for a \(\mathbb Q\)-line bundle \(F\) when \(mF\) is a holomorphic line bundle. The volume of \(L\) depends only on the Chern class \(c_1(L)\) if \(L\) is numerically effective. In this case it follows from Demailly’s Morse inequalities and the asymptotic Riemann-Roch formula that \(v(L)=\int_Xc_1(L)^n\).
The author shows that it is possible in general to express \(v(L)\) in terms of \(c_1(L)\). By a theorem of T. Fujita [Kodai Math. J. 17, No. 1, 1–3 (1994; Zbl 0814.14006)] the volume of the pull back of a big line bundle \(L\) on a projective manifold with respect to a suitable modification can be arbitrarily close approximated by the volume of ample \(\mathbb{Q}\)-line bundles \(A\). The author generalizes this theorem to Kähler manifolds (Theorem 1.4). Using the Calabi-Yau methods to solve Monge-Ampère equations he shows that one can find a hermitian metric on \(A\) such that the product of the curvature eigenvalues equals \(v(A)\). Moreover this yields metrics on \(L\) converging to some singular metric whose product of the curvature eigenvalues equals \(v(L)\).
Combining this result with the holomorphic Morse equalities the author proves the following equality for \(v(L)\) when \(c_1(L)\) is a pseudoeffective class, i.e. it contains closed positive currents \(T\): \(v(L)=\max_T\int_X T^n_{ac}=:v(c_1(L))\), where \(T_{ac}\) is the absolutely continuous part of \(T\). The function \(v:H^{(1,1)}(X,\mathbb R)\to\mathbb R\), \(v(\alpha):=0\) if \(\alpha\in H^{(1,1)}(X,\mathbb R)\) does not contain a closed positive current, is continuous. This is a corollary of Theorem 4.7, which says that \(\alpha\in H^{(1,1)}(X,\mathbb R)\) is the Chern class of a big line bundle if and only if \(v(\alpha)>0\). The proof of this theorem uses methods developed by J. P. Demailly and M. Paun [Ann. Math. (2) 159, No. 3, 1247–1274 (2004; Zbl 1064.32019)].

MSC:
14C20 Divisors, linear systems, invertible sheaves
32J25 Transcendental methods of algebraic geometry (complex-analytic aspects)
32J27 Compact Kähler manifolds: generalizations, classification
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Bonavero L., C. R. Acad. Sci. Série I 317 pp 1163– (1993)
[2] DOI: 10.5802/aif.1674 · Zbl 0926.32025
[3] Demailly J.-P., Ann. Sci. Ecole Norm. 15 pp 457– (1982) · Zbl 0507.32021
[4] Demailly J.-P., J. Algebraic Geom. 1 pp 361– (1992)
[5] Demailly J.-P., J. Diff. Geom. 37 pp 323– (1992) · Zbl 0783.32013
[6] Demailly J.-P., S.M.F. 3 pp 3– (1996)
[7] DOI: 10.2996/kmj/1138039894 · Zbl 0814.14006
[8] Huybrechts D., AG/ pp 0106014– (2001)
[9] DOI: 10.1007/BF02921329 · Zbl 0784.32009
[10] DOI: 10.5802/aif.1673 · Zbl 0926.32026
[11] Mourougane C., Collect. Math. 49 (2) pp 433– (1998)
[12] Yau S.-T., Commun. Pure Appl. Math. pp 31– (1978)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.