On Existence of Log Minimal Models II

Caucher Birkar

DOI: https://doi.org/10.1515/crelle.2011.062

2011-01-01

Journal für die reine und angewandte Mathematik (Crelles Journal)

Abstract:We prove that the existence of log minimal models in dimension $d$ essentially implies the LMMP with scaling in dimension $d$. As a consequence we prove that a weak nonvanishing conjecture in dimension $d$ implies the minimal model conjecture in dimension $d$.

What problem does this paper attempt to address?

On existence of log minimal models

Caucher Birkar

DOI: https://doi.org/10.1112/S0010437X09004564

2009-07-24

Abstract:In this paper, we prove that the log minimal model program in dimension $d-1$ implies the existence of log minimal models for effective lc pairs (eg of nonnegative Kodaira dimension) in dimension $d$. In fact, we prove that the same conclusion follows from a weaker assumption, namely, the log minimal model program with scaling in dimension $d-1$. This enables us to prove that effective lc pairs in dimension five have log minimal models. We also give new proofs of the existence of log minimal models for effective lc pairs in dimension four and the Shokurov reduction theorem. Other applications appear in a paper of Birkar-Paun.

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 Existence of Log Minimal Models and Weak Zariski Decompositions

Caucher Birkar

DOI: https://doi.org/10.1007/s00208-011-0756-y

2011-01-01

Mathematische Annalen

Abstract:We first introduce a weak type of Zariski decomposition in higher dimensions: an ${\mathbb {R}}$ -Cartier divisor has a weak Zariski decomposition if birationally and in a numerical sense it can be written as the sum of a nef and an effective ${\mathbb {R}}$ -Cartier divisor. We then prove that there is a very basic relation between Zariski decompositions and log minimal models which has long been expected: we prove that assuming the log minimal model program in dimension d − 1, a lc pair (X/Z, B) of dimension d has a log minimal model (in our sense) if and only if K X + B has a weak Zariski decomposition/Z.
Almost minimal models of log surfaces

Karol Palka

2024-02-11

Abstract:We generalize Miyanishi's theory of almost minimal models of log smooth surfaces with reduced boundary to the case of arbitrary log surfaces defined over an algebraically closed field. Given an MMP run of a log surface $(X,D)$ we define and construct its almost minimal model, whose underlying surface has singularities not worse than $X$ and which differs from a minimal model by a contraction of some curves supported in the boundary only. For boundaries of type $rD$, where $D$ is reduced and $r\in [0,1]\cap \mathbb{Q}$, we show that if $X$ is smooth or $r\in [0,\frac{1}{2}]$ then the construction respects $(1-r)$-divisorial log terminality and $(1-r)$-log canonicity. We show that the assumptions are optimal, too.

Algebraic Geometry
Supplement to the Paper "on Existence of Log Minimal Models II"

Caucher Birkar

2011-01-01

Abstract:We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a detailed proof here for future reference.
Remarks on the existence of minimal models of log canonical generalized pairs

Nikolaos Tsakanikas,Lingyao Xie

DOI: https://doi.org/10.1007/s00209-024-03489-6

2024-04-27

Mathematische Zeitschrift

Abstract:Given an NQC log canonical generalized pair whose underlying variety X is not necessarily -factorial, we show that one may run a -MMP with scaling of an ample divisor which terminates, provided that has a minimal model in a weaker sense or that is not pseudo-effective. We also prove the existence of minimal models of pseudo-effective NQC log canonical generalized pairs under various additional assumptions, for instance when the boundary contains an ample divisor.

mathematics
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.
On the $4$-dimensional minimal model program for Kähler varieties

Omprokash Das,Christopher Hacon,Mihai Păun

DOI: https://doi.org/10.1016/j.aim.2024.109615

2024-04-09

Abstract:In this article we establish the following results: Let $(X, B)$ be a dlt pair, where $X$ is a $\mathbb Q$-factorial Kähler $4$-fold -- (i) if $X$ is compact and $K_X+B\sim_{\mathbb Q} D\geq 0$ for some effective $\mathbb Q$-divisor, then $(X, B)$ has a log minimal model, (ii) if $(X/T, B)$ is a semi-stable klt pair, $W\subset T$ a compact subset and $K_X+B$ is effective over $W$ (resp. not effective over $W$), then we can run a $(K_X+B)$-MMP over $T$ (in a neighborhood of $W$) which ends with a minimal model over $T$ (resp. a Mori fiber space over $T$). We also give a proof of the existence of flips for analytic varieties in all dimensions and the relative MMP for projective morphisms between analytic varieties.

Complex Variables
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.
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 minimal model theory for algebraic log surfaces

Osamu Fujino

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

2020-12-02

Abstract:We introduce the notion of generalized MR log canonical surfaces and establish the minimal model theory for generalized MR log canonical surfaces in full generality.

Algebraic Geometry
On the existence of minimal models for log canonical pairs

Vladimir Lazić,Nikolaos Tsakanikas

DOI: https://doi.org/10.4171/PRIMS/58-2-3

2020-04-14

Abstract:We show that minimal models of log canonical pairs exist, assuming the existence of minimal models of smooth varieties.

Algebraic Geometry
The log minimal model program for Kähler $3$-folds

Omprokash Das,Christopher Hacon

2024-04-09

Abstract:In this article we show that the Log Minimal Model Program for $\mathbb{Q}$-factorial dlt pairs $(X, B)$ on a compact Kähler $3$-fold holds. More specifically, we show that after finitely many divisorial contractions and flips we obtain either a (log) minimal model or a Mori fiber space. We also prove a base point free theorem Kähler $3$-folds.

Algebraic Geometry,Complex Variables
Stable Reduction via the Log Canonical Model

Tai-Hsuan Chung

2024-11-27

Abstract:We formulate a stable reduction conjecture that extends Deligne-Mumford's stable reduction to higher dimensions and provide a simple proof that it holds in large characteristic, assuming two standard conjectures of the Minimal Model Program. As a result, we recover the Hacon-Kovács theorem on the properness of the moduli stack $\overline{\mathscr{M}}_{2,v,k}$ of stable surfaces of volume $v$ defined over $k=\overline{k}$, provided that $\operatorname{char}k>C(v)$, a constant depending only on $v$.

Algebraic Geometry
Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV\n and Y.-T. SIU

Caucher Birkar,Mihai Paun

DOI: https://doi.org/10.4171/007-1/4

2009-01-01

Abstract: In this paper, we discuss a proof of existence of log minimal models or Mori fibre spaces for klt pairs $(X/Z,B)$ with $B$ big$/Z$. This then implies existence of klt log flips, finite generation of klt log canonical rings, and most of the other results of Birkar-Cascini-Hacon-McKernan paper.
Minimal model program for log canonical pairs on complex analytic spaces

Makoto Enokizono,Kenta Hashizume

2024-04-08

Abstract:We study the minimal model program for lc pairs on projective morphism between complex analytic spaces. More precisely, we generalize the results by Birkar and the second author to the setup by Fujino.

Algebraic Geometry
On boundedness of singularities and minimal log discrepancies of Kollár components, II

Ziquan Zhuang

2023-12-24

Abstract:We show that a set of K-semistable log Fano cone singularities is bounded if and only if their local volumes are bounded away from zero, and their minimal log discrepancies of Kollár components are bounded from above. As corollaries, we confirm the boundedness conjecture for K-semistable log Fano cone singularities in dimension three, and show that local volumes of 3-dimensional klt singularities only accumulate at zero.

Algebraic Geometry,Commutative Algebra,Differential Geometry
Minimal Models, Flips And Finite Generation: A Tribute To Vv Shokurov And Y.-T. Siu

C. Birkar,M. Paun

2010-01-01

Abstract:In this paper, we give a proof of the existence of log minimal models for kit pairs (X/Z, B) with B big/Z. This then implies existence of kit log flips, finite generation of kit log canonical rings, and most of the other results of the Birkar-Cascini-Hacon-McKernan paper [3].
Log canonical pairs with conjecturally minimal volume

Louis Esser,Burt Totaro

2024-05-07

Abstract:We construct log canonical pairs $(X,B)$ with $B$ a nonzero reduced divisor and $K_X+B$ ample that have the smallest known volume. We conjecture that our examples have the smallest volume in each dimension. The conjecture is true in dimension 2, by Liu and Shokurov. The examples are weighted projective hypersurfaces that are not quasi-smooth. We also develop an example for a related extremal problem. Esser constructed a klt Calabi-Yau variety which conjecturally has the smallest mld in each dimension (for example, mld $1/13$ in dimension 2 and $1/311$ in dimension 3). However, the example was only worked out completely in dimensions at most 18. We now prove the desired properties of Esser's example in all dimensions (in particular, determining its mld).

Algebraic Geometry

On Existence of Log Minimal Models II

On existence of log minimal models

Log Minimal Models According to Shokurov

On Existence of Log Minimal Models and Weak Zariski Decompositions

Almost minimal models of log surfaces

Supplement to the Paper "on Existence of Log Minimal Models II"

Remarks on the existence of minimal models of log canonical generalized pairs

Existence of Log Canonical Flips and a Special LMMP

On the $4$-dimensional minimal model program for Kähler varieties

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

Mld's vs thresholds and flips

On minimal model theory for algebraic log surfaces

On the existence of minimal models for log canonical pairs

The log minimal model program for Kähler $3$-folds

Stable Reduction via the Log Canonical Model

Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV\n and Y.-T. SIU

Minimal model program for log canonical pairs on complex analytic spaces

On boundedness of singularities and minimal log discrepancies of Kollár components, II

Minimal Models, Flips And Finite Generation: A Tribute To Vv Shokurov And Y.-T. Siu

Log canonical pairs with conjecturally minimal volume