ON THE RADICAL OF MULTIGRADED MODULES

arXiv:1210.2026v1 [math.AC] 7 Oct 2012

VIVIANA ENE AND RYOTA OKAZAKI
Abstract. We define a functor r∗ from the category of positively determined
modules to the category of squarefree modules which plays the role of passing from
a monomial ideal to its radical. By using this functor, we generalize several results
on properties that are shared by a monomial ideal and its radical. Moreover, we
study the connection of r∗ to the Alexander duality and Auslander-Reiten translate
functor.

Introduction
Our original motivation for this work was to generalize some of the results obtained
by Herzog, Takayama, and Terai in [4]. They proved that many properties of a
monomial ideal pass to its radical. It is well known that every monomial ideal I in
the polynomial ring S = K[x1 , . . . , xn ] over a field K is a positively t-determined
S-module for an appropriate t ∈ Nn as it was defined by Miller in [6]. Thus,
a natural way to generalize the results of [4] is to consider positively determined
modules instead of monomial ideals. We show that one may define a functor r∗
from the category ModtS of positively t-determined modules to the category Mod1S
of squarefree S-modules which plays the role of passing from a monomial ideal to
its radical. As it was shown in [1], to any ordering preserving map q : Nn → Nn ,
one may associate a functor q∗ from the category of Nn -graded S-modules to itself
n
which is defined as follows. For any M ∈ ModNS and a ∈ Nn , (q∗ M)a = Mq(a) and
·xa

the S-module structure of q∗ M is given by the multiplication (q ∗ M)b → (q ∗ M)b+a
that maps every homogeneous element y ∈ (q ∗ M)b to xq(a+b)−q(b) y. If f : M → N
is a graded morphism of Nn -graded S-modules, then for every a ∈ Nn , the a-degree
component of q ∗ f : q ∗ M → q ∗ N is fq(a) . In [1] it is shown that q ∗ is an exact functor.
In Section 1, we have considered the following map. For t ∈ Nn with t ≥ 1 where
1 = (1, . . . , 1), we define r : Nn → Nn by r(a) = (ri (ai ))1≤i≤n where

ti , if ai > 0,
ri (ai ) =
0, otherwise.

This is an ordering preserving map which induces a functor r∗ which depends on
n
t from the category ModNS to itself. We showed in Section 1 that this functor
Key words and phrases. Multigraded modules, squarefree modules, Cohen-Macaulay modules,
Alexander duality, Auslander-Reiten translate.
The first author was partially supported by the JSPS Invitation Fellowship Programs for Research in Japan and by the grant UEFISCDI, PN-II-ID-PCE- 2011-3-1023. The second author is
partially supported by JST, CREST and also by KAKENHI (no. 20624109).
1

transports the category ModtS into the category
√ of squrefree modules and, moreover,
∗ ∼
for any monomial ideal I ⊂ S, we have r I = I as S-modules.
As it was explained in [4], the Betti numbers do not increase when one passes
from a monomial ideal to its radical. We show in Theorem 1.4 that passing from a
positively t-determined module to its ”radical” module has a similar behavior. In
particular, one obtains depth M ≤ depth r∗ M for any M ∈ ModtS .
Unlike the monomial case, for a positively t-determined module M, we show in
Corollary 1.8, that one has only the inequality dim r∗ M ≤ dim M. Easy examples
show that the inequality may be strict. By using the inequalities between depth and
Krull dimension, we show in Theorem 1.12 that the (sequentailly) Cohen-Macaulay
property of M passes to the ”radical” of M for any postively t-determined module
Mwith r∗ M 6= 0.
In Section 2 we study the connection between the functor r∗ and Ext. The main
result of the section is Theorem 2.3 which states that for every module M ∈ ModtS
p
there exists a natural isomorphism ExtpS (M, ωS )≥0 ∼
= ExtS (r∗ (M), ωS ) for all p,
where ωS is the canonical module of S. In particular, for any Cohen-Macaulay ideal
I ⊂ S such that
√ S/I is a positively t-determined module, it follows that the canonical
module of S/ I is isomorphic to the positive part of ωS/I . From Theorem 2.3,
under an additional condition, it follows that if M ∈ ModtS is a generalized CohenMacaulay (Buchsbaum) module, then r∗ M shares the same property.
Finally, in the last two sections we show how our ”radical” functor is connected
to the Alexander duality (Proposition 3.1) and Auslander-Reiten translate functor
(Proposition 4.2).
Acknowledgment
A part of this research was done when the second author visited the Faculty of
Mathematics and Informatics of Ovidius University. He is deeply grateful for warm
hospitality.
1. The r∗ functor and first applications
n

In this section we define the r∗ functor on the category ModNS of the Nn -graded
S-modules where S = K[x1 , . . . , xn ] is the polynomial ring in n variables over a
field K. We first recall the basic notions and set the notation. Let N be the set of
non-negative integers. For a = (a1 , . . . , an ) ∈ Nn we set xa = xa11 · · · xann and call
a the degree of the monomial xa . νi (u) denotes the exponent of variable xi in the
monomial u ∈ S. Let ≤ be the partial order on Zn which is defined as follows. If
a = (a1 , . . . , an ), b = (b1 , . . . , bn ) ∈ Zn , then a ≤ b if ai ≤ bi for 1 ≤ i ≤ n. Of
course, this order induces a partial order on Nn .
Let t ∈ Nn with t ≥ 1, where 1 = (1, . . . , 1). According to [6], a Zn -graded
S-module M is called positively t-determined if it is finitely generated, Nn -graded,
x
and if the multiplication map Ma →i Ma+ei is an isomorphism of K-vector spaces
whenever ai ≥ ti . Here, ei is the vector of Zn with its i-th component equal to 1
and all the others equal to 0. A monomial ideal I is positively t-determined if and
only if it is generated by some elements xa with 0 ≤ a ≤ t. Every finitely generated
2

Nn -graded S-module is positively t-determined for some t ≫ 1. In particular, for
any 2 monomial ideals I, J with J ⊇ I, J/I is positively t-determined for some
t ≫ 1.
n
Let ModtS be the full subcategory of ModZS consisting of positively t-determined
S-modules.
According to [1], with any order preserving map q : Zn → Zn , one may associate
n
n
a functor q ∗ : ModZS → ModZS . Since we are concerned only with Nn -graded
modules, that is, Zn -graded modules whose components of degree a ∈ Zn \ Nn are
all zero, we may consider the map q : Nn → Nn .
q ∗ acts on modules and morphisms as follows. For a Zn -graded S-module M,
the a-degree component of q ∗ M is (q ∗ M)a = Mq(a) . The multiplication which gives
the S-module structure of q ∗ M is the following. For a monomial xa ∈ S, the map
·xa
(q ∗ M)b → (q ∗ M)b+a maps every homogeneous element y ∈ (q ∗ M)b to xq(a+b)−q(b) y.
n
We describe now the action of q ∗ on the morphisms of the category ModZS following [1]. If f : M → N is a graded morphism of Zn -graded S-modules, then for
every a ∈ Zn , the a-degree component of q ∗ f : q ∗ M → q ∗ N is fq(a) . In [1] it is shown
that q ∗ is an exact functor.
We consider now the following order preserving map. Let t ∈ Nn , t ≥ 1, and
r : Nn → Nn given by r(a) = (ri (ai ))1≤i≤n where

ti , if ai > 0,
ri (ai ) =
0, otherwise.

It is easily seen that r is an order preserving map, hence we may consider the functor
n
n
r∗ : ModNS → ModNS associated with r.

Proposition 1.1. Let M be a positively t-determined Nn -graded S-module. Then
r∗ M is a positively 1-determined module, that is, r∗ M is a squarefree S-module.
Proof. It is enough to show that, for any a ∈ Nn and i ∈ supp(a), the multiplication
map
·x
(r∗ M)a →i (r∗ M)a+ei
is an isomorphism of K-vector spaces. But this is almost obvious, since xei · u =
xr(a+ei )−r(a) u = u. The last equality is true since supp(xr(a+ei )−r(a) ) = ∅ for any
i ∈ supp(a). Therefore, the multiplication by xi is the identity map, hence it is an
isomorphism of vector spaces.

Proposition 1.2. Let t ∈ Nn with t ≥ 1, and let I ⊂ S be a monomial ideal which
√
is positively t-determined, that is, for every u ∈ G(I), deg(u) ≤ t. Then r∗ I ∼
= I.
√
a
I if and only if xr(a) ∈ I. Let us prove this
Proof. Firstly, we
claim
that
x
∈
√
claim. If xa ∈ I, then there exists k ≥ 1 such that xka ∈ I. Obviously, we may
choose k such that kai ≥ ti for all ai > 0. Then there exists xb ∈ G(I) such that
xb | xka , which implies that b ≤ ka. Since I is positively t-determined, we also
have b ≤ t. It then follows that b ≤ r(ka) = r(a) which implies that xb | xr(a) and,
therefore, xr(a) ∈ I.
Conversely, let xr(a) ∈ I. We
√ obviously may find k ≥ 1 such that ka ≥ r(a), hence
ka
x ∈ I and, therefore, xa ∈ I, which ends the proof of our claim.
3

√
√
Let f : I → r∗ I be the map given by f = ⊕a fa where fa : ( I)a → (r∗ I)a is
defined by fa (xa ) = xr(a) . The map f is obviously a graded isomorphism of K-vector
spaces. We show that f is an S-module isomorphism. Indeed, for any a, b,
f (xb · xa ) = xr(a+b) = xr(a+b)−r(a) xr(a) = xb · f (xa ).

In order to state the first main result, we need a preparatory lemma. Before
stating it, let us set some more notation. For a ∈ Nn , let S(−a) be the graded free
S-module whose all graded
√ components are obtained from those of S by shifting
with the vector a, and let a be the following vector of Nn :

√
1, if ai > 0,
( a)i =
0, if ai = 0.
√
Lemma 1.3. Let t ∈ Nn with t ≥ 1. Then r ∗ (S(−a)) ∼
= S(− a) for every a ∈ Nn
with a ≤ t.
Proof. We obviously have the following isomorphisms:
√

r∗ (S(−a)) ∼
= (x
= r∗ (xa ) ∼

a

√
)∼
= S(− a).


In the sequel we will always assume that r∗ M 6= 0. Note that r∗ M = 0 if and only
if Ma = 0 for all a ∈ Nn such that ai ∈ {0, ti } for 1 ≤ i ≤ n.
The following theorem shows that the graded Betti numbers go down when passing
from the module to its radical. In particular, we may derive inequalities for the
corresponding depths.
Theorem 1.4. Let t ∈ Nn , t ≥ 1, and let M be a positively t-determined Nn -graded
S-module. Then
βi,a (M) ≥ βi,√a (r∗ M)
for all i and a. In particular, the following inequality holds:
depth M ≤ depth r∗ M.
Proof. Let
F• :

0→

M
a

S(−a)βp,a → · · · →

M
a

S(−a)β1,a →

M
a

S(−a)β0,a → M → 0

be a minimal free resolution of M over S. Since M is positively t-determined, by
[6, Proposition 2.5], it follows that all the shifts in the above resolution are ≤ t.
We apply r∗ to F• . By the exactness of r∗ , we get a free S-resolution of r∗ M,
possibly non-minimal. Therefore, we get the inequalities between the graded Betti
numbers of M and, respectively, r∗ M. These inequalities imply that proj dimS M ≥
proj dimS (r∗ M) and, by using Auslander-Buchsbaum formula, we get the inequalities
between depths.

4

Remark 1.5. By the above proof it follows that if
M
M
M
F• : 0 →
S(−a)βp,a → · · · →
S(−a)β1,a →
S(−a)β0,a → M → 0
a
n

a

a

is a minimal Z -graded free resolution of M, then
M
M
M
√
√
√
r ∗ F• : 0 →
S(− a)βp,a → · · · →
S(− a)β0,a → r∗ M → 0
S(− a)β1,a →
a

a

a

L
L
βi,a
βi−1,a
is a free resolution of r∗ M. Moreover, if the map
∂
:
S(−a)
→
i
a
a S(−a)
L
L
√
√ βi−1,a
aj −bk
∗
βi,a
is given by the matrix
(x
)j,k , then r ∂i : a S(− a)
→ a S(− a)
is
√
√
aj − bk
)j,k .
given by (x

In the following corollary we derive some consequences of Theorem 1.4. To begin
with, let I ⊂ S be a monomial ideal. Then I is a positively t-determined Nn -graded
S-module if we choose, for instance, t = (t1 , . . . , tn ) where ti = max{νi (u) | u ∈
G(I)}. Here G(I) denotes the minimal system
√ of monomial generators of the ideal
∗
I. Proposition 1.2 says that r I is actually I. Therefore, from Theorem 1.4, we
obtain as a consequence the following corollary which extends results of [4].
√
√
Corollary 1.6. Let I ⊂ J ⊂ S be monomial ideals with I 6= J. Then
√ √
S
βi,a
(J/I) ≥ βi,S√a ( J/ I)
for all i ≥ 0 and a ∈ Nn . Consequently,
√ √
depthS ( J/ I) ≥ depthS (J/I).

In the following we study the relationship between the Krull dimension of M and
r M. We first introduce the following notation. For a ∈ Nn , supp(a) = {i : ai > 0}
and suppt (a) = {i : ai ≥ ti }. We use the following convention. For a, b ∈ Zn , let
a · b denote the vector whose i-th component is ai bi .
∗

Proposition 1.7. Let M be a positively t-determined S-module where t ∈ Nn , t ≥ 1.
Then Ass(r∗ M) ⊂ Ass(M).

Proof. Let F ⊂ [n] and P = PF := (xi : i ∈
/ F ) be an associated prime of r∗ (M).
∗
Then, by [9, Lemma
P2.2], there exists 0 6= u ∈ (r M)eF such that xi u = 0 for all
i∈
/ F, where eF := i∈F ei . This means that there exists 0 6= u ∈ Mt·eF such that
xr(eF ∪{i} )−r(ei ) u = xt·ei u = xtii u = 0

for all i ∈
/ F. Then we may choose a maximal monomial (with respect to divisibility)
w ∈ K[{xi : i ∈
/ F }] such that wu 6= 0. We claim that PF = ann(wu), which will
end the proof.
If i ∈
/ F, then xi (wu) = 0 by the choice of w, hence PF ⊂ ann(wu). Let now
v be a monomial in ann(wu), that is, v(wu) = 0. Clearly, for every monomial
w ′ ∈ K[{xi : i ∈ F }], we have w ′ wu 6= 0 since supp(w ′ ) ⊂ suppt (wu) and M is
positively t-determined. This implies that there exists i ∈
/ F such that xi divides v,
thus v ∈ PF .


Corollary 1.8. Let M be a positively t-determined module. Then dim M ≥ dim r∗ M.
5

Note that the inequality dim r∗ M ≤ dim M may be strict as the following example
shows. On the other hand, we have dim r∗ M = dim M if and only if there exists
a ∈ Nn such that # suppt (a) = dim M and Mr(a) 6= 0.

Example 1.9. Let I = (a4 d4 , a2 b√3 , b3√
c2 , b3 d) and J = (a3 d3 , a3 b, b2 ), I, J ⊂ K[a, b, c, d].
One may easily check that dim( J/ I) = 1 < dim(J/I) = 2.

Let us recall that a finitely generated S-module is called equidimensional if all
its minimal primes have the same codimension. As an immediate consequence of
Proposition 1.7 we get also the following
Corollary 1.10. Let M be a positively t-determined module such that dim M =
dim r∗ M. If M is equidimensional, then r∗ M is equidimensional, too.
The following example shows that the implication of the above corollary is no
longer true if dim M > dim r∗ M.
Example 1.11. Let P, P1 , P2 ⊂ S, P = (x1 ), P2 = (x1 , x2 ), P2 = (x1 , x3 , x4 ), and
M = (S/P )(−(1, 0, . . . , 0)) ⊕ (S/P1 ) ⊕ (S/P2 ). Then M is positively t-determined,
where t = (2, 1, . . . , 1), and equidimensional. We have r∗ M = (S/P1 ) ⊕ (S/P2 ), thus
r∗ M is not equidimensional. But, of course, dim M > dim r∗ M.
√
In [4] it is shown that if S/I is (sequentially) Cohen-Macaulay, then S/ I shares
the same property. We are going to extend this result to any positively determined
Nn -graded module.
Theorem 1.12. Let M be a positively t-determined S-module with r∗ M 6= 0 where
t ∈ Nn , t ≥ 1.
(i) If M is Cohen-Macaulay, then r∗ M is Cohen-Macaulay and dim r∗ M =
dim M.
(ii) If M is sequentially Cohen-Macaulay, then r∗ M is sequentially Cohen-Macaulay.
Proof. (i). By Theorem 1.4 and Corollary 1.8, we get the following inequalities:
depth M ≤ depth r∗ M ≤ dim r∗ M ≤ dim M.

Since M is Cohen-Macaulay, we get the desired conclusions.
(ii). As M is sequentially Cohen-Macaulay, there exists a finite filtration
0 = M0 ⊂ M1 ⊂ · · · ⊂ Mr = M

by graded submodules of M such that each quotient Mi /Mi−1 is Cohen-Macaulay
and
dim M1 /M0 < dim M2 /M1 < · · · < dim Mr /Mr−1 .
This filtration induces the following filtration of r∗ M,
0 = r∗ M0 ⊂ r∗ M1 ⊂ · · · ⊂ r∗ Mr = r∗ M.

By (i), each factor in this filtration is either 0 or a Cohen-Macaulay module with
dim r∗ Mi /r∗ Mi−1 = dim Mi /Mi−1 . By skipping the redundant factors in the above
filtration we get the desired filtration for r∗ M. Therefore, (ii) follows.

We may now derive the following corollary which extends some results of [4].
6

√
√
Corollary 1.13. Let I ⊂ J ⊂ S be√monomial
ideals such that I 6= J. Then:
√
(i) If J/I is Cohen-Macaulay, then J/ I is Cohen-Macaulay and, moreover,
√ √
dim J/I = dim J/ I.
√ √
(ii) If J/I is sequentially Cohen-Macaulay, then J/ I is sequentially Cohen-Macaulay.
2. The functor r∗ and Ext
n

For M ∈ ModZS and a ∈ Zn , M(a) denotes the Zn -graded S-module such that
M = M(a) as underlying S-modules and the degree is given by the formula M(a)b =
Zn
M
La+b . Following the usual convention, for M, N ∈ ModS , we set HomS (M, N) :=
n
a∈Zn HomModZS (M, N(a)). Note that if M is finitely generated, HomS (M, N) =
HomS (M, N). Let ExtiS (−, N) (resp. ExtiS (M, −)) be the i-th right derived functor
of HomS (−, N) (resp. HomS (M, −)).
In this section, we will study the relation between r∗ and Ext-functor. For this
purpose, we need the following three functors.
n
Recall that degree-shifting induces an endofunctor of ModZS . For a ∈ Zn , let σa
denote the functor given by shifting degree by a. Thus we have σa (M) = M(−a)
n
for all M ∈ ModZS .
L
n
For M ∈ ModZS and a ∈ Zn , the truncated module τa (M) :=
b≥a Mb is
Zn
Zn
again an object of ModS , and any morphism M → N in ModS induces the one
n
n
f |τa (M ) : τa (M) → τa (N). Thus we have the functor τa : ModZS → ModZS .
Let ß : Nn → Zn be the function defined by ß(a) = (si (ai ))1≤i≤n where
(
ti
if ai ≥ 1,
si (ai ) =
ti − 1 otherwise.
n

n

The induced functor ß∗ : ModZS → ModNS , if restricted to ModtS , is an endofunctor of ModtS .
For M ∈ ModtS and a ∈ Zn with a ≥ 0, the multiplication
xa·t−r(a) : Mr(a) → Ma·t

is a K-linear isomorphism since supp(a · t − r(a)) ⊂ suppt r(a). Let φM
a denote this
map.
Now we are ready to define the two natural transformations Φr : idModtS =⇒ r∗
n
between endofunctors of ModtS and Ψ : ß∗ =⇒ σ1−t between those of ModNS . For
M ∈ ModtS , let ΦM : M → r∗ (M) be the map defined as follows; for a homogeneous
u ∈ Ma with a ≥ 0,
−1

a·(t−1)
ΦM (u) := (φM
u) ∈ r∗ (M)a .
a ) (x

n

For a ∈ Nn , it is easy to verify that a + t − 1 ≥ ß(a). For M ∈ ModNS , we
define the map ΨM : ß∗ (M) → σ1−t (M) as follows; for a ∈ Nn and a homogeneous
u ∈ ß∗ (M)a with a ≥ 0,
ΨM (u) = xa+t−1−ß(a) · u ∈ σ1−t (M)a .
7

Lemma 2.1. The following statements hold.
(1) The above Φ is indeed a natural transformation from idModtS to r∗ .
(2) Let ι : Mod1S → ModtS be the canonical embedding. Then Φ induces the
natural isomorphism idMod1S =⇒ r∗ ◦ ι between endofunctors of Mod1S .
(3) The above Ψ is indeed a natural transformation from ß∗ to σ1−t .
Proof. We will prove only the assertions (1) and (2). The rest is proved by the way
similar to (1).
(1) First, we must verify that ΦM is an S-linear map. Take any u ∈ Ma and
b ∈ Zn with b ≥ 0. Then
−1

b
(a+b)·t−r(a+b) r(a+b)−r(a)
a·(t−1)
φM
(x
(φM
u))
a+b (x · ΦM (u)) = x
a ) (x
−1

a·(t−1)
= x(a+b)·t−r(a) (φM
u)
a ) (x
−1

a·(t−1)
= xb·t (xa·t−r(a)(φM
u)) = xb·t · xa·(t−1)u
a ) (x

= x(a+b)·(t−1) (xb u),
and hence it follows that

−1 (a+b)·(t−1) b
xb · ΦM (u) = (φM
(x u)) = ΦM (xb u).
a+b ) (x

Thus ΦM is indeed S-linear.
Next let f : M → N be a morphism in ModtS . We will show that the following
diagram commutes;
ΦM
→ r∗ (M)
M −−−


r∗ (f )

fy
y
N −−−→ r∗ (N).
ΦN

Let u ∈ Ma . Then

∗
a·t−r(a)
φN
· f (ΦM (u))
a (r (f ) ◦ ΦM (u)) = x

= f (xa·t−r(a) · ΦM (u))

−1 a·(t−1)
= f (xa·t−r(a) · (φM
u))
a ) (x

Therefore we conclude that

= f (xa·(t−1) u) = xa·(t−1) · f (u)

−1 a·(t−1)
· f (u)) = ΦN ◦ f (u).
r∗ (f ) ◦ ΦM (u) = (φN
a ) (x

(2) Let M ∈ Mod1S . We have to show ΦM : M → r∗ (M) is then an isomorphism.
Since both of M and r∗ (M) are objects in Mod1S , it suffices to show that each
(ΦM )a : Ma → r∗ (M)a is an isomorphism for all a with 0 ≤ a ≤ 1. This is an
immediate consequence of the fact that for such a, the multiplication map
xa·(t−1)

Ma −−−−→ Ma·t

is an isomorphism since M ∈ Mod1S . Thus we conclude that ΦM is an isomorphism

for all M ∈ Mod1S .
8

n

n

Let D denote the contravariant functor HomS (−, S) : ModZS → ModZS . We set
Dt := σt ◦ D. Note that Dt gives a duality on ModtS , and D1 = σ−t+1 ◦ Dt is the
n
usual duality on ModZS by the canonical module S(−1) of S. The functor Dt , lifted
up to a functor from the category of complexes in ModtS to itself, coincides with the
one Dt in [1] up to shifting and quasi-isomorphism [1, Proposition 3.6]. Moreover
Dt (resp. D1 ) sends M ∈ ModtS (resp. M ∈ Mod1S ) to an object in ModtS (resp.
Mod1S ).
Proposition 2.2. There exists the natural isomorphisms between functors
(1) τ0 ◦ D1 ≃ D1 ◦ r∗ and
(2) r∗ ◦ Dt ≃ D1 ◦ ß∗ ,
from ModtS to Mod1S .
Proof. (1) By Lemma 2.1, there exists the natural transformation Φ : idModtS =⇒ r∗ ,
and hence we have the one τ0 ◦ D1 ◦ r∗ =⇒ τ0 ◦ D1 , where both functors are regarded
n
as the ones from ModtS to ModNS . Since r∗ M is a squarefree module, it follows
that τ0 ◦ D1 ◦ r∗ = D1 ◦ r∗ . Consequently, the above natural transformation induces
n
the one Φ′ : D1 ◦ r∗ =⇒ τ0 ◦ D1 of functors from ModtS to ModNS .
Note that any M ∈ ModtS has a presentation
F1 −→ F0 −→ M −→ 0

with F0 , F1 free modules given by direct sums of finitely many copies of S(−a) with
0 ≤ a ≤ t. Since the functors r∗ , τt−1 are exact and since Dt is left exact, we have
the following commutative diagram with exact rows;
0 −−−→ D1 ◦ r∗ (M) −−−→ D1 ◦ r∗ (F0 ) −−−→ D1 ◦ r∗ (F1 )






′
′
′
Φ F1 y
Ψ F0 y
Φ My

0 −−−→ τ0 ◦ D1 (M) −−−→ τ0 ◦ D1 (F0 ) −−−→ τ0 ◦ D1 (F1 ).

Thus what we have to show is that Φ′ S(−a) is an isomorphism for any a ∈ Zn with
0 ≤ a ≤ t.
√
Let N be the cokernel of Φ′ S(−a) : S(−a) → S(− a) = r∗ (S(−a)). The map
Φ′ S (−a) is obviously injective, and hence the following sequence
√
0 → S(−a) → r∗ (S(−a)) = S(− a) → N → 0,
is exact. By applying D1 , we obtain:

0 → D1 (N) → D1 ◦ r∗ (S(−a)) → D1 (S(−a))

As obviously dim N ≤ n − 1, it follows that D1 (N) = 0. Therefore we get the
following exact sequence
Φ′ S(−a)
√
0 −−−→ D1 (S(− a)) −−−−→ τ0 ◦ D1 (S(−a)).
√
√
∼
Now D1 (S(− a)) ∼
= S(−1 + a) and D1 (S(−a))
= S(−1 + a). Easy observation
√
n
shows that for b ∈ Z with b ≥ 0, S(−1 + a)b 6= 0 if and only if τ0 (S(−1 + a))b 6=
0. Therefore it follows that Φ′ S(−a) is an isomorphism.
9

(2) The assertion (2) can be proved in the way similar to (1). We have the natural
transformation
r∗ ◦ Dt = r∗ ◦ D1 ◦ σ1−t =⇒ r∗ ◦ D1 ◦ ß∗

between functors from ModtS to Mod1S by Lemma 2.1. Since D1 ◦ ß∗ sends M ∈
ModtS to an object in Mod1S , there is a natural isomorphism r∗ ◦D1 ◦ß∗ ≃ D1 ◦ß∗ by
Lemma 2.1 again. Consequently we have the natural transformation Ψ′ : r∗ ◦ Dt =⇒
D1 ◦ ß∗ . By the argument similar as above, we have only to prove Ψ′ S(−a) is an
isomorphism for all a with 0 ≤ a ≤ t. By the definition of Ψ, ΨS(−a) is injective.
Applying r∗ ◦ D1 to the exact sequence
ΨS(−a)

0 −→ ß∗ (S(−a)) −−−−→ σ1−t (S(−a)) −→ M −→ 0,
where M is the cokernel of ΨS(−a) , we have the exact one
Ψ′ S(−a)

0 −→ r∗ ◦ Dt (S(−a)) −−−−→ D1 ◦ ß∗ (S(−a))
We define b = (bi )1≤i≤n by setting bi = 0 if ai ≤ ti − 1 and bi = 1 if ai = ti . It
follows that ß∗ (S(−a)) ∼
hence D1 ◦ ß∗ (S(−a)) ∼
= S(−b), and
= S(−(1 − b)). √On the
√
∗
∼
other hand, r ◦ Dt (S(−a)) = S(− t − a). Easy calculation shows 1 − b = t − a,
and therefore Ψ′ S(−a) is an isomorphism.

Theorem 2.3. The following statements hold.
(1) Let ωS be the canonical module of S. Then there are the following two isomorphisms
p
(a) τ0 ExtpS (M, ωS ) ∼
= ExtS (r∗ (M), ωS )
p
p
(b) r∗ (ExtS (M, S(−t))) ∼
= ExtS (ß∗ (M), ωS )
for all p and M ∈ ModtS .
t
(2) Assume I is a Cohen-Macaulay monomial ideal such
√ that S/I ∈ ModS . Let
ωS/I , ωS/√I be the canonical modules of S/I, S/ I, respectively. Then
ωS/√I ∼
= τ0 (ωS/I ) = (ωS/I )≥0 .
Proof. Choose a Zn -graded minimal free resolution P• of M with each Pi positively
t-determined. By Proposition 2.2,
τ0 Extp (M, ωS ) ∼
= Extp (r∗ (M), ωS ),
= H p (D1 ◦ r∗ (P• )) ∼
= H p (τ0 ◦ D1 (P• )) ∼
S

∗

since r (P• ) is a free resolution of r∗ (M).
The assertion (2) follows from (1) and Theorem 1.12.



Remark 2.4. In [4, Corollary 2.3], Herzog, Takayama, and Terai proved
√
Hmi (S/I)a ∼
= Hmi (S/ I)a
for any monomial ideal I and all i and a ≤ 0. In (1) of Theorem 2.3, taking the
graded Matlis duality, we obtain the generalization of this result, which also implies
that there exists the isomorphism
√
Hmi (S/I)≤0 ∼
= Hmi (S/ I)
10

n

as Zn -graded S-modules. Here, for any M ∈ ModZS , M≤0 denotes the residue of M
by its Zn -graded submodule generated by the homogeneous elements whose degree
is not less than or equal to 0.
As an immediate consequence of the above theorem we get the following corollary
that generalizes a result of [4].
Corollary 2.5. Let M be a positively t-determined S-module with dim M = dim r∗ M.
Then:
(1) M is generalized Cohen-Macaulay if and only if so is r∗ M.
(2) If M is Buchsbaum, then r∗ M is Buchsbaum.
Proof. (1) M is generalized Cohen-Macaulay if and only if ExtiS (M, ωS ) has finite length for any i 6= n − d, where d = dim M. This is equivalent to say that
τ0 ExtiS (M, ωS ) has finite length for i 6= n − d. Therefore, since M and r∗ M have the
same dimension, the desired statement follows by Corollary 2.3.
(2) If M is Buchsbaum, then M is generalized Cohen-Macaulay [2], thus r∗ M is
generalized Cohen-Macaulay. By [9, Corollary 2.7], it follows that r∗ M is Buchsbaum.

3. The r∗ functor and Alexander duality
Recall that there exists the duality At on ModtS , called Alexander duality, defined
by Miller [6]. In the case, t = 1, Römer also defines independently in [8]. Let E
denote the injective hull of K and pt : Nn → Zn the map defined by pt (a) :=
(pt1 (a1 ), . . . , ptn (an )), where
(
ai if 0 ≤ ai < ti ,
pti (ai ) :=
ti if ai ≥ ti .
The functor At is given by the formula

At (M) = p∗t HomS (M(t), E).

If we set D to be the functor HomK (−, K), we have the natural isomorphism At ∼
=
∗
pt ◦ σt ◦ D.
The following is essentially proved by Miller in [6].
Proposition 3.1. There exists a natural isomorphism of functors from ModtS to
itself
A 1 ◦ r∗ ≃ r∗ ◦ A t .
Proof. Let M ∈ ModtS and a ∈ Zn with a ≥ 0.

A1 ◦ r∗ (M)a = HomK (r∗ (M), K)p1 (a)−1 = HomK (Mr(−p1 (a)+1) , K),

r∗ ◦ At (M)a = HomK (M, K)pt (r(a))−t = HomK (M−pt (r(a))+t , K).
It is easy to verify that r(−p1 (a)+1) = −pt (r(a))+t. Hence A1 ◦r∗ (M) ∼
= r∗ ◦At (M)
n
as Z -graded K-vector spaces. By a routine calculation, we can show that this
isomorphism is S-linear and natural.

11

4. Relation to the Auslander-Reiten translate
Let ≤ be the order on Zn defined as follows:
a ≤ b ⇐⇒ ai ≤ bi
for all i. With the order induced by <, the set Pt := {a ∈ Zn : 0 ≤ a ≤ t} becomes
a poset. Let A denote the incidence algebra of Pt over K. It is well-known that the
category ModtS is equivalent to the one mod A consisting of finite-dimensional left Amodules ([1, 3.5] and [10, Proposition 4.3]). Since A is a finite-dimensional A-algebra
of finite global dimension, as is shown in [3, 3.6] by Happel, the bounded derived category D b (mod A) of mod A has Auslander-Reiten triangles. Let K b (Proj A) (resp.
K b (Inj A)) be the bounded homotopy category of complexes of finite-dimensional
projective (resp. injective) left modules. According to Happel’s proof, through
the equivalence K b (Proj A) ∼
= D b (mod A) ∼
= K b (Inj A) of triangulated categories,
the Auslander-Reiten translate (see [5, Definition 1.2] for its definition) is then
given by T −1 ◦ v, where T is the usual translation functor and v is the equivalence
K b (Proj A) ∼
= K b (Inj A) of triangulated categories induced by the Nakayama functor, i.e., HomK (HomA (−, A), K). On the other hand v is coincides with At ◦ Dt
through the equivalence ModtS ∼
= mod A. In this sense, At ◦ Dt represents the
b
Auslander-Reiten translate of D (mod A) (see[1, 3.3 and 3.5] for details).
In this section, we discuss the relation between r∗ and At ◦ Dt . For this, we need
n
n
to define a new functor. For a ∈ Zn , let τ a be the functor from ModZS to ModZS
n
defined as follows: for any M ∈ ModZS , we set
M
Ma ),
τa (M) := M/(S ·
b6≤a

n

and for a morphism f : M → N in ModZS , we assign, τa (f ), the natural homomorphism induced by f . Clearly τa is additive and exact.
Lemma 4.1. There are the following natural isomorphisms of functors: for any a,
b ∈ Zn ,
(1) σa ◦ τ b ≃ τ a+b ◦ σb ,
(2) D ◦ σa ≃ σ−a ◦ D, and
(3) D ◦ τa ≃ τ a ◦ D.

n

Proof. By comparing each degree c component, for each M ∈ ModZS , we obtain an
isomorphism, as Zn -graded K-vector spaces, between two modules given by applying
each of two functors. An easy calculation shows these maps indeed defines the
desired natural isomorphisms.

Proposition 4.2. There exists the following two natural isomorphisms of functors
(1) A1 ◦ D1 ◦ r∗ ≃ p∗1 ◦ At ◦ Dt
(2) r∗ ◦ At ◦ Dt ≃ A1 ◦ D1 ◦ ß∗

from ModtS to Mod1S .

12

Proof. The second natural isomorphism is a direct consequence of Propositions 2.2
and 3.1. We will show the first. It follows from Proposition 2.2 and Lemma 4.1 that
A1 ◦ D1 ◦ r∗ ≃ A1 ◦ τ0 ◦ D1
≃ p∗1 ◦ σ1 ◦ D ◦ τ0 ◦ σ1−t ◦ Dt

≃ p∗1 ◦ σ1 ◦ τ 0 ◦ σt−1 ◦ D ◦ Dt

≃ p∗1 ◦ τ 1 ◦ σt ◦ D ◦ Dt .

By the definition, it is easy to verify that p∗1 ◦ τ 1 = p∗1 . Moreover pt ◦ p1 = p1 implies
p∗1 ◦ p∗t = p∗1 . Thus it follows that
A1 ◦ D1 ◦ r∗ ≃ p∗1 ◦ τ 1 ◦ σt ◦ D ◦ Dt ≃ p∗1 ◦ At ◦ Dt .


References
[1] M. Brun, G. Fløystad, The Auslander-Reiten translate on monomial rings, Adv. Math. 226
(2011), 952–991.
[2] S. Goto, On the surjectivity criterion for Buchsbaum modules, Proc. Amer. Math. Soc., 108
(1990), 641–646.
[3] D. Happel, On the derived category of a finite-dimensional algebra, Comment. Math. Helv. 62
(1987), 339–389.
[4] H. Herzog, Y. Takayama, N. Terai, On the radical of a monomial ideal, Arch. Math. 85 (2005),
397–408.
[5] P. Jørgensen, Auslander-Reiten theory over topological spaces, Comment. Math. Helv. 79
(2004), 160–182.
[6] E. Miller, The Alexander duality functors and local duality with monomial support, J. Algebra
231 (2000), 180–234.
[7] E. Miller, Alexander duality for monomial ideals and their resolutions, arXiv:math/9812095
1998.
[8] T. Römer, Generalized Alexander duality and applications, Osaka J. Math. 38 (2001), 469–285.
[9] K. Yanagawa, Alexander duality for Stanley-Reisner rings and squarefree Nn -graded modules,
J. Algebra 225 (2000) 630–645.
[10] K. Yanagawa, Squarefree modules and local cohomology modules at monomial ideals, in: G.
Lybeznik (Ed.), Local Cohomology and Its Applications, Lecture Notes in Pure and Appl. Math.
226, Dekker, New York, 2002, pp. 207–231.
Faculty of Mathematics and Computer Science, Ovidius University, Bd. Mamaia
124, 900527 Constanta, Romania
Institute of Mathematics of the Romanian Academy, P.O. Box 1-764, RO-014700,
Buchaest, Romania
E-mail address: vivian@univ-ovidius.ro
Department of Pure and Applied Mathematics, Graduate School of Information
Science and Technology, Osaka University, Toyonaka, Osaka 560-0043, Japan
E-mail address: okazaki@ist.osaka-u.ac.jp

13

