ScalingStacks

Definition 2.3 . [02IJ]

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

Let LΒ―{\overline{L}} be a smooth metrized line bundle and 𝔻={zβˆˆβ„‚||z|≀1}\mathbb{D}=\{z\in\mathbb{C}|\,|z|\leq 1\}, the unit disk of β„‚\mathbb{C}. We say that LΒ―{\overline{L}} is semipositive if, for every holomorphic map Ο†:π”»βŸΆXan,\varphi\colon\mathbb{D}\longrightarrow X^{{\text{\rm an}}},

12​π​iβ€‹βˆ«π”»Ο†βˆ—β€‹c1⁑(LΒ―)β‰₯0.\frac{1}{2\pi i}\int_{\mathbb{D}}\varphi^{\ast}\operatorname{c}_{1}({\overline{L}})\geq 0.

We say that LΒ―{\overline{L}} is positive if this integral is strictly positive for all non-constant holomorphic maps as before.

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