ScalingStacks

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 K¯/F¯\overline{K}/\overline{F} be algebraic closures. The groups of components of the Picard groups Pic⁡(YF¯)\Pic(Y_{\overline{F}}) and Pic⁡(YK¯)\Pic(Y_{\overline{K}}) are then isomorphic, so we have an isomorphism N1​(YF¯)𝐐≃N1​(YK¯)𝐐N^{1}(Y_{\overline{F}})_{\mathbf{Q}}\simeq N^{1}(Y_{\overline{K}})_{\mathbf{Q}} 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 N1​(Y)𝐐→N1​(YK)𝐐N^{1}(Y)_{\mathbf{Q}}\to N^{1}\left(Y_{K}\right)_{\mathbf{Q}}. Let β∈N1​(YK)𝐐\beta\in N^{1}(Y_{K})_{\mathbf{Q}}. By the previous result, we find L∈Pic⁡(YF¯)𝐐L\in\Pic(Y_{\overline{F}})_{\mathbf{Q}} mapping to the lift of β\beta in N1​(YK¯)𝐐N^{1}(Y_{\overline{K}})_{\mathbf{Q}}. Since YF¯Y_{\overline{F}} is in particular reduced, LL can be represented by some D¯∈Div⁡(YF¯)𝐐\bar{D}\in\Div(Y_{\overline{F}})_{\mathbf{Q}}. The average of the Galois orbit of D¯\bar{D} is then Gal⁡(F¯/F)\mathrm{Gal}(\bar{F}/F)-invariant, hence descends to D∈Div⁡(Y)𝐐D\in\Div(Y)_{\mathbf{Q}} by [Car58, Proposition 11, §4.6]. By construction, the image of DD under the composition

Div⁡(Y)𝐐→N1​(YK)𝐐→N1​(YK¯)𝐐\Div(Y)_{\mathbf{Q}}\to N^{1}(Y_{K})_{\mathbf{Q}}\to N^{1}(Y_{\overline{K}})_{\mathbf{Q}}

coincides with the image of β\beta. But N1​(YK)𝐐→N1​(YK¯)𝐐N^{1}(Y_{K})_{\mathbf{Q}}\to N^{1}(Y_{\overline{K}})_{\mathbf{Q}} is injective by the projection formula, and the result follows. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.