ScalingStacks

Example 3.5 . [033K]

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 3.5.

Assume X=ℂ​ℙnX=\mathbb{C}\mathbb{P}^{n}, ω\omega is the Fubini-Study Kähler form and let BRB_{R} denote the euclidean ball centered at the origin and of radius RR in ℂn⊂ℂ​ℙn\mathbb{C}^{n}\subset\mathbb{C}\mathbb{P}^{n}. Then for x∈ℂnx\in\mathbb{C}^{n},

VBR,ω​(x)=max⁡(log⁡‖x‖R+12​log⁡[1+R2]−12​log⁡[1+‖x‖2],0).V_{B_{R},\omega}(x)=\max\left(\log\frac{||x||}{R}+\frac{1}{2}\log[1+R^{2}]-\frac{1}{2}\log[1+||x||^{2}];0\right).

Indeed set ψR:=max⁡(12​log⁡[1+‖x‖2],φR)\psi_{R}:=\max(\frac{1}{2}\log[1+||x||^{2}],\varphi_{R}), where φR=12​log⁡[1+R2]+log⁡‖x‖R\varphi_{R}=\frac{1}{2}\log[1+R^{2}]+\log\frac{||x||}{R}. Recall that the usual Siciak’s extremal function of BRB_{R} is log+⁡‖x‖R\log^{+}\frac{||x||}{R}. Therefore 12​log⁡[1+‖x‖2]≤φR=ψR\frac{1}{2}\log[1+||x||^{2}]\leq\varphi_{R}=\psi_{R} for ‖x‖≥R||x||\geq R. On the other hand if ‖x‖<R||x||<R then 1+‖x‖2>(1+R2)​‖x‖2R21+||x||^{2}>(1+R^{2})\frac{||x||^{2}}{R^{2}} hence 12​log⁡[1+‖x‖2]>φR\frac{1}{2}\log[1+||x||^{2}]>\varphi_{R} in BRB_{R}.

Now let u∈P​S​H​(ℂ​ℙn,ω)u\in PSH(\mathbb{C}\mathbb{P}^{n},\omega) such that u≤0u\leq 0 in BRB_{R}. Then v=u+12​log⁡[1+‖x‖2]∈ℒ⁡(ℂn)v=u+\frac{1}{2}\log[1+||x||^{2}]\in{\mathcal{L}}(\mathbb{C}^{n}). Since v≤12​log⁡[1+R2]v\leq\frac{1}{2}\log[1+R^{2}] in BRB_{R} we infer v≤12​log⁡[1+R2]+log+⁡‖x‖R=ψRv\leq\frac{1}{2}\log[1+R^{2}]+\log^{+}\frac{||x||}{R}=\psi_{R} in ℂn∖BR\mathbb{C}^{n}\setminus B_{R}. Moreover v≤12​log⁡[1+‖x‖2]=ψRv\leq\frac{1}{2}\log[1+||x||^{2}]=\psi_{R} in BRB_{R} hence v≤ψRv\leq\psi_{R} in ℂn\mathbb{C}^{n}. This shows VBR,ω=ψR−12​log⁡[1+‖x‖2]V_{B_{R},\omega}=\psi_{R}-\frac{1}{2}\log[1+||x||^{2}] on ℂ​ℙn\mathbb{C}\mathbb{P}^{n}.

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