On the rationality of Poincaré series of Gorenstein algebras via Macaulay's correspondence

Abstract: Let

A

be a local Artinian Gorenstein ring with algebraically closed residue field

A / f r a k M = k

of characteristic 0, and let

P_{A} (z) := s u m_{p = 0}^{i n f t y} ({m a t h r m T o r}_{p}^{A} (k, k)) z^{p}

be its Poincar'e series. We prove that

P_{A} (z)

is rational if either

d i m_{k} ({f r a k M}^{2} / {f r a k M}^{3}) l e q 4

and

d i m_{k} (A) l e q 16,

or there exist

m l e q 4

and

c

such that the Hilbert function

H_{A} (n)

of

A

is equal to

m

for

n i n [2, c]

and equal to 1 for

n > c

. The results are obtained thanks to a decomposition of the apolar ideal

m a t h r m A n n (F)

when

F = G + H

and

G

and

H

belong to polynomial rings in different variables.

Recommendations

Cites Work

Cited In (4)

This page was built for publication: On the rationality of Poincaré series of Gorenstein algebras via Macaulay's correspondence