ScalingStacks

Lemma 4.5 . [015Z]

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

Lemma 4.5.

Suppose 𝒳{\mathcal{X}}, 𝒳′{\mathcal{X}}^{\prime} and 𝒳′′{\mathcal{X}}^{\prime\prime} are snc models, with 𝒳′{\mathcal{X}}^{\prime} dominating 𝒳{\mathcal{X}} and 𝒳′′{\mathcal{X}}^{\prime\prime} dominating 𝒳′{\mathcal{X}}^{\prime}. Let Οƒβ€²β€²\sigma^{\prime\prime} be a simplex of Δ⁑(𝒳′′)\Delta({\mathcal{X}}^{\prime\prime}), and let Οƒβ€²\sigma^{\prime} be the smallest simplex of Δ⁑(𝒳′)\Delta({\mathcal{X}}^{\prime}) containing r𝒳′​𝒳′′​(Οƒβ€²β€²)r_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}}(\sigma^{\prime\prime}). Then Οƒβ€²β€²\sigma^{\prime\prime} is active for r𝒳​𝒳′′r_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}} iff Οƒβ€²β€²\sigma^{\prime\prime} is active for r𝒳′​𝒳′′r_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}} and Οƒβ€²\sigma^{\prime} is active for r𝒳​𝒳′r_{{\mathcal{X}}{\mathcal{X}}^{\prime}}. As a consequence, A𝒳​𝒳′′=Aπ’³β€²β€‹π’³β€²β€²βˆ©rπ’³β€²β€‹π’³β€²β€²βˆ’1​(A𝒳​𝒳′)A_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}=A_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}}\cap r_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}}^{-1}(A_{{\mathcal{X}}{\mathcal{X}}^{\prime}}).

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