×

Poincaré series of short Artinian rings. (English) Zbl 0572.13001

We study the connection between the Hilbert series, \(Hilb_ R(t)=\sum^{\infty}_{0}\dim_ k((\bar X_ 1,\bar X_ 2,\bar X_ 3)^ i/(\bar X_ 1,\bar X_ 2,\bar X_ 3)^{i+1})t^ i,\) and the Poincaré series, \(P_ R(t)=\sum^{\infty}_{0}\dim_ k(Tor^ R_ i(k,k))t^ i=\sum^{\infty}_{0}\dim_ k(Ext^ i_ R(k,k))t^ i\) for rings of the type \(R=k[X_ 1,X_ 2,X_ 3]/(f_ 1,...,f_ r)\) where the \(f_ i's\) are forms of degree two and k is a field. It is well known that the Hilbert series are always rational, and we show that the Poincaré series are determined by the Hilbert series and that they are rational. As a corollary we can conclude that local rings (R,m) of embedding dimension three and with \(m^ 3=0\) have rational Poincaré series. Furthermore we show that graded Artinian rings of length \(\leq 7\) (and thus graded Cohen-Macaulay rings of multiplicity \(\leq 7)\) have rational Poincaré series. - It is known that there are local rings of embedding dimension five with \(m^ 3=0\) and graded Artinian rings of length 11 with transcendental Poincaré series; see D. J. Anick, Ann. Math., II. Ser. 115, 1-33 (1982; Zbl 0454.55004).

MSC:

13D03 (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.)
13E10 Commutative Artinian rings and modules, finite-dimensional algebras
13H15 Multiplicity theory and related topics
13H10 Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.)
Full Text: DOI

References:

[1] Anick, D., A counterexample to a conjecture of Serre, Ann. of Math., 115, 1-33 (1982) · Zbl 0454.55004
[2] Avramov, L. L., Small homomorphisms of local rings, J. Algebra, 50, 400-453 (1978) · Zbl 0395.13005
[3] J. Backelin, “A Distributiveness Property of Augmented Algebras and Some Related Homological Results,” thesis.; J. Backelin, “A Distributiveness Property of Augmented Algebras and Some Related Homological Results,” thesis.
[4] J. Emsalem et A. Iarrobino, Réseau de coniques et algèbres de longueur 7 associées, preprint, Ecole Polytechnique de Paris.; J. Emsalem et A. Iarrobino, Réseau de coniques et algèbres de longueur 7 associées, preprint, Ecole Polytechnique de Paris.
[5] Fröberg, R., Determination of a class of Poincaré series, Math. Scand., 37, 29-39 (1975) · Zbl 0318.13027
[6] Jordan, M. C., Réduction d’un réseau de formes quadratiques ou bilinéaires, J. Math. Pures Appl. VI Sér., 2, 403-438 (1906) · JFM 37.0136.01
[7] C. Löfwall, On the subalgebra generated by the one-dimensional elements in the Yoneda Ext-algebra, in “Algebra, Algebraic Topology and Their Interactions,” (J.-E. Roos, Ed.), Springer-Verlag, New York/Berlin, to appear.; C. Löfwall, On the subalgebra generated by the one-dimensional elements in the Yoneda Ext-algebra, in “Algebra, Algebraic Topology and Their Interactions,” (J.-E. Roos, Ed.), Springer-Verlag, New York/Berlin, to appear.
[8] Scheja, G., Über die Bettizahlen lokaler Ringe, Math. Ann., 179, 257-274 (1965)
[9] Shamash, J., The Poincaré series of a local ring, J. Algebra, 12, 453-470 (1969) · Zbl 0189.04004
[10] Wall, C. T.C, Nets of conics, (Math. Proc. Cambridge Philos. Soc., 81 (1977)), 351-364 · Zbl 0351.14032
[11] Wilson, A. H., The canonical types of nets of modular conics, Amer. J. Math., 36, 187-210 (1914) · JFM 45.0228.01
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.