ScalingStacks

Lemma 8.5 . [01C9]

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

Lemma 8.5.

Let S={x1,…,xN}⊂XdivS=\{x_{1},...,x_{N}\}\subset X^{\mathrm{div}} be a finite set of divisorial points, and set for t=(t1,…,tN)∈𝐑Nt=(t_{1},...,t_{N})\in\mathbf{R}^{N}

(8.4) φS,t:=sup{φ∣φ∈PSH(X,ω),φ(xi)≤ti for i=1,…,N}.\varphi_{S,t}:=\sup\left\{\varphi\mid\varphi\in\PSH(X,\omega),\,\varphi(x_{i})\leq t_{i}\text{ for }i=1,...,N\right\}~.

Then φS,t\varphi_{S,t} is a continuous ω\omega-psh function, and MA⁡(φS,t)\MA(\varphi_{S,t}) is supported in SS.

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