Let $(R, \mathfrak{m})$ be a commutative Noetherian local ring and $M$ a finitely generated $R$module. Let $x_1,...,x_t$ be an $M$regular sequence and $I = (x_1,...,x_t)$. Is it true that $$\mathrm{Tor}_1^R(R/I^n, M) = 0$$ for all $n \geq 1$?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I've posted a proof here for the special case when $M$ is cyclic. Furthermore, I've mentioned that the result holds for finitely generated modules when the sequence is $R$regular and $M$regular. 

