2
$\begingroup$

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?

$\endgroup$
2
  • $\begingroup$ Dear unknown, do you actually mean $Tor_1^A(M,A/p)$? If yes, I might know an answer. $\endgroup$ Apr 5, 2010 at 19:37
  • $\begingroup$ i think (s)he means the field of fractions of A/p, or does the tor computation not change in this situation? $\endgroup$ Apr 5, 2010 at 23:45

1 Answer 1

5
$\begingroup$

As far as I understand, this is false. Here is an example (familiar to $D$-module people): $A=k[x,y]$; $M=k[a,b]$ on which $x$ (resp. $y$) acts as $\frac{d}{da}$ (resp. $\frac{d}{db}$). Since the action of both $x$ and $y$ is locally nilpotent, $M$ is supported at the origin of $Spec(A)$. Therefore, the only non-zero Tor's of the kind you consider are $Tor_i(M,k)$, where both $x$ and $y$ act on $k$ by zero. These Tor's are easy to compute (they amount to computing de Rham cohomology of affine plane with coordinates $a$ and $b$), and they are non-zero precisely when $i=2$. (Essentially, the calculation repeats the proof of Kashiwara's Lemma.)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.