We establish a kind of subadjunction formula for quasi-log canonical pairs. As an application, we prove that a connected projective quasi-log canonical pair whose quasi-log canonical class is anti-ample is simply connected and rationally chain connected. We also supplement the cone theorem for quasi-log canonical pairs. More precisely, we prove that every negative extremal ray is spanned by a rational curve. Finally, we treat the notion of Mori hyperbolicity for quasi-log canonical pairs.
We consider a canonical bundle formula for generically finite proper surjective morphisms and obtain subadjunction formulae for minimal log canonical centers of log canonical pairs. We also treat related topics and applications.
We extend a subadjunction formula of log canonical divisors as in [K3] to the case when the codimension of the minimal center is arbitrary by using the positivity of the Hodge bundles.
We obtain a formula which relates the log canonical divisor of the ambient space with that of a subvariety of codimension 2 by using Knudsen's moduli space of pointed stable curves of genus 0.
In this paper, I prove a very general extension theorem for log pluricanonical systems. The main application of this extension theorem is (together with Kawamata's subadjunction theorem) to give an optimal subadjunction theorem which relates the positivities of canonical bundle of the ambient projective manifold and that of the (maximal) center of log canonical singularities. This is an extension of the corresponding result in my previous work where I dealt with log pluricanonical systems of general type. This subadjunction theorem indicates an approach to solve the abundance conjecture for ca…
We prove a canonical bundle formula for generically finite morphisms in the setting of generalized pairs (with $\mathbb{R}$-coefficients). This complements Filipazzi's canonical bundle formula for morphisms with connected fibres. It is then applied to obtain a subadjunction formula for log canonical centers of generalized pairs. As another application, we show that the image of an anti-nef log canonical generalized pair has the structure of a numerically trivial log canonical generalized pair. This readily implies a result of Chen--Zhang. Along the way we prove that the Shokurov type convex se…
We prove the Kodaira vanishing theorem for log-canonical and semi-log-canonical pairs. We also give a relative vanishing theorem of Reid--Fukuda type for semi-log-canonical pairs.
We establish a relative spannedness for log canonical pairs, which is a generalization of the basepoint-freeness for varieties with log-terminal singularities by Andreatta--Wiśniewski. Moreover, we establish a generalization for quasi-log canonical pairs.
We introduce a diophantine property of a log canonical algebra, and use it to describe the restriction of a log canonical algebra of general type to a log canonical center of codimension one.
We show that any union of slc strata of a Fano log pair with semi-log canonical singularities is simply connected. In particular, Fano log pairs with semi-log canonical singularities are simply connected, which confirms a conjecture of the first author.
For a normal subvariety $V$ of ${\bf C}^n$ with a good ${\bf C}^*$-action we give a simple characterization for when it has only log canonical, log terminal or rational singularities. Moreover we are able to give formulas for the plurigenera of isolated singular points of such varieties and of the logarithmic Kodaira dimension of $V\backslash \{0\}$. For this purpose we introduce sheaves of $m$-canonical and $L^{2,m}$-canonical forms on normal complex spaces. For the case of affine varieties with good ${\bf C}^*$-action we give an explicit formula for these sheaves in terms of the grading of t…
We obtain a correct generalization of Shokurov's non-vanishing theorem for log canonical pairs. It implies the base point free theorem for log canonical pairs. We also prove the rationality theorem for log canonical pairs. As a corollary, we obtain the cone theorem for log canonical pairs. We do not need Ambro's theory of quasi-log varieties.
For a fixed pair and fixed exponents, we prove the discreteness of log discrepancies over all log canonical triples formed by attaching a product of ideals with given exponents.
We discuss the relationship among various conjectures in the minimal model theory including the finite generation conjecture of the log canonical rings and the abundance conjecture. In particular, we show that the finite generation conjecture of the log canonical rings for log canonical pairs can be reduced to that of the log canonical rings for purely log terminal pairs of log general type.
We prove that the anti-canonical divisors of weak Fano 3-folds with log canonical singularities are semiample. Moreover, we consider semiampleness of the anti-log canonical divisor of any weak log Fano pair with log canonical singularities. We show semiampleness dose not hold in general by constructing several examples. Based on those examples, we propose sufficient conditions which seem to be the best possible and we prove semiampleness under such conditions. In particular we derive semiampleness of the anti-canonical divisors of log canonical weak Fano 4-folds whose lc centers are at most 1-…
We prove that the class of log canonical rational singularities is closed under the basic operations of the minimal model program. We also give some supplementary results on the minimal model program for log canonical surfaces.
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 classify all the effective anticanonical divisors on weak del Pezzo surfaces. Through this classification we obtain the smallest number among the log canonical thresholds of effective anticanonical divisors on a given Gorenstein canonical del Pezzo surface.
In this short note, we consider the conjecture that the log canonical divisor (resp. the anti-log canonical divisor) $K_X + Δ$ (resp. $-(K_X + Δ)$) on a pair $(X, Δ)$ consisting of a complex projective manifold $X$ and a reduced simply normal crossing divisor $Δ$ on $X$ is ample if it is numerically positive. More precisely, we prove the conjecture for $K_X + Δ$ with $Δ\neq 0$ in dimension 4 and for $-(K_X + Δ)$ with $Δ\neq 0$ in dimension 3 or 4.
We compare the minimal model of a log canonical pair with the minimal model of its reduced boundary. These results are then used to study the existence of the minimal model of a semi-log-canonical pair using its normalization.
We define the "source" and the "spring" of a log canonical center and use them to solve several problems in higher-codimension adjunction. The main application is to the construction of semi log canonical pairs. Version 2: References updated. Version 3: Many small changes.
In this paper we show that the set of accumulation points of generalized log canonical thresholds for certain DCC sets comes from the set of generalized log canonical thresholds of dimension $1$ less of the same DCC sets.
In this paper, we show that Fujita's basepoint-freeness conjecture for projective quasi-log canonical singularities holds true in dimension three. Immediately, we prove Fujita-type basepoint-freeness for projective semi-log canonical threefolds.
We prove the Angehrn-Siu Type effective freeness and effective point separation for quasi-log canonical pairs. As a natural consequence, we obtain that these two results hold for semi-log canonical pairs. One of the main ingredients of our proof is the inversion of adjunction for quasi-log canonical pairs, which is established in this paper.
We describe the foundation of the log minimal model program for log canonical pairs according to Ambro's idea. We generalize Kollár's vanishing and torsion-free theorems for embedded simple normal crossing pairs. Then we prove the cone and contraction theorems for quasi-log varieties, especially, for log canonical pairs.
It is proved that the global log canonical threshold of a Zariski general Fano complete intersection of index 1 and codimension $k$ in ${\mathbb P}^{M+k}$ is equal to one, if $M\geqslant 2k+3$ and the maximum of the degrees of defining equations is at least 8. This is an essential improvements of the previous results about log canonical thresholds of Fano complete intersections. As a corollary we obtain the existence of K\" ahler-Einstein metrics on generic Fano complete intersections described above.
Given an ambient variety $X$ and a fixed subvariety $Z$ we give sufficient conditions for the existence of a boundary $Δ$ such that $Z$ is a log canonical center for the pair $(X, Δ)$. We also show that under some additional hypotheses $Δ$ can be chosen such that $(X, Δ)$ has log canonical singularities.
We prove a conjecture due to V.V. Shokurov on the boundedness of $ε$-log canonical complements on surfaces. As an application we give a new proof to the boundedness of weak log Fano surfaces.
In this paper, we generalise the theory of complements to log canonical log fano varieties and prove boundedness of complements for them in dimension less than or equal to 3. We also prove some boundedness results for the canonical index of sdlt log Calabi-Yau varieties in dimension 2.
This paper gives the all possible global indices of log Calabi-Yau 3-folds with standard coefficients on the boundaries and having lc, non-klt singularities. This follows easily from the discussion in the paper: The indices of log canonical singularities by Fujino (AG/9909035).
In this paper, we classify del Pezzo foliations on projective manifolds of rank at least 3 and with log canonical singularities in the sense of McQuillan.
We prove the existence of log canonical modifications for a log pair. As an application, together with Kollär's gluing theory, we remove the assumption in the first named author's work [Odaka11], which shows that K-semistable polarized varieties can only have semi-log-canonical singularities.
We study the log canonical models of the moduli space MBar_{0,n} of pointed stable genus zero curves with respect to the standard log canonical divisors K+aD, where D denotes the boundary. In particular we show that, as a formal consequence of a conjecture by Fulton regarding the ample cone of MBar_{0,n}, these log canonical models are equal to certain of Hassett's weighted pointed curve spaces.
We give a classification of the dual graphs of the exceptional divisors on the minimal resolutions of log canonical foliation singularities on surfaces. For an application, we show the set of foliated minimal log discrepancies for foliated surface triples satisfies the ascending chain condition and a Grauert-Riemenschneider type vanishing theorem for foliated surfaces with good log canonical foliation singularities.
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.
We prove that the ascending chain condition (ACC) for log canonical (lc) thresholds in dimension $d$ and Special Termination in dimension $d$ imply the termination of any sequence of log flips starting with a $d$-dimensional lc pair of nonnegative Kodaira dimension. In particular, in characteristic zero, the latter termination in dimension 4 follows from Alexeev-Borisov's conjecture in dimension 3.
The LCS locus is an essential ingredient in the proof of fundamental results of Log Minimal Model Program, such as nonvanishing and base point freeness theorems. We prove in this paper that the LCS locus of a log canonical variety has seminormal singularities.
We prove that every quasi-projective semi log canonical pair has a quasi-log structure with several good properties. It implies that various vanishing theorems, torsion-free theorem, and the cone and contraction theorem hold for semi log canonical pairs.
The log canonical thresholds of irreducible quasi-ordinary hypersurface singularities are computed, using an explicit list of pole candidates for the motivic zeta function found by the last two authors.
In this paper, we investigate higher direct images of log canonical divisors. After we reformulate Kollár's torsion-free theorem, we treat the relationship between higher direct images of log canonical divisors and the canonical extensions of Hodge filtration of gradedly polarized variations of mixed Hodge structures. As a corollary, we obtain a logarithmic version of Fujita-Kawamata's semi-positivity theorem. By this semi-positivity theorem, we generalize Kawamata's positivity theorem and apply it to the study of a log canonical bundle formula. The final section is an appendix, which is a res…
Semi-log canonical varieties are a higher-dimensional analogue of stable curves. They are the varieties appearing as the boundary $Δ$ of a log canonical pair $(X,Δ)$, and also appear as limits of canonically polarized varieties in moduli theory. For certain three-fold pairs $(X,Δ)$ we show how to compute the PL homeomorphism type of the dual complex of a dlt minimal model directly from the normalization data of $Δ$.
In this paper the detailed classification of three-dimensional exceptional canonical hypersurface singularities which don't satisfy the condition of well-formedness is given. This result completes the classification of three-dimensional exceptional log canonical hypersurface singularities started in [4] (math.AG 0201025).
We point out an interesting relation between hypersurface elliptic singularities and log Enriques surfaces: with a few exceptions, every hypersurface elliptic singularity define some klt log Enriques surface $(S,Diff)$. In many cases, the log canonical cover of $(S,Diff)$ is a Du Val K3 surface with ``large'' nonsymplectic automorphism group.
