Proof. [01CX]
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.
Let be algebraic closures. The groups of components of the Picard groups and are then isomorphic, so we have an isomorphism by the result of [Mat57] recalled above (compare [MP11, Proposition 3.1]). This isomorphism is furthermore compatible with ample classes by the Nakai-Moishezon criterion for ampleness.
It is enough to show the surjectivity of . Let . By the previous result, we find mapping to the lift of in . Since is in particular reduced, can be represented by some . The average of the Galois orbit of is then -invariant, hence descends to by [Car58, Proposition 11, §4.6]. By construction, the image of under the composition
coincides with the image of . But is injective by the projection formula, and the result follows. ∎