The Kleiman-Mori cone plays important roles in the birational geometry. In this paper, we construct complete varieties whose Kleiman-Mori cones have interesting properties. First, we construct a simple and explicit example of complete non-projective singular varieties for which Kleiman's ampleness criterion does not hold. More precisely, we construct a complete non-projective toric variety $X$ and a line bundle $L$ on $X$ such that $L$ is positive on $\bar {NE}(X)\setminus \{0\}$. Next, we construct complete singular varieties $X$ with $NE(X)=N_1(X)\simeq \mathbb R^k$ for any $k$. These explicit examples seem to be missing in the literature.
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.
We propose a generalization of SHGH Conjectures to a smooth projective surface Y: the so called Segre Problem. The study of linear systems on Y can be translated in terms of the Mori cone of the blow up $X = Bl_r Y$ at $r$ general points. Generalizing a result by de Fernex, we prove that if Segre Problem holds true, then a part of the Mori cone of $X$ does coincide with a part of the positive cone of $X$.
We determine the Mori cone of holomorphic symplectic varieties deformation equivalent to the punctual Hilbert scheme on a K3 surface. Our description is given in terms of Markman's extended Hodge lattice.
We use a family of algebraic foliations given by A. Lins Neto to provide new evidences to a conjecture, related to the Harbourne-Hirschowitz's one and implying the Nagata's conjecture, which concerns the structure of the Mori cone of blow-ups of $\mathbb{P}^2$ at very general points.
In this paper we prove that certain linear systems (and all their multiples) of plane curves with general base points and zero--self intersection are empty, thus exhibiting further examples of rays at the boundary of the Mori cone of a general blow--up of the plane.
The fundamental property of Fano varieties with mild singularities is that they have a finite polyhedral Mori cone. Thus, it is very interesting to ask: What we can say about algebraic varieties with a finite polyhedral Mori cone? I give a review of known results. All of them were obtained applying methods which were originated in the theory of discrete groups generated by reflections in hyperbolic spaces with a fundamental chamber of finite volume. This is my report on Fano conference in Torino, October 2002
We discuss some properties of the extremal rays of the cone of effective curves of surfaces that are obtained by blowing up the projective plane at points in very general position. The main motivation is to rectify an incorrect interpretation, in terms of the geometry of this cone, of the Segre--Harbourne--Gimigliano--Hirschowitz conjecture. Even though the arguments are based on elementary computations, the point of view leads to observe some other properties of the Mori cone, among which the fact that in the case of ten or more points the cone is not countably generated.
We prove that if $m \ge n-3$ then every $S_m$-invariant F-nef divisor on the moduli space of stable $n$-pointed curves of genus zero is linearly equivalent to an effective combination of boundary divisors. As an application, we determine the Mori cone of the moduli spaces of stable curves of small genus with few marked points.
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.
In this paper we prove that no multiple of the linear system of plane curves of degree $d\geq 4$ with a point of multiplicity $d-m$ (with $2 \leq m \leq d$) and $m(2d-m)$ simple general points is effective.
Let $X$ be a smooth $n$-dimensional projective variety over an algebraically closed field $k$ such that $K_X$ is not nef. We give a characterization of non nef extremal rays of $X$ of maximal length (i.e of length $n-1$); in the case of $\ch(k) = 0$ we also characterize non nef rays of length $n-2$.
We compute the Mori cone of curves of the moduli space \M_{g,n} of stable n-pointed curves of genus g in the case when g and n are relatively small. For instance, we show that for g<14 every curve in \M_g is numerically equivalent to an effective sum of 1-strata (loci of curves with 3g-4 nodes). We also prove that the nef cone of \M_{0,6} is composed of 11 natural subcones all contained in the convex hull of boundary classes. We apply this result to classify the fibrations of the moduli space of rational curves with n<7 marked points.
Let $X$ be a projective toric surface of Picard number one blown up at a general point. We bring an infinite family of examples of such $X$ whose Kleiman-Mori cone of curves is not closed: there is no negative curve generating one of the two boundary rays of the cone. These examples are related to Nagata's conjecture and rationality of Seshadri constants.
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…
A Bott tower of height $r$ is a sequence of projective bundles $$X_r \overset{π_r}\longrightarrow X_{r-1} \overset{π_{r-1}}\longrightarrow \cdots \overset{π_2}\longrightarrow X_1=\mathbb P^1 \overset{π_1} \longrightarrow X_0=\{pt\}, $$ where $X_i=\mathbb P (\mathcal O_{X_{i-1}}\oplus \mathcal L_{i-1})$ for a line bundle $\mathcal L_{i-1}$ over $X_{i-1}$ for all $1\leq i\leq r$ and $\mathbb P(-)$ denotes the projectivization. These are smooth projective toric varieties and we refer to the top object $X_{r}$ also as a Bott tower. In this article, we study the Mori cone and numerically effective …
The main goal of this paper is to study varieties with the best possible Mori theoretic properties (measured by the existence of a certain decomposition of the cone of effective divisors). We call such a variety a Mori Dream Space. There turn out to be many examples, including quasi-smooth projective toric (or more generally, spherical) varieties, many GIT quotients, and log Fano 3-folds. We characterize Mori dream spaces as GIT quotients of affine varieties by a torus in a manner generalizing Cox's construction of toric varieties as quotients of affine space. Via the quotient description, the…
In the present paper we prove that, on a hyperkähler manifold, walls of the kähler cone and extremal rays of the Mori cone are determined by all divisors satisfying certain numerical conditions.
In this paper we study effective, nef and semiample cones of minimal surfaces of general type with $p_g=0.$ We provide examples of minimal surfaces of general type with $p_g=0, 2 \leq K^2 \leq 9$ which are Mori dream spaces. On these examples we also give explicit description of effective cones and all irreducible reduced curves of negative self-intersection. We also present non-minimal surfaces of general type with $p_g=0$ that are not Mori dream surfaces.
We denote by FPMC the class of all non-singular projective algebraic surfaces X over C with a finite polyhedral Mori cone NE(X)\subset NS(X)\otimes R. If rho(X)=rk NS(X)\ge 3, then the set Exc(X) of all exceptional curves on X\in FPMC is finite and generates NE(X). Let δ_E(X) be the maximum of (-E^2) and p_E(X) the maximum of p_a(E) respectively for E\in Exc(X). For fixed ρ\ge 3, δ_E and p_E we denote by FPMC_{ρ,δ_E,p_E} the class of all X\in FPMC such that ρ(X)=ρ, δ_E(X)=δ_E and p_E(X)=p_E. We prove that the class FPMC_{ρ,δ_E,p_E} is bounded: for any X\in FPMC_{ρ,δ_E,p_E} there exist an ample…
We prove that on a Bott-Samelson variety $X$ every movable divisor is nef. This enables us to consider Zariski decompositions of effective divisors, which in turn yields a description of the Mori chamber decomposition of the effective cone. This amounts to information on all possible birational morphisms from $X$. Applying this result, we prove the rational polyhedrality of the global Newton-Okounkov body of a Bott-Samelson variety with respect to the so called `horizontal' flag. In fact, we prove the stronger property of the finite generation of the corresponding global value semigroup.
We give an introduction to the theory of varieties of minimal rational tangents, emphasizing its aspect as a fusion of algebraic geometry and differential geometry, more specifically, a fusion of Mori geometry of minimal rational curves and Cartan geometry of cone structures.
In this paper we classify weak Fano varieties that can be obtained by blowing-up general points in prime Fano varieties. We also classify spherical blow-ups of Grassmannians in general points, and we compute their effective cone. These blow-ups are, in particular, Mori dream spaces. Furthermore, we compute the stable base locus decomposition of the blow-up of a Grassmannian in one point, and we show how it is determined by linear systems of hyperplanes containing the osculating spaces of the Grassmannian at the blown-up point, and by the rational normal curves in the Grassmannian passing throu…
We study the birational properties of hypersurfaces in products of projective spaces. In the case of hypersurfaces in P^m x P^n, we describe their nef, movable and effective cones and determine when they are Mori dream spaces. Using these results, we give new simple examples of non-Mori dream spaces and analogues of Mumford's example of a strictly nef line bundle which is not ample.
We study the birational geometry of the moduli space of complete $n$-quadrics $X$. We exhibit generators for Eff$(X)$ and Nef$(X)$, the cone of effective divisors and the cone of nef divisors, respectively. As a corollary X is a Mori Dream space. Furthermore, we run the MMP on $X$ and find a moduli interpretation for the models induced by the generators of the nef cone. In the case of complete quadric surfaces, we describe all the birational models of $X$ induced by the movable cone and find a moduli interpretation for some of these models.
Nagata solved Hilbert's 14-th problem in 1958 in the negative. The solution naturally lead him to a tantalizing conjecture that remains widely open after more than half a century of intense efforts. Using Nagata's theorem as starting point, and the conjecture, with its multiple variations, as motivation, we explore the important questions of finite generation for invariant rings, for support semigroups of multigraded algebras, and for Mori cones of divisors on blown up surfaces, and the rationality of Waldschimdt constants. Finally we suggest a connection between the Mori cone of the Zariski-R…
In this paper we construct a degeneration of Bott-Samelson-Demazure-Hansen varieties to toric varieties in an algebraic family and study the geometry of the resulting toric varieties. We give a natural set of torus invariant curves that generate the Chow group of $1$-cycles of the limiting toric variety and express the ample cone of this toric variety as a sub-cone of the ample cone of the corresponding Bott-Samelson-Demazure-Hansen variety. We also give a description of Extremal and Mori rays and determine when this toric variety is Fano.
Moduli spaces of complete collineations are wonderful compactifications of spaces of linear maps of maximal rank between two fixed vector spaces. We investigate the birational geometry of moduli spaces of complete collineations and quadrics from the point of view of Mori theory. We compute their effective, nef and movable cones, the generators of their Cox rings, and their groups of pseudo-automorphisms. Furthermore, we give a complete description of both the Mori chamber and stable base locus decompositions of the effective cone of the space of complete collineations of the 3-dimensional proj…
We propose an algorithm to compute the GIT-fan for torus actions on affine varieties with symmetries. The algorithm combines computational techniques from commutative algebra, convex geometry and group theory. We have implemented our algorithm in the Singular library gitfan.lib. Using our implementation, we compute the Mori chamber decomposition of the cone of movable divisors of $\bar{M}_{0,6}$.
We describe the set of Mori structures for a Fano 3-fold of index 2 and degree 1 (the double cone over the Veronese surface). In partiular, it is proved that such a Fano variety is not rational, the group of birational automorphisms coincides with the group of biregular automorphisms, and there are no structures of conic bundle.
This article provides a complete user's guide to version 2.1 of the toric geometry package PALP by Maximilian Kreuzer and others. In particular, previously undocumented applications such as the program nef.x are discussed in detail. New features of PALP 2.1 include an extension of the program mori.x which can now compute Mori cones and intersection rings of arbitrary dimension and can also take specific triangulations of reflexive polytopes as input. Furthermore, the program nef.x is enhanced by an option that allows the user to enter reflexive Gorenstein cones as input. The present documentat…
Classically, an indecomposable class $R$ in the cone of effective curves on a K3 surface $X$ is representable by a smooth rational curve if and only if $R^2=-2$. We prove a higher-dimensional generalization conjectured by Hassett and Tschinkel: for a holomorphic symplectic variety $M$ deformation equivalent to a Hilbert scheme of $n$ points on a K3 surface, an extremal curve class $R\in H_2(M,\mathbb{Z})$ in the Mori cone is the line in a Lagrangian $n$-plane $\mathbb{P}^n\subset M$ if and only if certain intersection-theoretic criteria are met. In particular, any such class satisfies $(R,R)=-…
We consider the action of a semisimple subgroup $\hat G$ of a semisimple complex group $G$ on the flag variety $X=G/B$, and the linearizations of this action by line bundles $\mathcal L$ on $X$. The main result is an explicit description of the associated unstable locus in dependence of $\mathcal L$, as well as a combinatorial formula for its (co)dimension. We observe that the codimension is equal to 1 on the regular boundary of the $\hat G$-ample cone, and grows towards the interior in steps by 1, in a way that the line bundles with unstable locus of codimension $q$ form a convex polyhedral c…
We describe the C program mori.x. It is part of PALP, a package for analyzing lattice polytopes. Its main purpose is the construction and analysis of three--dimensional smooth Calabi--Yau hypersurfaces in toric varieties. The ambient toric varieties are given in terms of fans over the facets of reflexive lattice polytopes. The program performs crepant star triangulations of reflexive polytopes and determines the Mori cones of the resulting toric varieties. Furthermore, it computes the intersection rings and characteristic classes of hypersurfaces.
Moduli spaces of complete skew-forms are compactifications of spaces of skew-symmetric linear maps of maximal rank on a fixed vector space, where the added boundary divisor is simple normal crossing. In this paper we compute their effective, nef and movable cones, the generators of their Cox rings, and for those spaces having Picard rank two we give an explicit presentation of the Cox ring. Furthermore, we give a complete description of both the Mori chamber and stable base locus decompositions of the effective cone of some spaces of complete skew-forms having Picard rank at most four.
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（中国科学院大学数学科学学院）
