ScalingStacks

Proof of Theorem 3.1 . [038Y]

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 of Theorem 3.1.

By Proposition 2.9 (viii) it is enough to prove the continuity of Pθ​(u){P}_{\theta}(u). By the semistable reduction theorem [BL85, §7], there is a finite field extension K′/KK^{\prime}/K such that X′≔X⊗KK′X^{\prime}\coloneqq X\otimes_{K}K^{\prime} has a strictly semistable model 𝒳′\mathscr{X}^{\prime} with θ′≔q∗​θ\theta^{\prime}\coloneqq q^{*}\theta determined on 𝒳′\mathscr{X}^{\prime}, where q:X′→Xq\colon X^{\prime}\to X is the canonical map. It follows from Proposition 3.10 that Pθ′​(u∘q){P}_{\theta^{\prime}}(u\circ q) is continuous. We know from Lemma 2.11 that

Pθ′​(u∘q)=q∗​(Pθ​(u)).\displaystyle{P}_{\theta^{\prime}}(u\circ q)=q^{*}({P}_{\theta}(u)).

By [Ber90, Prop. 1.3.5], the topological space of Xan{X^{{\mathrm{an}}}} is the quotient of (X′)an(X^{\prime})^{\rm an} by the automorphism group of K′/KK^{\prime}/K. We conclude that Pθ​(u){P}_{\theta}(u) is continuous. ∎

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