ScalingStacks

Proof. [0160]

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.

To ease notation, set rβ€²:=r𝒳′​𝒳′′r^{\prime}:=r_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}} and r:=r𝒳​𝒳′r:=r_{{\mathcal{X}}{\mathcal{X}}^{\prime}}. Let Οƒ\sigma be the smallest simplex of Δ⁑(𝒳)\Delta({\mathcal{X}}) containing r⁑(Οƒβ€²)r(\sigma^{\prime}). Write YY, Yβ€²Y^{\prime} and Yβ€²β€²Y^{\prime\prime} for the strata of 𝒳0{\mathcal{X}}_{0}, 𝒳0β€²{\mathcal{X}}^{\prime}_{0} and 𝒳0β€²β€²{\mathcal{X}}^{\prime\prime}_{0} corresponding to Οƒ\sigma, Οƒβ€²\sigma^{\prime} and Οƒβ€²β€²\sigma^{\prime\prime}, respectively. The restrictions rβ€²|Οƒβ€²β€²:Οƒβ€²β€²β†’Οƒβ€²r^{\prime}|_{\sigma^{\prime\prime}}\colon\sigma^{\prime\prime}\to\sigma^{\prime} and rΟƒβ€²:Οƒβ€²β†’Οƒr_{\sigma^{\prime}}\colon\sigma^{\prime}\to\sigma are given by β„š{\mathbb{Q}}-linear maps, and we have induced morphisms Yβ€²β€²β†’Yβ€²Y^{\prime\prime}\to Y^{\prime} and Yβ€²β†’YY^{\prime}\to Y.

First suppose that Οƒβ€²β€²\sigma^{\prime\prime} is active for rβ€²r^{\prime} and Οƒβ€²\sigma^{\prime} is active for rr. Then rβ€²|Οƒβ€²β€²r^{\prime}|_{\sigma^{\prime\prime}} and r|Οƒβ€²r|_{\sigma^{\prime}} are given by β„š{\mathbb{Q}}-linear isomorphisms; hence so is the composition r𝒳​𝒳′′|Οƒβ€²β€²r_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}|_{\sigma^{\prime\prime}}. Similarly, the maps Yβ€²β€²β†’Yβ€²Y^{\prime\prime}\to Y^{\prime} and Yβ€²β†’YY^{\prime}\to Y are bimeromorphic morphisms; hence so is the composition Yβ€²β€²β†’YY^{\prime\prime}\to Y. It follows that Οƒβ€²β€²\sigma^{\prime\prime} is active for r𝒳​𝒳′′r_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}.

Conversely, suppose Οƒβ€²β€²\sigma^{\prime\prime} is active for r𝒳​𝒳′′r_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}. Since the map Yβ€²β€²β†’YY^{\prime\prime}\to Y is a bimeromorphic morphism, the map Yβ€²β€²β†’Yβ€²Y^{\prime\prime}\to Y^{\prime} (resp. Yβ€²β†’YY^{\prime}\to Y) must be injective (resp. surjective). In particular, dimY′′≀dimYβ€²\dim Y^{\prime\prime}\leq\dim Y^{\prime} and dimY≀dimYβ€²\dim Y\leq\dim Y^{\prime}. Similarly, since the β„š{\mathbb{Q}}-linear map defining r𝒳​𝒳′′|Οƒβ€²β€²=r|Οƒβ€²βˆ˜rβ€²|Οƒβ€²β€²r_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}|_{\sigma^{\prime\prime}}=r|_{\sigma^{\prime}}\circ r^{\prime}|_{\sigma^{\prime\prime}} is an isomorphism, the β„š{\mathbb{Q}}-linear map defining rβ€²|Οƒβ€²β€²r^{\prime}|_{\sigma^{\prime\prime}} (resp. r|Οƒβ€²r|_{\sigma^{\prime}}) must be injective (resp. surjective). In particular, dimσ′′≀dimΟƒβ€²\dim\sigma^{\prime\prime}\leq\dim\sigma^{\prime} and dimσ≀dimΟƒβ€²\dim\sigma\leq\dim\sigma^{\prime}. Now

dimYβ€²β€²+dimΟƒβ€²β€²=dimYβ€²+dimΟƒβ€²=dimY+dimΟƒ=nβˆ’1,\dim Y^{\prime\prime}+\dim\sigma^{\prime\prime}=\dim Y^{\prime}+\dim\sigma^{\prime}=\dim Y+\dim\sigma=n-1,

so we infer that dimYβ€²β€²=dimYβ€²=dimY\dim Y^{\prime\prime}=\dim Y^{\prime}=\dim Y and dimΟƒ=dimΟƒβ€²=dimΟƒβ€²β€²\dim\sigma=\dim\sigma^{\prime}=\dim\sigma^{\prime\prime}. This further implies that the maps Yβ€²β€²β†’Yβ€²Y^{\prime\prime}\to Y^{\prime} and Yβ€²β†’YY^{\prime}\to Y are bimeromorphic morphisms, and that the β„š{\mathbb{Q}}-linear maps defining rβ€²|Οƒβ€²β€²r^{\prime}|_{\sigma^{\prime\prime}} and r|Οƒβ€²r|_{\sigma^{\prime}} are isomorphisms. Hence Οƒβ€²β€²\sigma^{\prime\prime} and Οƒβ€²\sigma^{\prime} are active for rβ€²r^{\prime} and rr, respectively. ∎

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