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 be a strictly -analytic space and a line bundle on . A piecewise linear metric on is called semipositive in if there exists a compact strictly -analytic domain which is a neighbourhood of such that there is a formal model of inducing the metric on and satisfying for every proper closed curve in the special fibre of . The metric on is called semipositive in a subset if it is semipositive in every . It is called semipositive if it is semipositive in .