Nef dimension of minimal models

Minimal log discrepancies of regularity one

In this article, we use the cone of nef curves to study minimal log discrepancies. The first result is an improvement of the nef cone theorem in the case of log Calabi-Yau dlt pairs. Then, we prove that the ascending chain condition for $n$-dimensional minimal log discrepancies of regularity one holds around zero. Furthermore, we show that there exists an upper bound for the minimal log discrepancy of any $n$-dimensional klt singularity of regularity one.

$P$-平凡MMP、Zariski分解与广义配对的极小模型

$P$-trivial MMP, Zariski decompositions and minimal models for generalised pairs

本研究建立$P$-平凡MMP理论，证明满足特定Nakayama-Zariski分解及数值有效条件的广义klt配对存在极小模型，并推广至三维广义lc配对，拓展了相关领域的经典结论。

Basepoint freeness for nef and big line bundles in positive characteristic

A necessary and sufficient condition is given for semi-ampleness of a numerically effective (nef) and big line bundle in positive characteristic. One application is to the geometry of the universal stable curve over M_g, specifically, the semi-ampleness of the relative dualizing sheaf, in positive characteristic. An example is given which shows this and the semi-ampleness criterion fail in characteristic zero. A second application is to Mori's program for minimal models of 3-folds in positive characteristic, namely, to the existence of birational extremal contractions.

Three-dimensional toric morphisms with anti-nef canonical divisors

In this paper, we classify projective toric birational morphisms from Gorenstein toric 3-folds onto the 3-dimensional affine space with relatively ample anti-canonical divisors.

On nef reductions of projective irreducible symplectic manifolds

Let X be a projective irreducible symplectic manifold and L a non trivial nef divisor on X. Assume that the nef dimension of L is strictly less than the dimension of X. We prove that L is semiample

Equivariant vector bundles on complete symmetric varieties of minimal rank

Let $X$ be the wonderful compactification of a complex symmetric space $G/H$ of minimal rank. For a point $x\,\in\, G$, denote by $Z$ be the closure of $BxH/H$ in $X$, where $B$ is a Borel subgroup of $G$. The universal cover of $G$ is denoted by $\widetilde{G}$. Given a $\widetilde{G}$ equivariant vector bundle $E$ on $X,$ we prove that $E$ is nef (respectively, ample) if and only if its restriction to $Z$ is nef (respectively, ample). Similarly, $E$ is trivial if and only if its restriction to $Z$ is so.

Big and Nef Tautological Vector Bundles over the Hilbert Scheme of Points

We study tautological vector bundles over the Hilbert scheme of points on surfaces. For each K-trivial surface, we write down a simple criterion ensuring that the tautological bundles are big and nef, and illustrate it by examples. In the K3 case, we extend recent constructions and results of Bini, Boissière and Flamini from the Hilbert scheme of 2 and 3 points to an arbitrary number of points. Among the K-trivial surfaces, the case of Enriques surfaces is the most involved. Our techniques apply to other smooth projective surfaces, including blowups of K3s and minimal surfaces of general type,…

Nef anti-canonical divisors and rationally connected fibrations

We study the Iitaka-Kodaira dimension of nef relative anti-canonical divisors. As a consequence, we prove that given a complex projective variety with klt singularities, if the anti-canonical divisor is nef, then the dimension of a general fibre of the maximal rationally connected fibration is at least the Iitaka-Kodaira dimension of the anti-canonical divisor.

On base point freeness in positive characteristic

We prove that if $(X,A+B)$ is a pair defined over an algebraically closed field of positive characteristic such that $(X,B)$ is strongly $F$-regular, $A$ is ample and $K_X+A+B$ is strictly nef, then $K_X+A+B$ is ample. Similarly, we prove that for a log pair $(X,A+B)$ with $A$ being ample and $B$ effective, $K_X+A+B$ is big if it is nef and of maximal nef dimension. As an application, we establish a rationality theorem for the nef threshold and various results towards the minimal model program in dimension three in positive characteristic.

正特征下具有 nef 反典范除数及相对维数为一的 Albanese 态射的簇

Varieties with nef anticanonical divisors and Albanese morphisms of relative dimension one in positive characteristic

本文研究正特征代数闭域上具有 nef 反典范除数的光滑射影簇，并在其到 Albanese 簇的态射相对维数为一时给出精确结构。

Curves disjoint from a nef divisor

On a projective surface it is well-known that the set of curves orthogonal to a nef line bundle is either finite or uncountable. We show that this dichotomy fails in higher dimension by constructing a nef line bundle on a threefold which is trivial on countably infinitely many curves. This answers a question of Totaro. As a pleasant corollary, we exhibit a quasi-projective variety with only a countably infinite set of complete, positive-dimensional subvarieties.

Existence of flips and minimal models for 3-folds in char p

We will prove the following results for $3$-fold pairs $(X,B)$ over an algebraically closed field $k$ of characteristic $p>5$: log flips exist for $\Q$-factorial dlt pairs $(X,B)$; log minimal models exist for projective klt pairs $(X,B)$ with pseudo-effective $K_X+B$; the log canonical ring $R(K_X+B)$ is finitely generated for projective klt pairs $(X,B)$ when $K_X+B$ is a big $\Q$-divisor; semi-ampleness holds for a nef and big $\Q$-divisor $D$ if $D-(K_X+B)$ is nef and big and $(X,B)$ is projective klt; $\Q$-factorial dlt models exist for lc pairs $(X,B)$; terminal models exist for klt pair…

第一陈类为2的超二次曲面上的Nef向量丛

Nef vector bundles on a hyperquadric with first Chern class two

本研究在特征零的代数闭域下，完成了维数不小于4的光滑超二次曲面上第一陈类为2的nef向量丛的分类工作。

Projective manifolds containing a large linear subspace with nef normal bundle

We classify smooth complex projective varieties $X \subset \proj^N$ of dimension $2s+1$ containing a linear subspace $Λ$ of dimension $s$ whose normal bundle $N_{Λ/X}$ is numerically effective.

Existence of cscK metrics on smooth minimal models

Given a compact Kähler manifold $X$ it is interesting to ask whether it admits a constant scalar curvature Kähler (cscK) metric. In this short note we show that there always exist cscK metrics on compact Kähler manifolds with nef canonical bundle, thus on all smooth minimal models, and also on the blowup of any such manifold. This confirms an expectation of Jian-Shi-Song \cite{JianShiSong} and extends their main result from $K_X$ semi-ample to $K_X$ nef, with a direct proof that does not appeal to the Abundance conjecture. As a byproduct we obtain that the connected component $\mathrm{Aut}_0(X…

Local Fano-Mori contractions of high nef-value

Let $X$ be a variety with at most terminal $\mathbb Q$-factorial singularities of dimension $n$. We study local contractions $f:X\to Z$ supported by a $\mathbb Q$-Cartier divisor of the type $K_X+ τL$, where $L$ is an $f$-ample Cartier divisor and $τ\geq 0$ is a rational number. Equivalently, $f$ is a Fano-Mori contraction associated to an extremal face in $\overline {NE(X)}_{K_X+τL = 0}$; these maps naturally arise in the context of the minimal model program. We prove that, if $τ> (n-3) >0$, the general element $X' \in |L|$ is a variety with at most terminal singularities. Then we apply this …

第一陈类为二的二次三维簇上的 nef 向量丛

Nef vector bundles on a quadric threefold with first Chern class two

本文分类了特征零代数闭域上三维光滑超二次簇上第一陈类为二的 nef 向量丛，并证明它们都是整体生成的。

An inductive approach to generalized abundance using nef reduction

We use the canonical bundle formula for parabolic fibrations to give an inductive approach to the generalized abundance conjecture using nef reduction. In particular, we observe that generalized abundance holds for a klt pair $(X,B)$ if the nef dimension $n(K_X+B+L)=2$ and $K_X+B \geq 0$ or $n(K_X+B+L)=3$ and $κ(K_X+B )>0$.

The cone of pseudo-effective divisors of log varieties after Batyrev

In these notes we investigate the cone of nef curves of projective varieties, which is the dual cone to the cone of pseudo-effective divisors. We prove a structure theorem for the cone of nef curves of projective $\mathbb Q$-factorial klt pairs of arbitrary dimension from the point of view of the Minimal Model Program. This is a generalization of Batyrev's structure theorem for the cone of nef curves of projective terminal threefolds.

Strictly Nef Divisors

Let $X$ be a projective manifold of dimension $n$ and $L$ a strictly nef line bundle on $X$. Then $K_X+tL$ is ample if $t > n+1$ in the following cases. 1.) $\text{dim} X = 3$ unless (possibly) $X$ is a Calabi-Yau with $c_2 \cdot L=0$; 2.) $κ(X) \ge n-2$; 3.) $\text{dim} α(X) \ge n-2$, with $α: X \to A$ the Albanese map.

Strictly nef divisors and some remarks on a conjecture of Serrano

Serrrano's Conjecture says that if $L$ is a strictly nef line bundle on a smooth projective variety $X$, then $K_X+tL$ is ample for $ t > dim X+1$. In this paper I will prove a few cases of this conjecture. I will also prove a generalized version of this conjecture (due to Campana, Chen and Peternell) for surfaces. In the last section, assuming the SHGH conjecture, I will give a series of examples of strictly nef non ample divisors on surfaces of arbitary Kodaira dimension.

Nef and Effective Cones on the Moduli Space of Torsion Sheaves on the Projective Plane

In this paper, we study the divisor theory of the Simpson moduli space of semistable sheaves of dimension 1 on the projective plane. We prove that these spaces are all Mori dream spaces, and calculate their nef cones. We also study the effective cones of these spaces for most choices of numerical invariants. As a consequence, we work out precisely when two such spaces are isomorphic.

Strictly nef divisors on singular threefolds

Let $X$ be a normal projective threefold with mild singularities, and $L_X$ a strictly nef $\mathbb{Q}$-divisor on $X$. First, we show the ampleness of $K_X+tL_X$ with sufficiently large $t$ if either the Kodaira dimension $κ(X)\neq 0$ or the augmented irregularity $q^{\circ}(X)\neq 0$. Second, we show that, if $(X,Δ)$ is a projective klt threefold pair with the anti-log canonical divisor $-(K_X+Δ)$ being strictly nef, then $X$ is rationally connected.

纤维积的 nef 锥及其在锥猜想中的应用

Nef cones of fiber products and an application to the Cone Conjecture

本文在 Néron–Severi 空间可分解条件下证明光滑纤维积 nef 锥的分解定理，并用于刻画高维 Schoen 簇、证实其 Kawamata–Morrison–Totaro 锥猜想。

On the canonical threefolds with strictly nef anticanonical divisors

Any ample Cartier divisor D on a projective variety X is strictly nef (i.e. D.C>0 for any effective curve C on X). In general, the converse statement does not hold. But this is conjectured to be true for anticanonical divisors. The present paper establishes this fact for normal complex projective threefolds with canonical singularities. This result extends several previously known special cases. The proof rests mainly on sophisticated techniques of three dimensional birational geometry developed in the last two decades.

三维射影空间中3点希尔伯特概形的更高余维数nef与有效环

Higher codimension nef and effective cycles on the Hilbert scheme of 3 points in projective 3-space

本文计算了三维射影空间中三点希尔伯特概形的高余维nef锥与有效锥，推广了已有结果，并引入新Chow环基。

Higher dimensional Zariski decompositions

Using currents with minimal singularities, we construct pointwise minimal multiplicities for a real pseudo-effective $(1,1)$-class $α$ on a compact complex $n$-fold $X$, which are the local obstructions to the numerical effectivity of $α$. The negative part of $α$ is then defined as the real effective divisor $N(α)$ whose multiplicity along a prime divisor $D$ is just the generic multiplicity of $α$ along $D$, and we get in that way a divisorial Zariski decomposition of $α$ into the sum of a class $Z(α)$ which is nef in codimension 1 and the class of its negative part $N(α)$, which is exceptio…

Jumping of the nef cone for Fano varieties

We construct Q-factorial terminal Fano varieties, starting in dimension 4, whose nef cone jumps when the variety is deformed. It follows that de Fernex and Hacon's results on deformations of 3-dimensional Fanos are optimal. The examples are based on the existence of high-dimensional flips which deform to isomorphisms, generalizing the Mukai flop. We also extend de Fernex and Hacon's positive results on deformations of Fano varieties. Toric Fano varieties which are smooth in codimension 2 and Q-factorial in codimension 3 are rigid. The divisor class group is deformation-invariant for klt Fanos …

Note on the semiampleness theorem for the log canonical divisors on klt varieties which are nef and abundant

We give another alternative proof to the Kawamata semiampleness theorem for the log canonical divisors on klt varieties which are nef and abundant. After the first version of this article was posted to the e-print Arxiv, Prof. Fujino notified the author that the quick and essential proof ([Fujino. On Kawamata's theorem.(EMS 2011), Rem 2.7]) is already known. The author would like to thank him. More precisely, Prof. Fujino already gave the quick and essential proof ([Fujino. On Kawamata's thm.(EMS 2011), Rem 2.7], [Fujino. Finite generation of the lc ring in dim 4. (Kyoto J. Math. 50 (2010)), R…

弱Fano簇的川又-宫冈型不等式

Kawamata--Miyaoka type inequality for varieties with nef anticanonical divisor

针对n≥2的Q-因子ε-lc弱Fano簇，证明了满足特定系数约束的川又-宫冈型不等式，丰富了代数几何中Fano簇的相关理论。

Nef Divisors on Moduli Spaces of Abelian Varieties

We determine the cone of nef divisors on the Voronoi compactification A_g^* of the moduli space A_g of principally polarized abelian varieties of dimension g for genus g=2,3. As a corollary we obtain that the spaces A_g^*(n) with level-n structure are a minimal, resp. canonical, model for g=2, n>=4, resp. n>=5 and g=3, n>=3, resp. n>=4. We give two proofs: The easy and quick one reduces the problem to \bar M_g where we can use a result of Faber. This approach cannot be generalized to higher genus g. The main point of the paper is, therefore, to give a second proof using theta functions and a r…

klt 良好极小模型的有限性

Boundedness of klt good minimal models

本文证明在固定适当数值不变量后，由相对 nef 且大的 Weil 除子极化的 klt 良好极小模型构成有界族，并由此构造其分离粗模空间。

On birational geometry of minimal threefolds with numerically trivial canonical divisors

For a minimal $3$-fold $X$ with $K_X\equiv 0$ and a nef and big Weil divisor $L$ on $X$, we investigate the birational geometry inspired by $L$. We prove that $|mL|$ and $|K_X+mL|$ give birational maps for all $m\geq 17$. The result remains true under weaker assumption that $L$ is big and has no stable base components.

On existence of log minimal models and weak Zariski decompositions

We first introduce a weak type of Zariski decomposition in higher dimensions: an $\R$-Cartier divisor has a weak Zariski decomposition if birationally and in a numerical sense it can be written as the sum of a nef and an effective $\R$-Cartier divisor. We then prove that there is a very basic relation between Zariski decompositions and log minimal models which has long been expected: we prove that assuming the log minimal model program in dimension $d-1$, a lc pair $(X/Z,B)$ of dimension $d$ has a log minimal model if and only if $K_X+B$ has a weak Zariski decomposition$/Z$.

A Kawamata-Viehweg Vanishing Theorem on compact Kahler manifolds

We prove a Kawamata-Viehweg vanishing theorem on a normal compact Kahler space X: if L is a nef line bundle with numerical dimension at least equal to 2, then the q-th cohomology group of K_X+L vanishes for q at least equal to the dimension of X minus 1. As an application, a special case of the abundance conjecture for minimal Kahler threefolds is proven: if X is a minimal Kahler threefold (in the usual sense that K_X is nef), then the Kodaira dimension kappa(X) is nonnegative.

基本群与余正则性：具有平凡且数值有效反典范类的klt对

Fundamental Groups and Coregularity: Klt Pairs with Trivial and Nef Log-Anticanonical Class

该研究探讨射影klt对数对的绝对余正则性与基本群的关系，证明其基本群存在有限指数正规阿贝尔子群，结合相关定理得到任意维数下的余正则性界，还给出反典范类数值有效时orbifold基本群的性质。

Albanese morphism of log smooth klt compact Kähler manifold with nef log anticanonical divisor

Let $(X, ω)$ be an n-dimensional compact Kähler manifold. Let $D=\sum (1-β_j) Y_j=\sum (1-β_j) [s_j=0]$ a divisor with simple normal crossings with $β_j \in ]0,1[$ such that $-(K_X+D)$ is nef. We show that its Albanese map is submersion outside an analytic set of codimension larger than two with connected fibres.

射影klt对具有nef反典范除子的结构定理

Structure theorem for projective klt pairs with nef anti-canonical divisor

本文证明射影klt对在有限拟平展覆盖下具有局部平凡有理连通纤维化，基为数值平凡典范除子的klt簇，推广了光滑情形并应用于分解klt Calabi-Yau型簇。

On base point free theorem of threefolds in positive characteristic

Let $(X, Δ)$ be a projective klt three dimensional pair defined over an algebraically closed field characteristic larger than 5. Let $L$ be a nef and big line bundle on $X$ such that $L-K_X-Δ$ is big and nef. We show that $L$ is indeed semi-ample.

Fibration and classification of smooth projective toric varieties of low Picard number

In this paper we show that a smooth toric variety $X$ of Picard number $r\leq 3$ always admits a nef primitive collection supported on a hyperplane admitting non-trivial intersection with the cone $\Nef(X)$ of numerically effective divisors and cutting a facet of the pseudo-effective cone $\Eff(X)$, that is $\Nef(X)\cap\partial\overline{\Eff}(X)\neq\{0\}$. In particular this means that $X$ admits non-trivial and non-big numerically effective divisors. Geometrically this guarantees the existence of a fiber type contraction morphism over a smooth toric variety of dimension and Picard number lowe…

第二陈类消失的极小紧 Kähler 流形的丰度定理

Abundance theorem for minimal compact Kähler manifolds with vanishing second Chern class

本文证明极小紧 Kähler 流形上第二陈类消失等价于余切丛 nef 且典范丛数值维数为 0 或 1，并由此推出典范丛半丰富，同时揭示 Iitaka 纤维化纤维变化与余切丛半正性的联系。

Nef cones of Hilbert schemes of points on surfaces

Let X be a smooth projective surface of irregularity 0. The Hilbert scheme of n points on X parameterizes zero-dimensional subschemes of X of length n. In this paper, we discuss general methods for studying the cone of ample divisors on the Hilbert scheme. We then use these techniques to compute the cone of ample divisors on the Hilbert scheme for several surfaces where the cone was previously unknown. Our examples include families of surfaces of general type and del Pezzo surfaces of degree 1. The methods rely on Bridgeland stability and the Positivity Lemma of Bayer and Macri.

关于格劳尔特例子上一个非半正的 nef 和大线丛

On the Non-Semipositivity of a Nef and Big Line Bundle on Grauert's Example

本研究通过计算格劳尔特例子上的第一障碍类，证明了该线丛是 nef 且大但不半正。

一般型光滑极小n维簇上多重典范线性系统的无基点性

Freeness of Pluricanonical Linear System on Smooth Minimal n-folds of General Type

本文证明了一般型光滑极小n维簇上$|\frac{n^2+n+2}{2}K_X|$无基点，并给出Fujita无基点猜想在nef且大除数情形下的界限，同时证明了$K_X+mB$的基点集包含于增广基轨迹。

J-holomorphic curves in a nef class

Taubes established fundamental properties of $J-$holomorphic subvarieties in dimension 4 in \cite{T1}. In this paper, we further investigate properties of reducible $J-$holomorphic subvarieties. We offer an upper bound of the total genus of a subvariety when the class of the subvariety is $J-$nef. For a spherical class, it has particularly strong consequences. It is shown that, for any tamed $J$, each irreducible component is a smooth rational curve. We also completely classify configurations of maximal dimension. To prove these results we treat subvarieties as weighted graphs and introduce se…

Minimal singular metrics of a line bundle admitting no Zariski-decomposition

We give a concrete expression of a minimal singular metric of a big line bundle on a compact Kähler manifold which is the total space of a toric bundle over a complex torus. In this class of manifolds, Nakayama constructed examples which have line bundles admitting no Zariski-decomposition even after any proper modifications. As an application, we discuss the Zariski-closedness of non-nef loci and the openness conjecture of Demailly and Kollár in this class.

三重拟正则簇在正特征下的Mumford消失定理

Mumford vanishing for threefolds in positive characteristic

研究三重拟正则簇在正特征下的Mumford消失定理，证明当K_X不大的情况下L为大除子或-L_K_X为拟正则且L的数值维数为二时，H^1(X,-L)=0。

Geometry of polarised varieties

In this paper we investigate the geometry of projective varieties polarised by ample and more generally nef and big Weil divisors. First we study birational boundedness of linear systems. We show that if $X$ is a projective variety of dimension $d$ with $ε$-lc singularities for $ε>0$, and if $N$ is a nef and big Weil divisor on $X$ such that $N-K_X$ is pseudo-effective, then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d,ε$. This is key to proving various other results. For example, it implies that if $N$ is a big Weil divisor (not necessaril…

关于从拟光滑加权超曲面生成的极小簇

On minimal varieties growing from quasismooth weighted hypersurfaces

本文研究小典范体积极小簇的构造，通过建立加权超曲面加权爆破的有效nef准则构造了多族极小3-折叠，并证明了一般型极小n-折叠典范体积的有效下界，证明了其在低维最优、高维近似最优。

Positivity of the diagonal

We study how the geometry of a projective variety $X$ is reflected in the positivity properties of the diagonal $Δ_X$ considered as a cycle on $X \times X$. We analyze when the diagonal is big, when it is nef, and when it is rigid. In each case, we give several implications for the geometric properties of $X$. For example, when the diagonal is big, we prove that the Hodge groups $H^{k,0}(X)$ vanish for $k>0$. We also classify varieties of low dimension where the diagonal is nef and big.

Hard Lefschetz properties, complete intersections and numerical dimensions

We study the positivity of complete intersections of nef classes. We first give a sufficient and necessary characterization on the complete intersection classes which have hard Lefschetz property on a compact complex torus, equivalently, in the linear case. In turn, this provides us new kinds of cohomology classes which have Hodge-Riemann property or hard Lefschetz property on an arbitrary compact Kähler manifold. We also give a complete characterization on when the complete intersection classes are non-vanishing on an arbitrary compact Kähler manifold. Both characterizations are given by the …

On metrics with minimal singularities of line bundles whose stable base loci admit holomorphic tubular neighborhoods

We investigate the minimal singularities of metrics on a big line bundle $L$ over a projective manifold when the stable base locus $Y$ of $L$ is a submanifold of codimension $r\geq 1$. Under some assumptions on the normal bundle and a neighborhood of $Y$, we give a explicit description of the minimal singularity of metrics on $L$. We apply this result to study a higher (co-)dimensional analogue of Zariski's example, in which the line bundle $L$ is not semi-ample, however it is nef and big.

关于项目ive流形上 nef 分歧的补集

On the complement of nef divisors on projective manifolds

本文研究了复项目ive流形上 nef 分歧的补集性质，证明了补集不是 Hartogs 的充要条件是分歧是 abundant 且 Iitaka 维度为 1。

关于Fano四折叠的一个数值判据

On a numerical criterion for Fano fourfolds

本文证明了Campana--Peternell猜想在四维情形的一个特例，即满足特定数值条件且反典范除子严格数值有效的射影光滑四折叠必为Fano四折叠，并完全解决了相关非消失猜想。