ScalingStacks

Proof. [04QE]

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.

For notational simplicity, we do the proof for n=3n=3, the n=2n=2 case being even simpler. By 𝔖5\mathfrak{S}_{5}-symmetry, it is enough to check this on the open U0U_{0}.

On U0U_{0} the β„€\mathbb{Z}-affine structure induced by Ο€\pi matches the one associated with a minimal model 𝒳′\mathscr{X}^{\prime}, such the strict transform of D0D_{0} inside 𝒳′\mathscr{X}^{\prime} is isomorphic to ℂ​ℙ3\mathbb{C}\mathbb{P}^{3} and the hypotheses of TheoremΒ B hold for the stratum D0D_{0}. For the affine structure induced by an affinoid torus fibration, β„€\mathbb{Z}-affine functions on U0U_{0} are given by βˆ’log⁑|h|-\log\lvert h\rvert, where hh is a non-vanishing analytic function on Ο€βˆ’1​(U0)\pi^{-1}(U_{0}) (see SectionΒ 1.6), and Ο€βˆ’1​(U0)\pi^{-1}(U_{0}) is the generic fiber (in the sense of Berkovich) of 𝒳/D0β€²^\widehat{\mathscr{X}^{\prime}_{/D_{0}}} (see SectionΒ 1.5).

Using the results of SectionΒ 2, we may assume that we are working on the generic fiber of 𝒩/D0^\widehat{\mathscr{N}_{/D_{0}}}, which we denote by 𝔑D0\mathfrak{N}_{D_{0}}; this is an open subset of the analytification of the torus 𝕋\mathbb{T} of 𝒩=𝒩×𝔸k1R\mathscr{N}=\mathcal{N}\times_{\mathbb{A}^{1}_{k}}R, where 𝒩=Ξ½D0/𝒳′\mathcal{N}=\nu_{D_{0}/\mathscr{X}^{\prime}}. Thus we replace Ο€:Ο€βˆ’1​(U0)β†’U0\pi:\pi^{-1}(U_{0})\rightarrow U_{0} with val:𝔑D0βŠ‚π•‹anβ†’Star⁑(e0)≃U0\val:\mathfrak{N}_{D_{0}}\subset\mathbb{T}^{\an}\rightarrow\Star(e_{0})\simeq U_{0}.

The torus 𝕋𝒩\mathbb{T}_{\mathcal{N}} of 𝒩\mathcal{N} is the direct product of the torus of D0D_{0} with 𝔾m,k\mathbb{G}_{m,k}, i.e. in coordinates

𝕋𝒩=𝕋D0Γ—k𝔾m,k=Spec⁑k⁑[(z1z4)Β±,(z2z4)Β±,(z3z4)Β±,uΒ±].\mathbb{T}_{\mathcal{N}}=\mathbb{T}_{D_{0}}\times_{k}\mathbb{G}_{m,k}=\Spec\,k\Big[\Big(\frac{z_{1}}{z_{4}}\Big)^{\pm},\Big(\frac{z_{2}}{z_{4}}\Big)^{\pm},\Big(\frac{z_{3}}{z_{4}}\Big)^{\pm},u^{\pm}\Big].

The normal bundle is endowed with a morphism t:𝒩→𝔸k1t:\mathcal{N}\rightarrow\mathbb{A}^{1}_{k}, whose restriction 𝕋𝒩→𝔾m,k\mathbb{T}_{\mathcal{N}}\rightarrow\mathbb{G}_{m,k} corresponds to the morphism of rings

k⁑[tΒ±]β†’k⁑[(z1z4)Β±,(z2z4)Β±,(z3z4)Β±,uΒ±],t↦uβ€‹βˆi=13ziz4.k[t^{\pm}]\rightarrow k\Big[\Big(\frac{z_{1}}{z_{4}}\Big)^{\pm},\Big(\frac{z_{2}}{z_{4}}\Big)^{\pm},\Big(\frac{z_{3}}{z_{4}}\Big)^{\pm},u^{\pm}\Big],\quad t\mapsto u\prod_{i=1}^{3}\frac{z_{i}}{z_{4}}.

We obtain that

𝕋=𝕋𝒩×𝔾m,kK=Spec⁑K⁑[(z1z4)Β±,(z2z4)Β±,(z3z4)Β±,uΒ±]tβˆ’uβ€‹βˆi=13ziz4=Spec⁑K⁑[(z1z4)Β±,(z2z4)Β±,(z3z4)Β±],\mathbb{T}=\mathbb{T}_{\mathcal{N}}\times_{\mathbb{G}_{m,k}}K=\Spec\frac{K\Big[\Big(\frac{z_{1}}{z_{4}}\Big)^{\pm},\Big(\frac{z_{2}}{z_{4}}\Big)^{\pm},\Big(\frac{z_{3}}{z_{4}}\Big)^{\pm},u^{\pm}\Big]}{t-u\prod_{i=1}^{3}\frac{z_{i}}{z_{4}}}=\Spec\,K\Big[\Big(\frac{z_{1}}{z_{4}}\Big)^{\pm},\Big(\frac{z_{2}}{z_{4}}\Big)^{\pm},\Big(\frac{z_{3}}{z_{4}}\Big)^{\pm}\Big],

so that β„€\mathbb{Z}-affine functions on Star⁑(e0)\Star(e_{0}) are integral linear combinations of the βˆ’log⁑|ziz4|-\log\lvert\frac{z_{i}}{z_{4}}\rvert, for i=1,2,3i=1,2,3. But those functions are precisely m1βˆ’m4m_{1}-m_{4}, m2βˆ’m4m_{2}-m_{4}, m3βˆ’m4m_{3}-m_{4}, i.e. m∈Mm\in M satisfying ⟨m,e0⟩=0\langle m,e_{0}\rangle=0 and generating the β„€\mathbb{Z}-linear functions on U0U_{0} in [Li19]. ∎

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