Proof. [02K6]
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.
It is enough to prove that every prime cycle is integrable. Applying the Chow Lemma to the support of the cycle and using that the inverse image of a quasi-algebraic metric is quasi-algebraic, we are reduced to the case when is projective.
We proceed by induction on . For , the statement is clear, and so we consider the case when . Let be a -dimensional cycle of and , , rational sections of that intersect properly. Let be a proper model over of . Then is a non-zero rational section of and so it defines a finite number of vertical components. Hence, for all places which are not below any of these vertical components,
thanks to the equation (2.43). The statement follows then from the inductive hypothesis. ∎