In this paper, we generalize the finiteness of models theorem in [BCHM06] to Kawamata log terminal pairs with fixed Kodaira dimension. As a consequence, we prove that a Kawamata log terminal pair with $\mathbb{R}-$boundary has a canonical model, and can be approximated by log pairs with $\mathbb{Q}-$boundary and the same canonical model.
We prove that Seshadri constants of some ample divisors are bigger than 1 on smooth threefolds whose anticanonical bundle is nef or on Fano varieties of small coindice. The main tools are (some known cases of) the Kawamata's effective non-vanishing conjecture and the adjunction theory. We prove the non-vanishing conjecture in dimension 3 in the case of line bundles of "high" volume using Kawamata's subadjunction formula.
It is conjectured that the moduli b-divisor of the Kawamata-Kodaira canonical bundle formula associated to a klt-trivial fibration $(X,B)\to Z$ is semi-ample. In this paper, we show the semi-ampleness of an arbitrarily small perturbation of the moduli b-divisor by a fixed appropriate divisor which roughly speaking comes from a section of $K_X+B$. We apply the above result to settle a conjecture of Fujino and Gongyo: if $f\colon X\to Z$ is a smooth surjective morphism of smooth projective varieties with $-K_X$ semi-ample, then $-K_Z$ is also semi-ample. We list several counter-examples to show …
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 a conjecture of Kollár stating that the local fundamental group of a klt singularity $x$ is finite. In fact, we prove a stronger statement, namely that the fundamental group of the smooth locus of a neighbourhood of $x$ is finite. We call this the regional fundamental group. As the proof goes via a local-to-global induction, we simultaneously confirm finiteness of the orbifold fundamental group of the smooth locus of a weakly Fano pair.
We show that under suitable hypothesis (which are sharp in certain sense) that the core of an m-primary ideal in a regular local ring of dimension d is equal to the adjoint (or multiplier) ideal of its d-th power, generalizing a result of Huneke and Swanson in dimension two. We also prove a version of this in the singular setting, which we show to be intimately related to the problem of finding global sections of ample line bundles on projective varieties. In particular, we show that a graded analog of our formula for core would imply a remarkable conjecture of Kawamata predicting that every a…
Using the theory of Frobenius singularities, we show that 13mK_X + 45mA is very ample for an ample Cartier divisor A on a Kawamata log terminal surface X with Gorenstein index m, defined over an algebraically closed field of characteristic p>5.
It is proved by Kawamata that the canonical bundle of a projective manifold is semi-ample if it is big and nef. We give an analytic proof using the Ricci flow, degeneration of Riemannian manifolds and $L^2$-theory. Combined with our earlier results, we construct unique singular Kahler-Einstein metrics with a global Riemannian structure on canonical models. Our approach can be viewed as the Kodaira embedding theorem on singular metric spaces with canonical Kahler metrics.
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 many log abundant dlt pairs. We also discuss log MMP for slc pairs.
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 semi-ample if and only if so is the log canonical divisor of its normalization. We also treat many other applications.
Let $X^v_w$ be a Richardson variety in the full flag variety $X$ associated to a symmetrizable Kac-Moody group $G$. Recall that $X^v_w$ is the intersection of the finite dimensional Schubert variety $X_w$ with the finite codimensional opposite Schubert variety $X^v$. We give an explicit $\bQ$-divisor $Δ$ on $X^v_w$ and prove that the pair $(X^v_w, Δ)$ has Kawamata log terminal singularities. In fact, $-K_{X^v_w} - Δ$ is ample, which additionally proves that $(X^v_w, Δ)$ is log Fano. We first give a proof of our result in the finite case (i.e., in the case when $G$ is a finite dimensional semis…
Let $(X, Δ)$ be a four-dimensional log variety that is projective over the field of complex numbers. Assume that $(X, Δ)$ is not Kawamata log terminal (klt) but divisorial log terminal (dlt). First we introduce the notion of "log quasi-numerically positive", by relaxing that of "numerically positive". Next we prove that, if the log canonical divisor $K_X + Δ$ is log quasi-numerically positive on $(X, Δ)$ then it is semi-ample.
We prove that every globally $F$-regular variety is log Fano. In other words, if a prime characteristic variety $X$ is globally $F$-regular, then it admits an effective $\bQ$-divisor $Δ$ such that $-K_X - Δ$ is ample and $(X, Δ)$ has controlled (Kawamata log terminal, in fact globally $F$-regular) singularities. A weak form of this result can be viewed as a prime characteristic analog of de Fernex and Hacon's new point of view on Kawamata log terminal singularities in the non-$\bQ$-Gorenstein case. We also prove a converse statement in characteristic zero: every log Fano variety has globally $…
We define an "ample canonical height" for an endomorphism on a projective variety, which is essentially a generalization of the canonical heights for polarized endomorphisms introduced by Call--Silverman. We formulate a dynamical analogue of the Northcott finiteness theorem for ample canonical heights as a conjecture, and prove it for endomorphisms on varieties of small Picard numbers, abelian varieties, and surfaces. As applications, for the endomorphisms which satisfy the conjecture, we show the non-density of the set of preperiodic points over a fixed number field, and obtain a dynamical Mo…
We prove lower bound and finiteness properties for arakelovian heights with respect to pre-log-log hermitian ample line bundles. These heights were introduced by Burgos, Kramer and Kühn, in their extension of the arithmetic intersection theory of Gillet and Soulé, aimed to deal with hermitian vector bundles equipped with metrics admitting suitable logarithmic singularities. Our results generalize the corresponding properties for the heights of Bost-Gillet-Soulé, as well as the properties established by Faltings for heights of points attached to hermitian line bundles whose metrics have logarit…