This note is written for the Festschrift in honor of Professor Christer Kiselman. Multiplier ideal sheaves identify the location and the extent of the failure of crucial estimates. In this note we will discuss and explain the historic evolution of the notion of multiplier ideal sheaves, especially the interpretation from the viewpoint of destabilizing subsheaves in the context of terminating or bounding an infinite process. We will also discuss the approach of constructing rational curves in Fano manifolds by using dynamic multiplier ideal sheaves and singularity-magnifying complex Monge-Ampere equations. This approach is still under development with details in the process of being worked out. We will indicate where details still need to be worked out.
In this article, we will characterize the multiplier ideal sheaves with weights of log canonical threshold one by restricting the weights to complex regular surface.
We extend Nadel's results on some conditions for the multiplier ideal sheaves to satisfy which are described in terms of an obstruction defined by the first author. Applying our extension we can determine the multiplier ideal sheaves on toric del Pezzo surfaces which do not admit Kähler-Einstein metrics. We also show that one can define multiplier ideal sheaves for Kähler-Ricci solitons and extend the result of Nadel using the holomorphic invariant defined by Tian and Zhu.
In this expository article we first give an overview on multiplier ideal sheaves and geometric problems in Kählerian and Sasakian geometries. Then we review our recent results on the relationship between the support of the subschemes cut out by multiplier ideal sheaves and the invariant whose non-vanishing obstructs the existence of Kähler-Einstein metrics on Fano manifolds.
In this article, we first establish an $L^2$-type Dolbeault isomorphism for the sheaf of logarithmic differential forms twisted by the multiplier ideal sheaf. By using this isomorphism and $L^2$-estimates equipped with a singular Hermitian metric, we obtain logarithmic vanishing theorems involving multiplier ideal sheaves on compact Kähler manifolds with simple normal crossing divisors.
On certain del Pezzo surfaces with large automorphism groups, it is shown that the solution to the Kähler-Ricci flow with a certain initial value converges in $C^\infty$-norm exponentially fast to a Kähler-Einstein metric. The proof is based on the method of multiplier ideal sheaves.
In this article, we obtain two sharp equality conditions in the restriction formula on complex singularity exponents: an equality between the codimension of the zero variety of related multiplier ideal sheaves and the relative codimension of the restriction of the variety on the submanifold (in the restriction formula); an equivalence between the transversality (between the variety and the submanifold) and the regularity of the restriction of the variety. As applications, we present sharp equality conditions in the fundamental subadditivity property on complex singularity exponents.
In this article, we characterize plurisubharmonic functions of Lelong number one at the origin, such that the germ of the associated multiplier ideal sheaf is nontrivial: in arbitrary complex dimension, their singularity must be the sum of a germ of smooth divisor and of a plurisubharmonic function with zero Lelong number. We also present a new proof of the related well known integrability criterion due to Skoda.
In this article, we will characterize regular points respectively by the local vanishing, positivity of the Ricci curvature and $L^2$-solvability of the $\overline\partial$-equation together with Skoda's theorem for Nadel-Lebesgue multiplier ideal sheaves associated to plurisubharmonic (psh) functions on any (reduced) complex space of pure dimension. As a by-product, we show that any weak Kähler-Einstein metric on \emph{singular} $\mathbb{Q}$-Fano/Calabi-Yau/general type varieties cannot be smooth, and that in general there exists no \emph{singular} normal Kähler complex space such that the Kä…
This article discusses the geometric application of the method of multiplier ideal sheaves. It first briefly describes its application to effective problems in algebraic geometry and then presents and explains its application to the deformational invariance of plurigenera for general compact algebraic manifolds. Finally its application to the conjecture of the finite generation of the canonical ring is explored and the use of complex algebraic geometry in complex Neumann estimates is discussed.
The purpose of this paper is to establish injectivity theorems for higher direct image sheaves of canonical bundles twisted by pseudo-effective line bundles and multiplier ideal sheaves. As applications, we generalize Koll'ar's torsion freeness and Grauert-Riemenschneider's vanishing theorem. Moreover, we obtain a relative vanishing theorem of Kawamata-Viehweg-Nadel type and an extension theorem for holomorphic sections from fibers of morphisms to the ambient space. Our approach is based on transcendental methods and works for K"ahler morphisms and singular hermitian metrics with non-algebraic…
We apply Nadel's method of multiplier ideal sheaves to show that every complex del Pezzo surface of degree at most six whose automorphism group acts without fixed points has a Kähler-Einstein metric. In particular, all del Pezzo surfaces of degree $4,5$, or $6$ and certain special del Pezzo surfaces of lower degree are shown to have a Kähler-Einstein metric. This result is not new, but the proofs given in the present paper are less involved than earlier ones by Siu, Tian and Tian-Yau.
S. K. Donaldson asked whether the lower bound of the Calabi functional is achieved by a sequence the normalized Donaldson-Futaki invariants. We answer the question for the Ricci curvature formalism, in place of the scalar curvature. The principle is that the stability indicator is optimized by the multiplier ideal sheaves of certain weak geodesic ray asymptotic to the geometric flow. We actually prove it in the two case: the inverse Monge-Ampere flow and the Kahler-Ricci flow.
The purpose of this paper is to establish an injectivity theorem generalized to pseudo-effective line bundles with transcendental (non-algebraic) singular hermitian metrics and multiplier ideal sheaves. As an application, we obtain a Nadel type vanishing theorem. For the proof, we study the asymptotic behavior of the harmonic forms with respect to a family of regularized metrics, and give a method to obtain L2-estimates of solutions of the dbar-equation by using the de Rham-Weil isomorphism between the dbar-cohomology and the check{C}ech cohomology.
The goal of this note is to present some recent results of our research concerning multiplier ideal sheaves on complex spaces and singularities of plurisubharmonic functions. We firstly introduce multiplier ideal sheaves on complex spaces (\emph{not} necessarily normal) via Ohsawa's extension measure, as a special case of which, it turns out to be the so-called Mather-Jacobian multiplier ideals in the algebro-geometric setting. As applications, we obtain a reasonable generalization of (algebraic) adjoint ideal sheaves to the analytic setting and establish some extension theorems on Kähler mani…
In this note, we reveal that our solution of Demailly's strong openness conjecture implies a matrix version of the conjecture; our solutions of two conjectures of Demailly-Kollár and Jonsson-Mustată implies the truth of twisted versions of the strong openness conjecture; our optimal $L^{2}$ extension implies Berndtsson's positivity of vector bundles associated to holomorphic fibrations over a unit disc.
The goal of this note is to survey some recent results on the Grauert-Riemenschneider multiplier ideal sheaves on any (reduced) complex space of pure dimension. In particular, we obtain the Briançon-Skoda number for any Noetherian ring of weakly holomorphic functions with weakly rational singularities (\emph{not} essentially of finite type over $\mathbb{C}$ and Cohen-Macaulay local rings), which will partially answer a question of Huneke.
Let $ϕ$ be a psh function on a bounded pseudoconvex open set $Ω\subset \C^n$, and let ${\cal I}(ϕ)$ be the associated multiplier ideal sheaf. Motivated by resolution of singularities issues, we establish an effective version of the coherence property of ${\cal I}(mϕ)$ as $m\to +\infty$. Namely, we estimate the order of growth in $m$ of the number of generators needed to engender ${\cal I}(mϕ)$ on a fixed compact subset, as well as the growth of the coefficients featuring in the decomposition of local sections as linear combinations over ${\cal O}_Ω$ of finitely many generators. The main idea i…
In the present article, we establish an equality condition in the restriction formula on jumping numbers by giving a sharp lower bound of the dimension of the support of a related coherent sheaf. As applications, we obtain equality conditions in the restriction formula on complex singularity exponents by giving the dimension, the regularity and the transversality of the support, and we also obtain some sharp equality conditions in the fundamental subadditivity property on complex singularity exponents. We also obtain two sharp relations on jumping numbers.
The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic integrals. As applications, we obtain Nadel type vanishing theorems and extension theorems for pluri-canonical sections of log pairs. Moreover, we give some results on semi-ampleness related to the abundance conjecture in birational geometry (the minimal model program).
The purpose of this note is threefold. (i) To explain the effective Kohn algorithm for multipliers in the complex Neumann problem and its difference with the full-real-radical Kohn algorithm, especially in the context of an example of Catlin-D'Angelo concerning the ineffectivness of the latter. (ii) To extend the techniques of multiplier ideal sheaves for the complex Neumann problem to general systems of partial differential equations. (iii) To present a new procedure of generation of multipliers in the complex Neumann problem as a special case of the multiplier ideal sheaves techniques for ge…
In this note, we present the concavity of the minimal $L^2$ integrals related to multiplier ideals sheaves on Stein manifolds. As applications, we obtain a necessary condition for the concavity degenerating to linearity, a characterization for 1-dimensional case, and a characterization for the equality in 1-dimensional optimal $L^{2}$ extension problem to hold.
We formulate and establish a generalization of Kollár's injectivity theorem for adjoint bundles twisted by suitable multiplier ideal sheaves. As applications, we generalize Kollár's torsion-freeness, Kollár's vanishing theorem, and a generic vanishing theorem for pseudo-effective line bundles. Our approach is not Hodge theoretic but analytic, which enables us to treat singular Hermitian metrics with nonalgebraic singularities. For the proof of the main injectivity theorem, we use $L^{2}$-harmonic forms on noncompact Kähler manifolds. For applications, we prove a Bertini-type theorem on the res…
In the first part of this paper, we study the properties of some particular plurisubharmonic functions, namely the toric ones. The main result of this part is a precise description of their multiplier ideal sheaves, which generalizes the algebraic case studied by Howald. In the second part, almost entirely independent of the first one, we generalize the notion of the adjoint ideal sheaf used in algebraic geometry to the analytic setting. This enables us to give an analogue of Howald's theorem for adjoint ideals attached to monomial ideals. Finally, using the local Ohsawa-Takegoshi-Manivel theo…
In this note, for the multiplier ideal sheaves with weights $\log\sum_{i}|z_{i}|^{a_{i}}$, we present the sufficient and necessary condition of the existence of decreasing equisingular approximations with analytic singularities.
Given a projective variety X, a smooth divisor D, and semipositive line bundles (L_1,h_1),,...,(L_m,h_m), we consider the "multiply twisted pluricanonical bundle" F:=m(K_X+D)+L_1+...+L_m on X and F_D:=mK_D+(L_1+...+L_m)|_D. Let I_j be the multiplier ideal sheaves associated to h_j, j=1,...,m. We show that, under a certain conditions on curvature, H^0(D,F_D\otimes I_1I_2...I_m) lies in the image of the restriction map H^0(X,F)->H^0(D,F_D). The format of our result is inspired both by Paun's simplification of Siu's proof of invariance of plurigenera and an earlier similar result due to Demailly.…
Let $\mathfrak a$ be an ideal of holomorphic functions vanishing only at the origin in $\mathbb{C}^n$. The \textit{type} of $\mathfrak a$ is an invariant that measures the order of vanishing of the functions in $\mathfrak a$ along holomorphic curves; this invariant is of importance in the study of subelliptic estimates and subelliptic multiplier ideal sheaves. Recently there has been some interest in the question of which curves actually compute the type. In this note we prove that it is computed by one of the analytic irreducible components of the intersection of $n-1$ general functions in $\…
