The useful concept of relatively compressed algebra was recently introduced in
$\left[MMN\right]$
by Migliore et al.

(whose investigations mainly focused on the particular case of
$A$
a complete intersection). In this paper we notice that the level algebras which are relatively compressed with respect to
$A$
are (isomorphic to) the generic level quotients of suitable truncations of
$A$
. Therefore, we are able to apply the results we obtained in our recent work
$\left[Za3\right]$
to relatively compressed algebras.

1 Introduction

The idea of a compressed algebra has been around in commutative algebra for some time (it first appeared, implicitly, in Emsalem-Iarrobino's 1978 work
$\left[EI\right]$
), and identifies those (standard graded artinian) algebras having the (entry by entry) maximum
$h$
-vector among the
$h$
-vectors of all the algebras having given codimension and socle-vector. Compressed algebras and their
$h$
-vectors were extensively studied in the eighties by Iarrobino (
$\left[Ia\right]$
) and Fröberg-Laksov (
$\left[FL\right]$
), and then by this author in full generality (
$\left[Za1\right]$
and
$\left[Za2\right]$
).

Recently, Migliore, Miró-Roig and Nagel (
$\left[MMN\right]$
) defined the useful concept of relatively compressed algebra (which extends a notion first introduced by Cho and Iarrobino; see
$\left[CI\right]$
, Remark 2.9): given an artinian algebra
$A=R/I$
, an algebra
$B=R/J$
(where
$R$
is a polynomial ring and
$I$
and
$J$
are homogeneous ideals of
$R$
) is called relatively compressed with respect to
$A$
, if
$B$
is a quotient algebra of
$A$
(i.e.,
$J\supseteq I$
) and the
$h$
-vector of
$B$
is the largest among the
$h$
-vectors of all the quotient algebras of
$A$
having the same socle-vector as
$B$
.

This concept, in other words, defines the “smallest” ideals
$J$
containing a fixed ideal
$I$
, given the socle-vector of
$R/J$
as an invariant. Migliore et al. mainly focused on studying the
$h$
-vectors (and the minimal free resolutions) of those level algebras which are relatively compressed with respect to
$R$
modulo a complete intersection (oftentimes generic). Those
$h$
-vectors, in fact, supply interesting information on the size of the ideals containing a given regular sequence.

In this note, by identifying relatively compressed algebras with generic quotients of suitable truncations of a level algebra, we can apply the recent work contained in
$\left[Za3\right]$
, where we studied generic level quotients, to extend some of the results of
$\left[MMN\right]$
. Namely, we supply (in general sharp) upper and lower bounds for the
$h$
-vector of a level algebra which is relatively compressed with respect to a given arbitrary level algebra.

Let us now fix the setting we will be working in throughout the present paper. We consider standard graded artinian algebras
$A=R/I$
, where
$R=k[{x}_{1},...,{x}_{r}]$
,
$I$
is a homogeneous ideal of
$R$
,
$k$
is a field of characteristic zero and the
${x}_{i}$
's all have degree 1.

The
$h$
-vector of
$A$
is
$h\left(A\right)=h=({h}_{0},{h}_{1},...,{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 codimension of
$A$
.

The socle of
$A$
is the annihilator of the maximal homogeneous ideal
$\overline{m}=(\overline{{x}_{1}},...,\overline{{x}_{r}})\subseteq A$
, namely
$soc\left(A\right)=\{a\in A|a\overline{m}=0\}$
. Since
$soc\left(A\right)$
is a homogeneous ideal, we define the socle-vector of
$A$
as
$s\left(A\right)=s=({s}_{0},{s}_{1},...,{s}_{e})$
, where
${s}_{i}={dim}_{k}soc(A{)}_{i}$
. Note that
${h}_{0}=1$
,
${s}_{0}=0$
and
${s}_{e}={h}_{e}>0$
. The integer
$e$
is called the socle degree of
$A$
(or of
$h$
).

The type of the socle-vector
$s$
(or of the algebra
$A$
) is type
$\left(s\right)={\sum}_{i=0}^{e}{s}_{i}$
.

If
$s=(0,0,...,0,{s}_{e}=t)$
, we say that the algebra
$A$
is level (of type
$t$
). With a slight abuse of notation, we will refer to an
$h$
-vector as level if it is the
$h$
-vector of a level algebra.

Let us now recall the main facts of the theory of inverse systems that we will be using in this paper. For a complete introduction, we refer the reader to
$\left[Ge\right]$
and
$\left[IK\right]$
.

Let
$S=k[{y}_{1},...,{y}_{r}]$
, and consider
$S$
as a graded
$R$
-module where the action of
${x}_{i}$
on
$S$
is partial differentiation with respect to
${y}_{i}$
.

There is a one-to-one correspondence between artinian algebras
$R/I$
and finitely generated
$R$
-submodules
$M$
of
$S$
, where
$I=Ann\left(M\right)$
is the annihilator of
$M$
in
$R$
and, conversely,
$M={I}^{-1}$
is the
$R$
-submodule of
$S$
which is annihilated by
$I$
(cf.
$\left[Ge\right]$
, Remark 1), p. 17).

If
$R/I$
has socle-vector
$s$
, then
$M$
is minimally generated by
${s}_{i}$
elements of degree
$i$
, for
$i=1,2,...,e$
, and the
$h$
-vector of
$R/I$
is given by the number of linearly independent derivatives in each degree obtained by differentiating the generators of
$M$
(cf.
$\left[Ge\right]$
, Remark 2), p. 17).

In particular, level algebras of type
$t$
and socle degree
$e$
correspond to
$R$
-submodules of
$S$
minimally generated by
$t$
elements of degree
$e$
.

2 The main result

Let
$A=R/I$
be a level algebra of socle degree
$e$
and having
$h$
-vector
$h=(1,{h}_{1},...,{h}_{e})$
.

Let
$B$
be a level algebra of socle degree
$d\le e$
and type
$c\le {h}_{d}$
which is relatively compressed with respect to
$A$
. Denote the
$h$
-vector of
$B$
by
$H=(1,{H}_{1},...,{H}_{d})$
. Then: Theorem 1. With the above notations, for
$i=1,2,...,d$
, we have:

$$\frac{1}{{h}_{d}^{2}-1}\left(\right({h}_{d}-c){h}_{d-i}+(c{h}_{d}-1\left){h}_{i}\right)\le {H}_{i}\le min\{{h}_{i},c{h}_{d-i}\}.$$
Proof. Notice that a quotient of socle degree
$d$
of
$A$
can be naturally seen as a quotient of socle degree
$d$
of
$A/{A}_{d+1}\sim =R/(I,{R}_{d+1})$
, which is the level truncation of
$A$
having
$h$
-vector
$h=(1,{h}_{1},...,{h}_{d})$
.

Also note the important fact that the level algebras
$B$
above, relatively compressed with respect to
$A$
, are exactly (isomorphic to) the generic level quotients of type
$c$
and socle degree
$d$
of the algebra
$R/(I,{R}_{d+1})$
(that is, the quotients parameterized by the points of a non-empty open subset of
$\left({\mathbf{P}}^{{h}_{d}-1}\right(k){)}^{c}$
, given a set of generators
${G}_{1}$
, ...,
${G}_{{h}_{d}}$
of the inverse system module corresponding to the level algebra
$R/(I,{R}_{d+1})$
; see also
$\left[Za3\right]$
).

Hence, the first inequality of the theorem is simply a rewriting of
$\left[Za3\right]$
, Theorem 2.9 (Main Theorem). Let us now show the second inequality:
${H}_{i}\le {h}_{i}$
is obvious. It remains to prove that
${H}_{i}\le c{h}_{d-i}$
. Again, consider
$B$
as a quotient algebra of
$R/(I,{R}_{d+1})$
. The inverse system module corresponding to
$B$
is generated by
$c$
linearly independent forms of degree
$d$
, and
${H}_{i}$
is given by the number of
$(d-i)$
-th linearly independent partial derivatives of those
$c$
forms. By the symmetry of Gorenstein
$h$
-vectors (i.e., level
$h$
-vectors of type 1), each of the above
$c$
forms has at most
${h}_{d-i}$
$(d-i)$
-th linearly independent partial derivatives, whence we have
${H}_{i}\le c{h}_{d-i}$
. This completes the proof of the theorem.
$\sqcap \bigsqcup $
Remark 2. The second inequality of Theorem 1 extends
$\left[MMN\right]$
, Lemma 2.13 to any level algebra
$A$
(not necessarily a complete intersection).

Proposition 3. Let
$A$
be a level algebra having
$h$
-vector
$h=(1,{h}_{1},...,{h}_{e})$
. Then, for all positive integers
$d$
and
$c$
such that
$d\le e$
and
$c\le {h}_{d}$
, there exists a level algebra having socle degree
$d$
and type
$c$
which is relatively compressed with respect to
$A$
.

Proof. As we have underlined in the proof of the theorem, the level algebras of socle degree
$d$
which are relatively compressed with respect to a given level algebra
$A=R/I$
“are” exactly the generic level quotients of
$R/(I,{R}_{d+1})$
of socle degree
$d$
. The result follows from the fact that those generic quotients always exist (see the observation at the beginning of Section 2 of
$\left[Za3\right]$
).
$\sqcap \bigsqcup $
Example 4. Let us consider a level algebra
$A$
of socle degree 8 having
$h$
-vector
$$h=(1,4,9,13,13,13,9,6,4).$$
(The fact that
$h$
is actually a level
$h$
-vector can be shown, for instance, by using sums of powers of generic linear forms as suggested in
$\left[Ia\right]$
, Theorem 4.8 A.) By Theorem 1, the
$h$
-vector
$H$
of the level algebras of type 3 and socle degree 6 which are relatively compressed with respect to
$A$
must satisfy the following (entry by entry) inequalities:

$$(1,3,4,6,5,5,3)\le H\le (1,4,9,13,13,12,3).$$
Remark 5. In general, the two bounds of Theorem 1 are sharp (and they are so simultaneously for all
$i=1,2,...,d$
). Indeed, the fact that there exist algebras
$A$
and
$B$
such that the lower bound of the theorem is sharp was implicitly shown in
$\left[Za3\right]$
, Example 2.10. We briefly recap that example here (without proofs) for completeness.

Let us consider the level algebra
$A$
(of codimension
$r=(t+1)p$
, type
$t$
and socle degree
$e$
) associated to the inverse system module
$M=<{F}_{1},...,{F}_{t}>$
, where
${F}_{j}={y}_{jp+1}{y}_{1}^{e-1}+{y}_{jp+2}{y}_{2}^{e-1}+...+{y}_{(j+1)p}{y}_{p}^{e-1}$
. One can easily see that the
$h$
-vector of
$A$
is
$h=(1,(t+1)p,(t+1)p,...,(t+1)p,t)$
. Furthermore, the level quotients of
$A$
of type
$c\le t$
and socle degree
$e$
all have the same
$h$
-vector,
$(1,(c+1)p,(c+1)p,...,(c+1)p,c)$
.

But this is exactly the lower bound of the theorem, since we have the identity
$(c+1)p=\frac{1}{{t}^{2}-1}\left(\right(t-c\left)\right(t+1)p+(ct-1\left)\right(t+1\left)p\right)$
. Thus, in this example the lower bound of Theorem 1 is sharp.

The existence of algebras
$A$
and
$B$
such that the
$h$
-vector of
$B$
is the upper bound of Theorem 1 is guaranteed by an argument using compressed algebras. For instance, let us consider two generic forms,
$F$
and
$G$
, of degree 7 inside
$S=k[{y}_{1},{y}_{2},{y}_{3}]$
. Then the
$h$
-vector of the (compressed) level algebra
$A=R/Ann(F,G)$
is
$h=(1,3,6,10,15,12,6,2)$
(e.g., see
$\left[Ia\right]$
). If we consider the level quotient
$B$
of
$A$
of type 2 and socle degree 6 whose associated inverse system module is generated by two derivatives of
$F$
and
$G$
(e.g.,
${F}_{{y}_{1}}$
and
${G}_{{y}_{2}}$
), then we clearly have that the
$h$
-vector of
$B$
is
$H=(1,3,6,10,12,6,2)$
, and this is exactly the upper bound given by Theorem 1.

Remark 6. A very interesting fact regarding relatively compressed algebras is that their
$h$
-vector depends heavily on the original algebra
$A$
, not only on its
$h$
-vector.

In order to see this, we will exhibit two level algebras,
${A}_{1}$
and
${A}_{2}$
, such that
$h\left({A}_{1}\right)=h\left({A}_{2}\right)=h=(1,{h}_{1},...,{h}_{e})$
, and two positive integers,
$d\le e$
and
$c\le {h}_{d}$
, such that there exist level algebras
${B}_{1}$
and
${B}_{2}$
, both having socle degree
$d$
and type
$c$
, which are relatively compressed with respect to
${A}_{1}$
and
${A}_{2}$
(respectively), and whose
$h$
-vectors are different.

Let
$h=(1,(t+1)p,(t+1)p,...,(t+1)p,t)$
, as in Remark 5, and consider, as
${A}_{1}$
, the algebra
$A$
of that remark. Let
$d=e$
and
$c=1$
. As we saw above, the
$h$
-vector of any Gorenstein quotient
${B}_{1}$
of
${A}_{1}$
of socle degree
$e$
is
${H}^{\left(1\right)}=(1,2p,2p,...,2p,1)$
. Therefore, it suffices to find a level algebra
${A}_{2}$
with
$h$
-vector
$h$
having a Gorenstein quotient of socle degree
$e$
with an
$h$
-vector
${H}^{\left(2\right)}$
larger than
${H}^{\left(1\right)}$
. Let us consider an inverse system submodule
$M$
of
$S=k[{y}_{1},...,{y}_{(t+1)p}]$
generated by
$t$
forms of degree
$e$
, one (say
$F$
) being the sum of powers of
$(t+1)p-(t-1)$
generic linear forms, and the remaining
$t-1$
being the
$e$
-th powers of one generic linear form each. If we let
${A}_{2}$
be the level algebra associated to
$M$
, then it is easy to see (again by using
$\left[Ia\right]$
, Theorem 4.8 A on sums of powers of linear forms) that the
$h$
-vector of
${A}_{2}$
is
$h$
and that the
$h$
-vector of the Gorenstein quotient
${B}_{2}$
of
${A}_{2}$
(of socle degree
$e$
) whose inverse system cyclic module is generated by
$F$
is
${H}^{\left(2\right)}=(1,(t+1)p-(t-1),(t+1)p-(t-1),...,(t+1)p-(t-1),1)$
.

Thus, for
$t>1$
and
$p>1$
, we have
${H}^{\left(2\right)}>{H}^{\left(1\right)}$
, as we desired.

Remark 7. It would be interesting to extend the above results on level algebras to algebras
$A$
and
$B$
with arbitrary socle-vectors. However, this is beyond the scope of this note, since such a generalization would be strongly related to an analogous generalization of our recent paper
$\left[Za3\right]$
, that, to date, has not yet been obtained.

Acknowledgements. We warmly thank (our former Ph.D. Thesis advisor) Professor A.V. Geramita and Professor A. Iarrobino for their comments and suggestions which improved the exposition of this paper.

References
$\left[CI\right]$
Y.H. Cho and A. Iarrobino: Hilbert Functions and Level Algebras, J. of Algebra 241 (2001), 745-758.

$\left[EI\right]$
J. Emsalem and A. Iarrobino: Some zero-dimensional generic singularities; finite algebras having small tangent space, Compositio Math. 36 (1978), 145-188.

$\left[FL\right]$
R. Fröberg and D. Laksov: Compressed Algebras, Conference on Complete Intersections in Acireale, Lecture Notes in Mathematics, No. 1092 (1984), 121-151, Springer-Verlag.
$\left[Ge\right]$
A.V. Geramita: Inverse Systems of Fat Points: Waring's Problem, Secant Varieties and Veronese Varieties and Parametric Spaces of Gorenstein Ideals, Queen's Papers in Pure and Applied Mathematics, No. 102, The Curves Seminar at Queen's (1996), Vol. X, 3-114.

$\left[Ia\right]$
A. Iarrobino: Compressed Algebras: Artin algebras having given socle degrees and maximal length, Trans. Amer. Math. Soc. 285 (1984), 337-378.

$\left[IK\right]$
A. Iarrobino and V. Kanev: Power Sums, Gorenstein Algebras, and Determinantal Loci, Springer Lecture Notes in Mathematics (1999), No. 1721, Springer, Heidelberg.
$\left[MMN\right]$
J. Migliore, R. Miró-Roig and U. Nagel: Minimal resolution of relatively compressed level algebras, J. of Algebra 284 (2005), No. 1, 337-370.

$\left[Za1\right]$
F. Zanello: Extending the idea of compressed algebra to arbitrary socle-vectors, J. of Algebra 270 (2003), No. 1, 181-198.

$\left[Za2\right]$
F. Zanello: Extending the idea of compressed algebra to arbitrary socle-vectors, II: cases of non-existence, J. of Algebra 275 (2004), No. 2, 730-748.

$\left[Za3\right]$
F. Zanello: Partial derivatives of a generic subspace of a vector space of forms:

quotients of level algebras of arbitrary type, Trans. Amer. Math. Soc., to appear.