Free resolutions over short Gorenstein local rings

From MaRDI portal
Publication:2430652



Abstract: Let R be a local ring with maximal ideal m admitting a non-zero element ainfm for which the ideal (0:a) is isomorphic to R/aR. We study minimal free resolutions of finitely generated R-modules M, with particular attention to the case when m^4=0. Let e denote the minimal number of generators of m. If R is Gorenstein with m^4=0 and ege 3, we show that Poi MRt is rational with denominator HH R{-t} =1-et+et^2-t^3, for each finitely generated R-module M. In particular, this conclusion applies to generic Gorenstein algebras of socle degree 3.


The paper investigates minimal free resolutions of a finitely generated \(R\)-module \(M\), where \(R\) is any noetherian local ring with maximal ideal \(m\) and residue field \(k\). The main results state what follows: a) Let \((R,m.k)\) be a local ring such that the Hilbert series \(H_R(t) = \sum_0 ^\infty \mathrm{rank}_k(\frac{m^n}{m^{n+1}})t^n\) equals \(1+et+et^2+t^3\) (where \(\mu (m)\) denotes the minimal number of generators of \(m\)). Set \(s = \mathrm{rank}_k(0:_Rm)\): Assume that there is a non-zero exact zero divisor \(a \in m\) (i.e. \(a\) satisfies: \(R \neq (0:_Ra) \cong \frac{R}{aR} \neq 0)\). Then the following are equivalent: (1) \(R\) is Koszul (2) \(e \geq s+2\). When they hold every finite \(R\)-module \(M\) has a syzygy module that is Koszul (i.e. \( \mathrm{Tor}_i^{R^g}(M^g,k)_j = 0\), \(i\neq j\), \((\;)^g\) denoting the associated graded module); (b) Let \((R,m,k)\) be a Gorenstein ring such that \(m^4 = 0\) and \(\mu(m) = e \geq 3\). If there is a non-zero element \(a \in m\) such that the ideal \((0:_R a)\) is principal, then the following hold: (1) the Hilbert series \(H_R(t) = \sum_0 ^\infty \mathrm{rank}_k(\frac{m^n}{m^{n+1}})t^n = 1+et+et^2+t^3\); (2) \(H_R(-t)P_k^R(t) = 1\); (3) \(H_R(-t)P_M^R(t)\) is in \(\mathbb{Z}[t]\), for every finite \(R\)-module \(M\), where \(P_M^R(t)\) is the Poincaré series \(\sum_0^ \infty \mathrm{rank} _k \mathrm{Tor}_n^R(M,k)t^n)\).




Cited in
(31)








This page was built for publication: Free resolutions over short Gorenstein local rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2430652)