Using a result of Fujita on approximate Zariski decompositions and the singular version of Demailly's holomorphic Morse inequalities as obtained by Bonavero, we express the volume of a line bundle in terms of the absolutely continuous parts of all the positive curvature currents on it, with a way to pick an element among them which is most homogeneous with respect to the volume. This enables us to introduce the volume of any pseudoeffective class on a compact Kaehler manifold, and Fujita's theorem is then extended to this context.
This paper has been removed by the author due to a misstatement in Theorem 1 and a gap in its proof. A corrected and largely extended successor (a joint work with Thomas Bauer and Tomasz Szemberg) can be found under math.AG/0312211,
We construct a canonical singular hermitian metric with semipositive curvature current on the canonical line bundle of a compact Kähler manifold with pseudoeffective canonical bundle.
Up to a factor 1/n!, the volume of a big line bundle agrees with the Euclidean volume of its Okounkov body. The latter is the convex hull of top rank valuation vectors of sections, all with respect to a single flag. In this text we give a different volume formula, valid in the ample cone, also based on top rank valuation vectors, but mixing data along several different flags.
Volumes of line bundles are known to exist as limits on generically reduced projective schemes. However, it is not known if they always exist as limits on more general projective schemes. We show that they do always exist as a limit on a codimension one subscheme of a nonsingular projective variety.
We show an arithmetic generalization of the recent work of Lazarsfeld-Mustata which uses Okounkov bodies to study linear series of line bundles. As applications, we derive a log-concavity inequality on volumes of arithmetic line bundles and an arithmetic Fujita approximation theorem for big line bundles.
For a hermitian line bundle over an arithmetic variety, we construct a convex continuous function on the Okounkov body associated to the generic fibre of the line bundle. The integration of the continuous function gives the growth of the Euler characteristic of the hermitian line bundle. It is the global version of the recent work of Nystrom.
The volume of a line bundle is defined in terms of a limsup. It is a fundamental question whether this limsup is a limit. It has been shown that this is always the case on generically reduced schemes. We show that volumes are limits in two classes of schemes that are not necessarily generically reduced: codimension one subschemes of projective varieties such that their components of maximal dimension contain normal points and projective schemes whose nilradical squared equals zero.
The deformation of a variety $X$ to the normal cone of a subvariety $Y$ is a classical construction in algebraic geometry. In this paper we study the case when $(X,ω)$ is a compact Kähler manifold and $Y$ is a submanifold. The deformation space $\mathcal{X}$ is fibered over $\mathbb{P}^1$ and all the fibers $X_τ$ are isomorphic to $X$, except the zero-fiber, which has the projective completion of the normal bundle $N_{Y|X}$ as one of its components. The first main result of this paper is that one can find Kähler forms on modifications of $\mathcal{X}$ which restricts to $ω$ on $X_1$ and which …
Let $L$ be a big holomorphic line bundle on a complex projective manifold $X.$ We show how to associate a convex function on the Okounkov body of $L$ to any continuous metric $ψ$ on $L.$ We will call this the Chebyshev transform of $ψ,$ denoted by $c[ψ].$ Our main theorem states that the difference of metric volume of $L$ with respect to two metrics, a notion introduced by Berman-Boucksom, is equal to the integral over the Okounkov body of the difference of the Chebyshev transforms of the metrics. When the metrics have positive curvature the metric volume coincides with the Monge-Ampère energy…
Using Szenes formula for multiple Bernoulli series we explain how to compute Witten series associated to classical Lie algebras. Particular instances of these series compute volumes of moduli spaces of flat bundles over surfaces, and also certain multiple zeta values.
The purpose of this paper is to investigate the behaviour of certain asymptotic invariants of line bundles on projective surfaces. In particular, we describe the volume of line bundles and their destabilizing numbers.
We investigate the complex analytic structure of the complement of a non-singular hypersurface with unitary flat normal bundle when the corresponding line bundle admits a Hermitian metric with semipositive curvature.
The aim of this brief note for the volume in honor of S. S. Chern is to give a construction for $p$-torsion line bundles in characteristic $p>0$ which plays a similar rôle as the standard connection on an $n$-torsion line bundle in characteristic 0.
In this paper, by using the regulator map of Beilinson-Deligne on a curve, we show that the quantization condition posed by Gukov is true for the SL_2(C) character variety of the hyperbolic knot in S^3. Furthermore, we prove that the corresponding $\mathbb{C}^{*}$-valued closed 1-form is a secondary characteristic class (Chern-Simons) arising from the vanishing first Chern class of the flat line bundle over the smooth part of the character variety, where the flat line bundle is the pullback of the universal Heisenberg line bundle over $\mathbb{C}^{*}\times \mathbb{C}^{*}$. Based on this result…
Let $E$ be a holomorphic vector bundle on a projective manifold $X$ such that $\det E$ is ample. We introduce three functionals $Φ_P$ related to Griffiths, Nakano and dual Nakano positivity respectively. They can be used to define new concepts of volume for the vector bundle $E$, by means of generalized Monge-Ampère integrals of $Φ_P(Θ_{E,h})$, where $Θ_{E,h}$ is the Chern curvature tensor of $(E,h)$. These volumes are shown to satisfy optimal Chern class inequalities. We also prove that the functionals $Φ_P$ give rise in a natural way to elliptic differential systems of Hermitian-Yang-Mills t…
We show a Chern-Weil type statement and a Hilbert-Samuel formula for a large class of singular plurisubharmonic metrics on a line bundle over a smooth projective complex variety. For this we use the theory of b-divisors and the so-called multiplier ideal volume function. We apply our results to the line bundle of Siegel-Jacobi forms over the universal abelian variety endowed with its canonical invariant metric. This generalizes a result of the second author for the universal family of elliptic curves to higher degrees.
We extend to normal projective varieties defined over an arbitrary algebraically closed field a result of Ein, Lazarsfeld, Mustaţă, Nakamaye and Popa characterizing the augmented base locus (aka non-ample locus) of a line bundle on a smooth projective complex variety as the union of subvarieties on which the restricted volume vanishes. We also give a proof of the folklore fact that the complement of the augmented base locus is the largest open subset on which the Kodaira map defined by large and divisible multiples of the line bundle is an isomorphism.
We introduce and study the successive minima of line bundles on proper algebraic varieties. The first (resp. last) minima are the width (resp. Seshadri constant) of the line bundle at very general points. The volume of the line bundle is equivalent to the product of the successive minima. For line bundles on toric varieties, the successive minima are equivalent to the (reciprocal of) usual successive minima of the difference of the moment polytope.
We give a sharp lower bound for the selfintersection of a nef line bundle $L$ on an irregular variety $X$ in terms of its continuous global sections and the Albanese dimension of $X$, which we call the Generalized Clifford-Severi inequality. We also extend the result to nef vector bundles and give a slope inequality for fibred irregular varieties. As a byproduct we obtain a lower bound for the volume of irregular varieties; when $X$ is of maximal Albanese dimension the bound is $Vol(X) \geq 2 n! χω_X$ and it is sharp.
We establish, for a generically big Hermitian line bundle, the convergence of truncated Harder-Narasimhan polygons and the uniform continuity of the limit. As applications, we prove a conjecture of Moriwaki asserting that the arithmetic volume function is actually a limit instead of a sup-limit, and we show how to compute the asymptotic polygon of a Hermitian line bundle, by using the arithmetic volume function.
For $k \in \mathbb{Z}_{>0}$, let $\mathcal{H}^{(k)}_{g,n}$ denote the vector bundle over $\mathfrak{M}_{g,n}$ whose every fiber consists of meromorphic $k$-differentials with poles of order at most $k-1$ on a fixed Riemman surface of genus $g$ with $n$ marked points (all the poles must be located at the marked points). The bundle $\mathcal{H}^{(k)}_{g,n}$ and its associated projective bundle $\mathbb{P}\mathcal{H}^{(k)}_{g,n}$ admit natural extensions, denoted by $\overline{\mathcal{H}}^{(k)}_{g,n}$ and $\mathbb{P}\overline{\mathcal{H}}^{(k)}_{g,n}$ respectively, to the Deligne-Mumford compact…
We introduce a new arithmetic invariant for hermitian line bundles on an arithmetic variety. We use this invariant to measure the variation of the volume function with respect to the metric. The main result of this paper is a generalized Hodge index theorem on arithmetic toric varieties.
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.
In this paper we study Brill-Noether loci for rank-two vector bundles and describe the general member of some components as suitable extensions of line bundles.
We establish that the isomorphy type as an abstract algebraic variety of the complement of an ample hyperplane sub-bundle H of a projective space bundle of rank r-1 over the projective line depends only on the the r-fold self-intersection of H . In particular it depends neither on the ambient bundle nor on a particular ample hyperplane sub-bundle with given r-fold self-intersection. Our proof exploits the unexpected property that every such complement comes equipped with the structure of a non trivial torsor under a vector bundle on the affine line with a double origin.
We study line bundles on toric DM stacks $\mathbb{P}_{\mathbfΣ}$ of dimension two. We give a combinatorial criterion of when infinitely many line bundles on $\mathbb{P}_{\mathbfΣ}$ have trivial cohomology. We further discuss the structure of the set of such line bundles.
Here we study vector bundles $E$ on the Hirzebruch surface $F_e$ such that their twists by a spanned, but not ample, line bundle $M = \mathcal {O}_{F_e}(h+ef)$ have natural cohomology, i.e. $h^0(F_e,E(tM)) >0$ implies $h^1(F_e,E(tM)) = 0$.
We study analogues of the usual Picard group for smooth analytic or non-singular algebraic varieties but instead of line bundles we study line bundles with a connection. We choose an approach which works for both cases.
Given a positive real Hermitian holomorphic line bundle L over a smooth real projective manifold X, the space of real holomorphic sections of the bundle L^d inherits for every positive integer d a L^2 scalar product which induces a Gaussian measure. When X is a curve or a surface, we estimate the volume of the cone of real sections whose vanishing locus contains many real components. In particular, the volume of the cone of maximal real sections decreases exponentially as d grows to infinity.
We use the toric degeneration of Bott-Samelson varieties and the description of cohomolgy of line bundles on toric varieties to deduce vanishings results for the cohomology of lines bundles on Bott-Samelson varieties.
In this note we study properties of partially ample line bundles on simplicial projective toric varieties. We prove that the cone of q-ample line bundles is a union of rational polyhedral cones, and calculate these cones in examples. We prove a restriction theorem for big q-ample line bundles, and deduce that q-ampleness of the anticanonical bundle is not invariant under flips. Finally we prove a Kodaira-type vanishing theorem for q-ample line bundles.
In this paper we construct the Poincare line bundle for the stack of Higgs bundles on smooth projective curves and show that it induces a fully-faithful Fourier-Mukai transform on the category of quasi-coherent sheaves.
We show that the Nakai--Moishezon ampleness criterion holds for real line bundles on complete schemes. As applications, we treat the relative Nakai--Moishezon ampleness criterion for real line bundles and the Nakai--Moishezon ampleness criterion for real line bundles on complete algebraic spaces. The main ingredient of this paper is Birkar's characterization of augmented base loci of real divisors on projective schemes.
Given a vector bundle $E$ on an irreducible projective variety $X$ we give a necessary and sufficient criterion for $E$ to be a direct image of a line bundle under an étale morphism. The criterion in question is the existence of a Cartan subalgebra bundle of the endomorphism bundle $\text{End}(E)$. As a corollary, a criterion is obtained for $E$ to be the direct image of the structure sheaf under an étale morphism. The direct image of a parabolic line bundle under any ramified covering map has a natural parabolic structure. Given a parabolic vector bundle, we give a similar criterion for it to…
We investigate the deformations of pairs $(X,L)$, where $L$ is a line bundle on a smooth projective variety $X$, defined over an algebraically closed field $\mathbb{K}$ of characteristic 0. In particular, we prove that the DG-Lie algebra controlling the deformations of the pair $(X,L)$ is homotopy abelian whenever $X$ has trivial canonical bundle, and so these deformations are unobstructed.
Previously, many people have studied a stability of vector bundles of given rank and Chern classes on algebraic varieties. Recently, we are interested in the slope stability of the rank 2 Lazarsfeld-Mukai bundle $E_{C,Z}$ on a K3 surface $X$ associated to a very ample smooth curve $C$ on $X$ and a base point free pencil $Z$ on $C$ with respect to $\mathcal{O}_X(C)$. In this paper, we will give a sufficient condition for such a Lazarsfeld-Mukai bundle $E_{C,Z}$ to be $\mathcal{O}_X(C)$-slope semistable by ACM line bundles with respect to $\mathcal{O}_X(C)$.
A horospherical variety is a normal algebraic variety where a connected reductive algebraic group acts with an open orbit isomorphic to a torus bundle over a flag variety. In this article we study the cohomology of line bundles on complete horospherical varieties.
We prove that the tensor product of two line bundles, one being $q$-ample and the other with sufficiently low-dimensional base locus, is still $q$-ample.
We study k-jet ampleness of line bundles on hyperelliptic surfaces using vanishing theorems. Our main result states that on a hyperelliptic surface of an arbitrary type a line bundle of type (m,m) with m\geq k+2 is k-jet ample.
We introduce a notion of regularity for coherent sheaves on Grassmannians of lines. We use this notion to prove some extension of Evans-Griffith criterion to characterize direct sums of line bundles. We also give a cohomological characterization of exterior and symmetric powers of the universal bundles of the Grassmannian.
We study the linearization of line bundles and the local structure of actions of connected linear algebraic groups, in the setting of seminormal varieties. We show that several classical results about normal varieties extend to that setting, if the Zariski topology is replaced with the étale topology.
