In this paper, we give explicit combinatorial descriptions for toric extremal contractions under the relative setting, where varieties do not need to be complete. Fujino's completion theorem is the key to the main result. As applications, we can generalize some of Mustata's results related to Fujita's conjecture on toric varieties for the relative case.
We show that a toric Fano contraction associated to an extremal ray whose length is greater than the dimension of its fiber is a projective space bundle.
In this paper, we obtain a complete classification of smooth toric Fano varieties equipped with extremal contractions which contract divisors to curves for any dimension. As an application, we obtain a complete classification of smooth projective toric varieties which can be equivariantly blown-up to Fano along curves.
We treat equivariant completions of toric contraction morphisms as an application of the toric Mori theory. For this purpose, we generalize the toric Mori theory for non-$\mathbb Q$-factorial toric varieties. So, our theory seems to be quite different from Reid's original combinatorial toric Mori theory. We also explain various examples of non-$\mathbb Q$-factorial contractions, which imply that the $\mathbb Q$-factoriality plays an important role in the Minimal Model Program. Thus, this paper completes the foundations of the toric Mori theory and show us a new aspect of the Minimal Model Prog…
It was conjectured by McKernan and Shokurov that for all Mori contractions from X to Y of given dimensions, for any positive epsilon there is a positive delta, such that if X is epsilon-log terminal, then Y is delta-log terminal. We prove this conjecture in the toric case and discuss the dependence of delta on epsilon, which seems mysterious.
We consider extremal contractions on smooth Fano fourfolds whose second Chern character is positive. We show that such contractions can neither be of fiber type nor contract a divisor to a point.
We show that any extremal contraction from a smooth projective variety with dimension less than or equal to three appears as a moduli space of (semi)stable objects in the derived category of coherent sheaves.
We prove that two Springer maps over a nilpotent orbit closure with the same degree are connected by stratified Mukai flops and the latter is obtained by extremal contractions of a natural resolution of the nilpotent orbit closure.
We discuss the problem of classifying birational extremal contractions of smooth threefolds where the canonical bundle is trivial along the curves contracted, in the case when a divisor is contracted to a point. We prove the analytic rigidity of the contraction in the case this divisor is normal of degree >= 5 (i.e. we show that the analytic structure of the contraction is completely determined by the isomorphism class of the exceptional locus and its normal bundle in X). This was previously known only in the case of smooth exceptional locus.
This paper has been withdrawn by the author. It is not true that plt blow-up of toric singularity is toric (in dimension 3 too) and the first main theorem is incorrect also. The error is in deformation argument. I am grateful to Ivan Cheltsov for discussions.
Toric Landau-Ginzburg models in threefold divisorial contractions
Beijing Institute of Mathematical Sciences and Applications(北京国际数学研究中心);Massachusetts Institute of Technology(麻省理工学院);National Research University, Higher School of Economics(国立研究大学高等经济大学)
Let $X$ be a compact toric extremal Kähler manifold. Using the work of Székelyhidi, we provide a combinatorial criterion on the fan describing $X$ to ensure the existence of complex deformations of $X$ that carry extremal metrics. As an example, we find new CSC metrics on 4-points blow-ups of $\C¶^1\times\C¶^1$.
Let X be the blow-up of a smooth projective 4-fold Y along a smooth curve C and let E be the exceptional divisor. Assume that X is a Fano manifold and has an elementary extremal contraction $ϕ: X \to Z$ of (3,1)-type such that E is $ϕ$-ample (recall that a contraction map for a 4-fold is called (3,1)-type if the exceptional locus is a divisor and its image is a curve). We show that if the exceptional divisor of $ϕ$ is smooth, then Y is isomorphic to $\mathbb{P}^{4}$ and C is an elliptic curve of degree 4.
We consider $K_X$-negative extremal contractions $f\colon X\to (Z,o)$, where $X$ is an algebraic threefold with only $ε$-log terminal Q-factorial singularities and $(Z,o)$ is a two (resp., one)-dimensional germ. The main result is that $K_X$ is 1, 2, 3, 4 or 6-complementary or we have, so called, exceptional case and then the singularity $(Z\in o)$ is bounded (resp., the multiplicity of the central fiber $f^{-1}(o)$ is bounded).
The aim of this paper is to solve a uniform version of the Yau-Tian-Donaldson conjecture for polarized toric manifolds. Also, we show a combinatorial sufficient condition for uniform relative K-polystability.
We define a statistical measure of the typical size of short words in a linear code over a finite field. We prove that the dual toric codes coming from polytopes of degree one are characterized, among all dual toric codes, by being extremal with respect to this measure. We also give a geometric interpretation of the minimum distance of dual toric codes and characterize its extremal values. Finally, we obtain formulas for the parameters of both primal and dual toric codes associated to polytopes of degree one.
Let $(X, C)$ be a germ of a threefold $X$ with terminal singularities along an irreducible reduced complete curve $C$ with a contraction $f: (X, C)\to (Z, o)$ such that $C=f^{-1}(o)_{red}$ and $-K_X$ is ample. Assume that $(X, C)$ contains a point of type (IIA) and that a general member $H\in |O_X|$ containing $C$ is normal. We classify such germs in terms of $H$.
Let $(X, C)$ be a germ of a threefold $X$ with terminal singularities along an irreducible reduced complete curve $C$ with a contraction $f: (X, C)\to (Z, o)$ such that $C=f^{-1}(o)_{red}$ and $-K_X$ is ample. Assume that $(X, C)$ contains a point of type (IIA). This paper continues our study of such germs containing a point of type (IIA) started in our previous paper arXiv:1601.07671.
Let $(X,C)$ be a germ of a threefold $X$ with terminal singularities along an irreducible reduced complete curve $C$ with a contraction $f: (X,C)\to (Z,o)$ such that $C=f^{-1}(o)_{red}$ and $-K_X$ is ample. Assume that $(X,C)$ contains a point of type (IC) or (IIB). We complete the classification of such germs in terms of a general member $H\in |\mathcal O_X|$ containing $C$.
Let $(X,C)$ be a germ of a threefold $X$ with terminal singularities along an irreducible reduced complete curve $C$ with a contraction $f: (X,C)\to (Z,o)$ such that $C=f^{-1}(o)_{\red}$ and $-K_X$ is ample. Assume that a general member $F\in |-K_X|$ meets $C$ only at one point $P$ and furthermore $(F,P)$ is Du Val of type A if index$(X,P)=4$. We classify all such germs in terms of a general member $H\in |O_X|$ containing $C$.
When a singular projective variety X_sing admits a projective crepant resolution X_res and a smoothing X_sm, we say that X_res and X_sm are related by extremal transition. In this paper, we study a relationship between the quantum cohomology of X_res and X_sm in some examples. For three dimensional conifold transition, a result of Li and Ruan implies that the quantum cohomology of a smoothing X_sm is isomorphic to a certain subquotient of the quantum cohomology of a resolution X_res with the quantum variables of exceptional curves specialized to one. We observe that similar phenomena happen fo…
We develop a general theory for the existence of extremal Kähler metrics of Poincaré type in the sense of Auvray, defined on the complement of a toric divisor of a polarized toric variety. In the case when the divisor is smooth, we obtain a list of necessary conditions which must be satisfied for such a metric to exist. Using the explicit methods of Apostolov-Calderbank-Gauduchon together with the computational approach of Sektnan, we show that on a Hirzebruch complex surface the necessary conditions are also sufficient. In particular, on such a complex surface the complement of the infinity s…
We construct explicit examples of elementary extremal contractions, both birational and of fiber type, from smooth projective n-dimensional varieties, n\geq 4, onto smooth projective varieties, arising from classical projective geometry and defined over sufficiently small fields, not necessarily algebraically closed. The examples considered come from particular special homaloidal and subhomaloidal linear systems, which usually are degenerations of general phenomena classically investigated by Bordiga, Severi, Todd, Room, Fano, Semple and Tyrrell and more recently by Ein and Shepherd-Barron. Th…
Starting from $\mathbb{C}^*$-actions on complex projective varieties, we construct and investigate birational maps among the corresponding extremal fixed point components. We study the case in which such birational maps are locally described by toric flips, either of Atiyah type or so called non-equalized. We relate this notion of toric flip with the property of the action being non-equalized. Moreover, we find explicit examples of rational homogeneous varieties admitting a $\mathbb{C}^*$-action whose weighted blow-up at the extremal fixed point components gives a birational map among two proj…
We classify extremal divisorial contraction which contracts a divisor to a curve from a smooth fourfold. We prove the exceptional divisor is $\Bbb P^2$bundle or quadric bundle over a smooth curve and the contraction is the blowing up along the curve.
We provide an explicit resolution of the existence problem for extremal Kaehler metrics on toric 4-orbifolds M with second Betti number b2(M)=2. More precisely we show that M admits such a metric if and only if its rational Delzant polytope (which is a labelled quadrilateral) is K-polystable in the relative, toric sense (as studied by S. Donaldson, E. Legendre, G. Szekelyhidi et al.). Furthermore, in this case, the extremal Kaehler metric is ambitoric, i.e., compatible with a conformally equivalent, oppositely oriented toric Kaehler metric, which turns out to be extremal as well. These results…
This paper continues the study of two examples of extremal transitions between families of Calabi-Yau threefolds. In a previous paper we suggested that the "mirror transition" between mirror families predicted by Morrison could be achieved naturally by combining a toric morphism with the Batyrev-Borisov construction. This was carried out for a particular example of a conifold transition. In this paper we show that similar methods work for another extremal transition involving more complicated singularities. We also study how the resolution is related to geometry of the ambient toric varieties,…
Two varieties $Z$ and $\widetilde Z$ are said to be related by extremal transition if there exists a degeneration from $Z$ to a singular variety $\overline Z$ and a crepant resolution $\widetilde Z \to \overline Z$. In this paper we compare the genus-zero Gromov--Witten theory of toric hypersurfaces related by extremal transitions arising from toric blow-up. We show that the quantum $D$-module of $\widetilde Z$, after analytic continuation and restriction of a parameter, recovers the quantum $D$-module of $Z$. The proof provides a geometric explanation for both the analytic continuation and re…
An extremal curve germ is the analytic germ of a threefold with terminal singularities along a reduced complete curve admitting a contraction whose fibers have dimension at most one. The aim of the present paper is to review the results concerning those contractions whose central fiber is irreducible and contains only one non-Gorenstein point.
We will give a criterion to assure that an extremal contraction of a K3 surface which is not a Mori Dream Space produces a singular surface which is a Mori Dream Spaces. We list the possible Néron--Severi groups of K3 surfaces with this property and an extra geometric condition such that the Picard number is greater then or equal to 10. We give a detailed description of two geometric examples for which the Picard number of the K3 surface is 3, i.e. the minimal possible in order to have the required property. Moreover we observe that there are infinitely many examples of K3 surfaces with the re…
Let $f\colon X\to S$ be an extremal contraction from a threefold with only terminal singularities to a surface. We study local analytic structure such contractions near degenerate fiber $C$ in the case when $C$ is irreducible and $X$ has on $C$ only one non-Gorenstein point.
The main purpose of this notes is to supplement the paper reid, which treated Minimal Model Program (also called Mori's Program) on toric varieties. We calculate lengths of negative extremal rays of toric varieties. As an application, we obtain a generalization of Fujita's conjecture for singular toric varieties. We also prove that every toric variety has a small projective toric $\bQ$-factorialization.
In this note, we prove that on polarized toric manifolds the relative $K$-stability with respect to Donaldson's toric degenerations is a necessary condition for the existence of Calabi's extremal metrics, and also we show that the modified $K$-energy is proper in the space of $G_0$-invariant Kähler metrics for the case of toric surfaces which admit the extremal metrics.
Let $g : X \to Y$ be the contraction of an extremal ray of a smooth projective 4-fold $X$ such that $\dim Y=3$. Then $g$ may have a finite number of 2-dimensional fibers. We shall classify those fibers. Especially we shall prove that any two points of such a fiber is joined by a chain of rational curves of length at most 2 with respect to $-K_X$, and that $|-K_X|$ is $g\text{-free}$.
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.
From Smyth's classification, modular compactifications of pointed smooth rational curves are indexed by combinatorial data, so-called extremal assignments. We explore their combinatorial structures and show that any extremal assignment is a finite union of atomic extremal assignments. We discuss a connection with the birational geometry of the moduli space of stable pointed curves. As applications, we study three special classes of extremal assignments: smooth, toric, and invariant with respect to the symmetric group action. We identify them with three combinatorial objects: simple intersectin…
In this paper we study a local structure of extrmal contractions $f\colon X\to S$ from threffolds $X$ with only terminal singularities onto a surface $S$. If the surface $S$ is non-singular and $X$ has a unique non-Gorenstein point on a fiber we prove that either the linear system $|-K_X|$, $|-2K_X|$ or $|-3K_X|$ contains a "good" divisor.
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.
We survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.
Let X be a projective variety with terminal singularities and let L be an ample Cartier divisor on X. We prove that if f is a birational contraction associated to an extremal ray $ R \subset \bar {NE(X)}$ such that R.(K_X+(n-2)L)<0, then f is a weighted blow-up of a smooth point. We then classify divisorial contractions associated to extremal rays R such that R.(K_X+rL)<0, where r is a non-negative rational number, and the fibres of f have dimension less or equal to r+1.
In view of Mori theory, rational homogenous manifolds satisfy a recursive condition: every elementary contraction is a rational homogeneous fibration and the image of any elementary contraction also satisfies the same property. In this paper, we show that a smooth Fano $n$-fold with the same condition and Picard number greater than $n-6$ is either a rational homogeneous manifold or the product of $n-7$ copies of $\mathbb{P}^1$ and a Fano $7$-fold $X_0$ constructed by G. Ottaviani. We also clarify that $X_0$ has non-nef tangent bundle and in particular is not rational homogeneous.
Let X be a smooth, complete, toric variety. We study those curves C in X that are contractible, in the sense that there exists an equivariant morphism with connected fibers, with source X, that contracts exactly the irreducible curves that are numerically equivalent to a multiple of C. When X is projective, we compare contractible and extremal curves, and we show that every curve in X is numerically equivalent to a linear combination with positive integral coefficients of contractible curves.
The Losev-Manin moduli space parametrizes pointed chains of projective lines. In this paper we study a possible generalization to families of pointed degenerate toric varieties. Geometric properties of these families, such as flatness and reducedness of the fibers, are explored via a combinatorial characterization. We show that such families are described by a specific type of polytope fibration which generalizes the twisted Cayley sums, originally introduced to characterize elementary extremal contractions of fiber type associated to projective $\mathbb{Q}$-factorial toric varieties with posi…
Let X be a Fano variety of dimension n, pseudoindex i_X and Picard number ρ_X. A generalization of a conjecture of Mukai says that ρ_X(i_X-1)\le n. We prove that the conjecture holds if: a) X has pseudoindex i_X \ge \frac{n+3}{3} and either has a fiber type extremal contraction or does not have small extremal contractions b) X has dimension five.
All varieties, extremal contractions, singularities are divided on exceptional and non-exceptional ones. Roughly speaking, there are the infinite families of non-exceptional varieties, extremal contractions or singularities and only the finite number of the types of exceptional ones. This subdivision is well demonstrated by the example of Du Val singularities. There are two infinite series of non-exceptional singularities: $A_n$ and $D_n$ and only three types of exceptional ones: $E_6$, $E_7$ and $E_8$. Also the importance of exceptionality phenomenon follows from the next observation: A). If …
We study how relative quantum cohomology, defined by Tseng--You and Fan--Wu--You, varies under birational transformations. For toric complete intersections with simple normal crossings divisors that contain the loci of indeterminacy, we prove that their respective relative $I$-functions can be directly identified. For toric complete intersections with smooth divisors, we prove that their respective relative $I$-functions are related by analytic continuation. We also study some connections with extremal transitions and FJRW theory.