Lemma A.5 . [01CW]

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

Lemma A.5.

Let $Y$ be smooth proper scheme over a field $F$ , and let $K/F$ be an arbitrary field extension. Then the natural morphism $N^{1}(Y)_{\mathbf{Q}}\to N^{1}(Y_{K})_{\mathbf{Q}}$ is an isomorphism preserving ample classes.