ScalingStacks

Remark 3.8 . [01ET]

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

Remark 3.8.

For each ξ∈𝒳0\xi\in\mathcal{X}_{0} let IξI_{\xi} be the set of components EjE_{j} passing through ξ\xi. Arguing as above shows that there exists a unique way to define for each s∈σIξs\in\sigma_{I_{\xi}} a valuation val𝒳^ξ,s\val_{\widehat{\mathcal{X}}_{\xi},s} on 𝒳^ξ:=Spec⁡𝒪^𝒳,ξ\widehat{\mathcal{X}}_{\xi}:=\spec\widehat{\mathcal{O}}_{\mathcal{X},\xi}, if we impose that:

  • •

    val𝒳^ξ,s\val_{\widehat{\mathcal{X}}_{\xi},s} is centered at ξJ\xi_{J} for s∈ri⁡(σJ)⊂σIξs\in\rel(\sigma_{J})\subset\sigma_{I_{\xi}};

  • •

    val𝒳^ξ,s⁡(Ei)=si\val_{\widehat{\mathcal{X}}_{\xi},s}(E_{i})=s_{i} for each i∈Iξi\in I_{\xi};

  • •

    s↦val𝒳^ξ,s⁡(f)s\mapsto\val_{\widehat{\mathcal{X}}_{\xi},s}(f) is continuous for each f∈𝒪^𝒳,ξf\in\widehat{\mathcal{O}}_{\mathcal{X},\xi}.

Indeed, choose a regular system of parameters (zi)i∈L(z_{i})_{i\in L} of 𝒪𝒳,ξ\mathcal{O}_{\mathcal{X},\xi} such that zjz_{j} is a local equation of EjE_{j} for j∈Iξ⊂Lj\in I_{\xi}\subset L, and a field of representatives of κ⁡(ξ)\kappa(\xi) in 𝒪𝒳,ξ\mathcal{O}_{\mathcal{X},\xi}. We then have an isomorphism 𝒪^𝒳,ξ≃κ⁡(ξ)​[[ti,i∈L]]\widehat{\mathcal{O}}_{\mathcal{X},\xi}\simeq\kappa(\xi)[[t_{i},\,i\in L]] under which val𝒳^ξ,s\val_{\widehat{\mathcal{X}}_{\xi},s} corresponds to the monomial valuation taking value sis_{i} on tit_{i} for j∈Iξj\in I_{\xi}, and 00 on tit_{i} for i∈L∖Ji\in L\setminus J. Note that val𝒳,s\val_{\mathcal{X},s} is then the image of val𝒳^ξ,s\val_{\widehat{\mathcal{X}}_{\xi},s} under the natural map 𝒳^ξ→𝒳\widehat{\mathcal{X}}_{\xi}\to\mathcal{X}.

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