Definition [01IE]
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
Definition
Let be a topological space together with a sheaf of local rings (“analytic functions”) ; let also be the sheaf of continuous functions on . In analytic geometry, local functions have an absolute value which is a real valued continuous function, satisfying the triangle inequality. Let us thus assume that we have a morphism of sheaves , written , such that , , and .
A line bundle on is a sheaf of -modules which is locally isomorphic to . In other words, is covered by open sets such that ; such an isomorphism is equivalent to a non-vanishing section , also called a local frame of .
If is a section of a line bundle on an open set , the value of at a point is only well-defined as an element of the stalk , which is a -vector space of dimension . (Here, is the residue field of at .) Prescribing a metric on amounts to assign, in a coherent way, the norms of these values. Formally, a metric on is the datum, for any open set and any section , of a continuous function , satisfying the following properties :
- (1)
for any open set , is the restriction to of the function ;
- (2)
for any function , ;
- (3)
if is a local frame on , then doesn’t vanish on .
One usually writes for the pair of a line bundle and a metric on it.
Observe that the trivial line bundle has a natural “trivial” metric, for which . In fact, a metric on the trivial line bundle is equivalent to the datum of a continuous function on , such that .