ScalingStacks

Proposition 4.91 . [02S4]

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

Proposition 4.91.

If ψ|Λ=0\psi|_{\Lambda}=0 then the divisor DψD_{\psi} intersects properly the orbit V⁡(Λ)V(\Lambda). Moreover, the set {mσ}σ∈Π⁡(Λ)\{m_{\sigma}\}_{\sigma\in\Pi(\Lambda)} is a set of defining vectors of ψ⁡(Λ)\psi(\Lambda) and the restriction of DψD_{\psi} to V⁡(Λ)V(\Lambda) is the divisor Dψ⁡(Λ)D_{\psi(\Lambda)}.

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