Proposition 2.21 . [02J2]

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

Proposition 2.21.

With notation as above, let $s$ be a local section of $L$ in a neighbourhood of $\pi(p)$ . Then

(2.22)

\|s(p)\|_{\mathcal{X},\mathcal{L},e}=\inf\big\{|a|^{1/e}\big|a\in H^{\times},a^{-1}{\widetilde{p}}^{\ast}s^{\otimes e}\in\widetilde{p}^{\ast}\mathcal{L}\big\}.