Dano Kim

We prove an extension theorem of Ohsawa-Takegoshi type for line bundle sections on a subvariety of general codimension in a normal projective variety. Our method of proof gives conditions to be satisfied for such extension in a general setting, while such conditions are satisfied when the subvariety is given by an appropriate multiplier ideal sheaf.

We extend the study of jumping numbers of multiplier ideals due to Ein–Lazarsfeld–Smith–Varolin from the algebraic case to the case of general plurisubharmonic functions. While many properties established by Ein–Lazarsfeld–Smith–Varolin are shown to gener

We first present a Skoda-type division theorem for holomorphic sections of line bundles on a projective variety which is essentially the most general, compared to previous ones. Then we revisit Geometric Effective Nullstellensatz and observe that even this general Skoda division is far from sufficient to yield stronger GEN such as ‘vanishing order [Formula: see text] division’, which could be used for finite generation of section rings by the basic finite generation lemma. To resolve this proble

We show that a Skoda complex with a general plurisubharmonic weight function is exact if its 'degree' is sufficiently large.This answers a question of Lazarsfeld and implies that not every integrally closed ideal is equal to a multiplier ideal even if we allow general plurisubharmonic weights for the multiplier ideal, extending the result of Lazarsfeld and Lee [LL].Theorem 1.1.Let X be a complex manifold, and let L and M be line bundles on X.Let e -ψ be a singular hermitian metric with psh weigh

We show by an example that the Demailly approximation sequence of a plurisubharmonic function, constructed via Bergman kernels, is not a decreasing sequence in general.

Canonical bundle formula due to Kawamata and others has played fundamental roles in algebraic geometry. We show that the canonical bundle formula has analytic characterization in terms of fiberwise integration, which confirms a folklore conjecture. The proof uses $L^2$ metrics and the valuative equivalence of plurisubharmonic singularities. As an application, we identify the singularity of the Ohsawa measure in a general $L^2$ extension theorem of Demailly for log canonical pairs. As another con

We extend the study of jumping numbers of multiplier ideals due to Ein-Lazarsfeld-Smith-Varolin from the algebraic case to the case of general plurisubharmonic functions. While many properties from Ein-Lazarsfeld-Smith-Varolin are shown to generalize to the plurisubharmonic case, important properties such as periodicity and discreteness do not hold any more. Previously only two particular examples with a cluster point (i.e. failure of discreteness) of jumping numbers were known, due to Guan-Li a

We show that a Skoda complex with a general plurisubharmonic weight function is exact if its 'degree' is sufficiently large. This answers a question of Lazarsfeld and implies that not every integrally closed ideal is equal to a multiplier ideal even if we allow general plurisubharmonic weights for the multiplier ideal, extending the result of Lazarsfeld and Lee \cite{LL}.

We show by an example that the (equivalence class of) singularity of a plurisubharmonic function cannot be determined by the data of its Lelong numbers, in a nontrivial sense. Such an example is provided by Siu-type singular hermitian metrics associated to an effective line bundle. We also show that a Siu-type metric has analytic singularities if and only if the section ring of the line bundle is finitely generated.

We prove an $L^2$ extension theorem of Ohsawa-Takegoshi type for extending holomorphic sections of line bundles from a subvariety which is given as a maximal log-canonical center of a pair and is of general codimension in a projective variety. Our method of proof indicates that such a setting is the most natural one in a sense, for general $L^2$ extension of line bundle sections.