Proof of Theorem 8.2 . [03A3]
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 of Theorem 8.2.
We note first that by Proposition 2.9 (viii) the property that is a uniform limit of -psh model functions is equivalent to the property that it is a continuous function. Let be a finite normal extension and denote by the natural projection. Let . Then by Lemma 2.11 we have that
It follows from [Ber90, Prop. 1.3.5] that is as a topological space equal to the quotient of by the automorphism group of . We conclude that is continuous if and only if is continuous.
Hence we can replace by a finite normal extension. Adapting the same argument as in [BFJ15, Lemma A.7] to characteristic , there exists a finite normal extension and a function field of transcendence degree over with as completion as in Definiton 8.1 such that is the base change of a projective variety over with surjective. Replacing by , we can assume that there is as above with a surjective map
| (8.2) |
induced by the natural projection . To prove continuity of , we may assume that the de Rham class is in by using an approximation argument based on Proposition 2.9(vi). We conclude from surjectivity in (8.2) that there is a non-zero such that is induced by a line bundle with of geometric origin from a -dimensional family over (in fact from ). By Proposition 2.9(vii), we have and hence continuity follows from Lemma 8.5. ∎