Poincaré series of modules over compressed Gorenstein local rings (Q2450109)

Let \((A,\mathfrak m, k)\) be an Artinian Gorenstein local ring. Let \(s\) be the maximum integer such that \(\mathfrak m^s \neq 0\), \(e=\dim_k(\mathfrak m/\mathfrak m^2)>1\) its embedding dimension and \(l=\mathrm{length}(A)\). In this paper, for \(s>3\) and under the assumption that \(l=\sum_{i=0}^s \min \left\{ {{e-1+s-i}\choose{e-1}}, {{e-1+i}\choose{e-1}}\right \}\) (the maximum possible length) it is proved that there exists a polynomial with integer coefficients \(d(X)\) such that for any \(A\)-module of finite type \(M\) there exists a polynomial with integer coefficients \(p_M(X)\) such that the Poincaré series is \[ \sum_{i \geq 0} \dim_k\mathrm{Tor}_i^A(M,k)X^i = \frac{p_M(X)}{d(X)} \] and in particular it is rational. Moreover, when \(s\) is even, \(d(X)\) is explicitly computed.