6
$\begingroup$

Given a ring $R$, we can consider the following functors:

any $A\in Mod-R$ and choice of projective resolutions $P_\bullet(B)$ for every $B\in R-Mod$ defines a functor $Tor_n^R(A,-):R-Mod\to Ab$,

any $B\in R-Mod$ and choice of projective resolutions $Q_\bullet(A)$ for every $A\in Mod-R$ defines a functor $tor_n^R(-,B):Mod-R\to Ab$.

It is known that $Tor_n^R(A,B)\simeq tor_n^R(A,B)$ as abelian groups for every $A\in Mod-R$, $B\in R-Mod$.

Question 1: can we define a bifunctor $Mod-R\times R-Mod \to Ab$ that, such that $(A,B)\mapsto Tor_n^R(A,B)$?

This first question is related to the second comment darij grinberg made in this question at MO.

Question 2: If $R$ is a commutative ring, then given an $R$-module $A$, we can consider $Tor_n^R(A,-), tor_n^R(-,A): R-Mod\to Ab$. Are these functors naturally isomorphic?

I think the answer to this question is yes, provided that the choices $Q_\bullet$ and $P_\bullet$ are the same. But what if they are different? If they are not necessarily naturally isomorphic, is there any condition that guarantees this is the case?

Now for a bonus question. The Tor functor involves an arbitrary choice in its definition that makes me quite uneasy. Formally, it doesn't seem to be well defined, since if we write $Tor_n^R(A,-):R-Mod\to Ab$, we aren't really taking into account the choice of projective resolutions.

Question 3 (bonus): Is there a way to fix this? Has this been considered in some treatise on the Tor functor?

EDIT: I've striked down the third question since I think I now understand how it goes: $Tor_n^R(A,-)$ (or any derived functor for that matter) is defined as a functor such that this and that. You then prove that every pair of functors that satisfy those conditions are naturally isomorphic, so you can be at rest that even if your choice was a bit arbitrary, you're not losing much without considering the other choices of projective resolutions.

  • 0
    Thinking out loud about the third question: can we define a category whose objects are modules *with chosen projective resolutions* and its morphisms are chosen liftings, guaranteed by the comparison lemma?2012-02-10
  • 0
    Dear Bruno: You may want to take a look at [page 107 of Cartan-Eilenberg](http://www.archive.org/stream/homologicalalgeb033541mbp#page/n127/mode/2up).2012-02-11
  • 0
    @Pierre-YvesGaillard: thank you for the reference, however, could you point out more precisely where is the relevant part? I read the page and I don't get it... (it may be that there is some terminology I do not know, e.g. balanced or satellite).2012-02-12
  • 0
    Dear Bruno: You're welcome. I suggest that you look at Section V.8 pp 94-97. (I think you can ignore the notion of satellites, but **not** the notion of balanced functor.)2012-02-12
  • 0
    @Bruno: In a category of modules there is in fact a canonical projective resolution: take the free module generated by the underlying set of the original module, then the free module generated by the underlying set of the relations module, etc.2012-04-10
  • 0
    If $A$ is a $k$-algebra and $N$ is a left $A$-module, then the bar construction $B_*(A,A,N)$ gives an $A$-resolution of $N$ as with augmentation given by the action map. Moreover, if $A$ and $N$ are $k$-flat, this is a flat resolution. This gives a nice way to compute Tor under some hypotheses.2015-12-01

1 Answers 1