Proof. [02VZ]
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.
Let be a metric on and write . Suppose first that is toric and quasi-algebraic. Let be a finite set containing the Archimedean places, as in Definition 2.51, an integer and a proper model over of so that is induced by the localization for all . Over , there is an isomorphism from to the canonical model . Since is Noetherian, this isomorphism and its inverse are defined over for certain finite subset containing . Thus, enlarging the finite set if necessary, we can suppose without loss of generality that agrees with the canonical model . Hence, for all places . In consequence, it is an adelic toric metric.
Conversely, suppose that is a toric adelic metrized line bundle. Let be the union of the set of Archimedean places and . By definition, this is a finite set. Let be the canonical model over of . Then is the metric induced by this model, for all . Hence is quasi-algebraic. ∎