Canonical metrics [01JV]
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 metrics
Let be a line bundle on . Let be the neutral element of and let us fix a trivialization of at .
The line bundle is canonically decomposed as the tensor product of an even and an odd line bundle :
By the theorem of the cube, an even line bundle satisfies , while for an odd line bundle , one has ; moreover, there are in each case a unique isomorphism compatible with the trivialization at the origin. By Lemma 2.4.1, an even (resp. an odd) line bundle possesses a canonical continuous metric making this isomorphism an isometry. This furnishes a canonical metric on , hence on . According to this lemma, this metric is semi-positive if is ample and even. Using a Lemma of Künnemann, ([17], Lemme 2.3), one proves that this also holds if is algebraically equivalent to . In any case, the canonical metrics are admissible.