ScalingStacks

Proof. [051D]

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

Proof.

First, we prove Item (1). Since QQ is a Riemannian product, we have for z≠0z\neq 0,

(3.382) d2d​z2​ψ​(z)=ΔD​ψ​(z)=d​d∗​ψ​(z)\frac{d^{2}}{dz^{2}}\psi(z)=\Delta_{D}\psi(z)=dd^{*}\psi(z)

is exact, which implies that the cohomology class [ψ⁡(z)]∈H2​(D,ℝ)[\psi(z)]\in H^{2}(D;\mathbb{R}) is locally constant for z∈ℝ∖{0}z\in\mathbb{R}\setminus\{0\}. On the other hand, by the exponential decay property in (3.349) we see that

(3.383) limz→±∞[ψ⁡(z)]=limz→∞k±​[ωD].\lim_{z\rightarrow\pm\infty}[\psi(z)]=\lim_{z\rightarrow\infty}k_{\pm}[\omega_{D}].

For Item (2), denote

(3.384) ψ~​(z)≡ψ⁡(−z)+(k−+k+)​z​ωD.\tilde{\psi}(z)\equiv\psi(-z)+(k_{-}+k_{+})z\omega_{D}.

Then ψ~∧d​z\tilde{\psi}\wedge dz is also a Green current for PP and it is also asymptotic to k±​z⋅ωDk_{\pm}z\cdot\omega_{D} as z→±∞z\rightarrow\pm\infty. Therefore by uniqueness, ψ~​(z)=ψ​(z)\tilde{\psi}(z)=\psi(z). Taking the zz-derivative at z=0z=0 we get the conclusion. ∎

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