In this paper the three-dimensional divisorial contractions $f\colon Y\to (X\ni P)$ are classified provided that $\Exc f=E$ is an irreducible divisor, $f(E)=P$, the variety $Y$ has canonical singularities and $(X\ni P)$ is a toric terminal singularity.
We show that terminal 3-fold divisorial contraction to a point of index $>1$ with non-minimal discrepancy may be factored into a sequence of flips, flops and divisorial contractions to a point with minimal discrepancies.
We study Calabi--Yau 3-folds with infinitely many divisorial contractions. We also suggest a method to describe Calabi--Yau 3-folds with the infinite automorphism group.
We show that 3-fold terminal flips and divisorial contractions to a curve may be factored by a sequence of weighted blow-ups, flops, blow-downs to a locally complete intersection curve in a smooth 3-fold or divisorial contractions to a point.
We treat threefolds with divisorial contractions whose exceptional divisors contract to compound Du Val points. We prove that general elements in their anticanonical systems around the exceptional divisors have at worst Du Val singularities. As applications to classification, we describe divisorial contractions to compound A_n points, and moreover we conclude that discrepancies of divisorial contractions to compound D_n or E_n points are at most four.
We deal with a divisorial contraction in dimension 3 which contracts its exceptional divisor to a cA_1 point. We prove that any such contraction is obtained by a suitable weighted blow-up.
We deal with a divisorial contraction in dimension 3 which contracts its exceptional divisor to a smooth point. We prove that any such contraction can be obtained by a suitable weighted blow-up.
Let C be a smooth curve on an index 1 terminal 3-fold. We investigate the existence of extremal terminal divisorial contractions Y-->X that contract an irreducible surface E to C. We consider cases in respect to the singularities of the general hypersurface section S of X through C. We completely classify such contractions in the case that S has A_i, i < 4 and D_2n for any n, type singularities.
The semistable minimal model program is a special case of the minimal model program concerning 3-folds fibred over a curve and birational morphisms preserving this structure. We classify semistable divisorial contractions which contract the exceptional divisor to a normal point of a fibre. Our results can be applied to describe compact moduli spaces of surfaces.
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.
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.
We complete the explicit study of a three-fold divisorial contraction whose exceptional divisor contracts to a point, by treating the case where the point downstairs is a singularity of index $n \ge 2$. We prove that if this singularity is of type c$A/n$ then any such contraction is a suitable weighted blow-up; and that if otherwise then the discrepancy is $1/n$ with a few exceptions. Every such exception has an example. Some exceptions allow the discrepancy to be arbitrarily large, but any contraction in this case is described as a weighted blow-up of a singularity of type c$D/2$ embedded int…
Let X/T be a one parameter family of canonical 3-folds and let D be a Weil divisor on it flat over T. We study the problem of when the D_t-minimal models of X_t form a family and we obtain conditions for this to happen. As an application of this we classify terminal divisorial contractions Y-->X that contract an irreducible divisor E onto a smooth curve C in the case when the general hyperplane section S of X through C is a D5 DuVal singularity.
Following the first paper, we continue to study Mori extractions from singular curves centred in a smooth 3-fold. We treat the case where the divisorial extraction exists in relative codimension at most 3.
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(国立研究大学高等经济大学)
In this paper, we will list up all the cases for the ray contractions of divisorial and fiber types for smooth projective varieties of dimension five. These are obtained as a corollary from the lists of n-dimensional k-th adjoint contractions f: X -> Y of the same types for k=1,2,3 and 4 (n> or =5). The lists for k=1,2 and 3 have previously been obtained in [Na], Proposition 1.2 and Theorem 1.3. The main task will be to have such a list for k=4, where one case in the list fails to show that a positive-dimensional general fiber F of f is irreducible when n>5. This assertion will, however, be pr…
In this paper, we initiate our investigation of log canonical models for the moduli space of curves with the boundary divisor $\a \d$ as we decrease $\a$ from 1 to 0. We prove that for the first critical value $\a = 9/11$, the log canonical model is isomorphic to the moduli space of pseudostable curves, which have nodes and cusps as singularities. We also show that $\a = 7/10$ is the next critical value, i.e., the log canonical model stays the same in the interval $(7/10, 9/11]$. In the appendix, we develop a theory of log canonical models of stacks that explains how these can be expressed in …
Consider a singular curve $Γ$ contained in a smooth 3-fold $X$. Assuming the general elephant conjecture, the general hypersurface section $Γ\subset S\subset X$ is Du Val. Under that assumption, this paper describes the construction of a divisorial extraction from $Γ$ by Kustin--Miller unprojection. Terminal extractions from $Γ\subset X$ are proved not to exist if $S$ is of type $D_{2k}, E_7$ or $E_8$ and are classified if $S$ is of type $A_1,A_2$ or $E_6$. The $A_n$ and $D_{2k+1}$ cases shall be considered in a further paper.
We show that 3-fold terminal flips and divisorial contractions may be factored into a sequence of flops, blow-downs to a smooth curve in a smooth 3-fold or divisorial contractions to points with minimal discrepancies.
Let X be the germ of a Gorenstein 3-fold singularity and C a smooth curve through it such that the general hyperplane section S of X containing D is DuVal of type E6 or E7. In this paper we obtain criteria for the existence of a terminal divisorial extremal neighborhood f: Y-->X contracting an irreducible divisor E onto C and classify all such neighborhoods.
In dimension $n = 2m-2 \geq 4$ adjunction theoretic scrolls over a smooth $m$-fold may not be classical scrolls, due to the existence of divisorial fibers. A $4$-dimensional scroll $(X,L)$ over $\mathbb P^3$ of this type is considered, and the equation of its Hilbert curve $Γ$ is determined in two ways, one of which relies on the fact that $(X,L)$ is at the same time a classical scroll over a threefold $Y \not=\mathbb P^3$. It turns out that $Γ$ does not perceive divisorial fibers. The equation we obtain also shows that a question raised in a previous article by Beltrametti, Lanteri and Sommes…
We prove that any three dimensional terminal singularity $P \in X$ can be resolved by a sequence of divisorial contractions with minimal discrepancies which are weighted blowups over points.
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.
A generalization of S. Mukai's conjecture says that if $X$ is a Fano $n$-fold with Picard number $ρ_X$ and pseudo-index $i_X$, then $ρ_X(i_X-1) \leq n$, with equality if and only if $X \cong (\mathbb{P}^{i_X-1})^{ρ_X}$. In this paper, we prove that this conjecture holds if $n=6$ and either $X$ admits a contraction of fiber type or $X$ admits no small contractions.
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 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.
Let X be a smooth complex Fano 4-fold. We show that if X has a small elementary contraction, then the Picard number rho(X) of X is at most 12. This result is based on a careful study of the geometry of X, on which we give a lot of information. We also show that in the boundary case rho(X)=12 an open subset of X has a smooth fibration with fiber the projective line. Together with previous results, this implies if X is a Fano 4-fold with rho(X)>12, then every elementary contraction of X is divisorial and sends a divisor to a surface. The proof is based on birational geometry and the study of fam…
We study the birational geometry of a Fano 4-fold X from the point of view of Mori dream spaces; more precisely, we study rational contractions of X. Here a rational contraction is a rational map f: X-->Y, where Y is normal and projective, which factors as a finite sequence of flips, followed by a surjective morphism with connected fibers. Such f is called elementary if the difference of the Picard numbers of X and Y is 1. We first give a characterization of non-movable prime divisors in X, when X has Picard number at least 6; this is related to the study of birational and divisorial elementar…
In [5], Donovan and Wemyss introduced the contraction algebra of flopping curves in 3-folds. They conjectured that the contraction algebra determines the formal neighborhood of the underlying singularity of the contraction. In this paper, we prove that the contraction algebra together with its natural $A_\infty$-structure constructed in [10], determine the formal neighborhood of the singularity.
This note discusses recent new approaches to studying flopping curves on 3-folds. In a joint paper, the author and Michael Wemyss introduced a 3-fold invariant, the contraction algebra, which may be associated to such curves. It characterises their geometric and homological properties in a unified manner, using the theory of noncommutative deformations. Toda has now clarified the enumerative significance of the contraction algebra for flopping curves, calculating its dimension in terms of Gopakumar-Vafa invariants. Before reviewing these results, and others, I give a brief introduction to the …
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 study Mori fiber spaces over a two-dimensional base which satisfy the semistability assumption. As an application of our technique we give a new proof of the existence of semistable 3-fold flips.
We shall investigate flipping contractions from a semi-stable 4-fold $X$ whose degenerate fiber is a union of Cartier divisors which are terminal factorial 3-folds. Especially we shall prove that $X$ is smooth along the flipping locus, and that the flip exists for such contractions.
Let (X,0) be a germ of complex analytic normal variety, non-singular outside 0. An essential divisor over (X,0) is a divisorial valuation of the field of meromorphic functions on (X,0), whose center on any resolution of the germ is an irreducible component of the exceptional locus. The Nash map associates to each irreducible component of the space of arcs through 0 on X the unique essential divisor intersected by the strict transform of the generic arc in the component. Nash proved its injectivity and asked if it was bijective. We prove that this is the case if there exists a divisorial resolu…
In the present work we classify the relatively minimal 3-dimensional quasihomogeneous complex projective varieties under the assumption that the automorphism group is not solvable. By relatively minimal we understand varieties X having at most Q-factorial terminal singularities and allowing an extremal contraction X to Y, where dim Y <3.
We study (smooth, complex) Fano 4-folds X having a rational contraction of fiber type, that is, a rational map X-->Y that factors as a sequence of flips followed by a contraction of fiber type. The existence of such a map is equivalent to the existence of a non-zero, non-big movable divisor on X. Our main result is that if Y is not P^1 or P^2, then the Picard number rho(X) of X is at most 18, with equality only if X is a product of surfaces. We also show that if a Fano 4-fold X has a dominant rational map X-->Z, regular and proper on an open subset of X, with dim(Z)=3, then either X is a produ…
Two 3-fold flops are exhibited, both of which have precisely one flopping curve. One of the two flops is new, and is distinct from all known algebraic D4-flops. It is shown that the two flops are neither algebraically nor analytically isomorphic, yet their curve-counting Gopakumar-Vafa invariants are the same. We further show that the contraction algebras associated to both are not isomorphic, so the flops are distinguished at this level. This shows that the contraction algebra is a finer invariant than various curve-counting theories, and it also provides more evidence for the proposed analyt…
Let $f:(X,B)\to Z$ be a 3-fold extremal dlt flipping contraction defined over an algebraically closed field of characteristic $p>5$, such that the coefficients of $\{B\}$ are in the standard set $\{1-\frac 1n|n\in \mathbb N\}$, then the flip of $f$ exists. As a consequence, we prove the existence of minimal models for any projective $\Q$-factorial terminal variety $X$ with pseudo-effective canonical divisor $K_X$.
For a generic anti-canonical hypersurface in each smooth toric Fano 4-fold with rank 2 Picard group, we prove there exist three isolated rational curves in it. Moreover, for all these 4-folds except one, the contractions of generic anti-canonical hypersurfaces along the three rational curves can be deformed to smooth threefolds diffeomorphic to connected sums of S^{3} \times S^{3}. In this manner, we obtain complex structures with trivial canonical bundles on some connected sums of S^{3} \times S^{3}. This construction is an analogue of that in Friedman [7], Lu and Tian [12] which used only qu…