6.4. Skeletal mesures on Berkovich spaces [017K]
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
6.4. Skeletal mesures on Berkovich spaces
Now consider a residually metrized model metric on .
Pick any representative for ,
where is a model of determined on a proper dlt model
of , and where is a continuous metric on .
Definition 6.5.
The skeletal measure is the image of the measure
under the embedding
.
We view it as a positive measure on , supported on the
skeleton .
This definition makes sense, in view of the following result.
Lemma 6.6.
The skeletal measure is independent of the choice
of representative for .
Proof.
Let , be proper dlt models of , with
dominating via a proper birational morphism
.
Let be a residually metrized model of
consisting of a model of determined on
and a continuous metric on .
Set , and
.
We must prove that .
Let be a top-dimensional face of ,
the associated stratum of , the
minimal stratum of containing
and the associated simplex of .
Then and have the same dimension, and
if we (somewhat abusively) identify and with their images
in , then is a
rational subsimplex of .
It suffices to prove that .
Now restricts to a birational morphism of
, so since and
,
it suffices to prove that .
But this is formal. Indeed, we have
and we can identify
with
in such a way that the restriction of to
coincides with the pullback
under of the restriction of to .
∎