Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
The equality is proven in [HN17, 4.3.2].
Let be a Künnemann-Mumford model for over . Then, by definition, is an snc-model, and thus certainly good and dlt. It is shown in [HN17, 5.1.7] that is minimal.
Let be a regular relatively complete model of as in [Kü98, 2.11] such that the formal -adic completion of
arises as a quotient of the formal -adic completion of under an action of the period lattice. Then, by construction, is a torus embedding of over , and we have a commutative diagram
Thus in order to prove that , it suffices to observe that
by Example 3.5.
∎