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

What problem does this paper attempt to address?

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
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 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 Riemannian Geometry of Superminimal Surfaces in Complex Space Forms

Shen Yibing

DOI: https://doi.org/10.1007/bf02106984

1996-01-01

Acta Mathematica Sinica English Series

Abstract:This paper deals with superminimal surfaces in complex space forms by using theFrenet framing. We formulate explicitly the length squares of the higher fundamental forms andthe higher curvatures for superminimal surfaces in terms of the metric of the surface and the Khlerangle of the immersion. Particularly, some curvature pinching theorems for minimal 2-spheres in acomplex projective space are given and a new characterization of the Veronese sequence is obtained.
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
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
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$.
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 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.
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.
The relative minimal model program for excellent algebraic spaces and analytic spaces in equal characteristic zero

Shiji Lyu,Takumi Murayama

2023-08-29

Abstract:We establish the relative minimal model program with scaling for projective morphisms of quasi-excellent algebraic spaces admitting dualizing complexes, quasi-excellent formal schemes admitting dualizing complexes, semianalytic germs of complex analytic spaces, rigid analytic spaces, Berkovich spaces, and adic spaces locally of weakly finite type over a field, all in equal characteristic zero. To do so, we prove finite generation of relative adjoint rings associated to projective morphisms of such spaces using the strategy of Cascini and Lazić and the generalization of the Kawamata-Viehweg vanishing theorem to the scheme setting recently established by the second author. To prove these results uniformly, we prove GAGA theorems for Grothendieck duality and dualizing complexes to reduce to the algebraic case. In addition, we apply our methods to establish the relative minimal model program with scaling for spaces of the form above in dimensions $\le 3$ in positive and mixed characteristic, and to show that one can run the relative minimal model program with scaling for complex analytic spaces without shrinking the base at each step.

Algebraic Geometry
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.
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.
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
Minimal model program for algebraically integrable foliations on klt varieties

Jihao Liu,Fanjun Meng,Lingyao Xie

2024-07-09

Abstract:For lc algebraically integrable foliations on klt varieties, we prove the base-point-freeness theorem, the contraction theorem, and the existence of flips. The first result resolves a conjecture of Cascini and Spicer, while the latter two results strengthen a result of Cascini and Spicer by removing their assumption on the termination of flips. Moreover, we prove the existence of the minimal model program for lc algebraically integrable foliations on klt varieties and the existence of good minimal models or Mori fiber spaces for lc algebraically integrable foliations polarized with ample divisors on klt varieties. As a consequence, we show that $\mathbb{Q}$-factorial klt varieties with lc algebraically integrable Fano foliation structures are Mori dream spaces. We also show the existence of a Shokurov-type polytope for lc algebraically integrable foliations.

Algebraic Geometry,Dynamical Systems
ABSTRACTS OF LECTURES MODULI 2007

Caucher Birkar,Ching-Li Chai

2007-01-01

Abstract:First, I will quickly recall some of the basic elements of the minimal model program. Then, I concentrate on the interactions between the minimal model program and some moduli problems. In particular, I explain the construction of moduli spaces of varieties of general type via the minimal model program. Abstract. The Hecke symmetry is a salient feature of Shimura varieties. In the more recent past these symmetries have led to the notion of leaves, a global structure on the reduction of modular varieties of PEL type defined by Oort, and conjecturally for all Shimura varieties with good reduction. The Hecke symmetry also led to the notion of canonical coordinates on leaves, generalizing the classical Serre-Tate coordinates. We will discuss some recent works related to the Hecke symmetry : (1) -adic and p-adic monodromy of leaves, and irreducibility of leaves (joint work with F. Oort). One of the methods for showing that the p-adic monodromy is big is inspired by H. Hida. (2) CM lifting modulo Hecke symmetry (joint work with B. Conrad and F. Oort). Abstract. In this lecture we explain how to attach a p-adic representation to a vector bundle with strongly semistable reduction of degree zero on a p-adic curve. We also discuss higher dimensional generalizations. This is a report on joint work with Annette Werner. Abstract. Since the proof of Iwasawa's main conjecture in the classical case (the- orem of Mazur and Wiles), automorphic forms on GL(2) have played an essential role to understand GL(1)-problems. After the breakthrough by A. Wiles ((1)), there has been a substantial progress in the class field theory for GL2. In this talk, open problems in classical Iwasawa theory are discussed from this perspective, based on Galois deformations.
Log Canonical Minimal Model Program for corank one foliations on Threefolds

Priyankur Chaudhuri,Roktim Mascharak

2024-10-08

Abstract:If $\mathcal{F}$ is a corank one foliation on a $\mathbb{Q}$-factorial normal projective threefold and $\Delta \geq 0$ a $\mathbb{Q}$-divisor on $X$ such that $(\mathcal{F}, \Delta)$ is foliated log canonical and $(X, \Delta)$ is klt, we show that $K_{\mathcal{F}} +\Delta$ admits a minimal model or a Mori fiber space. In case $(\mathcal{F}, \Delta)$ is boundary polarized and $K_{\mathcal{F}}+ \Delta$ is pseudoeffective, the minimal model is good. We also apply our results to study the relation between different minimal models, namely, any two minimal models of a given foliated log canonical pair can be connected by a sequence of flops and in the boundary polarized case, the minimal models are only finitely many in number.

Algebraic Geometry
The Logarithmic Gauged Linear Sigma Model

Chen Qile,Janda Felix,Ruan Yongbin

DOI: https://doi.org/10.1007/s00222-021-01044-2

IF: 3.128

2021-01-01

Inventiones mathematicae

Abstract:We introduce the notion of log R-maps, and develop a proper moduli stack of stable log R-maps in the case of a hybrid gauged linear sigma model. Two virtual cycles (canonical and reduced) are constructed for these moduli stacks. The main results are two comparison theorems relating the reduced virtual cycle to the cosection localized virtual cycle, as well as the reduced virtual cycle to the canonical virtual cycle. This sets the foundation of a new technique for computing higher genus Gromov-Witten invariants of complete intersections.

On minimal model theory for algebraic log surfaces

Almost minimal models of log surfaces

Minimal model program for log canonical pairs on complex analytic spaces

On the existence of minimal models for log canonical pairs

The Riemannian Geometry of Superminimal Surfaces in Complex Space Forms

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

On existence of log minimal models

On Existence of Log Minimal Models II

Log Canonical Algebras and Modules

On Existence of Log Minimal Models and Weak Zariski Decompositions

Log Minimal Models According to Shokurov

The relative minimal model program for excellent algebraic spaces and analytic spaces in equal characteristic zero

On maximal Albanese dimensional varieties

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

Boundedness and moduli of traditional stable minimal models

Minimal model program for algebraically integrable foliations on klt varieties

ABSTRACTS OF LECTURES MODULI 2007

Log Canonical Minimal Model Program for corank one foliations on Threefolds

The Logarithmic Gauged Linear Sigma Model