Extending the idea of compressed algebra to arbitrary socle-vectors. (Q1419007)

The author studies standard graded artinian algebras , i. e. artinian quotients \(A=R/I\) of the polynomial ring \(R=k[x_{1},\dots, 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},\dots, 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 \(\text{soc}(A)\) is the annihilator of the maximal homogeneous ideal \(\overline{m}= (\overline{x}_{1},\dots, \overline{x}_{n})\subset A\). Since \(\text{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 \(\text{emb.dim.}(A) =r\), \(s(A)=s\) and \(h(A)=h\). The general problem of finding all the admissible \(h\)-vectors for a given pair \((r,s)\) seems not easy in general. The case of Gorenstein algebras has been studied by many authors as for instance \textit{F. S. Macaulay} [The algebraic theory of modular systems (Cambridge Univ. Press, Cambridge, UK) (1916; JFM 46.0167.01)], when \(r=2\), \textit{R. Stanley} [Adv. Math. 28, 57--83 (1978; Zbl 0384.13012)], when \(r\leq 3\), \textit{J. Migliore} and \textit{U. Nagel} [Adv. Math. 180, 1--63 (2003; Zbl 1053.13006)] for the \(h\)-vectors of Gorenstein algebras with the weak Leftschetz property. \textit{A. Iarrobino} [Trans. Am. Math. Soc. 285, 337--378 (1984; Zbl 0548.13009)] showed that, putting some natural restrictions on a given pair \((r,s)\), any admissible \(h\)-vector is bounded from above by a certain maximal \(h\), and defined an algebra \(A\) with the data \((r,s)\) as compressed if this maximal \(h\) satisfies \(h=h(A)\); moreover, he proved that under his hypotheses on \(r\) and \(s\), there always exists a compressed algebra. The author extends the idea of compressed algebra given by Iarrobino. Precisely, he 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. The main contributions of the paper under review are: an upper-bound for all the \(h\)-vectors admissible for the pair \((r,s)\) and a theorem that, under certain restrictions on \((r,s)\), shows that the previous upper-bound is actually achieved by a generalized compressed algebra.