ScalingStacks

Proof. [0392]

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.

If deg⁡(L)≤0\deg(L)\leq 0, then it is clear from the definition that vol(L,∥∥1,∥∥2)=0\vol(L,\|\ \|_{1},\|\ \|_{2})=0. So we may assume that LL is ample. We need the energy E(L,∥∥1,∥∥2)E(L,{\|\ \|}_{1},{\|\ \|}_{2}) with respect to continuous semipositive metrics ∥∥1,∥∥2{\|\ \|}_{1},{\|\ \|}_{2} on LanL^{{\mathrm{an}}} introduced in [BGJKM16, Def. 2.4.4]. By Corollary 3.11, the envelopes P(∥∥1){P}({\|\ \|}_{1}) and P(∥∥2){P}({\|\ \|}_{2}) are semipositive model metrics on LanL^{{\mathrm{an}}}. In particular, they are continuous and hence it follows from [BGJKM16, Cor. 6.2.2] that

vol(L,∥∥1,∥∥2)=E(L,P(∥∥1),P(∥∥2)).\displaystyle\vol(L,{\|\ \|}_{1},{\|\ \|}_{2})=E(L,{P}({\|\ \|}_{1}),{P}({\|\ \|}_{2})).

In the case of semipositive model metrics associated to line bundles ℒ1,ℒ2\mathscr{L}_{1},\mathscr{L}_{2} on a K∘{K^{\circ}}-model 𝒳\mathscr{X}, our assumption Γ⊂ℚ\Gamma\subset\mathbb{Q} yields that the energy is defined as a ℚ\mathbb{Q}-linear combination of intersection numbers of the line bundles ℒ1,ℒ2\mathscr{L}_{1},\mathscr{L}_{2} on 𝒳\mathscr{X} proving the claim. ∎

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