Proposition 2.8 . [03AY]

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

Let ${\|\hskip 4.30554pt\|}$ be a metric of a line bundle $L$ on a paracompact strictly $K$ -analytic space $V$ . Then ${\|\hskip 4.30554pt\|}$ is formal if and only if it is piecewise linear.