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

What problem does this paper attempt to address?

Polarized Pairs, Log Minimal Models, and Zariski Decompositions

Caucher Birkar,Zhengyu Hu

DOI: https://doi.org/10.1215/00277630-2781096

2014-01-01

Nagoya Mathematical Journal

Abstract:AbstractWe continue our study of the relation between log minimal models and various types of Zariski decompositions. Let (X,B) be a projective log canonical pair. We will show that (X,B) has a log minimal model if either KX + B birationally has a Nakayama–Zariski decomposition with nef positive part, or if KX +B is big and birationally has a Fujita–Zariski or Cutkosky–Kawamata–Moriwaki–Zariski decomposition. Along the way we introduce polarized pairs (X,B +P), where (X,B) is a usual projective pair and where P is nef, and we study the birational geometry of such pairs.
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.
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
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
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 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
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
Log canonical pairs with good augmented base loci

caucher birkar,zhengyu hu

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

2014-01-01

Compositio Mathematica

Abstract:Let (X, B) be a projective log canonical pair such that B is a Q-divisor, and that there is a surjective morphism f : X -> Z onto a normal variety Z satisfying K-X + B similar to (Q) f*M for some big Q-divisor M, and the augmented base locus B+(M) does not contain the image of any log canonical centre of (X, B). We will show that (X, B) has a good log minimal model. An interesting special case is when f is the identity morphism.
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].
Existence of minimal models for threefold generalized pairs in positive characteristic

Tianle Yang,Zelin Ye,Zhiyao Zhang

2024-08-22

Abstract:Let $\mathbb{K}$ be an algebraically closed field of characteristic $p>5$. We show the existence of minimal models for pseudo-effective NQC klt generalized pairs in dimension three over $\mathbb{K}$. As a consequence, we prove the termination of flips for pseudo-effective threefold NQC klt generalized pairs over $\mathbb{K}$. This provides a new proof on the termination of flips for pseudo-effective pairs over $\mathbb{K}$ without using the non-vanishing theorems. A key ingredient of our proof is the ACC for lc thresholds in dimension $\leq 3$ and the global ACC in dimension $\leq 2$ for generalized pairs over $\mathbb{K}$.

Algebraic Geometry
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 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
Birational geometry of smooth families of varieties admitting good minimal models

Behrouz Taji

2023-08-17

Abstract:In this paper we study families of projective manifolds with good minimal models. After constructing a suitable moduli functor for polarized varieties with canonical singularities, we show that, if not birationally isotrivial, the base spaces of such families support subsheaves of log-pluridifferentials with positive Kodaira dimension. Consequently we prove that, over special base schemes, families of this type can only be birationally isotrivial and, as a result, confirm a conjecture of Kebekus and Kovács.

Algebraic Geometry
Boundedness and moduli of traditional stable minimal models

Xiaowei Jiang

2024-01-17

Abstract:For good minimal models with semi-log canonical (slc) singularities, polarized by effective divisors that are relatively ample over the bases of Iitaka fibration, Birkar proves that they belong to a bounded family after fixing appropriate numerical invariants recently. Subsequently, he constructs their projective coarse moduli spaces. In this paper, we consider good minimal models with only Kawamata log terminal (klt) singularities but polarized by possibly non-effective divisors. We prove that they still belong to a bounded family after fixing the same invariants. As an application, we construct separated coarse moduli spaces for klt good minimal models polarized by line bundles.

Algebraic Geometry
A few remarks on effectivity and good minimal models

Vladimir Lazić

2024-01-25

Abstract:We prove several results relating the nonvanishing and the existence of good minimal models of different pairs that have the same underlying variety.

Algebraic Geometry
Weak Zariski decompositions and log terminal models for generalized pairs

Jingjun Han,Zhan Li

DOI: https://doi.org/10.1007/s00209-022-03073-w

2022-09-10

Mathematische Zeitschrift

Abstract:We show that the existence of a birational weak Zariski decomposition for a pseudo-effective generalized lc pair is equivalent to the existence of a generalized log terminal model.

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

Anticanonical minimal models and Zariski decomposition

Polarized Pairs, Log Minimal Models, and Zariski Decompositions

On Existence of Log Minimal Models and Weak Zariski Decompositions

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

Boundedness of stable minimal models with klt singularities

Log Canonical Algebras and Modules

On the existence of minimal models for log canonical pairs

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

Log canonical pairs with good augmented base loci

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

Existence of minimal models for threefold generalized pairs in positive characteristic

On finiteness of log canonical models

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

Birational geometry of smooth families of varieties admitting good minimal models

Boundedness and moduli of traditional stable minimal models

A few remarks on effectivity and good minimal models

Weak Zariski decompositions and log terminal models for generalized pairs

On Log Canonical MMP for Kähler 3-Fold

Log Minimal Models According to Shokurov