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.
By [Gub98, Theorem 7.12] (see also [BFJ16, Corollary 2.3]),
model metrics are dense in the set of continuous metrics
on .
Hence we may assume is a model
metric. Using (5.3), it is enough to show that
for a divisorial valuation . Let be an snc model with , and
such that for a model of on . Since
the normalized base change of is toroidal, we can
choose a toroidal modification with snc. The
induced morphism is toroidal;
hence it satisfies the log ramification formula
|
|
|
By (5.7), we infer
,
which gives the desired result since ,
imply .
∎