arXiv:1309.3765v1 [] 15 Sep 2013

ON THE CHARACTERIZATION OF f -IDEALS
I. Anwara , H. Mahmoodb , M. A. Binyaminc , M. K. Zafar

d

a

COMSATS Institute of Information Technology Lahore, Pakistan.
E. mail: imrananwar@ciitlahore.edu.pk
b
Government College University Lahore, Pakistan. E. mail: hasanmahmood@gcu.edu.pk
c
National Textile University, Faislabad, Pakistan. E. mail: ahsanbanyamin@gmail.com
d
Air University Islamabad, Pakistan. E. mail: khurram.zafar@au.edu.pk
Abstract. In this paper, we give the complete characterization of f -ideals of
degree d ≥ 2 generalizing the results given in [1].
Key words : simplicial complexes, f -vector, facet ideal, Stanley Reisner ideal,
height of an ideal .
2000 Mathematics Subject Classification: Primary 13P10, Secondary 13H10, 13F20,
13C14.

1. Introduction
Let S = k[x1 , ..., xn ] be a polynomial ring over an infinite field k. One associates
simplicial complexes to monomial ideals in S.
∆ ↔ IN (∆)
where IN (∆) is known as the Stanley-Reisner ideal or non-face ideal of ∆. This
one-to-one correspondence laid the foundation of the algebraic study of simplicial
complexes, for instance see [2], [6] and [7].
In [3], Faridi introduced another correspondence:
∆ ↔ IF (∆)
where IF (∆) is the facet ideal of a given simplicial complex ∆. Faridi in [3] and
[4] discussed algebraic properties of this ideal via combinatorial properties of the
simplicial complex. She also discussed its connections with the theory of StanleyReisner rings. Therefore, it is interesting to explore some new connections between
both the theories.
In [1], the authors investigated the following correspondence:
δF (I) ↔ I ↔ δN (I),
where δF (I) and δN (I) are facet and non-face simplicial complexes associated to
the square-free monomial ideal I respectively. They introduced the concept of f ideals and they gave the characterization of all f -ideals of degree 2. A square-free
monomial ideal I in S = k[x1 , x2 , . . . , xn ] is said to be an f -ideal if and only if
both δF (I) and δN (I) have the same f -vector. The concept of f -ideals is important
in the sense that it discovers new connections between both the theories (facet
1

ideal and Stanley-Reisner ideal). In this paper, we characterize all the f -ideals in
the polynomial ring S = k[x1 , x2 , . . . , xn ]( see Theorem 3.8). Moreover, we give a
relation between the f -vectors of δF (I) and δN (I) (see Lemma 3.6). We should
mention that our presentation was improved by the kind suggestions of the Referee
and Prof. Dorin Popescu.
2. Basic Setup
Here, we recall some elementary definitions and notions, which we will use throughout in this paper.
Definition 2.1. A simplicial complex ∆ over a set of vertices V = {x1 , x2 , . . . , xn }
is a collection of subsets of V , with the property that {xi } ∈ ∆ for all i, and if
F ∈ ∆ then all subsets of F are also in ∆(including the empty set). An element of
∆ is called a face of ∆, and the dimension of a face F of ∆ is defined as |F | − 1,
where |F | is the number of vertices of F . The faces of dimension 0 and 1 are called
vertices and edges, respectively, and dim ∅ = −1. The maximal faces of ∆ under
inclusion are called facets.
Definition 2.2. For a simplicial complex ∆ having dimension d, its f -vector is a
(d + 1)-tuple, defined as:
f (∆) = (f0 , f1 , . . . , fd ),
where fi denotes the number of i-dimensional faces of ∆.
The following definitions serve as a bridge between the combinatorial and algebraic
properties of the simplicial complexes over the finite set of vertices [n].
Definition 2.3. Let ∆ be a simplicial complex over n vertices {v1 , . . . , vn }. Let k
be a field, x1 , ..., xn be indeterminates, and S be the polynomial ring k[x1 , . . . , xn ].
(a) Let IF (∆) be the ideal of S generated by square-free monomials xi1 . . . xis , where
{vi1 , . . . , vis } is a facet of ∆. We call IF (∆) the facet ideal of ∆.
(b) Let IN (∆) be the ideal of S generated by square-free monomials xi1 . . . xis ,
where {vi1 , . . . , vis } is not a face of ∆. We call IN (∆) the non-face ideal or the
Stanley- Reisner ideal of ∆.
Definition 2.4. Let I = (M1 , . . . , Mq ) be a square-free monomial ideal in a polynomial ring k[x1 , ..., xn ]. Furthermore, assume that {M1 , . . . , Mq } is a minimal generating set of I.
(a) Let δF (I) be the simplicial complex over a set of vertices v1 , . . . , vn with facets
F1 , . . . , Fq , where for each i, Fi = {vj | xj |Mi , 1 ≤ j ≤ n}. We call δF (I) the facet
complex of I.
(b) Let δN (I) be the simplicial complex over a set of vertices v1 , . . . , vn , where
{vi1 , . . . , vis } is a face of δN (I) if and only if xi1 ...xis 6∈ I. We call δN (I) the nonface complex or the Stanley-Reisner complex of I.
Definition 2.5. Let S = k[x1 , . . . , xn ] be a polynomial ring, the support of a
monomial xa = xa11 . . . xann in S is given by supp(xa ) = {xi |ai > 0}.
2

Similarly, let I = (g1 , . . . , gm ) ⊂ S be a square-free monomial ideal then
supp(I) =

m
[

supp(gi )

i=1

Remark 2.6. From [1], we know that for any square-free monomial ideal I ⊂ S
the simplicial complex δF (I) will have the vertex set [s], where s = | supp(I)|. But
δN (I) will be a simplicial complex on [n]. So both δF (I) and δN (I) will have the
same vertex set if and only if supp(I) = {x1 , . . . , xn }.
By considering the standard grading on the polynomial ring S = k[x1 , . . . , xn ], we
give the following definition.
Definition 2.7. Let I ⊂ S be a square-free monomial ideal with the minimal
monomial generators g1 , . . . , gm , then the deg(I) is defined as:
deg(I) = sup{deg(gi )| i ∈ {1, . . . , m}}
For more details, see [1], [3] and [5].
3. characterization of f -ideals.
Here we recall some definitions from [1];
Definition 3.1. Let I ⊂ S be a square-free monomial ideal with a minimal
generating system {g1 , . . . , gm }. We say that I is a pure square-free monomial
ideal of degree d if and only if supp(I) = {x1 , . . . , xn } and deg(gi ) = d > 0 for
all 1 ≤ i ≤ m.
Definition 3.2. Let I be a square free monomial ideal in S = k[x1 , x2 , ...., xn ]. We
say that I is an f -ideal if and only if f (δF (I)) = f (δN (I)).
There is a natural question to ask: characterize all the f -ideals in S. In [1],
authors precisely gave the characterization of f -ideals of degree 2. Next we extend
this result for f -ideals of degree ≥ 3.
Theorem 3.3. (necessary conditions) Let I = (g1 , g2 , . . . , gs ) be a pure squarefree monomial ideal of degree d with d ≥ 2 in S = k[x1 , x2 , . . . , xn ]. If I is an f -ideal,
then I satisfies the following conditions;
(1) I is
 unmixed of height n − d;
(2) nd ≡ 0 (mod 2); 
(3) s =| Ass(S/I) |= 12 nd .
Proof. Since I is an f -ideal and deg(I) = d, dimδF (I) = dimδN (I) if and only if
ht(I) = n − d (by [1, Lemma
3.4]). Now as fd−1 (δF (I)) = s from [1, Lemma 3.2] it

n
follows fd−1 (δN (I)) = d − s. But I is an f -ideal and so s = nd − s which gives
s = 12 nd . Using [1, Lemma 3.2], we see that δN (I) is a pure simplicial complex
generated by 12 nd facets of dimension d − 1. Thus
 [7, Lemma 5.3.10] gives that I is
unmixed of height n − d with | Ass(S/I) |= 12 nd .
3

Remark 3.4. The above three conditions are also sufficient conditions for a pure
square free monomial ideal of degree 2 to be an f -ideal as it is proved in [1]. Below
We give an example to show that for d ≥ 3 above mentioned conditions are not
sufficient.
Example 3.5. Consider the square-free monomial ideal I in the polynomial ring
S = k[x1 , x2 , x3 , x4 , x5 ] given by
I = (x1 x2 x4 , x1 x2 x5 , x3 x4 x5 , x1 x4 x5 , x2 x3 x5 )
= (x1 , x3 ) ∩ (x1 , x5 ) ∩ (x2 , x4 ) ∩ (x2 , x5 ) ∩ (x4 , x5 )
Note that
(1) I is unmixed of height 5 − 3 = 2
(2) 53 = 10 ≡ 0 (mod 2)

(3) s =| Ass(S/I) |= 21 53 = 5
Its facet complex δF (I) and Stanley-Reisner complex δN (I) are as follows
δF (I) =< {1, 2, 4}, {1, 2, 5}, {1, 4, 5}, {2, 3, 5}, {3, 4, 5} >
δN (I) =< {2, 4, 5}, {2, 3, 4}, {1, 3, 5}, {1, 3, 4}, {1, 2, 3} >
But f (δF (I)) = (5, 9, 10) 6= f (δN (I)) = (5, 10, 10). Thus I is not f -ideal.
In order to characterize the f -ideals, we need the following lemmas.
Lemma 3.6. Let I = (g1 , g2, . . . , gs ) be pure square-free monomial ideal of degree
d in S = k[x1 , x2 , ..., xn ]. If F is a face in δF (I) of dimension less than d − 1, then
F belongs to δN (I) as well. In particular;
fi (δF (I)) ≤ fi (δN (I))

for all

i < d − 1.

Proof. Let us take F = {j1 , j2 , . . . , jr } with r < d is a face in δF (I), then by
definition there exists a monomial m = xj1 . . . xjr such that m divides gi for some
i(1 ≤ i ≤ s). Suppose on the contrary that F 6∈ δN (I), then by definition, we have
m = xj1 . . . xjr ∈ I which is a contradiction as m is a monomial of degree strictly
less than d.

Lemma 3.7. Let I = (g1 , g2 , . . . , gs ) ⊂ S = k[x1 , x2 , . . . , xn ] be an f -ideal of degree
d, then


n
.
fd−2 (δF (I)) =
d−1
Proof. Suppose on contrary that there exists a face F = {j1 , j2 , . . . , jd−1 } 6∈ δF (I).
But F will be contained in some face G with dim(G) = d − 1. It is clear from
Theorem 3.3 that G ∈ δN (I). Consequently, we have F ∈ δN (I). From Lemma 3.6,
it is clear that δN (I) contains all the faces of δF (I) with dimension strictly less than
d − 1. Therefore, we have fd−2 (δN (I)) > fd−2 (δF (I)) which is a contradiction.
Theorem 3.8. (characterization) Let I ⊂ S be a pure square-free monomial
ideal of degree d with the minimal set of generators {g1, g2 , . . . , gs }. Then I will be
an f -ideal if and only if the following conditions are satisfied.
(1) I is unmixed of height n − d,
4


(2) nd ≡ 0 (mod 2) and
 |Ass(S/I)| = s =
n
(3) fd−2 (δF (I)) = d−1 .

1 n
2 d



.

Proof. If I is an f -ideal, then apply Theorem 3.3 and Lemma 3.7. Now suppose that
I = (g1 , g2 , . . . , gs ) is a pure square-free monomial ideal of degree d satisfying the
conditions (1), (2),
 and (3). Then by Lemma 3.6 and 3.7 it follows that fi (δF (I)) =
n
fi (δN (I)) = i+1 for each i ∈ {1, 2, ...., d − 2} and fd−1 (δF (I)) = fd−1 (δN (I)) = s
using [1, Lemma 3.2].

Here we give an example of f -ideal in degree 3.
Example 3.9. (f -ideal of degree 3) Let us consider the ideal I in the polynomial
ring S = k[x1 , x2 , x3 , x4 , x5 , x6 ] given by
I = (x1 x2 x3 , x1 x2 x5 , x1 x3 x4 , x1 x4 x5 , x1 x5 x6 , x2 x3 x4 , x2 x3 x6 , x2 x4 x6 , x3 x4 x5 , x3 x5 x6 ).
Clearly, supp(I) = {x1 , x2 , x3 , x4 , x5 , x6 } . The primary decomposition of I shows
that I is unmixed of height 3.
I = (x2 , x4 , x5 ) ∩ (x2 , x3 , x5 ) ∩ (x1 , x2 , x5 ) ∩ (x3 , x4 , x5 ) ∩ (x1 , x3 , x4 )
∩(x1 , x2 , x3 ) ∩ (x1 , x3 , x6 ) ∩ (x3 , x5 , x6 ) ∩ (x1 , x4 , x6 ) ∩ (x2 , x4 , x6 )
δF (I) =< {1, 2, 3}, {1, 2, 5}, {1, 3, 4}, {1, 4, 5}, {1, 5, 6},
{2, 3, 4}, {2, 3, 6}, {2, 4, 6}, {3, 4, 5}, {3, 5, 6} >
δN (I) =< {1, 3, 6}, {1, 4, 6}, {3, 4, 6}, {1, 2, 6}, {2, 5, 6},
{4, 5, 6}, {2, 4, 5}, {1, 2, 4}, {2, 3, 5}, {1, 3, 5} >
Note that f -vectors of the facet complex and the non-face complex of I are same
i.e. f (δF (I)) = f (δN (I)) = (6, 15, 10) which shows that I is an f -ideal of degree 3.
Remark 3.10. By [7, Proposition 5.4.4], we see that for a given square-free monomial ideal I the Hilbert Series of the quotient ring S/I can be obtained from the
f -vector of δN (I). But such result is not known for the δF (I). It is worth noting
that if I is an f -ideal, then one may obtain as well from the f -vector of δF (I) by
using [7, Proposition 5.4.4]. Moreover, one may explain the f -ideals for more.
References
[1] Abbasi, G. Q., Ahmad, S., Anwar, I., Baig, W. A.,(2012). f -ideals of degree 2, Algebra Colloquium, 19 (Spec 1): 921-926.
[2] Bruns, W., Herzog, J.,(1998). Cohen Macaulay rings, Vol.39, Cambridge studies in advanced
mathematics, revised edition.
[3] Faridi, S.,(2002). The facet ideal of a simplicial complex, Manuscripta Mathematica, 109, :
159-174.
[4] Faridi, S.,(2004). Simplicial Trees are sequentially Cohen-Macaulay,J. Pure and Applied Algebra, 190: 121-136.
[5] Herzog J., Hibi, T.,(2009). Monomial Algebra,Springer-Verlag New York Inc.
5

[6] Miller, E., Sturmfels, B.,(2005). Combinatorial Commutative Algebra, Springer-Verlag New
York Inc.
[7] Villarreal, R. H.,(2001). Monomial algebras, Dekker, New York.

6

