Effective generation and twisted weak positivity of direct images

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

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.

Let X be a smooth complex projective variety of dimension n and let L1, ..., Ln–i be ample line bundles on X, where i is an integer with 0 ≤ i ≤ n – 1. In the first part, we defined the ith sectional geometric genus gi(X, L1, ..., Ln–i) and the ith sectional H-arithmetic genus χiH(X, L1, ..., Ln–i) of (X, L1, ..., Ln–i). In this third part, we will investigate g2(X, L1, ..., Ln–2) and χ2H(X, L1, ..., Ln–2). Moreover we will give some applications of the sectional invariants of multi-polarized manifolds.

Restriction theorems for principal bundles in arbitrary characteristic

Let X be a smooth projective variety over a complete discretely valued field of mixed characteristic. We solve non-Archimedean Monge–Ampère equations on X assuming resolution and embedded resolution of singularities. We follow the variational approach of Boucksom, Favre, and Jonsson proving the continuity of the plurisubharmonic envelope of a continuous metric on an ample line bundle on X. We replace the use of multiplier ideals in equicharacteristic zero by the use of perturbation friendly test ideals introduced by Bhatt, Ma, Patakfalvi, Schwede, Tucker, Waldron, and Witaszek building upon previous constructions by Hacon, Lamarche, and Schwede.

Let L be an ample line bundle on a smooth projective variety X over a non-archimedean field K. For a continuous metric on L an , we show in the following two cases that the semipositive envelope is a continuous semipositive metric on L an and that the non-archimedean Monge–Ampère equation has a solution. First, we prove it for curves using results of Thuillier. Second, we show it under the assumption that X is a surface defined geometrically over the function field of a curve over a perfect field k of positive characteristic. The second case holds in higher dimensions if we assume resolution of singularities over k. The proof follows a strategy from Boucksom, Favre and Jonsson, replacing multiplier ideals by test ideals. Finally, the appendix by Burgos and Sombra provides an example of a semipositive metric whose retraction is not semipositive. The example is based on the construction of a toric variety which has two SNC-models which induce the same skeleton but different retraction maps.

The aim of this article is to provide methods for constructing smooth projective complex varieties with ample cotangent bundle. We prove that the intersection of at least n/2 sufficiently ample general hypersurfaces in a complex abelian variety of dimension n has ample cotangent bundle. We also discuss analogous questions for complete intersections in the projective space. Finally, we present an unpublished result of Bogomolov which states that a general linear section of small dimension of a product of sufficiently many smooth projective varieties with big cotangent bundle has ample cotangent bundle.

Let X ⊊ ℙ ℂ be an n-dimensional nondegenerate smooth projective variety containing an m-dimensional subvariety Y. Assume that either m > $\frac{n} {2} $ and X is a complete intersection or that m ⩾ $\frac{N} {2} $ . We show deg(X) | deg(Y) and codim〈Y〉 Y ⩾ codimℙN X, where 〈Y〉 is the linear span of Y. These bounds are sharp. As an application, we classify smooth projective n-dimensional quadratic varieties swept out by m ⩾ $\left[ {\frac{n} {2}} \right] $ + 1 dimensional quadrics passing through one point.

System of Hodge bundles and generalized opers on smooth projective varieties

Let ϵ be an ample vector bundle of rank r ≥ 2 on a smooth complex projective variety X of dimension n such that there exists a global section of ϵ whose zero locus Z is a smooth subvariety of dimension n-r ≥ 2 of X. Let H be an ample line bundle on X such that the restriction HZ of H to Z is very ample. Triplets (X, ϵ, H) with g(Z, HZ) = 3 are classified, where g(Z, HZ) is the sectional genus of (Z, HZ).

Let $${\mathcal{E}}$$ be an ample vector bundle of rank r ≥ 2 on a smooth complex projective variety X of dimension n such that there exists a global section of $${\mathcal{E}}$$ whose zero locus Z is a smooth subvariety of dimension n − r ≥ 3 of X. Let H be an ample line bundle on X such that its restriction H Z to Z is very ample. Triplets $$(X,{\mathcal{E}},H)$$ are classified under the assumption that (Z,H Z ) has a smooth bielliptic curve section of genus ≥ 3 with $$H^{n-r}c_r({\mathcal{E}}) \leq 8$$ .

A study on the dimension of global sections of adjoint bundles for polarized manifolds

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.

Very ample line bundles on regular surfaces obtained by projection

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.