ScalingStacks

Example 1.2 . [032F]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Example 1.2.

The most fundamental example which may serve as a guideline to everything that follows is the case where X=ℂ​ℙnX=\mathbb{C}\mathbb{P}^{n} is the complex projective space and ω=ωF​S\omega=\omega_{FS} is the Fubini-Study Kähler form. There is then a 1-to-1 correspondence between P​S​H​(ℂ​ℙn,ωF​S)PSH(\mathbb{C}\mathbb{P}^{n},\omega_{FS}) and the Lelong class

ℒ(ℂn):={ψ∈PSH(ℂn)/ψ(z)≤12log[1+|z|2]+Cψ}{\mathcal{L}}(\mathbb{C}^{n}):=\left\{\psi\in PSH(\mathbb{C}^{n})\,/\,\psi(z)\leq\frac{1}{2}\log[1+|z|^{2}]+C_{\psi}\right\}

which is given by the natural mapping

ψ∈ℒ⁡(ℂn)↦φ⁡(x)={ψ⁡(x)−12​log⁡[1+|x|2] if x∈ℂnlim¯y∈ℂn→x​(ψ⁡(y)−12​log⁡[1+|y|2]) if x∈H∞,\psi\in{\mathcal{L}}(\mathbb{C}^{n})\mapsto\varphi(x)=\left\{\begin{array}[]{ccc}\psi(x)-\frac{1}{2}\log[1+|x|^{2}]&\text{ if }&x\in\mathbb{C}^{n}\\ \overline{\lim}_{y\in\mathbb{C}^{n}\rightarrow x}(\psi(y)-\frac{1}{2}\log[1+|y|^{2}])&\text{ if }&x\in H_{\infty},\end{array}\right.

where H∞H_{\infty} denotes the hyperplane at infinity. One can easily show that this mapping is bicontinuous for the Ll​o​c1L_{loc}^{1} topology.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.