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 . By the semistable reduction theorem [BL85, §7], there is a finite field extension such that has a strictly semistable model with determined on , where is the canonical map. It follows from Proposition 3.10 that is continuous. We know from Lemma 2.11 that
By [Ber90, Prop. 1.3.5], the topological space of is the quotient of by the automorphism group of . We conclude that is continuous. ∎