Proposition 3.9 . [03BS]
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.9.
Let be a line bundle on a paracompact strictly -analytic space . Let and let be a piecewise -linear metric on .
- (a)
The set of points in where is semipositive is open in .
- (b)
The tensor product of two piecewise -linear metrics which are semipositive in is again semipositive in .
- (c)
Let be a morphism of paracompact strictly -analytic spaces. If is semipositive in , then is semipositive in any point of .