Math 2.0

Several complex variables and analytic spaces Definition

Plurisubharmonic exhaustion function

Builds on Plurisubharmonic functionComplex manifoldCompact setLevi form

Definition

Let XX be a complex manifold, for example a domain in ℂn\C^n. A plurisubharmonic exhaustion function on XX is a function φ ⁣:X→[−∞,∞)\varphi \colon X \to [-\infty, \infty) such that:

  1. φ\varphi is plurisubharmonic on XX.
  2. φ\varphi is an exhaustion: for every c∈ℝc \in \R, the set {x∈X:φ(x)<c}\set{x \in X : \varphi(x) < c} is relatively compact in XX, that is, its closure in XX is compact.

It is smooth and strictly plurisubharmonic if moreover φ\varphi is C∞C^\infty and its Levi form is positive definite at every point, in local holomorphic coordinates.

Remarks

Example: on ℂn\C^n, φ(z)=∣z∣2\varphi(z) = \abs{z}^2 is a smooth strictly plurisubharmonic exhaustion function. Its Levi form is ∣w∣2\abs{w}^2, and its sublevel sets are open balls. Non-example: on the unit ball B⊆ℂnB \subseteq \C^n, φ(z)=∣z∣2\varphi(z) = \abs{z}^2 is still strictly plurisubharmonic but is not an exhaustion, since {φ<2}=B\set{\varphi < 2} = B is not relatively compact in BB. On BB, the function −log⁡(1−∣z∣2)-\log(1 - \abs{z}^2) is a smooth strictly plurisubharmonic exhaustion function. For a domain Ω⊊ℂn\Omega \subsetneq \C^n, an equivalent form of clause 2 for continuous φ\varphi is that φ(z)→+∞\varphi(z) \to +\infty as zz tends to ∂Ω\partial\Omega or, when Ω\Omega is unbounded, as ∣z∣→∞\abs{z} \to \infty.

Reading path

To understand this page from the ground up, read these 5 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. Compact set concept
  2. Complex manifold concept
  3. Levi form concept
  4. Plurisubharmonic function concept
  5. Plurisubharmonic exhaustion function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Pseudoconvexity
About this page
TagM9ZFWS9KSP
URIm2://M9ZFWS9KSP
Kinddefinition
WritingW0 stub
MSC32U10, 32T35
DefinesPlurisubharmonic exhaustion function
UsesPlurisubharmonic function, Complex manifold, Compact set, Levi form

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.