Related papers: Letters of a Bi-Rationalist IV: Geometry of log fl…
We show that the minimal log discrepancy of any isolated Fano cone singularity is at most the dimension of the variety. This is based on its relation with dimensions of moduli spaces of orbifold rational curves. We also propose a…
Minimal log discrepancies (mld's) are related not only to termination of log flips, and thus to the existence of log flips but also to the ascending chain condition (acc) of some global invariants and invariants of singularities in the Log…
We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal…
We construct exceptional Fano varieties with the smallest known minimal log discrepancies in all dimensions. These varieties are well-formed hypersurfaces in weighted projective space. Their minimal log discrepancies decay doubly…
To construct a resulting model in LMMP is sufficient to prove existence of log flips and their termination for certain sequences. We prove that LMMP in dimension $d-1$ and termination of terminal log flips in dimension $d$ imply, for any…
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,…
The minimal log discrepancy is an invariant of singularities that plays an important role in the birational classification of algebraic varieties. Shokurov conjectured that the minimal log discrepancy can always be bounded from above in…
We treat two different topics on the log minimal model program, especially for four-dimensional log canonical pairs. (a) Finite generation of the log canonical ring in dimension four. (b) Abundance theorem for irregular fourfolds. We obtain…
In this note, we reduce various conjectures in birational geometry, including Shokurov conjecture on singularities of the base of log Calabi-Yau fibrations of Fano type and boundedness conjecture for rationally connected Calabi-Yau…
Let X be a smooth Fano variety of dimension at least 4. We show that if X has an elementary birational contraction sending a divisor to a curve, then the Picard number of X is smaller or equal to 5.
We construct klt projective varieties with ample canonical class and the smallest known volume. We also find exceptional klt Fano varieties with the smallest known anticanonical volume. We conjecture that our examples have the smallest…
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…
In this paper, we continue the study of Serrano's conjecture in low dimensions. We focus on two special cases of the log version of Serrano's conjecture: the ampleness conjecture and the log version of Campana--Peternell's conjecture. In…
We prove that in the parameter space of $M$-dimensional Fano complete intersections of index one and codimension two the locus of varieties that are not birationally superrigid has codimension at least $\frac12 (M-9)(M-10)-1$.
We prove that every log crepant birational morphism between log terminal surfaces is decomposed into log-flopping type divisorial contraction morphisms and log blow-downs. Repeating these two kinds of contractions we reach a minimal log…
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…
Our central observation is that unbounded additive recurrence establishes a homomorphism between $\mathbb{N}$ and Modus Ponens in a constructive sense. By finding sums of nonconsecutive Fibonacci indices, each inference step corresponds to…
We prove that any sequence of 4-dimensional log flips that begins with a klt pair (X,D) such that -(K+D) is numerically equivalent to an effective divisor, terminates. This implies termination of flips that begin with a log Fano pair and…
On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a…
This paper shows that Mustata-Nakamura's conjecture holds for pairs consisting of a smooth surface and a multiideal with a real exponent over the base field of positive characteristic. As corollaries, we obtain the ascending chain condition…