Proof. [02UK]
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
Proof.
Since the metric is algebraic, there exist a proper - scheme and a line bundle on such that the base change of to is isomorphic to . Let be a trivialization of . Let . The subsets form a finite closed cover of . On we can write for certain rational function . Therefore, on , we have . By Lemma 5.48, it follows that there is a finite closed cover of and the restriction of to each of these closed subsets is rational piecewise affine. Therefore is rational piecewise affine. The second statement follows from the first and Corollary 5.47. β