Existence of canonical models for Kawamata log terminal pairs

Zhengyu Hu

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

2020-04-08

Algebraic Geometry

Abstract:We prove that a Kawamata log terminal pair has the canonical model.

What problem does this paper attempt to address?

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 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 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
Weak Zariski decompositions and log terminal models for generalized polarized pairs

Jingjun Han,Zhan Li

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

2019-01-28

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

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 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
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 maximal Albanese dimensional varieties

Osamu Fujino

DOI: https://doi.org/10.3792/pjaa.89.92

2013-08-01

Abstract:We prove that every projective kawamata log terminal pair with maximal Albanese dimension has a good minimal model. We also give an affirmative answer to Ueno’s problem on subvarieties of Abelian varieties.
Special termination for log canonical pairs

Vladimir Lazić,Joaquín Moraga,Nikolaos Tsakanikas

DOI: https://doi.org/10.4310/AJM.2023.v27.n3.a5

2023-04-18

Abstract:We prove the special termination for log canonical pairs and its generalisation in the context of generalised pairs.

Algebraic Geometry
The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom

Kirill Kopnev

2023-05-15

Abstract:In 1997 Timothy J. Surendonk proved via algebraic semantics that all modal logics without iterative axioms are canonical and so strongly complete. In this paper, we continue the work done by Surendonk in this field. We use neighborhood semantics to show that some iterative logics (with the axiom $\Box p\rightarrow\Box\Box p$) are also strongly complete and have the finite model property.

Logic
Log Calabi--Yau pairs of complexity zero and arbitrary index

Joshua Enwright,Fernando Figueroa

2024-11-08

Abstract:In this article, we give a characterization of log Calabi--Yau pairs of complexity zero and arbitrary index. As an application, we show that a log Calabi--Yau pair of birational complexity zero admits a crepant birational model which is a generalized Bott tower.

Algebraic Geometry
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 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 boundedness of singularities and minimal log discrepancies of Kollár components

Ziquan Zhuang

DOI: https://doi.org/10.1090/jag/822

2024-01-25

Journal of Algebraic Geometry

Abstract:Recent study in K-stability suggests that Kawamata log terminal (klt) singularities whose local volumes are bounded away from zero should be bounded up to special degeneration. We show that this is true in dimension three, or when the minimal log discrepancies of Kollár components are bounded from above. We conjecture that the minimal log discrepancies of Kollár components are always bounded from above, and verify it in dimension three when the local volumes are bounded away from zero. We also answer a question from Han, Liu, and Qi on the relation between log canonical thresholds and local volumes.

mathematics
On the Canonical Bundle Formula and Adjunction for Generalized Kaehler Pairs

Christopher Hacon,Mihai Paun

2024-04-18

Abstract:In this article we prove analogs of Kawamata's canonical bundle formula, Kawamata subadjunction and plt/lc inversion of adjunction for generalized pairs on Kaehler varieties. We also show that a conjecture of BDPPin dimension n-1 implies that the cone theorem holds for any n-dimensional Kaehler generalized klt pair. Along the way, we obtain more complete versions of some results due to Collins-Tosatti and Cao-Hoering.

Algebraic Geometry,Complex Variables
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics

Kentarô Yamamoto

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

2020-02-13

Abstract:We investigate the role of coalgebraic predicate logic, a logic for neighborhood frames first proposed by Chang, in the study of monotonic modal logics. We prove analogues of the Goldblatt-Thomason Theorem and Fine's Canonicity Theorem for classes of monotonic neighborhood frames closed under elementary equivalence in coalgebraic predicate logic. The elementary equivalence here can be relativized to the classes of monotonic, quasi-filter, augmented quasi-filter, filter, or augmented filter neighborhood frames, respectively. The original, Kripke-semantic versions of the theorems follow as a special case concerning the classes of augmented filter neighborhood frames.

Logic
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.
Semi-ampleness of NQC generalized log canonical pairs

Jihao Liu,Lingyao Xie

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

2023-06-02

Abstract:We establish a Kollár-type gluing theory for NQC generalized log canonical pairs and use it to prove semi-ampleness results of NQC generalized pairs. As consequences, we prove the existence of flips for any NQC generalized log canonical pair, and show that NQC generalized log canonical singularities are Du Bois.

Algebraic Geometry

Existence of canonical models for Kawamata log terminal pairs

Weak Zariski decompositions and log terminal models for generalized pairs

On finiteness of log canonical models

On the existence of minimal models for log canonical pairs

Weak Zariski decompositions and log terminal models for generalized polarized pairs

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

Log canonical pairs with good augmented base loci

Minimal model program for log canonical pairs on complex analytic spaces

Log Minimal Models According to Shokurov

On maximal Albanese dimensional varieties

Special termination for log canonical pairs

The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom

Log Calabi--Yau pairs of complexity zero and arbitrary index

On Log Canonical MMP for Kähler 3-Fold

Log Canonical Algebras and Modules

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

On the Canonical Bundle Formula and Adjunction for Generalized Kaehler Pairs

Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics

Polarized Pairs, Log Minimal Models, and Zariski Decompositions

Semi-ampleness of NQC generalized log canonical pairs