[Math] Tor and projective dimension

ac.commutative-algebrahomological-algebra

Is it possible that $\mbox{Tor }^{r+1}(M,N)=0 \ \ \forall N$ yet $\mbox{proj. dim }M>r$?

What I do know is that if $(A,\mathfrak{m})$ is Noetherian local and $M$ is finitely generated over $A$ then $\mbox{Tor }^{r+1}(M,A/\mathfrak{m})=0 $ if and only if $\mbox{proj. dim }M\leq r$.

Generally speaking, is $\mbox{Tor }$ functor as good a tool to measure projective dimension as $\mbox{Ext }$ even when the ring/module is not Noetherian or local?

I suspect we can use $\mbox{Tor }$ to measure projective dimension when ring is Neotherian local and module is finitely generated because flatness and projectivity coincide in such case.

Best Answer

Over the integers, the rational numbers Q are flat and so Tor^i(Q,M) = 0 for all M and all i>0. However Q is not projective so has projective dimension 1.

Related Question