We introduce and study the GIT CONE of $\bar{M}_{0,n}$, which is generated by the pullbacks of the natural ample line bundles on the GIT quotients $(\mathbb P^1)^n//SL(2)$. We give an explicit formula for these line bundles and prove a number of basic results about the GIT cone.
As one application, we prove unconditionally that the log canonical models of $\bar{M}_{0,n}$ with a symmetric boundary divisor coincide with the moduli spaces of weighted curves or with the symmetric GIT quotient, extending the result of Matt Simpson arXiv:0709.4037. (Cf. also a different proof by Fedorchuk and Smyth arXiv:0810.1677)
Let $X$ be a smooth projective rationally connected threefold with nef anticanonical divisor. We give a classification for the case when $-K_X$ is not semi-ample.
We study lc pairs polarized by a nef and log big divisor. After proving the minimal model theory for projective lc pairs polarized by a nef and log big divisor, we prove the effectivity of the Iitaka fibrations and some boundedness results for dlt pairs polarized by a nef and log big divisor.
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.
Let $X$ be a smooth complex projective rationally connected threefold with $-K_X$ nef and not semi-ample. In our previous work, we classified all such threefolds when $|{-}K_X|$ has no fixed divisor. In this paper, we continue our classification when $|{-}K_X|$ has a non-zero fixed divisor.
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.
In this paper, we use canonical bundle formulas to prove some generalizations of an old theorem of Kawamata on the semiampleness of nef and abundant log canonical divisors. In particular, we show that for klt pairs $(X,B)$ with $K_X+B$ effective, $L \in Pic (X)$ nef, nefness and abundance of $K_X+B+L$ implies semiampleness. This essentially generalizes Kawamata's theorem to the setting of generalized abundance.
We give a criterion for a nef divisor $D$ to be semiample on a Calabi--Yau threefold $X$ when $D^3=0=c_2(X)\cdot D$ and $c_3(X)\neq 0$. As a direct consequence, we show that on such a variety $X$, if $D$ is strictly nef and $ν(D)\neq 1$, then $D$ is ample; we also show that if there exists a nef non-ample divisor $D$ with $D\not\equiv 0$, then $X$ contains a rational curve when its topological Euler characteristic is not $0$.
We prove that any nef b-divisor class on a projective variety defined over an algebraically closed field of characteristic 0 is a decreasing limit of nef Cartier classes. Building on this technical result, we construct an intersection theory of nef b-divisors, and prove several variants of the Hodge index theorem inspired by the work of Dinh and Sibony. We show that any big and basepoint free curve class is a power of a nef b-divisor, and relate this statement to Zariski decompositions of curves classes introduced by Lehmann and Xiao. Our construction allows us to relate various Banach spaces …
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.
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.
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 …
To a generically big adelic divisor, we can associate an arithmetic Okounkov body, which is a pair of the geometric Okounkov body and the concave transform of the Green functions. In this paper, we show that the infimum of the concave transform is given by the absolute minimum provided that the divisor is vertically nef. This is a partial generalization of results of Moriwaki (in the curve case) and of Burgos Gil-Moriwaki-Philippon-Sombra (in the toric case).
Let M_g be the moduli space of smooth curves of genus g >= 3, and \bar{M}_g the Deligne-Mumford compactification in terms of stable curves. Let \bar{M}_g^{[1]} be an open set of \bar{M}_g consisting of stable curves of genus g with one node at most. In this paper, we determine the necessary and sufficient condition to guarantee that a Q-divisor D on \bar{M}_g is nef over \bar{M}_g^{[1]}, that is, (D . C) >= 0 for all irreducible curves C on \bar{M}_g with C \cap \bar{M}_g^{[1]} \not= \emptyset.
We show that the tangent bundle of a projective manifold with nef anticanonical class is generically nef. That is, its restriction to a curve cut out by general sufficiently ample divisors is a nef vector bundle. This confirms a conjecture of Peternell. As a consequence, the second Chern class of such a manifold has non-negative intersections with ample divisors. We also investigate under which conditions these positivities are strict, and answer a question of Yau.
We generalize the intersection theory of nef toric (Weil) b-divisors on smooth and complete toric varieties to the case of smooth and complete toroidal embeddings. As a key ingredient we show the existence of a limit measure, supported on the weakly embedded rational conical polyhedral space attached to the toroidal embedding, which arises as a limit of discrete measures defined via tropical intersection theory on the polyhedral space. We prove that the intersection theory of nef toroidal Cartier b-divisors can be extended continuously to nef toroidal Weil b-divisors and that their degree can …
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…
Automorphism groups and Homogeneous fibrations on projective varieties with nef anticanonical divisors
Department of Mathematics, Southern University of Science and Technology（南方科技大学数学系）；Department of Mathematical Sciences, Xi’an Jiaotong-Liverpool University（西交利物浦大学数学科学系）
In [BM14b], the first author and Macrì constructed a family of nef divisors on any moduli space of Bridgeland-stable objects on a smooth projective variety X. In this article, we extend this construction to the setting of any separated scheme Y of finite type over a field, where we consider moduli spaces of Bridgeland-stable objects on Y with compact support. We also show that the nef divisor is compatible with the polarising ample line bundle coming from the GIT construction of the moduli space in the special case when Y admits a tilting bundle and the stability condition arises from a θ-stab…
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.
Pseudo-effective and nef cones on spherical varieties
我们证明了光滑完备球面簇上的nef圈类是有效的，并且nef圈类的乘积也是nef的。设X是光滑射影球面簇，使得其余维k的有效圈类为nef，其中1<= k <= dim（X）-1。我们研究了X的性质。证明了若X是环面簇，则X同构于某些射影空间的乘积，若X是环面簇，则X同构于有理齐性空间，若X是次球面簇，dim（X）≥ 3，k=2，则X上的有效因子是nef;如果X是次球面的且X上的有效因子是nef，则存在从X到有理齐性空间的态射，使得每个纤维同构于Picard数1的某些次球面簇的乘积。
In this paper, we prove that given a flat generically smooth morphism between smooth projective varieties with $F$-pure closed fibers, if the source space is Fano, weak Fano or a variety with the nef anti-canonical divisor, then so is the target space. We also show that relative anti-canonical divisors of generically smooth surjective nonconstant morphisms are not nef and big in arbitrary characteristic.
The goal of this work is to study positivity of subvarieties with nef normal bundle in the sense of intersection theory. After Ottem's work on ample subschemes, we introduce the notion of a nef subscheme, which generalizes the notion of a subvariety with nef normal bundle. We show that restriction of a pseudoeffective (resp. big) divisor to a nef subvariety is pseudoeffective (resp. big). We also show that ampleness and nefness are transitive properties. We define the weakly movable cone as the cone generated by the pushforward of cycle classes of nef subvarieties via proper surjective maps. T…
As a consequence of our recently established generalized Schmidt's subspace theorem for closed subschemes in general position, we prove a degeneracy theorem for integral points on the complement of a union of nef effective divisors. A novel aspect of our result is the attainment of a strong degeneracy conclusion (arithmetic quasi-hyperbolicity) under weak positivity assumptions on the divisors. The proof hinges on applying our recent theorem with a well-situated ample divisor realizing a certain lexicographical minimax. We also explore the connections with earlier work by other authors and mak…
Let (X,H) be a polarized, smooth, complex projective surface, and let v be a Chern character on X with positive rank and sufficiently large discriminant. In this paper, we compute the Gieseker wall for v in a slice of the stability manifold of X. We construct explicit curves parameterizing non-isomorphic Gieseker stable sheaves that become S-equivalent along the wall. As a corollary, we conclude that if there are no strictly semistable sheaves of character v, the Bayer-Macri divisor associated to the wall is a boundary nef divisor on the moduli space of sheaves M_H(v). We recover previous resu…
我们引入了正常孤立奇点体积的概念，将表面奇点的瓦尔示性数推广到任意维度。我们证明了这个体积在有限态射下的一个基本单调性。我们得出几个结论，关于存在固定一个孤立奇点的不可逆有限自同态。利用锥结构，我们推导出任何带有不可逆极化自同态的光滑射影簇的反正则因子是伪有效的。我们的技术建立在Shokurov的b因子上。我们定义了nef Weil b-因子和nef b-因子包络的概念。我们涉及到后者的拉回来的韦尔因子介绍了德Fernex和Hacon。利用Takagi最近得到的关于对的乘子理想的次可加性定理，我们将Boucksom，Favre和Jonsson在光滑情形下发展的Nef Weil b-因子的相交理论推广到孤立奇点情形.
