INVERSE LIMITS OF
MACAULAY’S INVERSE SYSTEMS

arXiv:1803.06215v1 [] 16 Mar 2018

MATHIAS SCHULZE AND LAURA TOZZO
Abstract. Generalizing a result of Masuti and the second author, we describe inverse limits of Macaulay’s inverse systems for
Cohen–Macaulay factor algebras of formal power series or polynomial rings over an infinite field. On the way we find a strictness
result for filtrations defined by regular sequences. It generalizes
both a lemma of Uli Walther and the Rees isomorphism.

Introduction
Let K be a field and let P be either the (graded) polynomial ring
K[x1 , . . . , xn ] or the formal power series ring K[[x1 , . . . , xn ]] (with trivial grading). The injective hull E of K over P0 defines a duality
−∨ = * HomP0 (−, E) between Artinian and finitely generated (graded)
P -modules. In particular, this yields an antiisomorphism −⊥ of the
lattices of (graded) ideals I ⊳ P and (graded) P -submodules W of
D = P ∨ (see (2.1)). The ideals I for which P/I is Artinian correspond
to finitely generated submodules W = I ⊥ . In this case and for the
polynomial ring the correspondence was proved by Macaulay at the
beginning of the 20th century. The dual I ⊥ is known as the inverse
system of I (see [Mac94]).
Around 1960 Macaulay’s correspondence turned out to be a special
case of Matlis duality (see [Mat58, Gab60]). Later it was rediscovered
and further developed (see for instance [Ems78, Iar94, Ger96, GS98,
Kle07, CI12]). Recent applications concern the n-factorial conjecture
(see [Hai94]), the Warings’s problem (see [Ger96]), the geometry of the
punctual Hilbert scheme of Gorenstein schemes (see [IK99]), the analytic classification of Artinian Gorenstein rings (see [ER12]), the cactus
rank (see [RS13]), and the Kaplansky–Serre problem (see [RcS14]).
Elias and Rossi (see [ER17]) described the first generalization of
Macaulay’s inverse system in the positive-dimensional case. Their result which applies to Gorenstein algebras was extended by Masuti and
the second author (see [MT18]) to the case of level algebras. We give
a more conceptual description their construction in terms of inverse
2010 Mathematics Subject Classification. Primary 16D90; Secondary 13A30,
13H10.
Key words and phrases. Macaulay inverse system, Matlis duality, Rees
isomorphism.
1

2

M. SCHULZE AND L. TOZZO

limits. We show how to drop the level-hypothesis by identifying the
various socles in the inverse system (see Corollary 1.6). This fact is
deduced from a general strictness result for filtrations defined by regular sequences, which generalizes both a lemma of Walther (see [Wal17,
Lem. 6.5]) and the Rees isomorphism. The full generality of this result
is not needed for our application.
Our main result (see Theorem 2.6) gives an explicit description of
inverse limits of Macaulay’s inverse systems obtained by dividing out
powers of a linear regular sequence. It applies to (graded) Cohen–
Macaulay factor algebras of formal power series (or polynomial) rings
over an infinite field (see Remark 2.1 for a more intrinsic description).
1. Strict filtrations by regular sequences
All rings considered are commutative unitary. Let R be a ring and
g ∈ Rs an R-sequence. Denote by Y indeterminates corresponding to
g. We write gr = grg = grhgi• for the grading functor, σ = σg = σhgi•
for the symbol map and set Rg = R/ g = gr0 R. Then gr R is a
homogeneous graded Rg -algebra. By the g-order of p ∈ R we mean
o
n
k
ordg (p) = max k p ∈ g
. Let
ϕ = ϕg : Rg [Y ]
Yi

/

✤

gr R,

σ(hi ),
/

denote the Rees isomorphism (see [BH93, Thm. 1.1.8]) of graded rings.
Remark 1.1. Let σ(p) ∈ grk R and 0 6= P ∈ Rg [Y ]k with ϕ(P ) = σ(p).
Then 0 6= ϕ(P Y m ) = σ(p)σ(g)m ∈ grk+|m| R and hence
σ(pg m ) = σ(p)σ(g m ) = σ(p)σ(g)m .
Let f ∈ Rr such that h = f , g ∈ Rt is an R-sequence where t =
r + s. We drop the hypothesis that g is an R-sequence. Denote by X
indeterminates corresponding to f and set Z = X, Y .
Uli Walther proved the following lemma for k = 1 (see [Wal17,
Lem. 6.5]). His hypothesis is that g, f is an R-sequence in every order,
but his proof works if f , g is an R-sequence.
k

Lemma 1.2. Let P ∈ R[Y ]l such that P (g) ∈ f
for some Q ∈ f
(1.1))

k

. Then P (g) = Q(g)

[Y ]l . In particular, if g is an R-sequence, then (see
•

Rg [Y ], f [Y ]
is a filtered isomorphism.



ϕ

/

gr R, f

•

gr R



Proof. We proceed by induction on k. The claim
P is vacuous for k =
0. By Walther we may assume that P =
f [Y ]l with
i Pi fi ∈

INVERSE LIMITS OF MACAULAY’S INVERSE SYSTEMS

3

P
k
Pi ∈ R[Y ]l and hence P (g) =
f . For r = 0 the
i Pi (g)fi ∈
particular claim is trivial and hence Proposition 1.3 holds. Applying
Proposition 1.3 with r = 0, f playing the role of g and mi = ei , it
follows that Pi (g) ∈ f
some Qi ∈ f
Let now

k−1

. By induction hypothesis Pi (g) = Qi (g) for
P
k
[Y ]l . Then P (g) = Q(g) for Q = i Qi fi ∈ f [Y ]l .

y∈ f

(1.1)

k−1

k

grl R =

f

k

l

∩ g + g

and write y = σ(x) where x = P (g) ∈ f

k

l+1 

g

l+1

.

and P ∈ R[Y ]l . Then,

k

as above, x = Q(g) for some Q ∈ f [Y ]l . Let R[Y ] → Rg [Y ] map
Q 7→ Q. If g is an R-sequence, then ϕ(Q) = y. This shows that ϕ is
filtered surjective and hence a filtered isomorphism.

The following proposition gives a generalized Rees isomorphism. Let
mi = (k i , li ) 6= 0 with entries in N and set ki = |k i | and li = |li |. This
defines a map
L
/ R,
(hmi )i :
iR
P
mi
/
(pi ) ✤
i pi h ,

with image hhmi ii that fits into a diagram of filtered maps
(1.2)
40
✐✐✐✐
mi

hh ii ,
❧6

(hmi )i ❧❧❧❧

❧❧
❧❧❧
❧❧❧

L

i

R, g

•−li 

P

i

g

✐✐✐✐
✐✐✐✐
✐
✐
✐
✐✐✐✐
•−li m  ι /
hhmi i
h i

(hmi )i



•

i, g


/

R, g

∩ hhmi ii

•



mi



R/hh ii , g

•



0
with filtered exact sequences. The map ι is the identity of hhmi ii but its
source and target carry respectively the image and preimage filtration
from the source and target of (hmi )i .
Proposition 1.3. Assume that both h = f , g and g are R-sequences
•
and that the filtration f Rg is separated. Then the map ι in (1.2)
is a filtered isomorphism. In particular, if also g, f is an R-sequence,

4

M. SCHULZE AND L. TOZZO

then the Rees isomorphism induces a graded isomorphism
D k
E ϕ
/ gr R/hσ(hmi )i
/ gr(R/hhmi i ),
Rg [Y ]/ f i Y li
∼
i
∼
i
=

=

σ(x) o

/

σ(x).

Proof. By Lemma 1.2 there is a bigraded isomorphism
(1.3)

Rh [Z] ∼
= (Rg )f [X][Y ]

ϕf [Y ]
∼
=

/

grf (Rg )[Y ]

grf ϕ
∼
=

/

grf gr R.

Consider also R[Z] = R[X][Y
with its bigrading. Let x ∈ hhmi ii be of
P ]m
g-order l and write x = i pi h i with pi ∈ R. Set p = (pi )i and define
(k ′ , l′ ) with entries in N by

M
′
′
•−ki
•−li
, g
σf (σ(p)) ∈ grkf grl
R, f
i

o

n

and set M = i σf (σ(p))i 6= 0 6= ∅. Note that l′ ≤ l. For i ∈ M,
write pi = Pi (h) with Pi ∈ R[Z]k′ −ki ,l′P
−li . We may assume that the
Pi Z mi have disjoint supports. Let P = i∈M Pi Z mi ∈ R[Z]k′ ,l′ map to
P ∈ Rh [Z]k′ ,l′ . Then (1.3) maps


′
′
k ′ +1
l′ +1
0 6= P 7→ P (σf (σ(h))) = x + g
+ f
∈ grkf grl R.
It follows that x 6∈ g

l′ +1

ordL

i

and hence

hg i

•−li

(p) = l′ ≥ l = ordg (x).

This shows that ι is filtered surjective and hence a filtered isomorphism.
With (1.2) it follows that (see [Li02, Prop. 3.14])
gr(R/hhmi i ) ∼
= gr R/hσ(hmi )i .
= gr R/ gr hhmi i ∼
i

i

i

By Remark 1.1 and Lemma 1.2, if also g, f is a regular sequence, then
k

σ(hmi ) = σ(f ki g li ) = σ(f ki )σ(g)li = ϕ(f i Y li )
and the particular claim follows.



Remark 1.4. By the ∗ Krull’s intersection theorem the separatedness
hypothesis of Proposition 1.3 is satisfied if Rg is Noetherian and f is
contained in the ∗ Jacobson radical of Rg . If R is a Noetherian ∗ local
graded ring and h is a homogeneous R-sequence, then all other hypotheses of Proposition 1.3 hold true (see [BH93, Ex. 1.5.23]). With
R = R0 this includes the case of a Noetherian local ring.
We now specialize to the case r = 0 and hence h = g. We assume
that R is Noetherian ∗ local graded and h homogeneous. Denote by
soc R = annR mR the (homogeneous) socle of R. The associated graded
ring S = gr R is bigraded with unique bigraded maximal ideal mS =

INVERSE LIMITS OF MACAULAY’S INVERSE SYSTEMS

5

SmR + S+ where mR = mRh ⊳ Rh = S0 . Denote by soc S = annS mS
the (bihomogeneous) socle S.
Definition 1.5. Let M ⊂ Nt be a monoid ideal. We call M Artinian
if it is cofinite in Nt . By the socle of M we mean the subset

soc M = n ∈ Nt \ M n + (Nt \ {0}) ⊂ M ⊂ Nt .
We call M level of socle degree socdeg M = |m| if this is independent
of m ∈ soc M.

Corollary 1.6. Let R be Noetherian ∗ local graded, h a homogeneous
R-sequence and M = hmi ii Artinian level. Then the symbol map
R/hhmi ii
/

gr(R/hhmi ii ),

x✤

σ(x),
/

identifies socles.
k

Proof. For k ∈ soc M and h ∈ R/hhmi ii ,
k

annR (h ) = hhi.

(1.4)

k

To see this, let x ∈ annR (h ). By Remark 1.1 and Proposition 1.3,
σ(x)σ(hk ) = σ(xhk ) ∈ gr hhmi ii = hσ(h)mi ii
k

k

and hence P = ϕ−1 (σ(x)) ∈ annRh [Z] (Z ) where Z ∈ soc(Rh [Z]/hZ mi ii )
by choice of k. Then P ∈ hZi and hence σ(x) ∈ hσ(h)i = gr hhi again
by Proposition 1.3. It follows that x ∈ hhi as claimed.
Abbreviate R = R/hhmi ii . Then, by (1.4) and Proposition 1.3,
D kE
R⊇ h

k
Rh h o

k

Rh

k
xh o

xh

where soc(gr R) ⊂
(1.5)

k

k

·h
∼
=

L

/

·σ(h )
/
∼
=

xo

D

k

Rh σ(h )
/

k

k

xσ(h )

D

E
k
σ(h ) ⊆ gr R
k

σ(y)σ(h )

E

σ(h ) . It remains to show that
M D kE
X D kE
soc R ⊂
h =
h .
k∈soc M

k∈soc M

k∈soc M

To this end let x ∈ soc R. Then hhix ⊂ mR x = 0 and hence hhix ⊂
hhmi ii . By Remark 1.1 and Proposition 1.3, this yields
σ(h)σ(x) = σ(hx) ∈ gr hhmi ii = hσ(h)mi ii
and hence P = ϕ−1 (σ(x)) ∈ annRh [Z] (Z) where Z ∈ Rh [Z]/hZ mi ii . We
may thus assume that P = yZ k for some y ∈ Rh and k ∈ soc M. Then,
using Remark 1.1,
σ(x) = ϕ(P ) = ϕ(yX k ) = yϕ(X)k = σ(y)σ(h)k = σ(yhk ).

6

M. SCHULZE AND L. TOZZO
k

|k|+1

This means that x − yhk ∈ hhi|k|+1 and hence x − yh ∈ h
. Let
t
n ∈ N with |n| = |k| + 1. Then n ∈ M as otherwise, by hypothesis,
there is an l ∈ soc M with n ≤ l and hence |k|D+ 1E = |n| ≤ |l| = |k|.
n
k
n
Thus, Z n ∈ hZ mi ii , h = ϕ(Z ) = 0 and x ∈ h . This proves the
P
k
inclusion in (1.5). For the direct sum, let
k∈soc M y k h = 0 in R.
k

By Proposition 1.3 and (1.4), σ(y k h ) ∈ grd R if y k 6= 0 corresponds to
P
k
y k Z k ∈ Rh [Z]d where d = socdeg M and hence k∈soc M,yk 6=0 σ(y k h ) =

0 in gr R implies that y k = 0 for all k ∈ soc M.



2. Macaulay’s inverse system
Let P be a Noetherian ∗ local ∗ complete ring. Then P0 is a complete
local ring and all Pi are complete P0 -modules. Let E = EP0 (P0 /mP0 )
graded Matlis duality −∨ = * HomP0 (−, E) defines an antiequivalence
between the categories of ∗ Artinian and finitely generated graded P modules (see [BH93, Thm. 3.6.17]). In particular, this yields an antiisomorphism −⊥ of the lattices of graded ideals I ⊳ P and graded
P -submodules W of D = P ∨ defined by
(2.1)

{I ⊳ P graded ideal} o
I
✤

(D/W )∨ o

⊥

/

{W ⊂ D graded P -submodule},
/

(P/I)∨,
✤

W

Here P/I is ∗ Artinian if and only if W is finitely generated. By the
socle degree socdeg M of an ∗ Artinian graded P -module M we mean
the nilpotency index of mP on M decreased by one.
We first describe the type of algebra R = P/I to which our result
applies.
Remark 2.1. Any Noetherian homogeneous graded K-algebra A with
A0 = K is of the form R = K[x]/I. By Cohen’s structure theorem, any
Noetherian complete local K-algebra with residue field K is of the form
R = KJxK/I. In both cases, if K is infinite and R is Cohen–Macaulay of
dimension d, then there is a linear homogeneous R-sequence of length
d (see [BH93, Prop. 1.5.12] for the graded case and combine [GLS07,
Ch. I, Thm. 1.25] and [Ser65, Ch. IV, Prop. 12] for the formal case).
Let K be field and x be indeterminates. Denote by P either the
polynomial ring K[x] or the formal power series ring KJxK. Then D =
K[X] as K-vector space with P -module structure defined by (see [Eli13,
Thm. 2.2])
(
X m−n if m ≥ n,
(2.2)
xn X m =
0
otherwise.

INVERSE LIMITS OF MACAULAY’S INVERSE SYSTEMS

7

The correspondence (2.1) of (graded) ideals I ⊳ P with P/I Artinian
and (graded) P -submodules W ⊂ D is in this case known as Matlis
duality.
Partition both x = y, z and X = Y , Z pairs of n − d and d many
indeterminates. For I ⊳ P and m ∈ Nd , set
Im = I + hzimi ii ,

(2.3)

Rm = P/Im .

Consider the inverse system over Nd defined by
m 7→ D,

n ≤ m 7→ z m−n ∈ EndP (D)

with limit lim D = K[y]JzK.
←−
Notation 2.2. For m ∈ Nd , k ∈ N and i = 1, . . . , d, denote
Vmj,k = X k |k| ≤ |m| + k, k = (l, n), nj < mj − 1

P

⊂ D.

Remark 2.3. Since
Vmj,k = X k |k| ≤ |m| + k

P
⊥

∩ Y l Z n nj < mj − 1

(Vmj,k )⊥ = X k |k| ≤ |m| + k P + Y l Z n nj < mj − 1
D
E
mj −1
|m|+k+1
= hxi
+ zj
.

,

P
⊥
P

Definition 2.4. Let H ⊂ lim D be a finite K-vector subspace Denote
←−
by Hm its image in the copy of D assigned to m and set Wm = hHm iP .
We call H an limit inverse system of dimension dim H = d, type
type H = r and socle degree socdeg H = s if
(a) dimK H = r,
(b) min{m | Hm 6= 0} = 1,
(c) max deg Hm = |m| + s − d and
(d) Wm ∩ Vmj,s−d ⊂ Wm−ej for all m ∈ Nd and j = 1, . . . , d.
We consider H ≃ H ′ as equivalent if Wm = Wm′ for all m ∈ Nd .
Remark 2.5.
(a) Condition 2.4.(b) implies, for all m ∈ Nd and i = 1, . . . , d,
that zimi · Hm = 0 and hence max degZi Hm = mi − 1. In particular, max degZ Hm = |m| − d.
(b) Condition 2.4.(c) can be substituted by max deg H1 = s and
max deg Hm ≤ |m| + s − d for all m ∈ Nd .
Theorem 2.6. There is a bijection between
(a) the set of (graded) ideals I ⊳ P such that R = P/I is Cohen–
Macaulay, dim R = d, z maps to an R-sequence, type R = r and
socdeg R1 = s and
(b) the set of limit inverse systems H with dim H = d, type H = r and
socdeg H = s modulo equivalence.

8

M. SCHULZE AND L. TOZZO

This bijection is determined by (2.3),
\
(2.4)
I=
Im ,
m

⊥
= Wm = hHm iP ,
Im

(2.5)

and the fact that H is the image of a section of a surjection of inverse
limits
(2.6)

lim W∗
←−

//

lim(W∗ ⊗ K) ∼
= W1 ⊗ K ∼
= soc(R1 )
←−

where the inverse systems are defined by n ≤ m 7→ z m−n and Hm is the
image of H under lim W∗ → Wm .
←−
Lemma 2.7.
(a) For I in the set 2.6.(a), Rm is Artinian for all m ∈ Nd .
(b) For H in the set 2.6.(b), Wm ⊂ D defined by (2.3) and (2.5) is a
finitely generated (graded) P -submodule for all m ∈ Nd .
(c) If Im is defined by (2.3), then (2.4) holds true.
Proof.
(a) With z also z1m1 , . . . , zdmd is a (homogeneous) R-sequence (see
[BH93, Ex. 1.1.10.(b)]). Since dim R = d it follows that dim Rm = 0
by prime avoidance and hence Rm is Artinian by Hopkins’ theorem.
(b) This is immediate from Definition 2.4.(c)
(c) This is a consequence of Krull’s intersection theorem.

Lemma 2.8. Let I be in the set 2.6.(a). Define Wm by (2.3) and (2.5).
(a) There is a surjection (2.6) of inverse limits.
(b) The image H of any section of (2.6) is in the set 2.6.(b).
(c) For any m ∈ Nd , the P -module Wm is minimally generated by Hm .
Proof.
(a) Let m, n ∈ Nd with m ≥ n. By Corollary 1.6, the multiplication
map
(2.7)

Rn

z m−n

/

Rm

O

O

?

soc Rn

?

∼
=

/

soc Rm

identifies (homogeneous) socles. By Lemma 2.7.(a), Rm is Artinian and
hence (see [Eli13, Prop. 3.3])
(2.8)

⊥ ∼
⊥
(soc Rm )∨ ∼
/mP · Im
= Im
= Wm ⊗ K.

INVERSE LIMITS OF MACAULAY’S INVERSE SYSTEMS

9

This induces isomorphisms
(soc Rn )∨ o

(soc Rm )∨

∼
=

∼
=



Wn ⊗ K o

∼
=
z m−n



Wm ⊗ K

∼
=

which form a trivial inverse system (W∗ ⊗ K) ∼
= (W1 ⊗ K) with inverse
limit
(2.9)
lim(W ⊗ K) ∼
= W1 ⊗ K.
←− ∗
It fits into a short exact sequence of inverse systems
0 → mP · Wm → Wm → Wm ⊗ K → 0.

(2.10)

Since dimK Wm < ∞, the inverse system (mP · W∗ ) trivially satisfies
the Mittag–Leffler condition. Then (2.6) follows by applying inverse
limit to (2.10) using (2.9) and (2.8).
(b) Condition 2.4.(a) follows since type R = dimK soc R1 . Condition 2.4.(b) holds trivially. Condition 2.4.(c) follows from diagram (2.7)
with m = 1 since max deg H1 = s by (2.2). Using Remark 2.3, Condition 2.4.(d) is equivalent to
(Wm ∩ Vmj,s−d)⊥ = Wm⊥ + (Vmj,s−d)⊥
D
E
m −1
= I + hzimi ii + hxi|m|+s−d+1 + zj j
D
E
m −δ
⊥
⊃ I + zi i i,j = Wm−e
j
i

which is obvious.
(c) Any section σ of (2.6) with image H fits into a diagram
σ
∼
=

H

u
/

lim Wm
←−

//

lim Wm ⊗ K
←−

∼
=



Hm 



∼
=

/



Wm



//
2

/ W1
7
♣
♣♣
♣
♣
♣♣♣∼
♣♣♣ =
∼
=

⊗K

Wm ⊗ K.

∼
=

By Nakayama’s lemma, Hm minimally generates Wm .



Lemma 2.9. Let H be in the set 2.6.(b). Define Im for all m ∈ Nd by
(2.5) and I by (2.4).
(a) Equality (2.3) holds true.
(b) The sequence z maps to an R-sequence.
(c) The ring R = P/I is Cohen–Macaulay with dim R = d.
Proof.

10

M. SCHULZE AND L. TOZZO

(a) The inclusion Im ⊃ I + hzimi ii holds true since I ⊂ Im by definition and zimi · Hm = 0 for all i = 1, . . . , d by Remark 2.5.
For the opposite inclusion it suffices to show that
mj

Im ⊂ Im+ej + zj

for all j = 1, . . . , d (see [MT18, Prop. 4.11, Claim 1]). By Definition 2.4.(d), Remark 2.3, (2.5) and Definition 2.4.(c),
j,s−d ⊥
)
Im = Wm⊥ ⊂ (Wm+ej ∩ Vm+e
j
j,s−d ⊥
⊥
+ (Vm+e
= Wm+e
)
j
j
mj

= Im+ej + hxi|m+ej |+s−d+1 + zj
mj

= Im+ej + zj

.

(b) Since W1 6= 0 by Definition 2.4.(b), I1 = W1⊥ 6= R and hence
R1 6= 0. By dualizing surjections z m−n : Wm ։ Wn for suitable m, n ∈
Nd with n ≤ m, one shows that z is a weak R-sequence (see [MT18,
Prop. 4.11, Claim 2]).
(c) By Lemma 2.7.(b), W1 ⊂ D is a finitely generated (graded) P submodule and hence R1 is Artinian and grade(mR , R) ≥ d. With (b)
it follows that RmR and hence R is Cohen–Macaulay with dim R = d

(see [BH93, Ex. 2.1.27.(c)]).
Proof of Theorem 2.6. This follows now by combining Lemmas 2.7.(c),
2.8 and 2.9.

Example 2.10. Let us consider the irreducible algebroid curve
R = CJt6 , t7 , t11 , t13 K.
Note that R is not quasi-homogeneous. We write R ∼
= P/I where
P = CJx, y, z, wK,
I = w − xy, yz − x3 , xz 2 − y 4 , z 3 − x2 y 3 , y 5 − x4 z .
The element x ∈ P maps to the regular element t6 ∈ R. It can be
checked that type R = 2 and P/(I + hxi) has Hilbert–Samuel function
(1, 2, 2, 1, 1). It follows that R is not level. Using Singular (see
[DGPS18]) we compute the first socles (see (2.3)):
soc R1 = z 2 , y 3 ,
soc R2 = xz 2 , xy 3 ,
soc R3 = x2 z 2 , x2 y 3 .

INVERSE LIMITS OF MACAULAY’S INVERSE SYSTEMS

11

They fit into the commutative diagram (see (2.7))
x

RO 1

/

?

soc R1

RO 2

x

/

?

?

/

∼
=

soc R2

RO 3

∼
=

/

soc R3 .

Using a Singular-library by Elias (see [Eli15]) we compute the first
inverse systems (see (2.3)):
I1⊥ = Y 3 , Z 2
I2⊥
I3⊥
I4⊥

R

,

3

= XY + Y 2 W, XZ 2 + Y 4
2

3

3

3

2

R

,

= X Y + XY W + Y W + Z 3 , X 2 Z 2 + XY 4 + Y 3 W
2

2

2

2

3

4

R

,

3

=hX Y + X Y W + XY W + XZ + Y Z + W ,
X 3 Z 2 + X 2 Y 4 + XY 3 W + Y Z 3 + Y 2 W 2 iR ,

I5⊥ =hX 4 Y 3 + X 3 Y 2 W + X 2 Y W 2 + X 2 Z 3 + XY 4 Z + XW 3 + Y 3 ZW,
X 4 Z 2 + X 3 Y 4 + X 2 Y 3 W + XY Z 3 + XY 2 W 2 + Z 3 W + Y W 3 + Y 5 ZiR ,
I6⊥ =hX 5 Y 3 + X 3 Z 3 + X 4 Y 2 W + X 3 Y W 2 + X 2 Y 4 Z + X 2 W 3 + XY 3 ZW + Y 2 ZW 2 + Y Z 4 ,
X 5 Z 2 + X 4 Y 4 + X 3 Y 3 W + X 2 Y Z 3 + X 2 Y 2 W 2 + XZ 3 W + XY W 3 + XY 5 Z+
Y 4 ZW + W 4 iR ,
I7⊥ =hX 6 Y 3 + X 5 Y 2 W + X 4 Z 3 + X 4 Y W 2 + X 3 Y 4 Z + X 3 W 3 + X 2 Y 3 ZW + XY 2 ZW 2 +
XY Z 4 + Z 4 W + Y ZW 3 + Y 5 Z 2 ,
X 6 Z 2 + X 5 Y 4 + X 4 Y 3 W + X 3 Y Z 3 + X 3 Y 2 W 2 + X 2 Z 3 W + X 2 Y W 3 + X 2 Y 5 Z+
XY 4 ZW + XW 4 + Y 2 Z 4 + Y 3 ZW 2 iR .

We note that I7⊥⊥ = I + hx7 i.
References
[BH93]

Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge
Studies in Advanced Mathematics, vol. 39, Cambridge University Press,
Cambridge, 1993. MR 1251956
[CI12]
Y. H. Cho and A. Iarrobino, Inverse systems of zero dimensional
schemes in Pn , J. Algebra 366 (2012), 42–77. MR 2942643
[DGPS18] Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister, and Hans
Schönemann, Singular 4-1-1 — A computer algebra system for polynomial computations, http://www.singular.uni-kl.de, 2018.
[Eli13]
Juan Elias, Inverse systems of local rings, Commutative Algebra and its
Interactions to Algebraic Geometry, Lectures at VIASM by Brodmann,
Elias, Miró-Roig and Morales, 2013.
, Inverse-syst.lib, Singular library for computing Macaulay’s in[Eli15]
verse systems, https://arxiv.org/abs/1501.01786, 2015.
[Ems78] J. Emsalem, Géométrie des points épais, Bull. Soc. Math. France 106
(1978), no. 4, 399–416. MR 518046
[ER12]
J. Elias and M. E. Rossi, Isomorphism classes of short Gorenstein local rings via Macaulay’s inverse system, Trans. Amer. Math. Soc. 364
(2012), no. 9, 4589–4604. MR 2922602
[ER17]
, The structure of the inverse system of Gorenstein k-algebras,
Adv. Math. 314 (2017), 306–327. MR 3658719

12

[Gab60]

[Ger96]

[GLS07]

[GS98]

[Hai94]
[Iar94]

[IK99]

[Kle07]
[Li02]

[Mac94]

[Mat58]
[MT18]
[RcS14]

[RS13]
[Ser65]

[Wal17]

M. SCHULZE AND L. TOZZO

Pierre Gabriel, Objects injectifs dans les catégories abéliennes, vol. 12,
2 fascicules. Faculté des Sciences de Paris. Secrétariat mathématique,
Paris, 1960. MR 0124965
Anthony V. Geramita, Inverse systems of fat points: Waring’s problem,
secant varieties of Veronese varieties and parameter spaces for Gorenstein ideals, The Curves Seminar at Queen’s, Vol. X (Kingston, ON,
1995), Queen’s Papers in Pure and Appl. Math., vol. 102, Queen’s Univ.,
Kingston, ON, 1996, pp. 2–114. MR 1381732
G.-M. Greuel, C. Lossen, and E. Shustin, Introduction to singularities and deformations, Springer Monographs in Mathematics, Springer,
Berlin, 2007. MR 2290112
A. V. Geramita and H. K. Schenck, Fat points, inverse systems, and
piecewise polynomial functions, J. Algebra 204 (1998), no. 1, 116–128.
MR 1623949
Mark D. Haiman, Conjectures on the quotient ring by diagonal invariants, J. Algebraic Combin. 3 (1994), no. 1, 17–76. MR 1256101
Anthony A. Iarrobino, Associated graded algebra of a Gorenstein Artin
algebra, Mem. Amer. Math. Soc. 107 (1994), no. 514, viii+115.
MR 1184062
Anthony Iarrobino and Vassil Kanev, Power sums, Gorenstein algebras, and determinantal loci, Lecture Notes in Mathematics, vol. 1721,
Springer-Verlag, Berlin, 1999, Appendix C by Iarrobino and Steven L.
Kleiman. MR 1735271
Jan O. Kleppe, Families of Artinian and one-dimensional algebras, J.
Algebra 311 (2007), no. 2, 665–701. MR 2314729
Huishi Li, Noncommutative Gröbner bases and filtered-graded transfer,
Lecture Notes in Mathematics, vol. 1795, Springer-Verlag, Berlin, 2002.
MR 1947291
F. S. Macaulay, The algebraic theory of modular systems, Cambridge
Mathematical Library, Cambridge University Press, Cambridge, 1994,
Revised reprint of the 1916 original, With an introduction by Paul
Roberts. MR 1281612
Eben Matlis, Injective modules over Noetherian rings, Pacific J. Math.
8 (1958), 511–528. MR 0099360
Shreedevi K. Masuti and Laura Tozzo, The structure of the inverse system of level k-algebras, Collectanea Mathematica (2018).
Maria Evelina Rossi and Liana M. ¸Sega, Poincaré series of modules
over compressed Gorenstein local rings, Adv. Math. 259 (2014), 421–
447. MR 3197663
Kristian Ranestad and Frank-Olaf Schreyer, The variety of polar simplices, Doc. Math. 18 (2013), 469–505. MR 3084557
Jean-Pierre Serre, Algèbre locale. Multiplicités, Cours au Collège de
France, 1957–1958, rédigé par Pierre Gabriel. Seconde édition, 1965. Lecture Notes in Mathematics, vol. 11, Springer-Verlag, Berlin-New York,
1965. MR 0201468
Uli Walther, The Jacobian module, the Milnor fiber, and the Dmodule generated by f s , Invent. Math. 207 (2017), no. 3, 1239–1287.
MR 3608290

INVERSE LIMITS OF MACAULAY’S INVERSE SYSTEMS

13

M. Schulze, Department of Mathematics, TU Kaiserslautern, 67663
Kaiserslautern, Germany
E-mail address: mschulze@mathematik.uni-kl.de
L. Tozzo, Department of Mathematics, TU Kaiserslautern, 67663
Kaiserslautern, Germany
E-mail address: tozzo@mathematik.uni-kl.de

