ScalingStacks

The reduction graph of the special fiber [01J9]

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

The reduction graph of the special fiber

In that situation, the reduction graph R⁡(𝔛)R(\mathfrak{X}) is a metrized graph defined as follows. It has for vertices the irreducible components of the special fiber, with as many edges of length log⁡|π|−1\log\left|{\pi}\right|^{-1} between two vertices as the number of intersection points of the corresponding components. In an neighbourghood of a double point, 𝔛\mathfrak{X} looks like (i.e., has an étale map to) the scheme with equation x​y=πxy=\pi in the affine plane 𝐀K∘2\mathbf{A}^{2}_{K^{\circ}}.

If one replaces the field KK by a finite extension K′K^{\prime}, the base change 𝔛⊗K∘(K′)∘\mathfrak{X}\otimes_{K^{\circ}}(K^{\prime})^{\circ} may no more be regular. Indeed, 𝔛⊗K∘(K′)∘\mathfrak{X}\otimes_{K^{\circ}}(K^{\prime})^{\circ} is étale locally isomorphic to x​y=(π′)exy=(\pi^{\prime})^{e}, where π′\pi^{\prime} is a uniformizing element of K′K^{\prime}, and ee is the ramification index. When e>1e>1, the origin is a singular point of that scheme and one needs to blow it up repeatedly in order to obtain a regular scheme, which is a semi-stable model of XK′\mathrm{X}_{K^{\prime}} over (K′)∘(K^{\prime})^{\circ}. The two initial components are replaced by a chain of e+1e+1 components, the e−1e-1 intermediate ones being projective lines. In other words, e−1e-1 vertices have been added, regularly spaced along each edge. One concludes that the reduction graph has not changed, as a topological space. Its metric has not changed neither, since the ee edges that partition an original edge (of length log⁡|π|−1\log\left|{\pi}\right|^{-1}) have length log⁡|π′|−1=1e​log⁡|π|−1\log\left|{\pi^{\prime}}\right|^{-1}=\frac{1}{e}\log\left|{\pi}\right|^{-1}.

We say that a function on R⁡(𝔛)R(\mathfrak{X}) is piecewise linear if, up to passing to a finite extension (which replaces each edge by ee edges of length equal to 1/e1/eth of the initial one), it is linear on each edge.

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