CM-line bundles and slope K-semistability for big and nef line bundles along subschemes

We apply Ueda theory to a study of singular Hermitian metrics of a (strictly) nef line bundle $L$. Especially we study minimal singular metrics of $L$, metrics of $L$ with the mildest singularities among singular Hermitian metrics of $L$ whose local weights are plurisubharmonic. In some situations, we determine a minimal singular metric of $L$. As an application, we give new examples of (strictly) nef line bundles which admit no smooth Hermitian metric with semi-positive curvature.

Under some conditions on the deformation type, which we expect to be satisfied for arbitrary irreducible symplectic varieties, we describe which big and nef line bundles on irreducible symplectic varieties have base divisors. In particular, we show that such base divisors are always irreducible and reduced. This is applied to understand the behaviour of divisorial base components of big and nef line bundles under deformations and for K3 [n] -type and Kum n -type.

The goal of this work is to pursue the study of pseudo-effective line bundles and vector bundles. Our first result is a generalization of the Hard Lefschetz theorem for cohomology with values in a pseudo-effective line bundle. The Lefschetz map is shown to be surjective when (and, in general, only when) the pseudo-effective line bundle is twisted by its multiplier ideal sheaf. This result has several geometric applications, e.g. to the study of compact Kähler manifolds with pseudo-effective canonical or anti-canonical line bundles. Another concern is to understand pseudo-effectivity in more algebraic terms. In this direction, we introduce the concept of an "almost" nef line bundle, and mean by this that the degree of the bundle is nonnegative on sufficiently generic curves. It can be shown that pseudo-effective line bundles are almost nef, and our hope is that the converse also holds true. This can be checked in some cases, e.g. for the canonical bundle of a projective 3-fold. From this, we derive some geometric properties of the Albanese map of compact Kähler 3-folds.

We use Totaro's examples of non-semiample nef line bundles on smooth projective surfaces over finite fields to construct nef line bundles for which the first cohomology group cannot be killed by any generically finite covers. This is used to show a similar example of a nef and big line bundle on a smooth projective threefold over a finite field. This improves some examples of Bhatt and answers some of his questions. Finally, we prove a new vanishing theorem for the first cohomology group of strictly nef line bundles on projective varieties defined over finite fields.

Let $X$ be a smooth variety and let $L$ be an ample line bundle on $X$. If $\pi^{alg}_{1}(X)$ is large, we show that the Seshadri constant $\epsilon(p^{*}L)$ can be made arbitrarily large by passing to a finite etale cover $p:X'\rightarrow X$. This result answers affirmatively a conjecture of J.-M. Hwang. Moreover, we prove an analogous result when $\pi_{1}(X)$ is large and residually finite. Finally, under the same topological assumptions, we appropriately generalize these results to the case of big and nef line bundles. More precisely, given a big and nef line bundle $L$ on $X$ and a positive number $N>0$, we show that there exists a finite etale cover $p: X'\rightarrow X$ such that the Seshadri constant $\epsilon(p^{*}L; x)\geq N$ for any $x\notin p^{*}\textbf{B}_{+}(L)=\textbf{B}_{+}(p^{*}L)$, where $\textbf{B}_{+}(L)$ is the augmented base locus of $L$.

We approach non-divisorial base loci of big and nef line bundles on irreducible symplectic varieties. While for K3 surfaces, only divisorial base loci can occur, nothing was known about the behaviour of non-divisorial base loci for more general irreducible symplectic varieties. We determine the base loci of all big and nef line bundles on the Hilbert scheme of two points on very general K3 surfaces of genus two and on their birational models. Remarkably, we find an ample line bundle with a non-trivial base locus in codimension two. We deduce that, generically in the moduli spaces of polarized K3[2]-type varieties, the polarization is base point free.

Teissier has proven remarkable inequalities [Formula: see text] for intersection numbers si = (ℒi ⋅ ℳd-i) of a pair of nef line bundles ℒ, ℳ on a d-dimensional complete algebraic variety over a field. He asks if two nef and big line bundles are numerically proportional if the inequalities are all equalities. In this paper, we show that this is true in the most general possible situation, for nef and big line bundles on a proper irreducible scheme over an arbitrary field k. Boucksom, Favre and Jonsson have recently established this result on a complete variety X over an algebraically closed field of characteristic zero. Their proof involves an ingenious extension of the intersection theory on a variety to its Zariski Riemann Manifold. This extension requires the existence of a direct system of nonsingular varieties dominating X. We make use of a simpler intersection theory which does not require resolution of singularities, and extend volume to an arbitrary field and prove its continuous differentiability, extending results of Boucksom, Favre and Jonsson, and of Lazarsfeld and Mustaţă. A goal in this paper is to provide a manuscript which will be accessible to many readers. As such, subtle topological arguments which are required to give a complete proof in [S. Bouksom et al., J. Algebraic Geometry18 (2009) 279–308] have been written out in this manuscript, in the context of our intersection theory, and over arbitrary varieties.

We prove that a nef line bundle ${\mathcal{L}}$ with $c_1({\mathcal{L}})^2 \ne 0$ on a Calabi–Yau threefold $X$ with Picard number $2$ and with $c_3(X) \ne 0$ is semiample, that is, some multiple of $\mathcal L$ is generated by global sections.

We prove a theorem on the extension of holomorphic sections of powers of adjoint bundles from submanifolds of complex codimension 1 having non-trivial normal bundle. The first such result, due to Takayama, considers the case where the canonical bundle is twisted by a line bundle that is a sum of a big and nef line bundle and a $\mathbb {Q}$-divisor that has Kawamata log terminal singularities on the submanifold from which extension occurs. In this paper we weaken the positivity assumptions on the twisting line bundle to what we believe to be the minimal positivity hypotheses. The main new idea is an L2 extension theorem of Ohsawa–Takegoshi type, in which twisted canonical sections are extended from submanifolds with non-trivial normal bundle.

Let $L$ be a nef line bundle on a smooth complex projective variety $X$ of dimension $n$. Demailly has introduced a very interesting invariant --- the Seshadri constant $\epsilon(L,x)$ --- which in effect measures how positive $L$ is locally near a given point $x \in X$. For instance, Seshadri's criterion for ampleness may be phrased as stating that $L$ is ample if and only if there exists a positive number $e > 0$ such that $\epsilon(L,x) > e$ for all $x \in X$, and if $L$ is VERY ample, then $\epsilon(L,x) \ge 1$ for every $x$. We prove the somewhat surprising result that in each dimension $n$ there is a uniform lower bound on the Seshadri constant of an ample line bundle $L$ at a very general point of $X$. Specifically, $\epsilon(L,x) \ge (1/n) $ for all $x \in X$ outside the union of countably many proper subvarieties of $X$. Examples of Miranda show that there cannot exist a bound (independent of $X$ and $L$) that holds at every point. The proof draws inspiration from two sources: first, the arguments used to prove boundedness of Fano manifolds of Picard number one; and secondly some of the geometric ideas involving zero-estimates appearing in the work of Faltings and others on Diophantine approximation and transcendence theory. We give some elementary applications of the main theorem to adjoint and pluricanonical linear series.

This chapter contains the basic theory of positivity for line bundles and divisors on a projective algebraic variety.

Let p : Y → Xbe a surjection between schemes projective over the algebraic closure of a finite field. Let Lbe a line bundle on Xsuch that p*(L) is globally generated. A natural necessary and sufficient condition is given under which some positive tensor power of Lis globally generated. An application is a sufficient condition for semi-ampleness of nef line bundles on g,n in positive characteristic, which implies the semi-ampleness of λ, ψ i and myriad other nef line bundles. Dedicated to Steven L. Kleiman on the occasion of his 60th birthday.

We study asymptotic invariants of linear series on surfaces with the help of Newton-Okounkov polygons. Our primary aim is to understand local positivity of line bundles in terms of convex geometry. We work out characterizations of ample and nef line bundles in terms of their Newton-Okounkov bodies, treating the infinitesimal case as well. One of the main results is a description of moving Seshadri constants via infinitesimal Newton-Okounkov polygons. As an illustration of our ideas we reprove results of Ein-Lazarsfeld on Seshadri constants on surfaces.

Let (X, L) be a smooth polarized surface, i.e., a pair consisting of a smooth complex projective surface X and an ample line bundle L on X. The virtual arithmetic genus g(X, L) of (X, L) is defined by the formula 2g(X, L)- 2 = (K X + L)L, where K X is the canonical bundle of X. The purpose is to generalize several results on the virtual arithmetic genus to the following cases: (I) X is a smooth complex projective variety of dimension n > 3, and e is an ample vector bundle of rank n - 1 on X; (II) X is a normal complex projective surface, and L is a nef line bundle on X.

We give necessary and sufficient conditions for a big and nef line bundle L of any degree on a K3 surface or on an Enriques surface S to be k-very ample and k-spanned. Furthermore, we give necessary and sufficient conditions for a spanned and big line bundle on a K3 surface S to be birationally k-very ample and birationally k-spanned (our definition), and relate these concepts to the Clifford index and gonality of smooth curves in |L| and the existence of a particular type of rank 2 bundles on S.