We compute the nef cone of the Hilbert scheme of points on a general rational elliptic surface. As a consequence of our computation, we show that the Morrison-Kawamata cone conjecture holds for these nef cones.
In this note, we calculate the boundary of movable cones and nef cones of the generalized Kummer 4-fold $\mathrm{Km}^2(A)$ attached to an abelian surface $A$ with $\mathrm{rkNS}(A) = 1$.
We show that when $d \geq 3$ and $m>2$, the Nef cone of the Hilbert scheme $Hilb_{P_{d,m}(T)}(G(k,n))$ is a cone spanned by 6 classes in general case, where $P_{d,m}(T)=\binom{T+m}{m}-\binom{T+m-d}{m}$.
Let $C$ be a smooth projective curve over $\mathbb C$. Let $n,d\geq 1$. Let $\mathcal Q$ be the Quot scheme parameterizing torsion quotients of the vector bundle $\mathcal O^n_C$ of degree $d$. In this article we study the nef cone of $\mathcal Q$. We give a complete description of the nef cone in the case of elliptic curves. We compute it in the case when $d=2$ and $C$ very general, in terms of the nef cone of the second symmetric product of $C$. In the case when $n\geq d$ and $C$ very general, we give upper and lower bounds for the Nef cone. In general, we give a necessary and sufficient cri…
In this paper we develop a technique for discovering (non-effective) irrational rays at the boundary of the Mori cone for linear systems on a general blowup of the plane, and give examples of such irrational rays.
Let $X$ be the projective plane, a Hirzebruch surface, or a general $K3$ surface. In this paper, we study the birational geometry of various nested Hilbert schemes of points parameterizing pairs of zero-dimensional subschemes on $X$. We calculate the nef cone for two types of nested Hilbert schemes: $X^{[n+1,n]}$ and universal families. As an application, we recover a theorem of Butler on syzygies on Hirzebruch surfaces.
In this article, we give a description of the closed cone of curves of the projective bundle $\mathbb{P}(E)$ over a smooth projective variety $X$. Using duality, we then calculate the nef cone of divisors in $\mathbb{P}(E)$ over some special surfaces $X$ and for some special bundles on $X$. As an application, we also calculate the Seshadri constants of semistable ample vector bundles with vanishing discriminant on some special ruled surfaces at special points.
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的某些次球面簇的乘积。
Let $X = \mathbb{P}(E_1) \times_C \mathbb{P}(E_2)$ where $C$ is a smooth curve and let $E_1$, $E_2$ be vector bundles over $C$. In this paper, we extend the results in \cite{K-M-R} by computing the nef cone of $X$ without restriction on the rank or semistability of $E_1$ and $E_2$. We also study the Seshadri constants of ample line bundles on $X$. We calculate the Seshadri constants in some cases and give bounds in some of the remaining cases.
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…
We study the nef cone of self-products of a curve. When the curve is very general of genus $g>2$, we construct a nontrivial class of self-intersection 0 on the boundary of the nef cone. Up to symmetry, this is the only known nontrivial boundary example that exists for all $g > 2$. When the curve is general, we identify nef classes that improve on known examples for arbitrary curves. We also consider self-products of more than two copies of the curve.
We use wall-crossing with respect to Bridgeland stability conditions to systematically study the birational geometry of a moduli space M of stable sheaves on a K3 surface X: 1. We describe the nef cone, the movable cone, and the effective cone of M in terms of the Mukai lattice of X. 2. We establish a long-standing conjecture that predicts the existence of a birational Lagrangian fibration on M whenever M admits an integral divisor class D of square zero (with respect to the Beauville-Bogomolov form). These results are proved using a natural map from the space of Bridgeland stability condition…
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.
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.
We investigate nef and movable cones of hypersurfaces in Mori dream spaces. The first result is: Let $Z$ be a smooth Mori dream space of dimension at least four whose extremal contractions are of fiber type of relative dimension at least two and let $X$ be a smooth ample divisor in $Z$, then $X$ is a Mori dream space as well. The second result is: Let $Z$ be a Fano manifold of dimension at least four whose extremal contractions are of fiber type and let $X$ be a smooth anti-canonical hypersurface in $Z$, which is a smooth Calabi--Yau variety, then the unique minimal model of $X$ up to isomorph…
We show that the pseudoeffective cone of divisors $\overline{\text{Eff}}^1(\overline{\mathcal{M}}_{g,n})$ for $g\geq 2$ and $n\geq 2$ is not polyhedral by showing that the class of the fibre of the morphism forgetting one point forms an extremal ray of the dual nef cone of curves $\overline{\text{Nef}}_1(\overline{\mathcal{M}}_{g,n})$ and the cone at this ray is not polyhedral.
In this article, we consider the projective bundle $\mathbb{P}_X(E)$ over a smooth complex projective variety $X$, where $E$ is a semistable bundle on $X$ with $c_2(End(E)) =0$. We give a necessary and sufficient condition to get the equality $ Nef^1\bigl(\mathbb{P}_X(E)\bigr) = \overline{Eff}^1\bigl(\mathbb{P}_X(E)\bigr)$ of nef cone and pseudoeffective cone of divisors in $\mathbb{P}_X(E)$. As an application of our result, we show the equality of nef and pseudoeffective cones of divisors of projective bundles over some special varieties. In particular, we show that weak Zariski decomposition…
We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus. This answers Svaldi's question completely. We also treat the uniruledness of the degenerate locus of an extremal contraction morphism for quasi-log schemes. Furthermore, we prove that every fiber of a relative quasi-log Fano scheme is rationally chain connected modulo the non-qlc locus.
Let X be an irreducible symplectic manifold and L a nef line bundle on X which is isotropic with respect to the Beauville-Bogomolov quadratic form. It is known that a subgroup Aut(X,L) of an automorphism group of X which fix L is almost abelian. We give a formula of the rank of Aut(X,L) in terms of MBM divisors. We also prove that the nef cone of X cut out MBM classes, which is a generalization of Kovac's structure theorem of nef cones of K3 surfaces
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.
Let $E$ be a vector bundle of rank $r$ on a smooth complex projective variety $X$. In this article, we compute the nef and pseudoeffective cones of divisors in the Grassmann bundle $Gr_X(k,E)$ parametrizing $k$-dimensional subspaces of the fibers of $E$, where $1\leq k \leq rank(E)$, under assumptions on $X$ as well as on the vector bundle $E$. In particular, we show that nef cone and the pseudoeffective cone of $Gr_X(k,E)$ coincide if and only if $E$ is a slope semistable bundle on $X$ with $c_2(End(E))=0$. We also discuss about the nefness and ampleness of the universal quotient bundle $Q_k$…
Diagram Method for 3-Folds and its Application to Kahler Cone and Picard Number of Calabi-Yau 3-Folds, I. with Appendix by Vyacheslav V. Shokurov: "Anticanonical boundedness for curves"
我们证明了一般的图解法定理对具有Q-阶乘奇点的相当大的一类3-重有效(见基本定理1.3.2和定理2.2.6)。这给出了我们关于具有Q-阶乘终端奇点的Fano 3-folds的结果(预印本alg-geom/9311007)的推广。作为应用,我们得到了关于三维Calabi-Yau流形X的如下结果:假设Picard数ρ(X)> 93.则以下两种情况之一成立:(i)X上存在一个小的极值射线;(ii)存在一个nef元素h使得h^3=0(因此,nef锥NEF(X)和三次相交超曲面W_X有一个公共点;这里,我们不主张h是有理的!)。作为推论,我们得到:设X是三维Calabi-Yau流形。假设nef锥NEF(X)是有限多面体,并且X没有小的极值射线。若ρ(X)>93,则存在有理nef元h,且h^3=0。为了证明关于Calabi-Yau流形的这些结果,我们还使用了V. V. Shokurov关于除极射线长度的一个结果(见附录)。因此,我们应该把上面关于Calabi-Yau 3-folds的结果看作是我们与V. V. Shokurov的共同结果。我们还讨论了上述结果的推广到所谓的Q-factorial模型的Calabi-Yau 3-folds,有时允许涉及非多面体的情况下,小的极值射线的游戏。
In this article we prove a finiteness result on the number of log minimal models for $3$-folds in char $p>5$. We then use this result to prove a version of Batyrev's conjecture on the structure of nef cone of curves on $3$-folds in characteristic $p>5$. We also give a proof of the same conjecture in full generality in characteristic $0$. We further verify that the duality of movable curves and pseudo-effective divisors hold in arbitrary characteristic. We then give a criterion for the pseudo-effectiveness of the canonical divisor $K_X$ of a smooth projective variety in arbitrary characteristic…