Related papers: On the finiteness of ample models

The main purpose of this paper is to establish some useful partial resolutions of singularities for pairs from the minimal model theoretic viewpoint. We first establish the existence of log canonical modifications of normal pairs under some…

We prove that the log canonical ring of a projective log canonical pair in Kodaira dimension two is finitely generated.

We study relations between the property of being log abundant for lc pairs and the termination of log MMP with scaling. We prove that any log MMP with scaling of an ample divisor starting with a projective dlt pair contains only finitely…

Kobayashi-Ochiai proved that the set of dominant maps from a fixed variety to a fixed variety of general type is finite. We prove the natural extension of their finiteness theorem to Campana's orbifold pairs.

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

If the log canonical divisor on a projective variety with only Kawamata log terminal singularities is numerically equivalent to some semi-ample $\mathbf{Q}$-divisor, then it is semi-ample.

We prove that a log surface has only finitely many weakly log canonical projective models with klt singularities up to log isomorphism, by reducing the problem to the boundedness of their polarization.

We prove the finiteness of relative log pluricanonical representations in the complex analytic setting. As an application, we discuss the abundance conjecture for semi-log canonical pairs within this framework. Furthermore, we establish the…

We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is…

Canonical bundle formula due to Kawamata and others has played fundamental roles in algebraic geometry. We show that the canonical bundle formula has analytic characterization in terms of fiberwise integration, which confirms a folklore…

We treat two different topics on the log minimal model program, especially for four-dimensional log canonical pairs. (a) Finite generation of the log canonical ring in dimension four. (b) Abundance theorem for irregular fourfolds. We obtain…

The Kodaira dimension of Shimura varieties has been studied by many people. Kondo and Gritsenko-Hulek-Sankaran studied the singularities of orthogonal Shimura varieties related to the moduli spaces of polarized K3 surfaces. They proved that…

We prove the existence of log canonical modifications for a log pair. As an application, together with Koll\"ar's gluing theory, we remove the assumption in the first named author's work [Odaka11], which shows that K-semistable polarized…

We show that if $(X,B)$ is a two dimensional Kawamata log terminal pair defined over an algebraically closed field of characteristic $p$, and $p$ is sufficiently large, depending only on the coefficients of $B$, then $(X,B)$ is also…

We prove a result on the inversion of adjunction for log canonical pairs that generalizes Kawakita's result to log canonical centers of arbitrary codimension.

We prove a conjecture of Batryev which states that the family of all Fano varieties with kawamata log terminal singularities and fixed index, forms a bounded family.

Let $(X,\Delta)$ be a projective log canonical pair such that $\Delta \geq A$ where $A \geq 0$ is an ample $\mathbb{R}$-divisor. We prove that either $(X,\Delta)$ has a good minimal model or a Mori fibre space. Moreover, if $X$ is…

Under the assumption of the minimal model theory for projective klt pairs of dimension $n$, we establish the minimal model theory for lc pairs $(X/Z,\Delta)$ such that the log canonical divisor is relatively log abundant and its restriction…

We prove that Shimura varieties admit integral canonical models for sufficiently large primes. In the case of abelian-type Shimura varieties, this recovers work of Kisin-Kottwitz for sufficiently large primes. We also prove the existence of…

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