ScalingStacks

Paragraph [01K6]

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

Let ff be an invertible meromorphic function on XX. Let us view it as an invertible meromorphic section of the trivial metrized line bundle 𝒪X¯\overline{\mathscr{O}_{X}}. Let L¯\overline{L} be any line bundle on XX with an admissible adelic metric. Then,

(c^1​(L¯)​c^1​(𝒪X¯)|X)=0.({\widehat{c}}_{1}(\overline{L}){\widehat{c}}_{1}(\overline{\mathscr{O}_{X}})|X)=0.

Moreover, according to Theorem 1.3 of [19] (see Section 1.3),

(c^1​(L¯)​c^1​(𝒪X¯)|X)=(c^1​(L¯)|div⁡(f))+∑v∈M⁡(F)∫Xvlog⁡|f|v−1​c1​(L¯)v.({\widehat{c}}_{1}(\overline{L}){\widehat{c}}_{1}(\overline{\mathscr{O}_{X}})|X)=({\widehat{c}}_{1}(\overline{L})|\operatorname{div}(f))+\sum_{v\in M(F)}\int_{X_{v}}\log\left|{f}\right|_{v}^{-1}c_{1}(\overline{L})_{v}.

In other words, this furnishes an integral formula for the height (relative to L¯\overline{L}) of any divisor which is rationally equivalent to 00 :

(c^1​(L¯)|div⁡(f))=∑v∈M⁡(F)∫Xvlog⁡|f|v​c1​(L¯)v.({\widehat{c}}_{1}(\overline{L})|\operatorname{div}(f))=\sum_{v\in M(F)}\int_{X_{v}}\log\left|{f}\right|_{v}c_{1}(\overline{L})_{v}.

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