ScalingStacks

Lemma 3.13 . [027F]

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.13.

For L¯\overline{L} and L¯′∈Pic^C0​(X)\overline{L}^{\prime}\in\widehat{\operatorname{Pic}}_{C^{0}}(X) such that both LL and L′L^{\prime} are generated by global sections, we have the following:

  1. (1)

    σL¯≥0\sigma_{\overline{L}}\geq 0 on XanX^{\operatorname{an}}.

  2. (2)

    σL¯⊗L¯′​(x)≤σL¯​(x)+σL¯′​(x)\sigma_{\overline{L}\otimes\overline{L}^{\prime}}(x)\leq\sigma_{\overline{L}}(x)+\sigma_{\overline{L}^{\prime}}(x) for x∈Xanx\in X^{\operatorname{an}}.

  3. (3)

    If L¯≃L¯′\overline{L}\simeq\overline{L}^{\prime}, then σL¯=σL¯′\sigma_{\overline{L}}=\sigma_{\overline{L}^{\prime}} on XanX^{\operatorname{an}}.

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