Canonical measures [01K8]
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
Canonical measures
Since has degree , the measure on has total mass ; let us define a measure of total mass on by
When is archimedean, the measure is the Arakelov measure on the Riemann surface . Let us recall its definition. Consider an orthonormal basis of , i.e., a basis satisfying the relations
Then,
Let us now assume that is ultrametric. By a theorem of Heinz [40], the metric on the line bundle coincides with the canonical metric defined by Zhang [57] using the reduction graph of the minimal regular model of . This allows in particular to compute the measure : the reader will find in [20, 57, 5]) a quite explicit formula for , involving the physical interpretation of the graph as an electric network.