ScalingStacks

Lemma 3.5 . [026Y]

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

Lemma 3.5.
  1. (1)

    |.|h​(x)≤|.|hquot​(x)|\raisebox{1.72218pt}{.}|_{h}(x)\leq|\raisebox{1.72218pt}{.}|^{\mathrm{quot}}_{h}(x) for all x∈Xanx\in X^{\mathrm{an}}.

  2. (2)

    ‖.‖h=‖.‖hquot\|\raisebox{1.72218pt}{.}\|_{h}=\|\raisebox{1.72218pt}{.}\|_{h}^{\mathrm{quot}}.

  3. (3)

    Let (L′,h′)(L^{\prime},h^{\prime}) be a pair of an invertible sheaf L′L^{\prime} on XX and a continuous metric h′={|.|h′​(x)}x∈Xanh^{\prime}=\{|\raisebox{1.72218pt}{.}|_{h^{\prime}}(x)\}_{x\in X^{\operatorname{an}}} of L′an{L^{\prime}}^{\operatorname{an}} such that L′L^{\prime} is generated by global sections. Then

    |l⋅l′|h⊗h′quot​(x)≤|l|hquot​(x)|​l′|h′quot​(x)|l\cdot l^{\prime}|_{h\otimes h^{\prime}}^{\mathrm{quot}}(x)\leq|l|_{h}^{\mathrm{quot}}(x)|l^{\prime}|_{h^{\prime}}^{\mathrm{quot}}(x)

    for l∈L⁡(x)l\in{L(x)} and l′∈L′​(x)l^{\prime}\in{L^{\prime}(x)}.

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