ScalingStacks

Proposition 4.31 . [02Q8]

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

Let notation be as above. If Ψ|σ=0\Psi|_{\sigma}=0, then DΨD_{\Psi} intersects V⁡(σ)V(\sigma) properly and ισ∗​DΨ=DΨ⁡(σ)\iota_{\sigma}^{\ast}D_{\Psi}=D_{\Psi(\sigma)}. Moreover, {mτ¯}τ¯∈Σ⁡(σ)\{m_{{\overline{\tau}}}\}_{{\overline{\tau}}\in\Sigma(\sigma)} is a set of defining vectors of Ψ⁡(σ)\Psi(\sigma).

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