If R is a local ring of dimension n, of a smooth complex variety, and if I is a zero dimensional ideal in R, then we prove that e(I)\geq n^n/lc(I)^n. Here e(I) is the Samuel multiplicity along I, and lc(I) is the log canonical threshold of (R,I). We show that equality is achieved if and only if the integral closure of I is a power of the maximal ideal. When I is an arbitrary ideal, but n=2, we give a similar bound involving the Segre numbers of I.
The theory of relative logarithmic jet spaces is developed for log schemes. With this theory the existence of bounds of intersection multiplicities of curves and divisors on certain log schemes is established. This result extends those of Noguchi and Winkelmann by replacing the semi-abelian condition by a differential one.
In this paper we make a systematic study of the multiplicity of the jumping points associated to the mixed multiplier ideals of a family of ideals in a complex surface with rational singularities. In particular we study the behaviour of the multiplicity by small perturbations of the jumping points. We also introduce a Poincaré series for mixed multiplier ideals and prove its rationality. Finally, we study the set of divisors that contribute to the log-canonical wall.
We obtain a family of explicit "polyhedral" combinatorial expressions for multiplicities in the tensor product of two simple finite-dimensional modules over a complex semisimple Lie algebra. Here "polyhedral" means that the multiplicity in question is expressed as the number of lattice points in some convex polytope. Our answers use a new combinatorial concept of $\ii$-trails which resemble Littelmann's paths but seem to be more tractable. We also study combinatorial structure of Lusztig's canonical bases or, equivalently of Kashiwara's global bases. Although Lusztig's and Kashiwara's approach…
We give an explicit formula for the log-canonical threshold of a reduced germ of plane curve. The formula depends only on the first two maximal contact values of the branches and their intersection multiplicities. We also improve the two branches formula given in a paper by Kuwata in Amer. J. Math. 121.
We generalize a result of Ein-Lazarsfeld-Smith (math.AG/0202303), proving that for an arbitrary sequence of zero-dimensional ideals, the multiplicity of the sequence is equal with its volume. This is done using a deformation to monomial ideals. As a consequence of our result, we obtain a formula which computes the multiplicity of an ideal I in terms of the multiplicities of the initial monomial ideals of the powers I^m. We use this to give a new proof of the inequality between multiplicity and the log canonical threshold due to de Fernex, Ein and the author.
A conic bundle is a contraction $X\to Z$ between normal varieties of relative dimension $1$ such that $-K_X$ is relatively ample. We prove a conjecture of Shokurov which predicts that, if $X\to Z$ is a conic bundle such that $X$ has canonical singularities and $Z$ is $\mathbb{Q}$-Gorenstein, then $Z$ is always $\frac{1}{2}$-lc, and the multiplicities of the fibers over codimension $1$ points are bounded from above by $2$. Both values $\frac{1}{2}$ and $2$ are sharp. This is achieved by solving a more general conjecture of Shokurov on singularities of bases of lc-trivial fibrations of relative …
A great number of theoretical results are known about log Gromov-Witten invariants, but few calculations are worked out. In this paper we restrict to surfaces and to genus 0 stable log maps of maximal tangency. We ask how various natural components of the moduli space contribute to the log Gromov-Witten invariants. The first such calculation by Gross-Pandharipande-Siebert deals with multiple covers over rigid curves in the log Calabi-Yau setting. As a natural continuation, in this paper we compute the contributions of non-rigid irreducible curves in the log Calabi-Yau setting and that of the u…
It is a basic property of the entropy in statistical physics that is concave as a function of energy. The analog of this in representation theory would be the concavity of the logarithm of the multiplicity of an irreducible representation as a function of its highest weight. We discuss various situations where such concavity can be established or reasonably conjectured and consider some implications of this concavity. These are rather informal notes based on a number of talks I gave on the subject, in particular, at the 1997 International Press lectures at UC Irvine.
We characterize the ideals $I$ of $\mathcal O_n$ of finite colength whose integral closure is equal to the integral closure of an ideal generated by pure monomials. This characterization, which is motivated by an inequality proven by Demailly and Pham, is given in terms of the log canonical threshold of $I$ and the sequence of mixed multiplicities of $I$.
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.
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.
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.
Mirkovic and Vilonen discovered a canonical basis of algebraic cycles for the intersection homology of (the closures of the strata of) the loop Grassmannian. The moment map images of these varieties are a collection of polytopes, and they may be used to compute weight multiplicities and tensor product multiplicities for representations of a semisimple group. The polytopes are explicitly described for a few low rank groups.
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.
