We study the classification problem for polarized varieties with high nefvalue. We give a complete list of isomorphism classes for normal polarized varieties with high nefvalue. This generalizes classical work on the smooth case by Fujita, Beltrametti and Sommese. As a consequence we obtain that polarized varieties with slc singularities and high nefvalue, are birationally equivalent to projective bundles over nodal curves.
For a smooth projective variety $X$, we consider when the diagonal $Δ_X$ is nef as a cycle on $X\times X$. In particular, we give a classification of complete intersections and smooth del Pezzo varieties where the diagonal is nef. We also study the nefness of the diagonal for spherical varieties.
We classify mildly singular Fano varieties $X$ such that $\mathrm{Nef}(X)=\mathrm{Psef}(X)$ and that the Picard number of $X$ is equal to the dimension of $X$ minus $1$.
We construct examples to show that having nef cotangent bundle is not preserved under finite ramified covers. Our examples also show that a projective manifold with Stein universal cover may not have nef cotangent bundle, disproving a conjecture of Liu-Maxim-Wang.
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.
We show that nef cycle classes on smooth complete spherical varieties are effective, and the products of nef cycle classes are also nef. Let X be a smooth projective spherical variety such that its effective cycle classes of codimension k are nef, where 1<= k <= dim(X)-1. We study the properties of X. And we show that if X is a toric variety, then X is isomorphic to the product of some projective spaces; if X is toroidal, then X is isomorphic to a rational homogeneous space; if X is horospherical, dim(X)>= 3 and k=2, then effective divisors on X are nef; if X is horospherical and effective div…
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 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 …
In this article we prove new results on projective normality and normal presentation of adjunction bundle associated to an ample and globally generated line bundle on higher dimensional smooth projective varieties with nef canonical bundle. As one of the consequences of the main theorem, we give bounds on very ampleness and projective normality of pluricanonical linear systems on varieties of general type in dimensions three, four and five. These improve known such results.
Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with nef tangent bundle and $T_M$ is numerically flat. We also prove that extremal contractions exist as smooth morphisms. As an application, we prove that, if the Frobenius morphism can be lifted modulo $p^2$, then $X$ admits, up to a finite étale Galois cover, a smooth morphism onto an ordinary abelian variety whose fibers are products of projective spaces.
Let (M,E) be a generalized polarized manifold, i.e., a pair of an n-dimensional smooth projective variety and an ample vector bundle E of rank r on M. Let t be the nef value of a polarized manifold (M, det E), i.e., the minimum of the set of real numbers s such that K+s det E is nef; we have tr<= n+1 by Mori's theory. In this paper we classify the pairs (M,E) in the following two cases: (1) n-2<= tr and t >= 1; (2) n+1-tr< t <= 1.
We study the geometry of projective manifolds whose tangent bundles are nef on sufficiently general curves (i.e. the tangent bundle is generically nef) and show that manifolds whose anticanonical bundles are semi-ample have this property. Furthermore we introduce a notion of sufficient nefness and investigate the relation with manifolds whose anticanonical bundles are nef.
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 …
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 this paper, we study smooth complex projective varieties $X$ such that some exterior power $\bigwedge^r T_X$ of the tangent bundle is strictly nef. We prove that such varieties are rationally connected. We also classify the following two cases. If $T_X$ is strictly nef, then $X$ isomorphic to the projective space $\mathrm{P}^n$. If $\bigwedge^2 T_X$ is strictly nef and if $X$ has dimension at least $3$, then $X$ is either isomorphic to $\mathrm{P}^n$ or a quadric $\mathrm{Q}^n$.
We prove that the non-nef locus and the restricted base locus of a pseudoeffective divisor coincide on KLT pairs. We also extend to KLT pairs F. Russo's characterization of nef and abundant divisors by means of asymptotic multiplier ideals.
We study the cones of surfaces on varieties of lines on cubic fourfolds and Hilbert schemes of points on K3 surfaces. From this we obtain new examples of nef cycles which fail to be pseudoeffective.
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.
In this paper, we investigate the explicit birational geometry for projective $ε$-lc varieties polarised by nef and big Weil divisors. We show that if $X$ is a projective $ε$-lc variety, $H$ is a nef and big Weil divisor with $\dim\overline{φ_{H}(X)}\geq n-1$ and $L$ is an effective Weil divisor such that $|L-K_X|\neq \emptyset$ or $L-K_X$ is nef, then we can find an explicit lower bound of $\text{vol}(H)$ and prove that $|L+m^\prime H|$ is birational for $m^\prime\geq m$, where $m$ is an explicit number which depends only on $n$ and $ε$. This result can be applied to polarised Calabi-Yau vari…
We develop techniques for computing the equivariant local mirror symmetry of curves, i.e. mirror symmetry for O(k)+O(-2-k) over P^1 for k greater than 0. We also describe related methods for dealing with mirror symmetry of non-nef toric varieties. The basic tools are equivariant I functions and their Birkhoff factorization.
We show the invariance of plurigenera for generalized polarized pairs with abundant nef parts and generalized canonical singularities. This is obtained by investigating a type of newly introduced multiplier ideal sheaf which is of bimeromorphic nature.
The cones of divisors and curves defined by various positivity conditions on a smooth projective variety have been the subject of a great deal of work in algebraic geometry, and by now they are quite well understood. However the analogous cones for cycles of higher codimension and dimension have started to come into focus only recently. The purpose of this paper is to explore some of the phenomena that can occur by working out the picture fairly completely in a couple of simple but non-trivial cases. Specifically, we study cycles of arbitrary codimension on the self-product of an elliptic curv…
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…
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…
We study the positivity of exterior powers of the tangent sheaf on toric varieties in order to generalize results by Campana and Peternell about 3-folds with nef second exterior power of the tangent bundle. Using the theory of equivariant vector bundles and the toric MMP, we establish in the smooth case a criterion for the positivity of $Λ^m\mathcal T_X$ in terms of wall relations. As an application, we classify smooth toric varieties of arbitrary dimension $n\ge3$ with $Λ^2\mathcal T_X$ nef and those of dimension $n\ge 4$ with $Λ^3\mathcal T_X$ ample.
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.
Generalizing the notions of reflexive polytopes and nef-partitions of Batyrev and Borisov, we propose a mirror symmetry construction for Calabi-Yau complete intersections in Fano toric 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…
We compute Seshadri constants of a torus equivariant nef vector bundle on a projective space satisfying certain conditions. As an application, we compute Seshadri constants of tangent bundles on projective spaces. We also consider equivariant nef vector bundles on Bott towers of height 2 (i.e. Hirzebruch surfaces) and Bott towers of height 3 respectively. Assuming some conditions on the minimal slope of the restrictions of these bundles to invariant curves, we give precise values of Seshadri constant at an arbitrary point. We also give several examples illustrating our results.
We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.
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.
We give a criterion for the projectivisation of a reflexive sheaf on a klt space to be induced by a projective representation of the fundamental group of the smooth locus. This criterion is then applied to give a characterisation of finite quotients of projective spaces and Abelian varieties by $\mathbb{Q}$-Chern class (in)equalities and a suitable stability condition. This stability condition is formulated in terms of a naturally defined extension of the tangent sheaf by the structure sheaf. We further examine cases in which this stability condition is satisfied, comparing it to K-semistabili…
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…
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.
This article is concerned with Chern class and Chern number inequalities on polarized manifolds and nef vector bundles. For a polarized pair $(M,L)$ with $L$ very ample, our first main result is a family of sharp Chern class inequalities. Among them the first one is a variant of a classical result and the equality case of the second one is a characterization of hypersurfaces. The second main result is a Chern number inequality on it, which includes a reverse Miyaoka-Yau type inequality. The third main result is that the Chern numbers of a nef vector bundle over a compact Kähler manifold are bo…
In this article we study the structure of klt projective varieties with nef anticanonical divisor (and more generally, varieties of semi-Fano type), especially the canonical fibrations associated to them. We show that: 1. the Albanese map for such variety is a locally constant fibration (that is, an analytic fibre bundle with connected fibres that $X$ is equal to the product of the universal cover of the Albanese torus by the fibre of the Albanese map quotient by a diagonal action of the fundamenatl group of the Albanese torus); 2. if the smooth locus is simply connected, the MRC fibration of …
Let $X$ be a complex smooth projective variety such that the exterior power of the tangent bundle $\bigwedge^{r} T_X$ is nef for some $1\leq r<\dim X$. We prove that, up to an étale cover, $X$ is a Fano fiber space over an Abelian variety. This gives generalizations of the structure theorem of varieties with nef tangent bundle by Demailly, Peternell and Schneider and that of varieties with nef $\bigwedge^{2} T_X$ by the author. Our result also gives an answer to a question raised by Li, Ou and Yang for varieties with strictly nef $\bigwedge^{r} T_X$ when $r < \dim X$.
We give new estimates of lengths of extremal rays of birational type for toric varieties. We can see that our new estimates are the best by constructing some examples explicitly. As applications, we discuss the nefness and pseudo-effectivity of adjoint bundles of projective toric varieties. We also treat some generalizations of Fujita's freeness and very ampleness for toric varieties.
Regular semisimple Hessenberg varieties are smooth subvarieties of the flag variety, and their examples contain the flag variety itself and the permutohedral variety which is a toric variety. We give a complete classification of Fano and weak Fano regular semisimple Hessenberg varieties in type A in terms of combinatorics of Hessenberg functions. In particular, we show that if the anti-canonical bundle of a regular semisimple Hessenberg variety is nef, then it is in fact nef and big.
We prove the Integral Hodge Conjecture for curve classes on smooth varieties of dimension at least three with nef anticanonical divisor constructed as a complete intersection of ample hypersurfaces in a smooth toric variety. In particular, this includes the case of smooth anticanonical hypersurfaces in toric Fano varieties. In fact, using results of Casagrande and the toric MMP, we prove that in each case, $H_2(X,\mathbb{Z})$ is generated by classes of rational curves.
We classify the polarized symplectic automorphisms of Fano varieties of smooth cubic fourfolds (equipped with the Plücker polarization) and study the fixed loci.
We describe polarized complexity-one T-varieties combinatorially in terms of so-called divisorial polytopes, and show how geometric properties of such a variety can be read off the corresponding divisorial polytope. We compare our description with other possible descriptions of polarized complexity-one T-varieties. We also describe how to explicitly find generators of affine complexity-one T-varieties.
Constructing Rational Curves via Jets on Projective Varieties with Non-Nef Canonical Bundle
Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院数学科学国家重点实验室）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）
In this note it is shown that associating to a principally polarized abelian variety its de Rham cohomology defines a faithfully flat morphism of the moduli space of principally polarized abelian varieties in positive characteristics to the moduli space of symplectic $F$-Zips as defined in \cite{MW}.
In this paper, we study principally polarized abelian varieties $X$ of dimension $g$ that contain a curve $ν:C\to X$ such that the class of $C$ is $m$ times the minimal class. Welters introduced the formalism of stable pairs to handle this problem in the case $m=2$. We generalize the results of Welters and construct families of principally polarized abelian varieties for any $m$ and compute the dimension of the locus of these abelian varieties.
Let $\mathcal{A}_g$ denote the moduli space of principally polarized abelian varieties of dimension $g \ge 3.$ In this paper we prove the connectedness of the singular sublocus of $\mathcal{A}_g$ consisting of those abelian varieties which possess an involution different from $-id$.
