Math 2.0

Several complex variables and analytic spaces Definition

Lelong number

Builds on Plurisubharmonic functionPositive current

Definition

Let Ω⊆ℂn\Omega \subseteq \C^n be open, let uu be a plurisubharmonic function on Ω\Omega and let x∈Ωx \in \Omega. The Lelong number of uu at xx is ν(u,x)=lim⁡r→0+sup⁡∣z−x∣<ru(z)log⁡r.\nu(u, x) = \lim_{r \to 0^+} \frac{\sup_{\abs{z - x} < r} u(z)}{\log r}. Here ∣⋅∣\abs{\cdot} is the Euclidean norm on ℂn\C^n.

Remarks

The limit exists and lies in [0,+∞)[0, +\infty), because sup⁡∣z−x∣<ru(z)\sup_{\abs{z - x} < r} u(z) is a convex increasing function of log⁡r\log r. An equivalent form is ν(u,x)=lim inf⁡z→xu(z)/log⁡∣z−x∣\nu(u, x) = \liminf_{z \to x} u(z) / \log \abs{z - x}.

Example: let ff be holomorphic on Ω\Omega with order of vanishing mm at xx, and u=log⁡∣f∣u = \log \abs{f}. Near xx one has c1rm≤sup⁡∣z−x∣<r∣f(z)∣≤c2rmc_1 r^m \le \sup_{\abs{z - x} < r} \abs{f(z)} \le c_2 r^m for constants c1,c2>0c_1, c_2 > 0, so ν(u,x)=m\nu(u, x) = m. In particular ν(log⁡∣z1∣,0)=1\nu(\log \abs{z_1}, 0) = 1.

If u(x)>−∞u(x) > -\infty, then ν(u,x)=0\nu(u, x) = 0. The converse fails. On the unit ball of ℂn\C^n let u(z)=−−log⁡∣z∣u(z) = -\sqrt{-\log \abs{z}}, a plurisubharmonic function because t↦−−tt \mapsto -\sqrt{-t} is convex and increasing on (−∞,0)(-\infty, 0). Then u(0)=−∞u(0) = -\infty, but sup⁡∣z∣<ru(z)/log⁡r=1/−log⁡r→0\sup_{\abs{z} < r} u(z) / \log r = 1 / \sqrt{-\log r} \to 0, so ν(u,0)=0\nu(u, 0) = 0.

Let TT be a closed positive current of bidimension (p,p)(p, p). Its Lelong number ν(T,x)\nu(T, x) is the limit as r→0r \to 0 of the trace mass of TT on the ball B(x,r)B(x, r), divided by πpr2p/p!\pi^p r^{2p} / p!. The divisor πpr2p/p!\pi^p r^{2p} / p! is the volume of a ball of radius rr in ℂp\C^p. With a suitable normalisation of ddcdd^c, one has ν(u,x)=ν(ddcu,x)\nu(u, x) = \nu(dd^c u, x).

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Plurisubharmonic function concept
  2. Positive current concept
  3. Lelong number definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Lelong_number
About this page
TagD6JTF3613D
URIm2://D6JTF3613D
Kinddefinition
WritingW0 stub
MSC32U25, 32U05
DefinesLelong number
UsesPlurisubharmonic function, Positive current

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.