ScalingStacks

003X

Proposition 6.8. ([19, Thm. B]) Let (X,ω)(X,\omega) be a projective manifold with a Kähler form representing an integral class, and YY be a smooth subvariety of XX. Then any ϕ∈P​S​H​(Y,ω|Y)\phi\in PSH(Y,\omega|_{Y}) extends to ϕ∈P​S​H​(X,ω)\phi\in PSH(X,\omega).

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.