Condition of pushward commutes with tensor product
1
$begingroup$
Let $f$ be a morphism between schemes. Is there a sufficient and necessary condition on $f$ such that $f_*$ commutes with $otimes$ ? i.e. $$f_*Fotimes f_*Gcong f_*(Fotimes G)$$ for all coherent sheaves $F,G$ . In particular, I want to know that is it true for $f$ proper.
algebraic-geometry schemes coherent-sheaves
share | cite | improve this question
asked Dec 17 '18 at 14:24
User X User X
334 11
$endgroup$
1
...