Proposition 3.16 . [027L]

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

For $\overline{L}=(L,h)\in\widehat{\operatorname{Pic}}^{+}_{C^{0}}(X)_{{\mathbb{Q}}}$ , $h$ is semipositive if and only if $\mu_{\overline{L}}=0$ on $X^{\operatorname{an}}$ .