ScalingStacks

Lemma 5.13 . [0178]

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

We have p−1​(Sk⁡(𝒳))=Sk⁡(𝒳′)p^{-1}(\operatorname{Sk}({\mathcal{X}}))=\operatorname{Sk}({\mathcal{X}}^{\prime}). Further, for each face σ\sigma of Δ⁡(𝒳)\Delta({\mathcal{X}}), there exist positive integers eσe_{\sigma}, fσf_{\sigma} and gσg_{\sigma} satisfying

eσ=mgcd⁡(m,bσ)andfσ​gσ=gcd⁡(m,bσ)e_{\sigma}=\frac{m}{\gcd(m,b_{\sigma})}{\quad\text{and}\quad}f_{\sigma}g_{\sigma}=\gcd(m,b_{\sigma})

and such that the following properties hold: p−1​(σ)p^{-1}(\sigma) is a union of gσg_{\sigma} faces σα′\sigma^{\prime}_{\alpha} of Δ⁡(𝒳′)\Delta({\mathcal{X}}^{\prime}), and these are permuted by GG. For each α\alpha:

  • (a)

    pp induces a ℚ{\mathbb{Q}}-affine isomorphism σα′​→∼​σ\sigma^{\prime}_{\alpha}\overset{\sim}{\to}\sigma;

  • (b)

    pp induces a generically finite map Yσα′→YσY_{\sigma^{\prime}_{\alpha}}\to Y_{\sigma}, of degree fσf_{\sigma};

  • (c)

    m​p∗​Mσ⊂Mσα′mp^{*}M_{\sigma}\subset M_{\sigma^{\prime}_{\alpha}}, and [Mσα′:mp∗Mσ]=eσ[M_{\sigma^{\prime}_{\alpha}}:mp^{*}M_{\sigma}]=e_{\sigma}.

Furthermore, we have:

  • (i)

    Mσα′=p∗​(m​Mσ+ℤ​1σ)M_{\sigma^{\prime}_{\alpha}}=p^{*}\left(mM_{\sigma}+{\mathbb{Z}}1_{\sigma}\right);

  • (ii)

    Vol⁡(σα′)=mdimσ​Vol⁡(σ)\operatorname{Vol}(\sigma^{\prime}_{\alpha})=m^{\dim\sigma}\operatorname{Vol}(\sigma);

  • (iii)

    bσα′=bσ/gcd⁡(m,bσ)b_{\sigma^{\prime}_{\alpha}}=b_{\sigma}/\gcd(m,b_{\sigma}).

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