Setup: Let $X,Y$ be quasi-compact quasi-separated schemes defined over a field $k$. If necessary, you can also assume that $X,Y$ are noetherian, but I don't want to assume that $X,Y$ have the resolution property. Let $A,A'$ be quasi-coherent sheaves on $X$ and $B,B'$ quasi-coherent sheaves on $Y$. Assume that $A,B$ are of finite presentation (i.e. coherent in the noetherian case). Recall that the external tensor product is defined by $A \boxtimes B := \mathrm{pr}_X^* A \otimes_{\mathcal{O}_{X \times_k Y}} \mathrm{pr}_Y^* B$.

My question: Is there a natural isomorphism

$$\bigoplus_{p+q=n} \mathrm{Ext}^p_X(A,A') \otimes_k \mathrm{Ext}^q_Y(B,B') \cong \mathrm{Ext}^n_{X \times_k Y}(A \boxtimes B,A' \boxtimes B') ~ ?$$

I can prove this for $n=0$. It is also true when $A=\mathcal{O}_X$ and $B=\mathcal{O}_Y$ (see MO/34673), hence more generally when $A$ and $B$ are locally free of finite rank. For the general case, my idea is to take injective resolutions $I^*$ of $A'$ and $J^*$ of $B'$, and hope that the total complex of the double complex $I^* \boxtimes J^*$ is an injective or at least flasque resolution of $A' \boxtimes B'$ in order to apply Künneth's Theorem for complexes. But I'm not sure if the external tensor product of flasque sheaves is flasque. They can be chosen to be quasi-coherent in the noetherian case, which probably makes life easier.

In any case I think that this must be well-known. A reference would be appreciated. Interestingly, EGA III$_2$ §6 treats "Functeurs Tor locaux et globaux; formule de Künneth", but in EGA III$_1$ this was announced as "Foncteurs Tor et Ext locaux et globaux; formule de Künneth.".

  • $\begingroup$ I'm almost certain that you need some kind of Noetherian property. E.g. take $Y = Spec(R)$ and $B = B' = R$, then this asks whether Ext commutes with base extension from a field in full generality (take $R$ to be an infinite product $\prod k$). $\endgroup$ Sep 4 '13 at 12:58

The question asks if the map

$ RHom_X(A,A') \otimes_k RHom_Y(B,B') \simeq RHom_{X \times_k Y}(p_1^* A \otimes p_2^* B, p_1^* A' \otimes p_2^* B)$

via the product map. Here is an argument when $A$ and $B$ are coherent. It is probably false in general.

Assume first that $Y$ is separated. If $\{U_i\}$ is a Zariski open cover of $Y$ by affines indexed by a finite set $I$, then write $U_J = \cap_{j \in J} U_j$, where $J \subset I$ is a subset; these schemes are also affine if $J$ is non-empty by separatedness. One can calculate $RHom_Y(B,B')$ using $RHom_{U_J}(B_J,B'_J)$ for $J \neq \emptyset$ by an obvious construction, essentially Mayer-Vietoris applied to $\underline{RHom}_Y(B,B')$. The same formula also applies to compute $RHom_{X \times Y}(p_1^* A \otimes p_2^* B, p_1^* A' \otimes p_2^* B)$ in terms of the corresponding object over $X \times U_J$. The product map is compatible with this description, so you reduce to $Y$ affine. Repeating the argument, you reduce to $X$ affine. Then one may use the existence of (infinite) free resolutions with finite free terms ensured by coherence. To replace separatedness by quasiseparatedness, repeat the argument using the just proven separated case instead of the affine case.

[Alternatively: one can use approximation by perfect complexes to reduce to $A$ and $A'$ being perfect complexes, which makes it very easy as one can dualize and use the projection formula.]

  • $\begingroup$ Thank you. This looks like the proof I have for $n=0$. Could you please elaborate what you mean exactly by "Mayer-Vietoris applied to $\underline{RHom}_Y(B,B')$"? $\endgroup$ Sep 4 '13 at 21:04
  • $\begingroup$ If $Y = U \cup V$, then MV gives an exact triangle $R\Gamma(Y,K) \to R\Gamma(U,K) \oplus R\Gamma(V,K) \to R\Gamma(U \cap V, K)$ for any complex $K$ of sheaves on $Y$, which computes cohomology on $Y$ in terms of that on $U$ and $V$. If there are more terms in the cover, then this relationship is expressed via a spectral sequence (or by using homotopy limits) computing $H^p(Y,K)$ in terms of $H^q(U_J,K)$ for varying $J$ (in the notation of the post). For $K = \underline{RHom}_Y(B,B')$, one uses the above + $R\Gamma(U,K) = RHom_U(B|_U,B'|_U)$. $\endgroup$
    – projection
    Sep 4 '13 at 21:48
  • $\begingroup$ Alright, can you give a reference for this kind of MV? And is it also possible to state the proof without the derived category? What is the corresponding local-global computation of Ext? My guess is: First do it for Ext sheaves, reducing formally to the affine case, and then use the spectral sequence which converges to the Ext groups. $\endgroup$ Sep 4 '13 at 22:08
  • 1
    $\begingroup$ Using Ext-sheaves is essentially equivalent to using the MV argument. $\endgroup$ Sep 4 '13 at 23:17
  • $\begingroup$ Alright, for Ext-sheaves the claim is rather easy, but how to deduce for the Ext modules? I guess that one needs that the local-global spectral sequences are multiplicative in some sense. $\endgroup$ Sep 5 '13 at 8:35

Here is a non-Noetherian example.

Let $X = Spec(A)$ where $A$ is an algebra which is infinite-dimensional over $k$, and let $Y = Spec(B)$ where $B = k[x_i | i]/(x_i x_j)$ as $i$ ranges over natural numbers. I will let both of my quasi-coherent sheaves on $X$ be $A$, and let both (finitely presented) quasi-coherent sheaves on $B$ be $B/(x_1)$.

Then your question asks whether there is a natural isomorphism $$ A \otimes Ext^q_B(B/(x_1),B/(x_1)) \cong Ext^q_{A \otimes B}(A \otimes B/(x_1), A \otimes B/(x_1)), $$ with tensor products taken over $k$.

I'm going to assume that the desired map is the natural base change map from the left to the right.

There is a resolution of $B$-modules $$ \cdots \to \bigoplus_{i,j} B \stackrel{\oplus_i(\oplus x_j)}{\to} \bigoplus_i B \stackrel{\oplus x_i}{\to} B \stackrel{x_1}{\to} B \to B/(x_1) \to 0 $$ which remains exact upon tensoring with $A$, by the flatness that you mention. We can use this to calculate $Ext^2$ in both cases. Unless I have made a mistake, the map we are analyzing is the map $A \otimes \prod k \to \prod A$, where the product is infinite, and this is not an isomorphism unless $A$ is finite-dimensional over $k$.

(I have to go -- if the Ext calculation needs elaboration, please ask.)

  • $\begingroup$ Thank you. The complex which computes $\mathrm{Ext}^2$ is $B/(x_1) \xrightarrow{\alpha} \prod_i B/(x_1) \xrightarrow{\beta} \prod_{ij} B/(x_1)$, where $\alpha([b])=([b x_i])_i$ and $\beta(([a_i])_i)=([x_j a_i])_{ij}$, right? Why do we get $\prod_i k$? $\endgroup$ Sep 5 '13 at 8:56
  • $\begingroup$ @Martin, I was too casual. The kernel of $\beta$ consists of all elements in the product which are annihilated by all $x_j$, and thus consists of the product over $j$ of the kernel $I$ of $B/(x_1) \to k$ (and in the other case, the product of $A \otimes I$). The map $\alpha$ annihilates all $x_j$, and so its image is a one-dimensional vector space $k$ (respectively image $A$). So what I should really say is that $A\otimes \prod I \to \prod A \otimes I$ is not an isomorphism. $\endgroup$ Sep 6 '13 at 4:51
  • $\begingroup$ I don't understand. The image of $\alpha$ cannot be $1$-dimensional. $\endgroup$ Sep 10 '13 at 9:38

First, if $A$ and $B$ are locally free of finite rank, one can rewrite $Ext^p(A,A') = H^p(X,A^*\otimes A')$, and similarly for other parts, and deduce this case from the case for $A = O_X$, $B = O_Y$.

Now, if $A$ and $B$ are finitely presented on a noetherian scheme, you can write down (possibly infinite) locally free resolutions for $A$ and $B$ and use them to write down spectral sequences computing the LHS and the RHS. The first pages of these spectral sequences will coincide by the previous step, hence the general case.

  • $\begingroup$ 1st paragraph: I've already remarked this. 2nd paragraph: In general there are no locally free resolutions. $\endgroup$ Sep 4 '13 at 13:59
  • 2
    $\begingroup$ But there are in quite some generality, eg. for every scheme which is quasi-projective over an affine one and for every factorial, separated, noetherian scheme. $\endgroup$ Sep 4 '13 at 18:27
  • $\begingroup$ Yes I know that. And more examples can be found, for example, in Philipp Gross's thesis. But I don't want to assume the resolution property. $\endgroup$ Sep 4 '13 at 20:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.