ScalingStacks

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 XX be a topological space together with a sheaf of local rings 𝒪X\mathscr{O}_{X} (“analytic functions”) ; let also 𝒞X\mathscr{C}_{X} be the sheaf of continuous functions on XX. 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 𝒪X→𝒞X\mathscr{O}_{X}\rightarrow\mathscr{C}_{X}, written f↦|f|f\mapsto\left|{f}\right|, such that |f​g|=|f|​|g|\left|{fg}\right|=\left|{f}\right|\left|{g}\right|, |1|=1\left|{1}\right|=1, and |f+g|≤|f|+|g|\left|{f+g}\right|\leq\left|{f}\right|+\left|{g}\right|.

A line bundle on (X,𝒪X)(X,\mathscr{O}_{X}) is a sheaf LL of 𝒪X\mathscr{O}_{X}-modules which is locally isomorphic to 𝒪X\mathscr{O}_{X}. In other words, XX is covered by open sets UU such that 𝒪U≃L|U\mathscr{O}_{U}\simeq L|U ; such an isomorphism is equivalent to a non-vanishing section εU∈Γ⁡(U,L)\varepsilon_{U}\in\Gamma(U,L), also called a local frame of LL.

If ss is a section of a line bundle LL on an open set UU, the value of ss at a point x∈Ux\in U is only well-defined as an element of the stalk L⁡(x)L(x), which is a κ⁡(x)\kappa(x)-vector space of dimension 11. (Here, κ⁡(x)\kappa(x) is the residue field of 𝒪X\mathscr{O}_{X} at xx.) Prescribing a metric on LL amounts to assign, in a coherent way, the norms of these values. Formally, a metric on LL is the datum, for any open set U⊂XU\subset X and any section s∈Γ⁡(U,L)s\in\Gamma(U,L), of a continuous function ‖s‖U:U→𝐑+\left\|{s}\right\|_{U}\colon U\rightarrow{\mathbf{R}}_{+}, satisfying the following properties :

  1. (1)

    for any open set V⊂UV\subset U, ‖s‖V\left\|{s}\right\|_{V} is the restriction to VV of the function ‖s‖U\left\|{s}\right\|_{U} ;

  2. (2)

    for any function f∈𝒪X​(U)f\in\mathscr{O}_{X}(U), ‖f​s‖=|f|​‖s‖\left\|{fs}\right\|=\left|{f}\right|\left\|{s}\right\| ;

  3. (3)

    if ss is a local frame on UU, then ‖s‖\left\|{s}\right\| doesn’t vanish on UU.

One usually writes L¯\overline{L} for the pair (L,‖⋅‖)(L,\left\|{\cdot}\right\|) of a line bundle LL and a metric on it.

Observe that the trivial line bundle 𝒪X\mathscr{O}_{X} has a natural “trivial” metric, for which ‖1‖=1\left\|{1}\right\|=1. In fact, a metric on the trivial line bundle 𝒪X\mathscr{O}_{X} is equivalent to the datum of a continuous function hh on XX, such that ‖1‖=e−h\left\|{1}\right\|=e^{-h}.

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