Math 2.0

Several complex variables and analytic spaces Definition

Lelong class

Builds on Plurisubharmonic function

Definition

Let n≥1n \ge 1 and let ∣z∣\abs{z} be the Euclidean norm on ℂn\C^n. The Lelong class ℒ=ℒ(ℂn)\mathcal{L} = \mathcal{L}(\C^n) is the set of plurisubharmonic functions uu on ℂn\C^n for which there is a constant Cu∈ℝC_u \in \R with u(z)≤log⁡(1+∣z∣)+Cufor all z∈ℂn.u(z) \le \log(1 + \abs{z}) + C_u \quad \text{for all } z \in \C^n . The subclass ℒ+\mathcal{L}^+ consists of the u∈ℒu \in \mathcal{L} for which there is also a constant cu∈ℝc_u \in \R with u(z)≥log⁡(1+∣z∣)+cuu(z) \ge \log(1 + \abs{z}) + c_u for all z∈ℂnz \in \C^n.

Remarks

Example: let pp be a polynomial on ℂn\C^n of degree d≥1d \ge 1 and u=1dlog⁡∣p∣u = \frac{1}{d} \log\abs{p}. Then uu is plurisubharmonic, and ∣p(z)∣≤M(1+∣z∣)d\abs{p(z)} \le M (1 + \abs{z})^d for some M>0M > 0, so u(z)≤log⁡(1+∣z∣)+1dlog⁡Mu(z) \le \log(1 + \abs{z}) + \frac{1}{d} \log M; hence u∈ℒu \in \mathcal{L}. It is not in ℒ+\mathcal{L}^+ when pp has a zero, since u=−∞u = -\infty there. The function log⁡(1+∣z∣2)/2\log(1 + \abs{z}^2)/2 is in ℒ+\mathcal{L}^+. Non-example: u(z)=∣z1∣u(z) = \abs{z_1} is plurisubharmonic, but ∣z1∣−log⁡(1+∣z∣)\abs{z_1} - \log(1 + \abs{z}) is unbounded above, so u∉ℒu \notin \mathcal{L}. For n=1n = 1, the logarithmic potentials ∫log⁡∣z−w∣ dμ(w)\int \log\abs{z - w} \, d\mu(w) for compactly supported probability measures μ\mu are in ℒ\mathcal{L}. Some authors write log⁡+∣z∣=max⁡(log⁡∣z∣,0)\log^+\abs{z} = \max(\log\abs{z}, 0) in place of log⁡(1+∣z∣)\log(1 + \abs{z}); the class is the same, since the two functions differ by a bounded amount.

Reading path

To understand this page from the ground up, read these 2 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. Lelong class definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Plurisubharmonic_function
About this page
TagSV6A17MEYZ
URIm2://SV6A17MEYZ
Kinddefinition
WritingW0 stub
MSC32U35, 32U15
DefinesLelong class
UsesPlurisubharmonic function

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.