Green functions, Segre numbers, and King’s formula

Abstract

Let 𝒥 be a coherent ideal sheaf on a complex manifold X with zero set Z, and let G be a plurisubharmonic function such that G=log|f|+𝒪(1) locally at Z, where f is a tuple of holomorphic functions that defines 𝒥. We give a meaning to the Monge-Ampère products (dd c G) k for k=0,1,2,..., and prove that the Lelong numbers of the currents M k 𝒥 :=1 Z (dd c G) k at x coincide with the so-called Segre numbers of J at x, introduced independently by Tworzewski, Gaffney-Gassler, and Achilles-Manaresi. More generally, we show that M k 𝒥 satisfy a certain generalization of the classical King formula.