Related papers: On the finiteness of ample models

We prove boundedness of global strong $(\delta,n)$-complements for generalized $\epsilon$-log canonical pairs of Fano type. We also prove some partial results towards boundedness of local strong $(\delta,n)$-complements for semi-stable…

This supersedes 0704.0566. We prove the invariance of logarithmic plurigenera for a projective family of KLT pairs and the adjoint line bundle of KLT line bundles. The proof uses the canonical singular hermitian metrics on relative…

We give an algebraic construction of standard modules (infinite dimensional modules categorifying the PBW basis of the underlying quantized enveloping algebra) for Khovanov-Lauda-Rouquier algebras in all finite types. This allows us to…

We apply the recently developed technology of cofinality spectrum problems to prove a range of theorems in model theory. First, we prove that any model of Peano arithmetic is $\lambda$-saturated iff it has cofinality $\geq \lambda$ and the…

We prove the finiteness and compatibility with base change of the (phi,Gamma)-cohomology and the Iwasawa cohomology of arithmetic families of (phi,Gamma)-modules. Using this finiteness theorem, we show that a family of Galois…

In this paper we present a technical lemma about localization at countable infinitely many prime ideals. We apply this lemma to get many results about the finiteness of associated prime ideals of local cohomology modules.

In this note, using methods introduced by Hacon, McKernan and Xu, we study the accumulation points of volumes of varieties of log general type. First, we show that, if the set of boundary coefficients $\Lambda$ is DCC, closed under limits…

We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips and the existence of log minimal models…

We prove that up to scaling there are only finitely many integral lattices L of signature (2,n) with n>20 or n=17 such that the modular variety defined by the orthogonal group of L is not of general type. In particular, when n>107, every…

We find sufficient conditions which imply equality of the finitistic test ideal and test ideal in rings of prime characteristic. Utilizing recent progress from the prime characteristic minimal model program we equate the notions of…

This paper proposes a Fujita-type freeness conjecture for semi-log canonical pairs. We prove it for curves and surfaces by using the theory of quasi-log schemes and give some effective very ampleness results for stable surfaces and semi-log…

We prove Koll\'ar-type effective basepoint-free theorems for quasi-log canonical pairs.

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.

We prove an unconditional power saving for the dimension of the space of cohomological automorphic forms of fixed level and growing weight on GL_2 over any number field which is not totally real. Our proof involves the theory of p-adically…

Let $\kk$ be an algebraically closed field of characteristic zero and $\KK$ a finitely generated field over $\kk$. Let $\Sigma$ be a central simple $\KK$-algebra, $X$ a normal projective model of $\KK$ and $\Lambda$ a sheaf of maximal…

Fujino and Tanaka established the minimal model theory for $\mathbb Q$-factorial log surfaces in characteristic $0$ and $p$, respectively. We prove that every intermediate surface has only log terminal singularities if we run the minimal…

Given a log canonical pair $(X, \Delta)$, we show that $K_X+\Delta$ is nef assuming there is no non-constant map from the affine line with values in the open strata of the stratification induced by the non-klt locus of $(X, \Delta)$. This…

Let $(X,\Delta)$ be a normal pair with a projective morphism $X \to Z$ and let $A$ be a relatively ample $\mathbb{R}$-divisor on $X$. We prove the termination of some minimal model program on $(X,\Delta+A)/Z$ and the abundance conjecture…

We give a new and self-contained proof of the finite generation of adjoint rings with big boundaries. As a consequence, we show that the canonical ring of a smooth projective variety is finitely generated.

We discuss the cone and contraction theorem in a suitable complex analytic setting. More precisely, we establish the cone and contraction theorem of normal pairs for projective morphisms between complex analytic spaces. This result is a…