Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Lemma 8.5 .
Let S = { x 1 , … , x N } ⊂ X div S=\{x_{1},...,x_{N}\}\subset X^{\mathrm{div}} be a finite set of divisorial points, and set for t = ( t 1 , … , t N ) ∈ 𝐑 N t=(t_{1},...,t_{N})\in\mathbf{R}^{N}
(8.4)
φ S , t := sup { φ ∣ φ ∈ PSH ( X , ω ) , φ ( x i ) ≤ t i 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 S S .