ScalingStacks

Proposition 4.89 . [02S2]

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.89.

If Ψ|σ=0\Psi|_{\sigma}=0 then the divisor DψD_{\psi} and the horizontal orbit 𝒱⁡(σ){\mathcal{V}}(\sigma) intersect properly. Moreover, the set {(mΛ¯,lΛ¯)}Λ¯∈Π⁡(σ)\{(m_{{\overline{\Lambda}}},l_{{\overline{\Lambda}}})\}_{{\overline{\Lambda}}\in\Pi(\sigma)} is a set of defining vectors of ψ⁡(σ)\psi(\sigma) and the restriction of DψD_{\psi} to 𝒱⁡(σ){\mathcal{V}}(\sigma) is Dψ⁡(σ)D_{\psi(\sigma)}.

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