The Stacks project

Lemma 45.14.18. Let $k'/k$ be an extension of fields. Let $F'/F$ be an extension of fields of characteristic $0$. Assume given

  1. data (D0), (D1), (D2') for $k$ and $F$ denoted $F(1), H^*, c_1^ H$,

  2. data (D0), (D1), (D2') for $k'$ and $F'$ denoted $F'(1), (H')^*, c_1^{H'}$, and

  3. an isomorphism $F(1) \otimes _ F F' \to F'(1)$, functorial isomorphisms $H^*(X) \otimes _ F F' \to (H')^*(X_{k'})$ on the category of smooth projective schemes $X$ over $k$ such that the diagrams

    \[ \xymatrix{ \mathop{\mathrm{Pic}}\nolimits (X) \ar[r]_{c_1^ H} \ar[d] & H^2(X)(1) \ar[d] \\ \mathop{\mathrm{Pic}}\nolimits (X_{k'}) \ar[r]^{c_1^{H'}} & (H')^2(X_{k'})(1) } \]

    commute.

In this case, if $F'(1), (H')^*, c_1^{H'}$ satisfy axioms (A1) – (A9), then the same is true for $F(1), H^*, c_1^ H$.

Proof. We go by the axioms one by one.

Axiom (A1). We have to show $H^*(\emptyset ) = 0$ and that $(i^*, j^*) : H^*(X \amalg Y) \to H^*(X) \times H^*(Y)$ is an isomorphism where $i$ and $j$ are the coprojections. By the functorial nature of the isomorphisms $H^*(X) \otimes _ F F' \to (H')^*(X_{k'})$ this follows from linear algebra: if $\varphi : V \to W$ is an $F$-linear map of $F$-vector spaces, then $\varphi $ is an isomorphism if and only if $\varphi _{F'} : V \otimes _ F F' \to W \otimes _ F F'$ is an isomorphism.

Axiom (A2). This means that given a morphism $f : X \to Y$ of smooth projective schemes over $k$ and an invertible $\mathcal{O}_ Y$-module $\mathcal{N}$ we have $f^*c_1^ H(\mathcal{L}) = c_1^ H(f^*\mathcal{L})$. This is immediately clear from the corresponding property for $c_1^{H'}$, the commutative diagrams in the lemma, and the fact that the canonical map $V \to V \otimes _ F F'$ is injective for any $F$-vector space $V$.

Axiom (A3). This follows from the principle stated in the proof of axiom (A1) and compatibility of $c_1^ H$ and $c_1^{H'}$.

Axiom (A4). Let $i : Y \to X$ be the inclusion of an effective Cartier divisor over $k$ with both $X$ and $Y$ smooth and projective over $k$. For $a \in H^*(X)$ with $i^*a = 0$ we have to show $a \cup c_1^ H(\mathcal{O}_ X(Y)) = 0$. Denote $a' \in (H')^*(X_{k'})$ the image of $a$. The assumption implies that $(i')^*a' = 0$ where $i' : Y_{k'} \to X_{k'}$ is the base change of $i$. Hence we get $a' \cup c_1^{H'}(\mathcal{O}_{X_{k'}}(Y_{k'})) = 0$ by the axiom for $(H')^*$. Since $a' \cup c_1^{H'}(\mathcal{O}_{X_{k'}}(Y_{k'}))$ is the image of $a \cup c_1^ H(\mathcal{O}_ X(Y))$ we conclude by the princple stated in the proof of axiom (A2).

Axiom (A5). This means that $H^*(\mathop{\mathrm{Spec}}(k)) = F$ and that for $X$ and $Y$ smooth projective over $k$ the map $H^*(X) \otimes _ F H^*(Y) \to H^*(X \times Y)$, $a \otimes b \mapsto p^*(a) \cup q^*(b)$ is an isomorphism where $p$ and $q$ are the projections. This follows from the principle stated in the proof of axiom (A1).

We interrupt the flow of the arguments to show that for every smooth projective scheme $X$ over $k$ the diagram

\[ \xymatrix{ \mathop{\mathrm{CH}}\nolimits ^*(X) \ar[r]_-\gamma \ar[d]_{g^*} & \bigoplus H^{2i}(X)(i) \ar[d] \\ \mathop{\mathrm{CH}}\nolimits ^*(X_{k'}) \ar[r]^-{\gamma '} & \bigoplus (H')^{2i}(X_{k'})(i) } \]

commutes. Observe that we have $\gamma $ as we know axioms (A1) – (A4) already; see Lemma 45.14.2. Also, the left vertical arrow is the one discussed in Chow Homology, Section 42.67 for the morphism of base schemes $g : \mathop{\mathrm{Spec}}(k') \to \mathop{\mathrm{Spec}}(k)$. More precisely, it is the map given in Chow Homology, Lemma 42.67.4. Pick $\alpha \in \mathop{\mathrm{CH}}\nolimits ^*(X)$. Write $\alpha = ch(\beta ) \cap [X]$ in $\mathop{\mathrm{CH}}\nolimits ^*(X) \otimes \mathbf{Q}$ for some $\beta \in K_0(\textit{Vect}(X)) \otimes \mathbf{Q}$ so that $\gamma (\alpha ) = ch^{H}(\beta )$; this is our construction of $\gamma $. Since the map of Chow Homology, Lemma 42.67.4 is compatible with capping with Chern classes by Chow Homology, Lemma 42.67.8 we see that $g^*\alpha = ch((X_{k'} \to X)^*\beta ) \cap [X_{k'}]$. Hence $\gamma '(g^*\alpha ) = ch^{H'}((X_{k'} \to X)^*\beta )$. Thus commutativity of the diagram will hold if for any locally free $\mathcal{O}_ X$-module $\mathcal{E}$ of rank $r$ and $0 \leq i \leq r$ the element $c_ i^ H(\mathcal{E})$ of $H^{2i}(X)(i)$ maps to the element $c_ i^{H'}(\mathcal{E}_{k'})$ in $(H')^{2i}(X_{k'})(i)$. Because we have the projective space bundle formula for both $X$ and $X'$ we may replace $X$ by a projective space bundle over $X$ finitely many times to show this. Thus we may assume $\mathcal{E}$ has a filtration whose graded pieces are invertible $\mathcal{O}_ X$-modules $\mathcal{L}_1, \ldots , \mathcal{L}_ r$. See Chow Homology, Lemma 42.43.1 and Remark 42.43.2. Then $c^ H_ i(\mathcal{E}$ is the $i$th elementary symmetric polynomial in $c^ H_1(\mathcal{L}_1), \ldots , c^ H_1(\mathcal{L}_ r)$ and we conclude by our assumption that we have agreement for first Chern classes.

Axiom (A6). Suppose given $F$-vector spaces $V$, $W$, an element $v \in V$, and a tensor $\xi \in V \otimes _ F W$. Denote $V' = V \otimes _ F F'$, $W' = W \otimes _ F F'$ and $v'$, $\xi '$ the images of $v$, $\xi $ in $V'$, $V' \otimes _{F'} W'$. The linear algebra principle we will use in the proof of axiom (A6) is the following: there exists an $F$-linear map $\lambda : W \to F$ such that $(1 \otimes \lambda )\xi = v$ if and only if there exists an $F'$-linear map $\lambda ' : W \otimes _ F F' \to F'$ such that $(1 \otimes \lambda ')\xi ' = v'$.

Let $X$ be a nonempty equidimensional smooth projective scheme over $k$ of dimension $d$. Denote $\gamma = \gamma ([\Delta ])$ in $H^{2d}(X \times X)(d)$ (unadorned fibre products will be over $k$). Observe/recall that this makes sense as we know axioms (A1) – (A4) already; see Lemma 45.14.2. We may decompose

\[ \gamma = \sum \gamma _ i, \quad \gamma _ i \in H^ i(X) \otimes _ F H^{2d - i}(X)(d) \]

in the Künneth decomposition. Similarly, denote $\gamma ' = \gamma ([\Delta ']) = \sum \gamma '_ i$ in $(H')^{2d}(X_{k'} \times _{k'} X_{k'})(d)$. By the linear algebra princple mentioned above, it suffices to show that $\gamma _0$ maps to $\gamma '_0$ in $(H')^0(X) \otimes _{F'} (H')^{2d}(X')(d)$. By the compatibility of Künneth decompositions we see that it suffice to show that $\gamma $ maps to $\gamma '$ in

\[ (H')^{2d}(X_{k'} \times _{k'} X_{k'})(d) = (H')^{2d}((X \times X)_{k'})(d) \]

Since $\Delta _{k'} = \Delta '$ this follows from the discussion above.

Axiom (A7). This follows from the linear algebra fact: a linear map $V \to W$ of $F$-vector spaces is injective if and only if $V \otimes _ F F' \to W \otimes _ F F'$ is injective.

Axiom (A8). Follows from the linear algebra fact used in the proof of axiom (A1).

Axiom (A9). Let $X$ be a nonempty smooth projective scheme over $k$ equidimensional of dimension $d$. Let $i : Y \to X$ be a nonempty effective Cartier divisor smooth over $k$. Let $\lambda _ Y$ and $\lambda _ X$ be as in axiom (A6) for $X$ and $Y$. We have to show: for $a \in H^{2d - 2}(X)(d - 1)$ we have $\lambda _ Y(i^*(a)) = \lambda _ X(a \cup c_1^ H(\mathcal{O}_ X(Y))$. By Remark 45.14.6 we know that $\lambda _ X : H^{2d}(X)(d) \to F$ and $\lambda _ Y : H^{2d - 2}(Y)(d - 1)$ are uniquely determined by the requirement in axiom (A6). Having said this, it follows from our proof of axiom (A6) for $H^*$ above that $\lambda _ X \otimes \text{id}_{F'}$ corresponds to $\lambda _{X_{k'}}$ via the given identification $H^{2d}(X)(d) \otimes _ F F' = H^{2d}(X_{k'})(d)$. Thus the fact that we know axiom (A9) for $F'(1), (H')^*, c_1^{H'}$ implies the axiom for $F(1), H^*, c_1^ H$ by a diagram chase. This completes the proof of the lemma. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0FVT. Beware of the difference between the letter 'O' and the digit '0'.