Poincaré series of modules over local rings of small embedding codepth or small linking number (Q1104989)

Let \((R,m,k)\) be a local ring. The aim of this paper is to show that \(P^ M_ R(t)=\sum Tor^ R_ i(M,k)t\) is rational for all finitely generated modules M for certain classes of rings R. One main mean used is a theorem by G. Levin: If \(C\to R\) is a surjective Golod homomorphism, where C is a complete intersection, then \(P^ M_ R(t)\) is rational for all finitely generated R-modules M. In order to be able to use this theorem the authors prove: Let \(R=S/J\), where \((S,m,k)\) is regular and \(J\subset m^ 2\); let \(T=Tor^ S(R,k)\). Suppose that the minimal free S-resolution of R is a DG-algebra and thatthere are elements \(e_ 1,...,e_ r\) in \(T_ 1\) so that \(T<X_ 1,...,X_ r\); \(dX_ i=e_ i>\) is a Golod DG-algebra. Then there is a regular sequence \({\mathfrak x}=x_ 1,...,x_ r\) in J and a Golod homomorphism R/\({\mathfrak x}\to S.\) The classes of rings for which \(P\) \(M_ R(t)\) is proved to be rational in this paper are: \((1)\;R=S/J,\) S regular and \(pd_ s(R)=3\); (2) \(R\) grade 4 Gorenstein; (3) \(R\) is one link from a complete intersection; (4) \(R\) is Gorenstein and two links from a complete intersection. For the rings in class (1) all possible T's (see above) are classified. (This has earlier been done, with some restrictions, in a completely different way by Weyman.) It is well known that the minimal free S- resolution of R has a DG-algebra structure for these rings. The concrete classification makes it possible to use Levin's theorem. For rings of class (2) the classification of possible T's and the DG-algebra structure was known. For rings of class (3) and (4) the authors give structure theorems: \(R=S/J\) belongs to (3) if and only if there are matrices \({\mathfrak a}_{1\times g}\) and \(X_{g\times g}\) with entries in S such that \(J=I_ 1({\mathfrak a}X)+I_ g(X)\), \(g=\) grade\((J)>0\). \(R=S/J\) belongs to (4) if and only if there are matrices \({\mathfrak a}_{1\times g}\), \(X_{g\times (g-1)}\) and \(v_{i\times 1}\) with entries in R such that \(J=I_ 1({\mathfrak a}X)+(c_ 1+va_ 1,...,c_ g+va_ g)\), where \(c_ i\) equals \((-1)^{i+1}\) times the determinant of the submatrix of X formed by deleting row i. The rings in classes (3) and (4) are then shown to have minimal resolutions which are DG-algebras. The structure theorems make it possible to use Levin's theorem.