On Termination of Log Flips in Dimension Four

Caucher Birkar

DOI: https://doi.org/10.1007/s00208-009-0396-7

2009-01-01

Mathematische Annalen

Abstract:We prove the termination of 4-fold log flips for klt pairs of Kodaira dimension κ ≥ 2.

What problem does this paper attempt to address?

Termination of (many) 4-dimensional log flips

Valery Alexeev,Christopher Hacon,Yujiro Kawamata

DOI: https://doi.org/10.1007/s00222-007-0038-1

2006-05-17

Abstract: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 termination of flips in a relative birational setting. We also prove termination of directed flips with big K+D. As a consequence, we prove existence of minimal models of 4-dimensional dlt pairs of general type, existence of 5-dimensional log flips, and rationality of Kodaira energy in dimension 4.

Algebraic Geometry
Ascending Chain Condition for Log Canonical Thresholds and Termination of Log Flips

Caucher Birkar

DOI: https://doi.org/10.1215/s0012-7094-07-13615-9

2006-01-01

Duke Mathematical Journal

Abstract:We prove that the ascending chain condition (ACC) for log canonical (lc) thresholds in dimension $d$ and Special Termination in dimension $d$ imply the termination of any sequence of log flips starting with a $d$-dimensional lc pair of nonnegative Kodaira dimension. In particular, in characteristic zero, the latter termination in dimension 4 follows from Alexeev-Borisov's conjecture in dimension 3.
Termination of 4-fold canonical flips

Osamu Fujino

DOI: https://doi.org/10.48550/arXiv.math/0301154

2003-01-15

Abstract:We prove the termination of 4-fold canonical flips.

Algebraic Geometry
Log Minimal Models According to Shokurov

Caucher Birkar

DOI: https://doi.org/10.2140/ant.2009.3.951

2009-01-01

Algebra & Number Theory

Abstract:Following Shokurov's ideas, we give a short proof of the following klt version of his result: termination of terminal log flips in dimension d implies that any klt pair of dimension d has a log minimal model or a Mori fibre space. Thus, in particular, any klt pair of dimension 4 has a log minimal model or a Mori fibre space.
On termination of flips and exceptionally non-canonical singularities

Jingjun Han,Jihao Liu

DOI: https://doi.org/10.48550/arXiv.2209.13122

2022-09-27

Algebraic Geometry

Abstract:We reduce the termination of flips to the termination of terminal flips and the ACC conjecture for minimal log discrepancies (mlds) for exceptionally non-canonical (enc) pairs, a class of very restrictive singularities. As a consequence, the ACC conjecture for enc pairs implies the termination of flips in dimension $4$. We also show that the termination of flips follows from the lower-semicontinuity for mlds for terminal pairs, and the ACC for mlds for terminal and enc pairs. Moreover, in dimension $3$, we give a rough classification of enc singularities, and prove the ACC for mlds for enc pairs. These two results provide a proof on the termination of flips in dimension $3$ which does not rely on any difficulty function.
Nakayama-Zariski decomposition and the termination of flips

Vladimir Lazić,Zhixin Xie

2024-02-01

Abstract:We show that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a Minimal Model Program.

Algebraic Geometry
Existence of Log Canonical Flips and a Special LMMP

Caucher Birkar

DOI: https://doi.org/10.1007/s10240-012-0039-5

2012-01-01

Abstract:Let (X/Z,B+A) be a Q-factorial dlt pair where B,A≥0 are Q-divisors and K X +B+A∼ Q 0/Z. We prove that any LMMP/Z on K X +B with scaling of an ample/Z divisor terminates with a good log minimal model or a Mori fibre space. We show that a more general statement follows from the ACC for lc thresholds. An immediate corollary of these results is that log flips exist for log canonical pairs.
Logarithmic Vanishing Theorems for Effective Q-Ample Divisors

Kefeng Liu,Xueyuan Wan,Xiaokui Yang

DOI: https://doi.org/10.1007/s11425-019-9553-2

2019-01-01

Science China Mathematics

Abstract:Let X be a compact Kähler manifold and D be a simple normal crossing divisor. If D is the support of some effective k-ample divisor, we show H^q(X,Ω^p_X(log D))=0, for p+q>n+k.
Logarithmic vanishing theorems on compact K\"{a}hler manifolds I

Chunle Huang,Kefeng Liu,Xueyuan Wan,Xiaokui Yang

2016-01-01

Abstract:In this paper, we first establish an $L^2$-type Dolbeault isomorphism for logarithmic differential forms by Hormanderu0027s $L^2$-estimates. By using this isomorphism and the construction of smooth Hermitian metrics, we obtain a number of new vanishing theorems for sheaves of logarithmic differential forms on compact Kahler manifolds with simple normal crossing divisors, which generalize several classical vanishing theorems, including Norimatsuu0027s vanishing theorem, Gibrauu0027s vanishing theorem, Le Potieru0027s vanishing theorem and a version of the Kawamata-Viehweg vanishing theorem.
Vanishing Theorems for Sheaves of Logarithmic Differential Forms on Compact Kähler Manifolds

Chunle Huang,Kefeng Liu,Xueyuan Wan,Xiaokui Yang

DOI: https://doi.org/10.1093/imrn/rnac204

2023-01-01

International Mathematics Research Notices

Abstract:In this paper, we first establish an L-2-type Dolbeault isomorphism for logarithmic differential forms by Hrmander's L-2 estimates. By using this isomorphism and the construction of smooth Hermitian metrics, we obtain a number of new vanishing theorems for sheaves of logarithmic differential forms on compact Kahler manifolds with simple normal crossing divisors, which generalize several classical vanishing theorems, including Norimatsu's vanishing theorem, Girbau's vanishing theorem, Le Potier's vanishing theorem, and a version of the Kawamata-Viehweg vanishing theorem.
Mld's vs thresholds and flips

Caucher Birkar,V.V. Shokurov

DOI: https://doi.org/10.48550/arXiv.math/0609539

2006-09-20

Abstract: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 Minimal Model Program (LMMP). In this paper, we draw clear links between several central conjectures in the LMMP. More precisely, our main result states that the LMMP, the acc conjecture for mld's and the boundedness of canonical Mori-Fano varieties in dimension $\le d$ imply the following: the acc conjecture for $a$-lc thresholds, in particular, for canonical and log canonical (lc) thresholds in dimension $\le d$; the acc conjecture for lc thresholds in dimension $\le d+1$; termination of log flips in dimension $\le d+1$ for effective pairs; and existence of pl flips in dimension $\le d+2$. This also gives new proofs of some well-known and new results in the field in low dimensions: the acc conjecture holds for $a$-lc thresholds of surfaces; the acc conjecture holds for lc thresholds of 3-folds; termination of 3-fold log flips holds for effective pairs; and the existence of 4-fold pl flips holds.

Algebraic Geometry
On the strong Sarkisov program

Yang He

2024-10-14

Abstract:We showed that the strong Sarkisov Program of dimension $d$ can be derived from termination of specific log flips in dimension $\leq d-1$. As a corollary, we show that the strong Sarkisov Program holds in dimension 4. Additionally, we prove the weak Sarkisov program with decreasing (augmented) Sarkisov degree. Finally, using the theory of syzygies of Mori fibre spaces, we obtain a directed diagram that encodes all the information of the strong Sarkisov Program.

Algebraic Geometry
On Shokurov's Log Flips: The 3-dimensional Case

Caucher Birkar

2003-01-01

Abstract:This is a survey on the recent fundamental paper by V.V. Shokurov on the existence of log flips.
The Existence of Gorenstein terminal fourfold flips

Hiromichi Takagi

DOI: https://doi.org/10.48550/arXiv.math/9905067

1999-05-19

Abstract:This is a revised version of my paper which appeared in J. Math. Sci. Univ. Tokyo. We prove that for a flipping contraction from a Gorenstein terminal 4-fold, the pull back of a general hyperplane section of the down-stair has only canonical singularities. Based on this fact and using Siu-Kawamata-Nakayama's extension theorem [Si], [Kaw4], [Kaw5] and [Nak2], we prove the existence of the flip of such a flipping contraction. Furthermore we classify such flipping contractions and the flips under some additional assumptions.

Algebraic Geometry
Existence of Flips and Minimal Models for 3-Folds in Char P

Caucher Birkar

DOI: https://doi.org/10.24033/asens.2279

2016-01-01

Annales Scientifiques de l École Normale Supérieure

Abstract:We will prove the following results for $3$-fold pairs $(X,B)$ over an algebraically closed field $k$ of characteristic $p>5$: log flips exist for $\Q$-factorial dlt pairs $(X,B)$; log minimal models exist for projective klt pairs $(X,B)$ with pseudo-effective $K_X+B$; the log canonical ring $R(K_X+B)$ is finitely generated for projective klt pairs $(X,B)$ when $K_X+B$ is a big $\Q$-divisor; semi-ampleness holds for a nef and big $\Q$-divisor $D$ if $D-(K_X+B)$ is nef and big and $(X,B)$ is projective klt; $\Q$-factorial dlt models exist for lc pairs $(X,B)$; terminal models exist for klt pairs $(X,B)$; ACC holds for lc thresholds; etc.
On finiteness of log canonical models

Zhan Li

DOI: https://doi.org/10.48550/arXiv.2006.01370

2020-06-02

Abstract:Let $(X, \Delta)/U$ be klt pairs and $Q$ be a convex set of divisors. Assuming that the relative Kodaira dimensions are non-negative, then there are only finitely many log canonical models when the boundary divisors varying in a relatively compact rational polytope in $Q$. As a consequence, we show the existence of the log canonical model for a klt pair $(X, \Delta)/U$ with real coefficients.

Algebraic Geometry
On diminished multiplier ideal and the termination of flips

Donghyeon Kim

2024-07-01

Abstract:In this paper, we develop a theory of diminished multiplier ideals on singular varieties which was introduced by Hacon, and developed by Lehmann. We prove a result regarding the termination of certain type of flips with scaling of an ample divisor if the Cartier index is bounded, and if $\kappa_{\sigma}(K_X+\Delta)\ge \dim X-1$ holds. The proof uses a theory of diminished multiplier ideal.

Algebraic Geometry
On the Minimal Model Program for Kähler 3-folds

Omprokash Das,Christopher Hacon

2024-06-26

Abstract:In this article we prove the existence of pl-flipping and divisorial contractions and pl flips in dimension $n$ for compact Kähler varieties, assuming results of the minimal model program in dimension $n-1$. We also give a self contained proof of the cone theorem, the existence of flipping and divisorial contractions, of flips and minimal models in dimension 3.

Algebraic Geometry,Complex Variables
On Log Canonical MMP for Kähler 3-Fold

Roktim Mascharak

2023-06-13

Abstract:In this article we show that the Log Minimal Model Program holds for $\mathbb{Q}$-factorial lc pair $(X,\Delta)$ with $X$ being a compact Kähler $3$-fold having only klt singularities.

Algebraic Geometry
On structures and discrepancies of klt Calabi--Yau pairs

Junpeng Jiao

2024-10-02

Abstract:We study the structures of klt Calabi--Yau pairs. We show that the discrepancies of log centers of all klt Calabi--Yau varieties with fixed dimension are in a finite set. As a corollary, we show that the index of 4-dimensional non-canonical Calabi--Yau variety is bounded.

Algebraic Geometry

On Termination of Log Flips in Dimension Four

Termination of (many) 4-dimensional log flips

Ascending Chain Condition for Log Canonical Thresholds and Termination of Log Flips

Termination of 4-fold canonical flips

Log Minimal Models According to Shokurov

On termination of flips and exceptionally non-canonical singularities

Nakayama-Zariski decomposition and the termination of flips

Existence of Log Canonical Flips and a Special LMMP

Logarithmic Vanishing Theorems for Effective Q-Ample Divisors

Logarithmic vanishing theorems on compact K\"{a}hler manifolds I

Vanishing Theorems for Sheaves of Logarithmic Differential Forms on Compact Kähler Manifolds

Mld's vs thresholds and flips

On the strong Sarkisov program

On Shokurov's Log Flips: The 3-dimensional Case

The Existence of Gorenstein terminal fourfold flips

Existence of Flips and Minimal Models for 3-Folds in Char P

On finiteness of log canonical models

On diminished multiplier ideal and the termination of flips

On the Minimal Model Program for Kähler 3-folds

On Log Canonical MMP for Kähler 3-Fold

On structures and discrepancies of klt Calabi--Yau pairs