Is the following true:
Let A be a Noetherian ring, and M a not necessarily finitely generated A module. Suppose that Tor_1^A(M,k_p)=0 for the residue fields k_p for all primes p\subset A.
Does this imply that M is flat? NB:if instead of Tor_1 one imposes that all Tor_i are zero, then it's easy to see.
Is the same true without the Noetherian hypothesis?