The Stacks project

Lemma 32.29.1. Let $k$ be a field. Let $X$ and $Y$ be schemes over $k$ and let $\mathcal{F}$, resp. $\mathcal{G}$ be a quasi-coherent $\mathcal{O}_ X$-module, resp. $\mathcal{O}_ Y$-module. Then we have a canonical isomorphism

\[ H^ n(X \times _{\mathop{\mathrm{Spec}}(k)} Y, \text{pr}_1^*\mathcal{F} \otimes _{\mathcal{O}_{X \times _{\mathop{\mathrm{Spec}}(k)} Y}} \text{pr}_2^*\mathcal{G}) = \bigoplus \nolimits _{p + q = n} H^ p(X, \mathcal{F}) \otimes _ k H^ q(Y, \mathcal{G}) \]

provided $X$ and $Y$ are quasi-compact and have affine diagonal1 (for example if $X$ and $Y$ are separated).

Proof. In this proof unadorned products and tensor products are over $k$. As maps

\[ H^ p(X, \mathcal{F}) \otimes H^ q(Y, \mathcal{G}) \longrightarrow H^ n(X \times Y, \text{pr}_1^*\mathcal{F} \otimes _{\mathcal{O}_{X \times Y}} \text{pr}_2^*\mathcal{G}) \]

we use functoriality of cohomology to get maps $H^ p(X, \mathcal{F}) \to H^ p(X \times Y, \text{pr}_1^*\mathcal{F})$ and $H^ p(Y, \mathcal{G}) \to H^ p(X \times Y, \text{pr}_2^*\mathcal{G})$ and then we use the cup product

\[ \cup : H^ p(X \times Y, \text{pr}_1^*\mathcal{F}) \otimes H^ q(X \times Y, \text{pr}_2^*\mathcal{G}) \longrightarrow H^ n(X \times Y, \text{pr}_1^*\mathcal{F} \otimes _{\mathcal{O}_{X \times Y}} \text{pr}_2^*\mathcal{G}) \]

The result is true when $X$ and $Y$ are affine by the vanishing of higher cohomology groups on affines (Cohomology of Schemes, Lemma 29.2.2) and the definitions (of pullbacks of quasi-coherent modules and tensor products of quasi-coherent modules).

Choose finite affine open coverings $\mathcal{U} : X = \bigcup _{i \in I} U_ i$ and $\mathcal{V} : Y = \bigcup _{j \in J} V_ j$. This determines an affine open covering $\mathcal{W} : X \times Y = \bigcup _{(i, j) \in I \times J} U_ i \times V_ j$. Note that $\mathcal{W}$ is a refinement of $\text{pr}_1^{-1}\mathcal{U}$ and of $\text{pr}_2^{-1}\mathcal{V}$. Thus by Cohomology, Lemma 20.15.1 we obtain maps

\[ \check{\mathcal{C}}^\bullet (\mathcal{U}, \mathcal{F}) \to \check{\mathcal{C}}^\bullet (\mathcal{W}, \text{pr}_1^*\mathcal{F}) \quad \text{and}\quad \check{\mathcal{C}}^\bullet (\mathcal{V}, \mathcal{G}) \to \check{\mathcal{C}}^\bullet (\mathcal{W}, \text{pr}_2^*\mathcal{G}) \]

compatible with pullback maps on cohomology. In Cohomology, Equation (20.25.3.2) we have constructed a map of complexes

\[ \text{Tot}( \check{\mathcal{C}}^\bullet (\mathcal{W}, \text{pr}_1^*\mathcal{F}) \otimes \check{\mathcal{C}}^\bullet (\mathcal{W}, \text{pr}_2^*\mathcal{G})) \longrightarrow \check{\mathcal{C}}^\bullet (\mathcal{W}, \text{pr}_1^*\mathcal{F} \otimes _{\mathcal{O}_{X \times Y}} \text{pr}_2^*\mathcal{G}) \]

defining the cup product on cohomology. Combining the above we obtain a map of complexes

32.29.1.1
\begin{equation} \label{varieties-equation-kunneth-on-cech} \text{Tot}( \check{\mathcal{C}}^\bullet (\mathcal{U}, \mathcal{F}) \otimes \check{\mathcal{C}}^\bullet (\mathcal{V}, \mathcal{G})) \longrightarrow \check{\mathcal{C}}^\bullet (\mathcal{W}, \text{pr}_1^*\mathcal{F} \otimes _{\mathcal{O}_{X \times Y}} \text{pr}_2^*\mathcal{G}) \end{equation}

We warn the reader that this map is not an isomorphism of complexes. Recall that we may compute the cohomologies of our quasi-coherent sheaves using our coverings (Cohomology of Schemes, Lemmas 29.2.5 and 29.2.6). Thus on cohomology (32.29.1.1) reproduces the map of the lemma.

Consider a short exact sequence $0 \to \mathcal{F} \to \mathcal{F}' \to \mathcal{F}'' \to 0$ of quasi-coherent modules. Since the construction of (32.29.1.1) is functorial in $\mathcal{F}$ and since the formation of the relevant Čech complexes is exact in the variable $\mathcal{F}$ (because we are taking sections over affine opens) we find a map between short exact sequence of complexes

\[ \xymatrix{ \text{Tot}( \check{\mathcal{C}}^\bullet (\mathcal{U}, \mathcal{F}) \otimes \check{\mathcal{C}}^\bullet (\mathcal{V}, \mathcal{G})) \ar[r] \ar[d] & \text{Tot}( \check{\mathcal{C}}^\bullet (\mathcal{U}, \mathcal{F}') \otimes \check{\mathcal{C}}^\bullet (\mathcal{V}, \mathcal{G})) \ar[r] \ar[d] & \text{Tot}( \check{\mathcal{C}}^\bullet (\mathcal{U}, \mathcal{F}'') \otimes \check{\mathcal{C}}^\bullet (\mathcal{V}, \mathcal{G})) \ar[d] \\ \check{\mathcal{C}}^\bullet (\mathcal{W}, \text{pr}_1^*\mathcal{F} \otimes _{\mathcal{O}_{X \times Y}} \text{pr}_2^*\mathcal{G}) \ar[r] & \check{\mathcal{C}}^\bullet (\mathcal{W}, \text{pr}_1^*\mathcal{F}' \otimes _{\mathcal{O}_{X \times Y}} \text{pr}_2^*\mathcal{G}) \ar[r] & \check{\mathcal{C}}^\bullet (\mathcal{W}, \text{pr}_1^*\mathcal{F}'' \otimes _{\mathcal{O}_{X \times Y}} \text{pr}_2^*\mathcal{G}) } \]

(we have dropped the outer zeros). Looking at long exact cohomology sequences we find that if the result of the lemma holds for $2$-out-of-$3$ of $\mathcal{F}, \mathcal{F}', \mathcal{F}''$, then it holds for the third.

Observe that $X$ has finite cohomological dimension for quasi-coherent modules, see Cohomology of Schemes, Lemma 29.4.2. Using induction on $d(\mathcal{F}) = \max \{ d \mid H^ d(X, \mathcal{F}) \not= 0\} $ we will reduce to the case $d(\mathcal{F}) = 0$. Assume $d(\mathcal{F}) > 0$. By Cohomology of Schemes, Lemma 29.4.3 we have seen that there exists an embedding $\mathcal{F} \to \mathcal{F}'$ such that $H^ p(X, \mathcal{F}') = 0$ for all $p \geq 1$. Setting $\mathcal{F}'' = \mathop{\mathrm{Coker}}(\mathcal{F} \to \mathcal{F}')$ we see that $d(\mathcal{F}'') < d(\mathcal{F})$. Then we can apply the result from the previous paragraph to see that it suffices to prove the lemma for $\mathcal{F}'$ and $\mathcal{F}''$ thereby proving the induction step.

Arguing in the same fashion for $\mathcal{G}$ we find that we may assume that both $\mathcal{F}$ and $\mathcal{G}$ have nonzero cohomology only in degree $0$. Let $V \subset Y$ be an affine open. Consider the affine open covering $\mathcal{U}_ V : X \times V = \bigcup _{i \in I} U_ i \times V$. It is immediate that

\[ \check{\mathcal{C}}^\bullet (\mathcal{U}, \mathcal{F}) \otimes \mathcal{G}(V) = \check{\mathcal{C}}^\bullet (\mathcal{U}_ V, \text{pr}_1^*\mathcal{F} \otimes _{\mathcal{O}_{X \times Y}} \text{pr}_2^*\mathcal{G}) \]

(equality of complexes). We conclude that

\[ R\text{pr}_{2, *}(\text{pr}_1^*\mathcal{F} \otimes _{\mathcal{O}_{X \times Y}} \text{pr}_2^*\mathcal{G}) \cong \Gamma (X, \mathcal{F}) \otimes _ k \mathcal{G} \cong \bigoplus \nolimits _{\alpha \in A} \mathcal{G} \]

on $Y$. Here $A$ is a basis for the $k$-vector space $\Gamma (X, \mathcal{F})$. Cohomology on $Y$ commutes with direct sums (Cohomology, Lemma 20.19.1). Using the Leray spectral sequence for $\text{pr}_2$ (via Cohomology, Lemma 20.13.6) we conclude that $H^ n(X \times Y, \text{pr}_1^*\mathcal{F} \otimes _{\mathcal{O}_{X \times Y}} \text{pr}_2^*\mathcal{G})$ is zero for $n > 0$ and isomorphic to $H^0(X, \mathcal{F}) \otimes H^0(Y, \mathcal{G})$ for $n = 0$. This finishes the proof (except that we should check that the isomorphism is indeed given by cup product in degree $0$; we omit the verification). $\square$

[1] The case where $X$ and $Y$ are quasi-separated will be discussed in Lemma 32.29.2 below.

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 0BED. Beware of the difference between the letter 'O' and the digit '0'.