Let be a model of that realizes the algebraic metric . For
short, denote and
. By
Proposition 5.55 there is a non-Archimedean field over
and a semi-stable model of . We may
further assume that all the components of the special fibre of
are defined over . Let
be the metrized line bundle obtained by base change to
. Then is obtained from by base
change. We denote by the map of analytic spaces. Be will denote by , , and the
corresponding objects for . Then, by Proposition
2.35 and Proposition 5.53,
|
|
|
β