Skip to main content
2 of 2
added 168 characters in body
Matt Booth
  • 498
  • 3
  • 8

This isn't a complete answer, but here are some thoughts. I'm sceptical that it is often true.

If $R$ is semisimple then the result holds, because every module over a semisimple ring is projective.

We may as well take $V$ and $W$ to be complexes of projectives, and then ask when is $H(V\otimes W)\cong H(V)\otimes H(W)$? If $R$ is a field this is the usual Kuenneth theorem.

When $V$ has flat cohomology the spectral sequence is not hard to obtain: let $V' \to V$ and $W' \to W$ be flat resolutions; because both $V$ and $W$ are cohomologically bounded above we can take $V'$ and $W'$ to be bounded above. The direct sum total complex of the double complex $V' \otimes W'$ computes the Tor groups. Taking cohomology in the vertical direction and using flatness of $W'$ tells us that the $E_1$ page of the associated spectral sequence is $H(V)\otimes W'$. Now taking cohomology in the horizontal direction and using flatness of $H(V)$ tells us that the $E_2$ page is $H(V)\otimes H(W)\Rightarrow \mathrm{Tor}(V,W)$, as desired.

The same argument when $V$ does not necessarily have flat cohomology gives a spectral sequence with $E_2$ page $\mathrm{Tor}(HV,W)\Rightarrow \mathrm{Tor}(V,W)$. In general, Tor spectral sequences tend to look like this (as in e.g. https://stacks.math.columbia.edu/tag/061Y) - a spectral sequence of the form $H(V)\otimes H(W)\Rightarrow \mathrm{Tor}(V,W)$ will not exist without this flatness assumption on cohomology (just think about when $V$ and $W$ are genuine $R$-modules!). Of course, when $V$ has flat cohomology then the tensor product $H(V)\otimes H(W)$ is already the derived tensor product.

However, this doesn't answer your main question in the flat cohomology case: you have a spectral sequence, and you are interested in knowing when it collapses (or more generally when the $E_2$ page equals the $E_\infty$ page).

As for your wild question, when $V$ and $W$ are genuine modules, you are asking that $V\otimes^\mathbb{L}W$ be a formal complex. This is true in certain situations: for example the HKR theorem is true on the level of cochains and gives a quasi-isomorphism between the Hochschild complex and the graded module of polyvector fields. Or if $R$ is a ring, $r_1,\ldots, r_n$ is a (finite) regular sequence, $K$ the Koszul complex, and $M$ an $R$-module annihilated by all of the $r_i$ then you can easily check that $R/(r_1,\ldots, r_n)\otimes^\mathbb{L}_R M \simeq K\otimes_R M$ is formal. In general it won't be true, but I can't think of an example off the top of my head.

Matt Booth
  • 498
  • 3
  • 8