Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Assume we have two "nice" schemes $X$ and $Y$ over $k=\mathbb{C}$, a finite flat map $f:X\rightarrow Y$ and a k-algbera $A$. Then we get an induced finite flat map $f_A:X\times_k A \rightarrow Y\times_k A$.

Now given an $O_{X\times_k A}$-module $M$, flat over $A$ and an $A$-module $N$.

Is $(f_A)_{*}(M\otimes_A N)=((f_A)_{*}M)\otimes_A N$?

My idea was to use the projection formula: let $\pi:Y\times_k A \rightarrow A$ and $\phi:X\times_k A \rightarrow A$ be the structure morphisms, i.e. $\phi=\pi\circ f_A$. Then: $M\otimes_A N=M\otimes_{O_{X\times_k A}} \phi^{*} \tilde{N}$, where $\tilde{N}$ is the sheaf associated to $N$ on Spec(A). But $\phi^{\*}=(f_A)^{\*}\circ\pi^{\*}$, so we get $(f_A)_{*}(M\otimes_A N)=(f_A)_{*}(M\otimes_{O_{X\times_k A}} (f_A)^{\*}(\pi^{\*}\tilde{N}))$.

Now if the projection formula was an isomorphism in this case the last module would be $(f_A)_{*}(M)\otimes_{O_{Y\times_k A}} \pi^{\*}\tilde{N}$, which is nothing else but $((f_A)_{*}M)\otimes_{A} N$.

So is the projection formula an isomorphism in this case?

share|improve this question

1 Answer 1

up vote 1 down vote accepted

Most of this becomes obvious when translated using affine charts. For the first question, use a presentation of $N$ and the fact that $(f_A)_*$ is exact to reduce to the case $N=A$. The projection formula is stated in EGA I (new edition), Corollaire 9.3.9.

share|improve this answer
    
Thanks. It is so obvious now, finite morphisms are affine, so one can look at this like you say in affine charts. I always forget all the connections between the various properties of morphisms. In the projection formula given in Hartshorne, one sheaf has to be locally free, which is very restrictive, i like the version in EGA better. –  TonyS Feb 22 '12 at 11:28
    
Well, you need some restrictive condition, be it the morphism being affine or $N$ being flat (or locally free, which is the same for coherent sheaves). –  user2035 Feb 22 '12 at 17:57

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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