ScalingStacks

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 LL has degree gg, the measure c1​(L¯)vc_{1}(\overline{L})_{v} on XvX_{v} has total mass gg ; let us define a measure of total mass 11 on XvX_{v} by

μv=1g​c1​(L¯)v.\mu_{v}=\frac{1}{g}c_{1}(\overline{L})_{v}.

When vv is archimedean, the measure μv\mu_{v} is the Arakelov measure on the Riemann surface Xv​(𝐂)X_{v}({\mathbf{C}}). Let us recall its definition. Consider an orthonormal basis (ω1,…,ωg)(\omega_{1},\dots,\omega_{g}) of H0​(X,ΩX1)H^{0}(X,\Omega^{1}_{X}), i.e., a basis satisfying the relations

∫Xv​(𝐂)ωj∧ωk¯=δj,k={1if j=k ;0otherwise.\int_{X_{v}({\mathbf{C}})}\omega_{j}\wedge\overline{\omega_{k}}=\delta_{j,k}=\begin{cases}1&\text{if $j=k$ ;}\\ 0&\text{otherwise.}\end{cases}

Then,

μv=1g​∑j=1gωj∧ωj¯.\mu_{v}=\frac{1}{g}\sum_{j=1}^{g}\omega_{j}\wedge\overline{\omega_{j}}.

Let us now assume that vv is ultrametric. By a theorem of Heinz [40], the metric on the line bundle L¯\overline{L} coincides with the canonical metric defined by Zhang [57] using the reduction graph of the minimal regular model of XX. This allows in particular to compute the measure μv\mu_{v} : the reader will find in [20, 57, 5]) a quite explicit formula for μv\mu_{v}, involving the physical interpretation of the graph as an electric network.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.