ScalingStacks

Definition 3.9 . [05A6]

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

Let XX be a strictly KK-analytic space and LL a line bundle on XX. A piecewise linear metric on LL is called semipositive in x∈Xx\in X if there exists a compact strictly KK-analytic domain WW which is a neighbourhood of xx such that there is a formal model (π”š,𝔏)(\mathfrak{W},\mathfrak{L}) of (W,L|W)\left(W,L\Big|_{W}\right) inducing the metric on WW and satisfying deg𝔏⁑(C)β‰₯0\Deg_{\mathfrak{L}}(C)\geq 0 for every proper closed curve CC in the special fibre of π”š\mathfrak{W}. The metric on LL is called semipositive in a subset VβŠ†XV\subseteq X if it is semipositive in every x∈Vx\in V. It is called semipositive if it is semipositive in XX.

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