ScalingStacks

Proposition 5.55 . [02UU]

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

Proposition 5.55.

Let KK be a field complete with respect to an absolute value associated to a nontrivial discrete valuation. Let K∘K^{\circ} be the ring of integers. Let 𝒳{\mathcal{X}} be a proper model over K∘K^{\circ} of β„™K1\mathbb{P}^{1}_{K}. Then there exists a finite extension HH of KK with ring of integers H∘{H}^{\circ}, a semi-stable model 𝒳′{\mathcal{X}}^{\prime} of β„™H1\mathbb{P}^{1}_{H}, and a proper morphism of models 𝒳′→𝒳×Spec⁑(H∘)\mathcal{X}^{\prime}\to\mathcal{X}\times\operatorname{Spec}({H}^{\circ}).

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