Extending the idea of compressed algebra to arbitrary socle-vectors. II: Cases of non-existence (Q1883036)

This paper is the continuation of the author's previous work [J. Algebra 270, No. 1, 181--198 (2003; Zbl 1102.13022)] on generalized compressed algebras (in brief GCA). The author studies standard graded artinian algebras , i. e. artinian quotients \(A=R/I\) of the polynomial ring \(R=k[x_{1},\ldots, x_{n}]\), where \(k\) is a field of characteristic zero, the \(x_{i}\)'s all have degree 1 and \(I\) is a homogeneous ideal of \(R\). The \(h\)-vector of \(A\) is \(h(A)=h=(h_{0},\ldots, h_{e})\), where \(h_{i}=\dim_{k}A_{i}\) and \(e\) is the last index such that \(\dim_{k}A_{e}>0\). Since we may suppose that \(I\) does not contain non-zero forms of degree 1, \(r=h_{1}\) is defined to be the embedding dimension (emb. dim., in brief) of \(A\). The socle of \(A\) denoted by soc\((A)\) is the annihilator of the maximal homogeneous ideal \(\overline{m}= (\overline{x}_{1},\ldots, \overline{x}_{n})\subset A\). Since soc\((A)\) is a homogeneous ideal, the socle-vector of \(A\) is defined as \(s(A)=s=(s_{0},\dots, s_{e})\), where \(s_{i}=\dim_{k}\text{soc}(A)_{i}\). An \(h\)-vector \(h\) is said admissible for the pair \((r,s)\) if there exists an algebra \(A\) with emb.dim. \((A) =r\), \(s(A)=s\) and \(h(A)=h\). The author fixes any pair \((r,s)\) and defines an algebra as generalized compressed with respect to the pair \((r,s)\) if its \(h\)-vector is the maximal among all the admissible \(h\)-vectors. In this paper the author exhibits a new class of socle vectors \(s\) which admit GCA. In particular, it follows that for every socle-vector \(s\) of type \(2\) there exists a GCA. The main result of this paper is a theorem of non-existence, precisely, there exist pair \((r,s)\) which do not admit GCA. For the proof Stanley's characterization of Gorenstein \(h\)-vectors of embedding dimension \(3\) and inverse systems are used. The problem of determining what are the pairs \((r,s)\) which admit a GCA is still open. A particular class of socle-vectors in embedding dimension \(3\) is examined.