ScalingStacks

Proof. [02TL]

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.

Choose a toric section ss of LL whose divisor meets V⁡(σ)V(\sigma) properly. Let Ψ\Psi be the corresponding virtual support function. The condition of proper intersection is equivalent to Ψ|σ=0\Psi|_{\sigma}=0. Then Ψ\Psi extends to a continuous function Ψ¯{\overline{\Psi}} on NσN_{\sigma} and the restriction of Ψ¯→N⁡(σ){\overline{\Psi}}\to N(\sigma) is equal to Ψ⁡(σ)\Psi(\sigma). Hence the result follows from Proposition 5.22. ∎

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