ScalingStacks

Theorem 7.8 . [01GW]

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

Theorem 7.8.

The map PSH⁡(X,θ)→𝐑\PSH(X,\theta)\to\mathbf{R} defined by φ↦supXφ\varphi\mapsto\sup_{X}\varphi is continuous and proper. Hence PSH⁡(X,θ)/𝐑\PSH(X,\theta)/\mathbf{R} is compact. Furthermore, the topology on PSH⁡(X,θ)\PSH(X,\theta) is equivalent to the topology of pointwise convergence on either XqmX^{\mathrm{qm}} or XdivX^{\mathrm{div}}.

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