English

A sharp lower bound for the log canonical threshold

Complex Variables 2014-02-17 v2 Algebraic Geometry

Abstract

In this note, we prove a sharp lower bound for the log canonical threshold of a plurisubharmonic function φ\varphi with an isolated singularity at 00 in an open subset of Cn{\mathbb C}^n. This threshold is defined as the supremum of constants c>0c>0 such that e2cφe^{-2c\varphi} is integrable on a neighborhood of 00. We relate c(φ)c(\varphi) with the intermediate multiplicity numbers ej(φ)e_j(\varphi), defined as the Lelong numbers of (ddcφ)j(dd^c\varphi)^j at 00 (so that in particular e0(φ)=1e_0(\varphi)=1). Our main result is that c(φ)ej(φ)/ej+1(φ)c(\varphi)\ge\sum e_j(\varphi)/e_{j+1}(\varphi), 0jn10\le j\le n-1. This inequality is shown to be sharp; it simultaneously improves the classical result c(φ)1/e1(φ)c(\varphi)\ge 1/e_1(\varphi) due to Skoda, as well as the lower estimate c(φ)n/en(φ)1/nc(\varphi)\ge n/e_n(\varphi)^{1/n} which has received crucial applications to birational geometry in recent years. The proof consists in a reduction to the toric case, i.e. singularities arising from monomial ideals.

Keywords

Cite

@article{arxiv.1201.4086,
  title  = {A sharp lower bound for the log canonical threshold},
  author = {Jean-Pierre Demailly and Hoang Hiep Pham},
  journal= {arXiv preprint arXiv:1201.4086},
  year   = {2014}
}

Comments

7 pages. Paper accepted in Acta Mathematica, this second version includes proof corrections

R2 v1 2026-06-21T20:07:06.972Z