Connections between a local ring and its associated graded ring (Q1092959)

A local ring R,m,k and unitary R-modules M, N, provide associated graded objects gr(R), gr(M), gr(N) from the m-filtrations, and a spectral sequence \(Tor^{gr(R)}(gr(M),gr(N)\Rightarrow Tor^ R(M,N)\). When S,n,k is a local ring its completion \(\hat S\) is the factor ring of a regular local ring R with the same embedding dimension and the existence of the spectral sequence with \(M=\hat S\), \(N=k\) gives rise to known homological results [c.f. \textit{R. Achilles} and \textit{L. L. Avramov}, Semin. Eisenbad- Singh-Vogel, Vol. 2, Teubner-Texte Math. 48, 5-29 (1982; Zbl 0509.13027)] which loosely state that nice properties of gr(S) imply similar nice properties of S. By delving more deeply into the details of the spectral sequence as it arises from the n-filtration of the Koszul complex for a minimal generating set of S, the author gives certain conditions on the pairs (i,j) for which \((Tor_ i^{gr(R)}(gr(S),k))_ j\) vanishes which imply \(E_ 1=E_{\infty}\) in the spectral sequence and in turn equality of the Betti numbers \(b_ i(gr(S))=b_ i(S)\). So under these extra conditions the same nice properties of S are inherited by gr(S). When, in addition, S is complete a minimal graded gr(R)-resolution of gr(S) can be lifted to a minimal R-resolution of S. Similar arguments in the case \(M=N=k\) and R not necessarily regular, show that when \(E_ 1=E_{\infty}\) (and in particular when \((Tor_ i^{gr(R)}(k,k))_ j=0\) for \(i\neq j)\) the Poincaré series \(\sum \dim_ k(Tor^ R_ i(k,k))z^ i\quad is\) the same as the corresponding series for gr(R). The author lists several examples of graded polynomial rings in which the special conditions on the vanishing of Tor hold.