Skip to main content
2 of 2
TeX fix
Charles Rezk
  • 27.2k
  • 3
  • 99
  • 163

When does the direct image functor commute with tensor products?

Let $i : U \to X$ be a quasi-compact open immersion of schemes. Under which conditions is the natural map

$i_* M \otimes i_* N \to i_* (M \otimes N)$

for all $M,N \in \text{Qcoh}(U)$ an isomorphism? We may assume that $X=\text{Spec}(A)$ is affine. If $U$ is affine, then we may reduce to the case $M=N=\mathcal{O}_U$ (using presentations) and use that $i^{\#}$ is a flat epimiorphism to get an affirmative answer. If there are counterexamples for general $U$, what conditions are sufficient?

Martin Brandenburg
  • 63.1k
  • 13
  • 207
  • 426