ON THE RELATIONS OF ISOTONIAN ALGEBRAS

arXiv:1609.00595v1 [] 2 Sep 2016

JÜRGEN HERZOG, AYESHA ASLOOB QURESHI AND AKIHIRO SHIKAMA
Abstract. It is shown that for large classes of posets P and Q, the defining ideal
JP,Q of an isotonian algebras is generated by squarefree binomials. Within these
classes, those posets are classified for which JP,Q is quadratically generated.

Introduction
In [1], isotonian algebras were introduced as a generalization of Hibi rings. Given
two finite posets P and Q, the algebra K[P, Q] is generated by monomials
uϕ =

Y

xp,ϕ(p)

with p ∈ P,

p∈P

where ϕ : P → Q is an isotone (order preserving) map. We denote the defining
ideal of K[P, Q] by JP,Q. Since K[P, Q] is a toric ring, the ideal JP,Q is generated
by binomials.
Isotone maps first appeared in Commutative Algebra in the study of the ideals
I(P, Q) which are generated by all the monomials uϕ , see [2]. The structure of these
ideals has been further studied in subsequent papers [8], [5], [9],[10], [11].
In the case that Q is a chain of length 2, the algebra K[P, Q] coincides with
the so-called and well studied Hibi ring, see [6], [4], [7], [3]. It is known that the
defining ideals of Hibi rings admit quadratic Gröbner basis and they are normal
Cohen-Macaulay domains. In the above mentioned paper [1], it is also shown that
JP,Q admits a quadratic Gröbner basis if P is a chain and Q is a co-rooted poset.
However, easy examples show that isotonian algebras need not to admit quadratic
Gröbner bases. On the other hand, it is conjectured that the ideal JP,Q has a
squarefree initial ideal for a suitable term order.
We call f = u − v squarefree, if u and v are squarefree monomials. In support of
the above conjecture we prove in Theorem 3.3, that JP,Q is generated by squarefree
binomials in the case that each connected component of P is rooted or co-rooted,
and that JP,Q is generated by quadratic binomials if and only if every poset cycle of
length ≥ 6 in Q admits a chord.
1. Reduction to the case that P is connected
Let P be a finite poset. We say that P is connected if its Hasse diagram is
connected as a graph. Given two posets P1 and P2 , the sum P1 + P2 is defined to
be the disjoint union of the elements of P1 and P2 with p ≤ q if and ony if p, q ∈ P1
2010 Mathematics Subject Classification. 05E45, 05E40, 13C99.
This paper was partially written during the stay of the second author at The Abdus Salam
International Centre of Theoretical Physics (ICTP), Trieste, Italy.
1

or p, q ∈ P2 and p ≤ q in the corresponding posets P1 or P2 . Then its is clear that
P can be written as P = P1 + P2 + · · · + Pr where each Pi is connected. The Pi are
called the connected components of P .
Let P, P1 , P2 , . . . , Pr and Q, Q1 , Q2 , . . . , Qs be finite posets. Then it is shown in
P
[1, Lemma 1.3] that K[ ri=1 Pi , Q] is isomorphic to the Segre product K[P1 , Q] ∗
K[P2 , Q] ∗ · · · ∗ K[Pr , Q]. Recall that if R1 = K[f1 , . . . , fr ] and R2 = K[g1 , . . . , gs ]
are two standard graded K-algebras. Then
R1 ∗ R2 = K[{fi gj : i = 1, . . . , r, j = 1, . . . , s}]
is the Segre product of R1 and R2 .
We denote by Hom(P, Q) the set of isotone maps from P → Q, and let T =
K[tϕ : ϕ ∈ Hom(P, Q)] be the polynomial ring in the variables tϕ , and let ϕ : T →
Q
K[P, Q] be the K-algebra homomorphism defined by tϕ 7→ p∈P xpϕ(p) . We denote
the kernel of ϕ by IP,Q .
Theorem 1.1. Let P and Q be two finite posets and let P1 , P2 , . . . , Pr be the connected components of P . Then IP,Q is generated by squarefree, respectively quadratic
binomials, if each IPi ,Q is generated by squarefree, respectively quadratic binomials.
Proof. By using induction on r it suffices to prove the following fact: Let R1 =
K[f1 , . . . , fr ] and R2 = K[g1, . . . , gs ] be standard graded toric rings whose defining
ideals are generated by squarefree binomials, then this is also the case for R1 ∗R2 . To
show this we introduce some notation: let T1 = K[x1 , . . . , xr ] and T2 = K[y1, . . . , ys ]
be the polynomial ring over K, and I1 the kernel of K-algebra homomorphism
T1 → R1 with xi 7→ fi . The ideal I2 is similarly defined. Next, let T = K[zij | i =
1, . . . , r, j = 1, . . . , s] be the polynomial ring over K and I the kernel of the Kalgebra homomorphism T → R1 ∗ R2 with zij 7→ fi gj .
Q
Q
We have to show that any binomials h = dt=1 zit jt − dt=1 zkt lt ∈ I is a linear
combination of squarefree, respectively quadratic binomials of I. Note that h =
h1 + h2 , where
h1 =

d
Y

t=1

zit jt −

d
Y

h2 =

zkt jt ,

d
Y

zkt jt −

zkt lt .

t=1

t=1

t=1

d
Y

Observe that h1 , h2 ∈ I. Indeed, h1 7→ dt=1 (fit gjt ) − dt=1 (fkt gjt ), and we have to
Q
Q
show that dt=1 (fit gjt ) − dt=1 (fkt gjt ) = 0.
Q
Q
Since h ∈ I, it follows that dt=1 (fit gjt ) − dt=1 (fkt glt ) = 0. Let R2 → K be
the K-algebra homomorphism such that gi 7→ 1. This K-algebra homomorphism
induces a canonical K-algebra homomorphism R1 ∗ R2 → R1 ∗ k = R1 . This shows
Q
Q
Qd
Qd
(f glt ) = 0 is mapped to dt=1 fit − dt=1 fkt = 0 in R1 . Similarly
t=1 (fit gjt ) −
Qd t=1 kt Q
we see that k=1 gis − dk=1 gjk = 0 in R2 .
Next, let R1 ∗ R2 → R1 ⊗ R2 = K[f1 , . . . fr , g1 , . . . , gs ] be the canonical incluQ
Q
Q
Q
Q
sion map. Then, dt=1 (fit gjt ) − dt=1 (fkt gjt ) 7→ ( dt=1 fit − dt=1 fkt ) dt=1 gjt = 0.
Q

2

Q

Therefore,

Similarly,

d
Y

(fit gjt ) −

d
Y

(fkt gjt ) = 0.

t=1

t=1

d
Y

d
Y

(fkt gjt ) −

t=1

(fkt glt ) = 0.

k=1

This shows that h1 , h2 ∈ I.
Q
Q
Since w = di=1 xit − di=1 xkt ∈ I1 , our assumption implies that w can be written
as linear combination of squarefree, respectively quadratic binomials wq . Then w =
P
q uq wq where uq is a monomial in T1 , and wq ∈ I1 is squarefree, respectively
Q
quadratic. Let g = dt=1 yjt , and for each q write g = g1,q g2,q , where g2,q is the
product of deg wq many factors of g and g1,q is the product of the remaining factors.
P
Then w = q uq wq yields the equation
(1)

wg =

X

(uq g1,q )(wq g2,q ),

q

which is valid in R1 ∗ R2 .
Let us first assume that all wq are squarefree binomials. Then for each q, we
Q
Q
Q
have wq = ∈Vq xi − i∈Vq′ xi with Vq , Vq′ ⊂ {1, . . . , r} and q2,q = j∈Uq yj with
Uq ⊂ {j1 , . . . , jd } and |Uq | = |Vq | = |Vq′ |. For each q, let σq : Vq → Uq and
τq : Vq → Uq be bijections. Then (1) implies that h1 is a linear combination of
squarefree binomials of the form
Y

ziσq (i) −

i∈Vq

Y

ziτq (i) .

i∈Vq′

The similar statement holds for h2 . This shows that h is a linear combination
of squarefree binomials. Similarly, if we assume all wq are quadratic binomials, we
deduce in the same way that h is a linear combination of quadratic binomials. 
2. Special binomials
In this section we study the relations of K[P, Q] in the case that P is rooted.
Analogous arguments hold when P is co-rooted.
To define special binomial relations, we first prove the following lemma in which
a new isotone map is constructed from a given one by suitable modifications.
Lemma 2.1. Let P and Q be two posets and assume that P is rooted. Let ϕ ∈
Hom(P, Q) and let ψ : P → Q be a map satisfying the following condition: there
exists p ∈ P such that
(i) ψ(p1 ) ≥ ψ(p2 ), for all p1 ≥ p2 ≥ p,
(ii) ψ(q) = ϕ(q) for all q  p,
(iii) if there exists a lower neighbor q of p then ψ(p) ≥ ψ(q).
Then ψ ∈ Hom(P, Q).
3

Proof. Let p1 , p2 ∈ P such that p1 ≥ p2 . We need to show that ψ(p1 ) ≥ ψ(p2 ). If
p1 ≥ p2 ≥ p or p1 , p2  p, then by using (i) and (ii), we are done. The only non
trivial case is when p1 ≥ p and p2  p. Since p1 ≥ p, p2 and P is rooted it follows
that p and p2 are comparable. Since p2  p, we must have p2 < p. In particular, p
admits a lower neighbor q. Then by using (i), (ii) and (iii) we get
ψ(p1 ) ≥ ψ(p) ≥ ψ(q) = ϕ(q) ≥ ϕ(p2 ) = ψ(p2 ).

Now we are ready to define special relations. Let ϕ1 , . . . , ϕd ∈ Hom(P, Q), p ∈ P
and π be a permutation on the set {1, . . . , d}. In the case that p admits a lower
neighbor p′ ∈ P then we require that π satisfies ϕπ(i) (p) ≥ ϕi (p′ ) for all i.
Then, by Lemma 2.1, the following maps
ϕ′i (q)

=

(

ϕπ(i) (q), if q ≥ p,
ϕi (q),
otherwise.

are isotone. Consider the binomial f = dk=1 tϕi − dk=1 tϕ′i . Then f ∈ JP,Q , and
Q
Q
f 6= 0 if π is not identity. More generally, if g = dk=1 tϕi − dk=1 tψi , Then g ∈ JP,Q
if and only if for all p ∈ P
Q

(2)

Q

{ϕ1 (p), ϕ2 (p), . . . , ϕd (p)} = {ψ1 (p), ψ2 (p), . . . , ψd (p)}

as multi-set.
Q
Q
The binomial f = dk=1 tϕi − dk=1 tϕ′i is called special of type (p, π) with respect
to ϕ1 , . . . , ϕd ∈ Hom(P, Q). Note that f is also special of type (p, π −1 ) with respect
to ψ1 , . . . , ψd .
Now we are ready to prove the following
Theorem 2.2. Let P be a rooted or co-rooted poset. Then for any Q, the ideal JP,Q
is generated by special binomials.
Proof. Let P be a rooted poset and p0 be the minimal element of P . Also let
f = tϕ1 tϕ2 · · · tϕd − tψ1 tψ2 · · · tψd
be a nonzero binomial in JP,Q . After relabelling of ψi , we may assume that ϕi (p0 ) =
ψi (p0 ) for all i. Let I ⊂ P be the largest poset ideal with the property that
ϕi (p) = ψi (p) for all p ∈ I. Since f 6= 0, it implies that I =
6 P.
′
′
′
Let p ∈ P \ I such that I = I ∪ {p } is again the poset ideal in P . Note that if
p′ has a lower neighbor then it belongs to I.
We will show that f = g + h where g is a special binomial and
(3)

h=

d
Y

i=1

tαi −

d
Y

tβi ∈ JP,Q such that αi (p) = βi (p) for all p ∈ I ′ .

i=1

Since |I | > |I|, the desired conclusion follows by induction.
Since
{ϕ1 (p′ ), ϕ2 (p′ ), . . . , ϕd (p′ )} = {ψ1 (p′ ), ψ2 (p′ ), . . . , ψd (p′ )}
′

4

there exists a permutation π such that ψi (p′ ) = ϕπ(i) (p′ ). Since we choose I to be
maximal, it follows that ψi (p′ ) 6= ϕi (p′ ) for some i. Hence, we see that π is nontrivial.
Furthermore, if p′ has a lower neighbor p′′ , then p′′ ∈ I. Therefore,
ϕπ(i) (p′ ) = ψi (p′ ) ≥ ψi (p′′ ) = ϕi (p′′ ).
Hence, g =

Qd

i=1 tϕi

−

Qd

i=1 tϕ′i

ϕ′i (p)

(4)

∈ JP,Q is a special where,

=

(

ϕπ(i) (p), if p ≥ p′ ,
ϕi (p),
otherwise.

Let h = di=1 tϕ′i − di=1 tψi , then f = g + h. Since f, g ∈ JP,Q , it implies that
h ∈ JP,Q . Moreover, h satisfies (3). This proves the theorem.

Q

Q

3. Squarefree binomials
In this section we will prove that JP,Q is generated by squarefree binomials if each
connected component of P is rooted or co-rooted poset. In general, without any
restriction on P and Q, we have
Remark 3.1. Let P and Q be two posets. Then all quadratic binomials in JP,Q
are squarefree. Indeed, assume that f = t2ϕ1 − tψ1 tψ2 . Then {ϕ1 (p), ϕ1(p)} =
ψ1 (p), ψ2 (p)}, for all p ∈ P . This implies that ψ1 = ψ2 = ϕ1 and hence f = 0.
This implies that any non-trivial quadratic binomial in JP,Q is squarefree.
We first prove the following
Lemma 3.2. Any special binomial of type (p, π) can be written as a linear combination of special binomials of type (p, π ′ ) where the π ′ are cyclic permutations.
Proof. Let π = π1 π2 . . . πl be the unique cycle decomposition of π.Then f = li=1 fi+ −
Ql
−
+
−
i=1 fi where each fi = fi − fi is a special binomial of type (p, πi ). From this
presentation of f , it can be shown by induction on l that f can be written as a
linear combination of the fi .

Q

Now we prove the main theorem.
Theorem 3.3. Let P be a poset whose connected components are rooted or co-rooted
posets. Then for any Q, the ideal JP,Q is generated by squarefree special binomials.
Proof. By using Theorem 1.1, we may assume that P is connected. Furthermore,
we may also assume that P is rooted. We will show by induction on degree of f
that f is a linear combination of squarefree binomials in JP,Q .
Let f = tϕ1 tϕ2 · · · tϕd − tψ1 tψ2 · · · tψd ∈ JP,Q and f 6= 0. By Theorem 2.2 and the
Lemma 3.2, we may assume that f is a special binomial of type (p, π) where π is
the cyclic permutation given by (1 2 . . . d). By Remark 3.1, we may assume that
d > 2. If all ϕi as well as all ψi are pairwise distinct then f is squarefree and there
is nothing to prove. Assume that ϕi = ϕj .
Let g = g + − g − where g + = tϕi tϕi+1 . . . tϕj−1 and g − = tψi tψi+1 . . . tψj−1 . Then
g ∈ JP,Q because it is special of type (p, π ′) with respect to ϕi , ϕi+1 , . . . , ϕj−1 and
π ′ = (i i + 1 · · · j − 1). Indeed, if p′  p then ψr (p′ ) = ϕr (p′ ) , and if p′ ≥ p then
5

ψr (p′ ) = ϕr+1 (p′ ) for r = i, . . . , j − 1 and ϕj (p′ ) = ϕi (p′ )
Hence, we may write
f+
f = + g + g− h
g
where
f+ f−
h= + − −
g
g
Since deg g, deg h < deg f , by induction we know that g and h can be written as a
linear combination of squarefree binomials. This completes the proof.

4. Quadratic binomials
Here we will prove that JP,Q is generated by quadratic squarefree binomials if
each connected components of P is rooted or co-rooted and Q does not contain any
proper poset cycle of length ≥ 6.
Let Q be a poset. A sequence q1 , q2 , . . . , q2m of elements in Q is called a poset
cycle of length 2m if q1 ≤ q2 ≥ q3 ≤ . . . ≤ q2m ≥ q1 .
We say that a poset cycle of length ≥ 6 has a chord if there exist odd i and even
j with j 6= i − 1, i + 1 such that qi ≤ qj . (Here 0 is identified with 2m).
A poset cycle is called proper if all elements qi in the cycle are pairwise distinct
and the element with even indexes are pairwise incomparable as well as elements
with odd indexes.
q2

q4

q1

q3

q6

q5

q8

q10

q7

q9

Figure 1. A proper poset cycle of length 10
Lemma 4.1. Let the sequence C : q1 , q2 , . . . , q2m of length ≥ 6 be a poset cycle in
Q. If C is not a proper poset cycle then it admits a chord.
Proof. If C is not a proper poset cycle then we have one of the following cases:
(i) qi ≤ qj where both i and j are even or odd.
(ii) qi = qj for some odd i and even j.
In case (i), if i and j are even then we have qi−1 ≤ qi ≤ qj . Then the relation
qi−1 ≤ qj gives us a chord. Similarly, if i and j are odd then qi ≤ qj ≤ qj+1 and
qi ≤ qj+1 gives us the chord.
Now we discuss the case (ii) and assume first that i < j. Then qj−1 ≤ qj = qi
where j − 1 and i are both odd. If j − 1 6= i, then we are in case (i). Assume now
that j − 1 = i. Then qj+1 ≤ qj−1 , and we are again in case (i).
Similar arguments holds when i > j.

6

Now we are ready to prove the main Theorem of this section.
Theorem 4.2. Let P and Q be two posets.
(a) If P is an antichain then JP,Q is generated by quadratic squarefree binomials.
(b) If P is not an antichain and each connected component of P is rooted or
co-rooted, then the following conditions are equivalent:
(i) JP,Q is generated by quadratic binomials.
(ii) JP,Q is generated by quadratic squarefree binomials.
(iii) Each proper poset cycle of Q of length ≥ 6 has a chord.
Proof. By Theorem 1.1, we may assume that P is connected. Then in case (a), the
poset P is just a single element and K[P, Q] is a polynomial ring.
(b) Since P is connected, we may assume that P is rooted.
(i) ⇐⇒ (ii): The proof follows from Remark 3.1.
(i) ⇒ (iii): Let C : q1 , q2 , . . . , q2m be a proper poset cycle in Q of length 2m
with m ≥ 3. Let p1 be the minimal element of the rooted poset P . We define the
following maps. For i = 1, . . . , m,
ϕi (p) =

(

q2i−1 , p = p1 ,
q2i ,
otherwise.

and
ψ1 (p) =

(

q1 , p = p1 ,
q2m , otherwise.

and for i = 2, . . . , m − 1
ψi (p) =

(

q2i−1 , p = p1 ,
q2i−2 , otherwise,

Then f = tϕ1 . . . tϕm −tψ1 . . . tψm ∈ JP,Q is a special binomial of degree m and type
(p, π) for some p ∈ P with p 6= p1 . After relabeling of indexes, we may assume that
π = (1 m m − 1 . . . 2) and . Then, since by our assumption JP,Q is generated by
quadratic binomials, there exists a nonzero quadratic binomial g = g + − g − ∈ JP,Q
such that g + |f + . We may assume that g = tϕi tϕj − tγ1 tγ2 for some i < j and
ϕi (p1 ) = γ1 (p1 ) and ϕj (p1 ) = γ2 (p1 ). Moreover, we have
{ϕi (p), ϕj (p)} = {γ1 (p), γ2 (p)} for all p ∈ P
Since g 6= 0 there exists p ∈ P and p 6= p1 such that ϕi (p) = γ2 (p) and ϕj (p) =
γ1 (p). Therefore, ϕi (p) = q2i ≥ ϕj (p1 ) = q2j−1 and ϕj (p) = q2j ≥ ϕi (p) = q2i−1 . The
sequence C ′ = q2i−1 , q2i , q2j−1 , q2j is a 4-cycle in Q. In particular C has a chord.
(iii) ⇒ (i): Let f ∈ JP,Q and f 6= 0. Then by Theorem 2.2, we may assume that
f = tϕ1 . . . tϕm − tϕ′1 . . . tϕ′m ∈ JP,Q is a special binomial of type (p, π) where π is a
cyclic permutation. After a relabeling of indxes of ϕi and ϕ′i , we may assume that
(1 m m − 1 · · · 2). If m = 2, then the assertion is trivial. Let m ≥ 3. Since f 6= 0
there exists a lower neighbor of p′ of p which is unique because P is rooted. Then
7

the sequence C : q1 , q2 , . . . , q2m with q2i−1 = ϕi (p′ ) and q2i = ϕi (p) is a poset cycle
in Q.
By Lemma 4.1 and (iii), we know that C admits a chord. We may assume that
the chord is given by the relation q1 ≤ q2i with i 6= m.
Qm
Q
Let g = tψ1 m
j=i+1 tϕ′j where
j=i+1 tϕj − tϕ′1
(

′′

ψ1 (p ) =

ϕi (p′′ ), p′′ ≥ p,
ϕ1 (p′′ ), otherwise.

By using Lemma 2.1, it can be seen that ψ1 is isotone. Observe that g ∈ JP,Q .
To see this, we have to show that for all p′′ ∈ P
{ψ1 (p′′ ), ϕi+1 (p′′ ), . . . , ϕm (p′′ )} = {ϕ′1 (p′′ ), ϕ′i+1(p′′ ), . . . , ϕ′m (p′′ )}
as multi-set.
If p′′ ≥ p, then ψ1 (p′′ ) = ϕi (p′′ ) and ϕ′j (p′′ ) = ϕj−1(p′′ ) for j = i + 1, . . . , m and
ϕ′1 (p′′ ) = ϕm (p′′ ). In this case, the two multi-set coincides.
If p′′  p, then ψ1 (p′′ ) = ϕ1 (p′′ ) and ϕ′j (p′′ ) = ϕj (p′′ ) for j = 1, i+1, . . . , m. Again,
the two multi-sets coincides.
Then
f −t

ϕ′2

...t g =
ϕ′i

m
Y

tϕj h,

j=i+1

where

h = tϕ1 tϕ2 . . . tϕi − tψ1 tϕ′2 . . . tϕ′i .
Since f, g ∈ JP,Q and JP,Q is a prime ideal, it follows that h ∈ JP,Q . Note that
deg g, deg h < deg f . Then by induction, we know that g and h can be written as
linear combination of quadratic binomials, which completes the argument.

References
[1] M. Bigdeli, J. Herzog, T. Hibi, A. Shikama, A. A. Qureshi, Isotonian algebras.
[2] G. Fløystad, B.M. Greve and J. Herzog, Letterplace and co-letterplace ideals of posets,
[3] V. Ene, J. Herzog and F. Mohammadi, Monomial ideals and toric rings of Hibi type arising
from a finite poset, European J. Combin. 32 (2011), 404–421.
[4] J. Herzog and T. Hibi, Monomial ideals, Graduate Texts in Mathematics 260, Springer, London, 2010.
[5] J. Herzog, A. A. Qureshi and A. Shikama, Alexander duality for monomial ideals associated
with isotone maps between posets, to appear in J. Algebra and its Applications.
[6] T. Hibi, Distributive lattices, affine semigroup rings and algebras with straightening laws,
Commutative Algebra and Combinatorics (M. Nagata and H. Matsumura, Eds.) Adv. Stud. Pure
Math. 11, North-Holland, Amsterdam, 1987, 93–109.
[7] V. Ene, J. Herzog and S. S. Madani, A note on the regularity of Hibi rings, Manuscripta Math.,
148 (2015), 501–506.
[8] M. Juhnke-Kubitzke, L. Katthän and S. S. Madani, Algebraic properties of ideals of poset
homomorphisms,
[9] G. Fløystad, A. Nematbakhsh, Rigid ideals by deforming quadratic letterplace ideals,
8

[10] A. D’Alı́, G. Fløystad, A. Nematbakhsh, Resolutions of co-letterplace ideals and generalizations of Bier spheres,
[11] A. D’Alı́, G. Fløystad, A. Nematbakhsh, Resolutions of letterplace ideals of posets,
Jürgen Herzog, Fachbereich Mathematik, Universität Duisburg-Essen, Fakultät
für Mathematik, 45117 Essen, Germany
E-mail address: juergen.herzog@uni-essen.de
Ayesha Asloob Qureshi, Sabancı University, Orta Mahalle, Tuzla 34956, Istanbul, Turkey
E-mail address: aqureshi@sabanciuniv.edu
Akihiro Shikama, Department of Pure and Applied Mathematics, Graduate School
of Information Science and Technology, Osaka University, Toyonaka, Osaka 5600043, Japan
E-mail address: a-shikama@cr.math.sci.osaka-u.ac.jp

9

