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].

What problem does this paper attempt to address?

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.
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.
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.
Minimal models for minimal BCOV theories

Surya Raghavendran,Philsang Yoo

2024-10-16

Abstract:Minimal BCOV theory is a classical field theory which describes a subclass of deformations of the category of perfect complexes on a Calabi-Yau variety. We compute minimal models for $L_\infty$-algebras describing minimal BCOV theory and its variants on flat space and find that they give certain $L_\infty$-extensions of the infinite-dimensional simple Lie superalgebra $\operatorname{SHO}(d|d)$. We apply this computation to compare an $\mathfrak{sl}_2$ action on an odd two-dimensional central extension of $\operatorname{SHO}(3|3)$ first discovered by Kac to an action of $\mathfrak{sl}_2$ on a variant of minimal BCOV theory previously found by the authors.

Mathematical Physics,High Energy Physics - Theory,Quantum Algebra
Log Canonical Algebras and Modules

Caucher Birkar

DOI: https://doi.org/10.2969/jmsj/06541319

2013-01-01

Journal of the Mathematical Society of Japan

Abstract:Let (X/Z, B) be a Ic pair with K-X + B pseudo-effective/Z and Z affine. We show that (X/Z, B) has a good log minimal model if and only if its log canonical algebra and modules are finitely generated.
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
Minimal Finite Models

Jonathan Ariel Barmak,Elias Gabriel Minian

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

2006-11-07

Abstract:We characterize the smallest finite spaces with the same homotopy groups of the spheres. Similarly, we describe the minimal finite models of any finite graph. We also develop new combinatorial techniques based on finite spaces to study classical invariants of general topological spaces.

Algebraic Topology
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.
Anticanonical minimal models and Zariski decomposition

Sungwook Jang

2024-05-17

Abstract:Birkar and Hu showed that if a pair $(X,\Delta)$ is lc and $K_{X}+\Delta$ admits a birational Zariski decomposition, then $(X,\Delta)$ has a minimal model. Analogously, we prove that if a pair $(X,\Delta)$ is pklt and $-(K_{X}+\Delta)$ admits a birational Zariski decomposition, then $(X,\Delta)$ has an anticanonical minimal

Algebraic Geometry
The Minimal Model Program Revisited

Paolo Cascini,Vladimir Lazić

DOI: https://doi.org/10.4171/114-1/6

2012-02-03

Abstract:We give a light introduction to some recent developments in Mori theory, and to our recent direct proof of the finite generation of the canonical ring.

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
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
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.
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
Remarks on the existence of minimal models of log canonical generalized pairs

Nikolaos Tsakanikas,Lingyao Xie

2024-04-15

Abstract:Given an NQC log canonical generalized pair $(X,B+M)$ whose underlying variety $X$ is not necessarily $\mathbb{Q}$-factorial, we show that one may run a $(K_X+B+M)$-MMP with scaling of an ample divisor which terminates, provided that $(X,B+M)$ has a minimal model in a weaker sense or that $K_X+B+M$ 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
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 MINIMAL HORSE-SHOE LEMMA

Guo-Jun Wang,Fang Li

DOI: https://doi.org/10.11650/twjm/1500574161

2008-01-01

Taiwanese Journal of Mathematics

Abstract:The main purpose of this paper is to find the conditions for the Minimal Horse-Shoe Lemma to be hold in some categories of graded modules. Using the Minimal Horse-Shoe Lemma, we prove that the category of p-Koszul modules is closed under direct sums, direct summands, extensions and cokernels.
Boundedness of stable minimal models with klt singularities

Minzhe Zhu

2024-06-28

Abstract:We investigate the singularities and boundedness of a special kind of algebraic varieties so-called stable minimal models, which are constructed and studied by Birkar. Given a klt stable minimal model with bounded relative volume, if we fix the dimension, Iitaka volume, and a DCC set controlling coefficients, then we show that the singularities of the klt stable minimal model can be controlled uniformly. Furthermore, we prove that with certain bounded data, stable minimal models with klt singularities form a bounded family.

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

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

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

Log Minimal Models According to Shokurov

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

Minimal models for minimal BCOV theories

Log Canonical Algebras and Modules

On existence of log minimal models

Minimal Finite Models

Existence of Log Canonical Flips and a Special LMMP

Anticanonical minimal models and Zariski decomposition

The Minimal Model Program Revisited

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

On the existence of minimal models for log canonical pairs

On Existence of Log Minimal Models and Weak Zariski Decompositions

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

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

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

ON MINIMAL HORSE-SHOE LEMMA

Boundedness of stable minimal models with klt singularities

On minimal model theory for algebraic log surfaces