arXiv:1609.02765v5 [math.AC] 23 Oct 2017

IDEALS OF THE FORM I1 (XY )
JOYDIP SAHA, INDRANATH SENGUPTA, AND GAURAB TRIPATHI
A BSTRACT. In this paper we compute Gröbner bases for determinantal
ideals of the form I1 (XY ), where X and Y are both matrices whose
entries are indeterminates over a field K. We use the Gröbner basis
structure to determine Betti numbers for such ideals.

1. I NTRODUCTION
Let K be a field and {xij ; 1 ≤ i ≤ m, 1 ≤ j ≤ n}, {yj ; 1 ≤ j ≤ n}
be indeterminates over K. Let K[xij ] and K[xij , yj ] denote the polynomial
algebras over K. Let X denote an m × n matrix such that its entries belong
to the ideal h{xij ; 1 ≤ i ≤ m, 1 ≤ j ≤ n}i. Let Y = (yj )n×1 be the
generic n × 1 column matrix. Let I1 (XY ) denote the ideal generated by the
1 × 1 minors or the entries of the m × 1 matrix XY .
Ideals of the form I1 (XY ) appeared in the work of J. Herzog [8] in
1974: Let R be a Noetherian commutative ring with identity. Let x =
{x1 , . . . , xn } be a sequence in R. Let a = (αij ) be an m × n matrix with
entries in R; with m ≤ n. A complex D∗ (x, a) was constructed in [8],
which has resemblance with that constructed by Eagon and Northcott [5]
in 1962. The complex D∗ (x, a) has the following properties:PIf n ≥ 2
and m = n; then H0 (x, a) ≃ R/(a1 , . . . , an , ∆), where ai = nj=1 αij xj ,
i = 1, . . . , n and ∆ = det(αij ). If n ≥ 3 P
and m = n − 1, then H0 (x, a) ≃
1
n
R/(a1 , . . . , an , ∆ , . . . , ∆ ), where ai = nj=1 αij xj , i = 1, . . . , n − 1 and
∆j is the determinant of the matrix obtained from a by deleting the j-th column. Acyclicity conditions on the complex D∗ (x, a) were derived in both
the cases.
Given determinantal ideals I and J, the sum ideal I + J is often difficult
to understand and they appear in various contexts. Ideals I1 (XY ) + J are
2010 Mathematics Subject Classification. Primary 13P10; Secondary 13C40, 13D02.
Key words and phrases. Gröbner basis, Betti numbers, determinantal ideals, completely
irreducible systems.
The first author thanks UGC for the Senior Research Fellowship.
The second author is the corresponding author, who is supported by the the research
project EMR/2015/000776 sponsored by the SERB, Government of India.
The third author thanks CSIR for the Senior Research Fellowship.
1

2

JOYDIP SAHA, INDRANATH SENGUPTA, AND GAURAB TRIPATHI

special in the sense that they occur in several geometric considerations like
linkage and generic residual intersection of polynomial ideals, especially
in the context of syzygies; see [13], [1], [3], [2], [12]. Some important
classes of ideals in this category are the Northcott ideals, the Herzog ideals;
see Definition 3.4 in [1] and the deviation two Gorenstein ideals defined in
[9]. Northcott ideals were resolved by Northcott in [13]. Herzog gave a
resolution of a special case of the Herzog ideals in [8]. These results were
extended in [3]. In a similar vein, Bruns-Kustin-Miller [2] resolved the
ideal I1 (XY ) + Imin(m,n) (X), where X is a generic m × n matrix and Y is
a generic n × 1 matrix. Johnson-McLoud [12] proved certain properties for
the ideals of the form I1 (XY ) + I2 (X), where X is a generic symmetric
matrix and Y is either generic or generic alternating. One of the recent
articles is [10] which shows connection of ideals of this form with the ideal
of the dual of the quotient bundle on the Grassmannian G(2, n).
Ideals of the form I + J also appear naturally in the study of some natural class of curves; see [7]. While computing Betti numbers for such ideals,
a useful technique is often the iterated Mapping Cone. This technique requires a good understanding of successive colon ideals between I and J,
which is often difficult to compute. It is helpful if Gröbner bases for I and
J are known.
In this paper our aim is to produce some suitable Gröbner bases for ideals
of the form I1 (XY ), when Y is a generic column matrix and X is one of
the following:
(1) X is a generic square matrix;
(2) X is a generic symmetric matrix;
(3) X is a generic matrix with one extra row;
(4) X is an (m × mn) generic matrix and Y is an (mn × n) generic
matrix.
Our method is constructive and it would exhibit that the first two cases
behave similarly. Newly constructed Gröbner bases will be used to compute
the Betti numbers of I1 (XY ). We will see that computing Betti numbers for
I1 (XY ) in the first two cases is not difficult, while the last two cases are not
so straightforward. We will use some results from [14] and [15] which have
some more deep consequences of the Gröbner basis computation carried
out in this paper.
2. D EFINING

THE PROBLEMS

Let K be a field and {xij ; 1 ≤ i ≤ n + 1, 1 ≤ j ≤ n}, {yj ; 1 ≤
j ≤ n} be indeterminates over K. Let R = K[xij , yj | 1 ≤ i, j ≤ n],
b = K[xij , yj | 1 ≤ i ≤ n + 1, 1 ≤ j ≤ n] denote polynomial K-algebras.
R

IDEALS OF THE FORM I1 (XY )

3

Let X = (xij )n×n , such that X is either generic or generic symmetric.
b = (xij )(n+1)×n and Y = (yj )n×1 be generic matrices. We define
Let X
b ).
I = I1 (XY ) and J = I1 (XY
P
Let gi = nj=1 xij yj , for 1 ≤ i ≤ n. Then, I = hg1 , . . . , gn i. Let us
choose the lexicographic monomial order on R given by
(1) x11 > x22 > · · · > xnn ;
(2) xij , yj < xnn for every 1 ≤ i 6= j ≤ n.
It is not hard to prove (Lemma 4.3 and Theorem 6.1) that the set {g1 , . . . , gn }
form a Gröbner basis for I with respect to the above monomial order and
they form a regular sequence as well. However, this Gröbner basis is not
useful for practical purposes. This paper is devoted to the construction of
a different Gröbner basis for I; see Theorem 4.1. Our construction of a
Gröbner basis for I gives rise to a bigger picture and naturally generalizes
b ). As an application, we comto a Gröbner basis for the ideal J = I1 (XY
pute the Betti numbers for the ideals I and J ; see section 6.
The arrangement of this paper is the following:
(i) To find Gröbner bases for I and J with respect to a chosen monomial order; in sections 4 and 5.
(ii) To find the Betti numbers of I and J ; in section 6.

Remark 2.1. Before we proceed a few comments are in order. The ideals
I and J are not prime ideals; see [14]. We have used this Gröbner basis
structure and the results in [6] to compute primary decompositions for I
and J in [14]. We will see that the Betti numbers of the ideal I can be
derived easily. However, computing the Betti numbers for J is not at all
easy, where we need detailed information about the ideal hg1 , · · · , gn , ∆i,
where ∆ = det(X). We need the fact that this ideal is a prime ideal, which
has been proved in Theorem 5.4 in [14]. We also need a minimal free resolution for this ideal, which has been proved below in Lemma 6.9. We came
to know much later that hg1 , · · · , gn , ∆i was defined in [13]. It is known
as the generic Northcott ideal and a minimal free resolution can be found
in [13]. However, we give a different proof here using our Gröbner basis
computation, which also shows the linking of nested complete intersection
ideals. Moreover, Northcott’s resolution can perhaps be used to prove that
hg1, · · · , gn , ∆i is a prime ideal, although our proof in [14] is absolutely
different and uses the result in [6].
3. N OTATION
(i) Ck := {a = (a1 , · · · , ak ) | 1 ≤ a1 < · · · < ak ≤ n}; denotes
the collection of all ordered k-tuples from {1, · · · , n}. In case of

4

JOYDIP SAHA, INDRANATH SENGUPTA, AND GAURAB TRIPATHI

b ), the set Ck would denote the collection of all ordered
J = I1 (XY
k-tuples (a1 , · · · , ak ) from {1, · · · , n + 1}.
(ii) Given a = (a1 , . . . , ak ) ∈ Ck ;
• X a = [a1 , · · · , ak |1, 2, . . . , k] denotes the k × k minor of the
matrix X, with a1 , . . . , ak as rows and 1, . . . , k as columns.
b a = [a1 , · · · , ak |1, . . . , k] denotes the k × k miSimilarly, X
b with a1 , . . . , ak as rows and 1, . . . , k as
nor of the matrix X,
columns.
• Sk := {X a : a ∈ Ck } and Ik denotes the ideal generated by Sk
b
in the polynomial ring R (respectively R);
a,m
• X
:= [a1 , · · · , ak |1, · · · , k − 1, m]; if m ≥ k;
P
a,m
fa = P
• X
ym ;
m≥k [a1 , · · · , ak |1, · · · , k−1, m]ym =
m≥k X
fa : X a ∈ Sk } and Iek denotes the ideal generated by
• Sek := {X
b
Sek in the polynomial ring R (respectively R);
• Gk = ∪i≥k Sei ;
• G = ∪k≥1 Gk
• Xra := [a1 , a2 , · · ·n, aˆr , ar+1 · · · , ak |1,
o 2, · · · , k − 1], if k ≥ 2.
(iii) Suppose that Ck = a1 < . . . < a(n) , where < is the lexicok
graphic ordering on Ck . Given m ≥ k, the map

 
n
a n ,m o
n
a1 ,m
(
)
σm : X
,...,X k
→ 1, · · · ,
k
is given by σm (X ai,m ) = i. This is a bijective map. The map σ
k
will be denoted by σ, which is the bijection from Sk to {1, · · · , nk }
given by σ(X ai ) = σk (X ai,k ) = i.
4. G R ÖBNER

BASIS FOR

I

We first construct a Gröbner basis for the ideal I. A similar computation works for computing a Gröbner basis for the ideal J , which will be
discussed in the next section. Our aim in this section is to prove
Theorem 4.1. The set Gk is a reduced Gröbner Basis for the ideal Iek , with
respect to the monomial order y1 > y2 > · · · > yn > x11 > x12 >
· · · xn,(n−1) > xnn on R, in other words y1 > y2 > · · · > yn > xij for all
i, j, such that xij > xi′ j ′ if i < i′ or if i = i′ and j < j ′ . In particular,
G = G1 is a reduced Gröbner Basis for the ideal Ie1 = I.
e a, X
eb ∈
We first write down the main steps involved in the proof. Let X
Gk = ∪i≥k Sei . Then, either X a , X b ∈ Sk or X a ∈ Sk , X b ∈ Sk′ , for

IDEALS OF THE FORM I1 (XY )

5

e a, X
e b ) →G 0 and use Buchberger’s
k ′ > k. Our aim is to show that S(X
k
criterion.
(A) By Lemma 4.2, we have S(X a , X b ) −→Sk 0. We write ma X a +
P(nk)
mb X b = S(X a , X b ) = t=1
αt X at −→Sk 0, such that X ai = X a
and X aj = X b , for some i and j. Therefore, by Schreyer’s theorem
the tuples (α1 , . . . , αi −ma , . . . , αj −mb , . . . , αr ) generate Syz(Ik ).
(B) Syz(Ik ) is precisely known by [5].
P nk)
e a, X
e b ) −→ e S(X
e a, X
e b ) − (t=1
e at by Lemma 4.8, if
(C) S(X
αt X
a

b

Sk

X , X ∈ Sk and by Lemma 4.10, if X a ∈ Sk , X b ∈ Sk′ , for
k ′ > k.
n
e a, X
e b ) − P(k ) αt X
e at = s ∈ Iek+1 , by Lemma 4.8, if X a , X b ∈
(D) S(X
t=1
Sk .
P nk)
e at = s ∈ Iek′ +1 , by Lemma 4.10, if X a ∈
e a, X
e b ) − (t=1
αt X
(E) S(X
′
b
Sk , X ∈ Sk′ , for k > k.
(F) s −→Gk 0, proved in Theorem 4.1 for both the cases.

We first prove a number of Lemmas to complete the proof through the
steps mentioned above.
Lemma 4.2. The set Sk forms a Gröbner basis of Ik with respect to the
chosen monomial order on R.
Proof. We use Buchberger’s criterion for the proof. Let c, d ∈ Sk . Suppose
P
Sk
r. Then, S(X c , X d ) − ai ∈Ci hi X ai = r.
that S(X c , X d ) −→

If X is generic (respectively generic symmetric), we know by [16] (respectively by [4]) that the set of all k × k minors of the matrix X forms
a Gröbner basis for the ideal Ik (X), with respect to the chosen monomial
order. Therefore, there exists [a1 , a2 , · · · , ak | b1 , b2 , · · · , bk ], such that its
Q
leading term ki=1 xai bi divides Lt(r). We see that if bk = k, the minor belongs to the set Sk and we are done. Let us now consider the case bk ≥ k+1.

Let X be generic symmetric. Then, ak = k and bk ≥ k + 1 imply that the
minor belongs to the set Sk . If ak , bk ≥ k + 1, then xak bk | Lt(r) but xak bk
doesn’t divide any term of elements in Sk .
Let X be generic. Then, for any ak and under the condition bk ≥ k + 1,
then xak bk | Lt(r) but xak bk doesn’t divide any term of elements in Sk . 
Lemma 4.3. Let h1 , h2 · · · , hn ∈ R be such that with respect to a suitable
monomial order on R, the leading terms of them are mutually coprime.
Then, h1 , h2 · · · , hn is a regular sequence in R.

6

JOYDIP SAHA, INDRANATH SENGUPTA, AND GAURAB TRIPATHI

Proof. . The element h1 is a regular element in R, since R is a domain and
h1 6= 0. By induction we assume that for k ≤ n − 1, {h1 , h2 · · · , hk } forms
a regular sequence in R. We note that the set {h1 , h2 · · · , hk } is a Gröbner
basis for the ideal J, since gcd(Lt(hi ), Lt(hj )) = 1 for every i 6= j. Let
ghk+1 ∈ J = hh1 , h2 · · · , hk i. Then Lt(g)Lt(hk+1 ) must be divisible by
Lt(hi ) for some 1 ≤ i ≤ k. But, gcd(Lt(hi ), Lt(hk+1 )) = 1, and hence
Lt(g)
Lt(hi ) divides Lt(g). Let r = g −
hi . If r = 0, then g ∈ J. If r 6= 0,
Lt(hi )
then Lt(r) < Lt(g) and rhk+1 ∈ J. We follow the same argument with
rhk+1.

Lemma 4.4. Let 1 ≤ k ≤ n. The height of the ideal Ik is n − k + 1, in case
of X.
Proof. . Let us consider the case for X. We know that ht(Ik ) ≤ n − k + 1.
It suffices to find a regular sequence of that length in the ideal Ik . We claim
that {[1 · · · k|1 · · · k], [2 · · · k +1|1 · · · k], . . . , [n−k +1 · · · n|1 · · · k]} forms
a regular sequence. The leading term of [a1 , a2 , · · · , ak | b1 , b2 , · · · , bk ]
Q
with respect to the chosen monomial order is ki=1 xai bi . Therefore, leading
terms of the above minors are mutually coprime and we are done by Lemma
4.3.

Remark 4.5. We now assume that X = (xij ) is a generic n × n matrix. The
proof for the symmetric case is exactly the same.
Description of generators of Syz(Ik ). By Lemma 4.4 we conclude that a
minimal free resolution of the ideal Ik is given by the Eagon-Northcott complex. Let us describe the first syzygies of the Eagon-Northcott resolution of
Ik .
Let a = (a1 , . . . , ak+1) ∈ Ck+1 . For 1 ≤ r ≤ k + 1, we define Xra =
[a1 , . . . , aˆr , . . . , ak+1 |1, . . . , k]. Hence Xra ∈ Sk . We define the map φ as
follows.
n
φ
{1, 2, · · · , k} × C
−→ R(k )
k+1

(j, a)

such that α(i) =

(
(−1)ri +1 x(ari , j)
0

7→

α

if i = σ(Xrai ) for some ri ;
otherwise.


The map σ is the bijection from Sk to {1, 2, · · · , nk }, defined before. The
image of φ gives a complete list of generators of Syz(Ik ).

IDEALS OF THE FORM I1 (XY )

7

Example 4.6. We give
 an example, by taking k = 3 and n = 5. Let
5
σ : S5 −→ {1, · · · 3 } be defined by,
•
•
•
•
•
•
•
•
•
•

[1, 2, 3 | 1, 2, 3] 7→ 1
[1, 2, 4 | 1, 2, 3] 7→ 2
[1, 2, 5 | 1, 2, 3] 7→ 3
[1, 3, 4 | 1, 2, 3] 7→ 4
[1, 3, 5 | 1, 2, 3] 7→ 5
[1, 4, 5 | 1, 2, 3] 7→ 6
[2, 3, 4 | 1, 2, 3] 7→ 7
[2, 3, 5 | 1, 2, 3] 7→ 8
[2, 4, 5 | 1, 2, 3] 7→ 9
[3, 4, 5 | 1, 2, 3] 7→ 10

5
In our example, φ : {1, · · · 3} × C4 −→ R(3) and φ(j, a) 7→ α. Let j = 2
and a = (1, 3, 4, 5). Then, X1a = [3, 4, 5 | 1, 2, 3], X2a = [1, 4, 5 | 1, 2, 3],
X3a = [1, 3, 5 | 1, 2, 3], X4a = [1, 3, 4 | 1, 2, 3]. Therefore, σ(X1a ) = 10,
σ(X2a ) = 6, σ(X3a ) = 5, σ(X4a ) = 4. Similarly, α(4) = (−1)4+1 x52 =
−x52 , α(5) = (−1)3+1 x42 = x42 , α(6) = (−1)2+1 x32 = −x32 , α(10) =
(−1)1+1 x12 = x12 . Therefore, α = (0, 0, 0, −x52 , x42 , −x32 , 0, 0, 0, x12 ).

n
a n o
a1
Lemma 4.7. Let 1 ≤ k ≤ n − 1 and Sk = X , . . . , X (k ) , such that
a1 < . . . < a(n) with respect to the lexocigraphic ordering. Suppose that
k
P(nk) g
P(nk)
αi X a i ∈
αi X ai = 0 and i=1
α = (α1 , · · · , α(n) ) ∈ Syz1 (Ik ) then i=1
k
Iek+1.
e ai =
Proof. We have X
(nk)
X
i=1

e ai =
αi X

P

X
i

m≥k

αi (

−1
(i)ym . Therefore
σm

X

−1
(i)ym ) =
σm

m≥k

X X
−1
(
αi σm
(i)ym ).

m≥k

i

P
−1
It is enough to show that i αi σm
(i)ym ∈ Iek+1 , for every m ≥ k. We
have α ∈ Syz(Ik ) = hIm(φ)i. Without loss of generality we may assume that α ∈ Im(φ). There exists (j, ak+1 ) ∈ {1, 2, · · · k} × Ck+1 such
−1
that φ(j, ak+1 ) = α. We will show that αi · σm
(i) ∈ Ik+1 for every
ak+1
−1
(i) =
m ≥ k and each i. We have i = σ(Xri ) since αi 6= 0. But σm
[a1 , . . . , aˆri , . . . , ak+1 |1, . . . , k − 1, m]. We have
[a1 , . . . , ak+1 |j, 1, . . . , k − 1, m] = 0

for j ≤ k − 1 and

[a1 , . . . , ak+1 |k, 1, . . . , k −1, m] = (−1)k [a1 , . . . , ak+1 |1, . . . , k, m] ∈ Ik+1 .

8

JOYDIP SAHA, INDRANATH SENGUPTA, AND GAURAB TRIPATHI

Therefore,
(nk)
X

−1
αi · σm
(i) =

i=1

(nk)
X

(−1)ri +1 x(ari , j)[a1 , . . . , aˆri , . . . , ak+1 |1, . . . , k − 1, m]

i=1

= [a1 , . . . , ak+1 |j, 1, . . . , k − 1, m] ∈ Ik+1 ;

Hence,
(nk)
X
i=1

ai =
g
αi X

(nk)
X

k
−1
αi ·σ^
m (i) = (−1)

i=1

(nk)
X
i=1

[a1 , . . . , ak+1 |1, . . . , k, m]ym ∈ Iek+1 .



n
a n o
Lemma 4.8. Let X ai , X aj ∈ Sk = X a1 , . . . , X (k ) , for i 6= j. Then, we
have monomials ht in R and a polynomial r ∈ Iek+1 such that
P(nk)
(i) S(X ai , X aj ) = t=1
ht X at , upon division by Sk ;
n
P
e ai , X
e aj ) = (k ) ht X
e at + r, upon division by Sek .
(ii) S(X
t=1

Proof. (i) The expression follows from the observation that Sk is a Gröbner
basis for the ideal Ik .
e at ) = Lt(X at )yk , for every X at ∈ Sk . Let
(ii) We first note that, Lt(X
lcm(Lt(X ai ), Lt(X aj ))
and d =
S(X ai , X aj ) = cX ai − dX aj , where c =
ai
X
lcm(Lt(X ai ), Lt(X aj ))
X aj
Hence,
e ai , X
e aj ) = c · X
e ai − d · X
e ai
S(X
X
[c · X ai,m − d · X aj ,m ] ym .
=
m≥k

e ai , X
e aj )) = yk Lt(S(X ai , X aj )).
It follows immediately that Lt(S(X

The set Sk is a Gröbner basis for the ideal Ik . Therefore, we have Lt(X at ) |
e at ) | Lt(S(X
e ai , X
e aj )) and we
Lt(S(X ai , X aj )), for some t. Then, Lt(X
e ai , X
e aj ))
Lt(S(X ai , X aj ))
Lt(S(X
have ht =
. We can write
=
e at )
Lt(X at )
Lt(X

e ai , X
e aj ) − ht X
e at
r1 := S(X
X
[c · X ai ,m − d · X aj ,m − ht X at ,m ]ym
=
m≥k

=

X

m>k

[c · X ai ,m − d · X aj ,m − ht X at ,m ]ym + [c · X ai − d · X aj − ht X at ]yk

IDEALS OF THE FORM I1 (XY )

9

e ai , X
e aj )−ht X
e at ) = yk Lt(S(X ai , X aj )−
Note that r1 ∈ Iek and Lt(r1 ) = Lt(S(X
ht X at ). We proceed as before with the polynomial S(X ai , X aj ) − ht X at ∈
Ik and continue the process to obtain the desired expression involving the
polynomial r.
We now show that the polynomial r is in the ideal Iek+1 . Let us write Hj =
hj +d, Hi = hi −c and Ht = ht for t 6= i, j. It follows from S(X ai , X aj ) =
P(nk)
P(nk)
at
at
h
X
,
that
= 0. Therefore, H = (H1 , . . . , H(n) ) ∈
t
t=1
t=1 Ht X
k
P(nk)
at
e
e
Syz(Ik ) and by Lemma 4.7 we have t=1 Ht X ∈ Ik+1 . Hence, r =
e ai , X
e aj ) − P
e at ∈ Iek+1 .
S(X
ht X

t6=i,j

′

Lemma 4.9. P (i) Let k > k and a = (a1 , . . . , ak′ ) ∈ Ck′ . Suppose that
X a = bt ∈Ck βbt X bt is the Laplace expansion of X a . Then
X
′
βbt X bt ,i = [a1 , . . . , ak′ |1, . . . , k − 1, i, k + 1, . . . , k ].
bt ∈Ck

′

(ii) Let k > k; a = (a
P1 , . . . , ak′ )p ∈ Ck′ , ba = b(b1 , . . . , bak ) ∈ bCk .
a
Suppose that X = p∈Ck αp X and S(X , X ) = cX −dX =
P
p
p∈Ck βp X . Then
X
X
′
e p ∈ Iek+1 .
e b−
βp X
c
[a1 , · · · , ak′ |1, · · · , k−1, t, k+1, · · · , k ]yt −dX
p∈Ck

t≥k

Proof. (i) See [11].

P
(ii) We have S(X a , X b ) = cX a − dX b = p∈Ck βp X p . By rearranging
P
terms we get p∈Ck (cαp − βp )X p − dX b = 0 and by separating out the
P
term (cαb − βb )X b we get p6=b (cαp − βp )X p + (cαb − βb − d)X b = 0.
P
e p +(cαb −βb −d)X
e b ∈ Iek+1 , by Lemma 4.7.
Therefore, p6=b (cαp −βp )X
P P
P
Hence t≥k p6=b (cαp −βp )X p,t yt + (cαb −βb −d) t≥k X b,t yt ∈ Iek+1.
P P
P
p,t
′
Now
=
t≥k
p∈Ck αp X
t≥k [a1 , · · · , ak |1, · · · , k − 1, t, k +
′
1, · · · , k ] by (i). Hence,
X
X
′
e p ∈ Iek+1 .
e b−
βp X
[a1 , · · · , ak′ |1, · · · , k−1, t, k+1, · · · , k ]yt −dX
c
p∈Ck

t≥k

′

Lemma 4.10. Let k n> k; a = (a1 , . . .o, ak′ ) ∈ Ck′ , b = (b1 , . . . , bk ) ∈ Ck .
a n
Suppose that Sk = X a1 , . . . , X (k ) , such that a1 < . . . < a(n) with
k
respect to the lexocigraphic ordering. Then, there exist monomials ht ∈ R
and a polynomial r ∈ Iek+1 such that



10

JOYDIP SAHA, INDRANATH SENGUPTA, AND GAURAB TRIPATHI

P(nk)
(i) S(X a , X b ) = t=1
ht X at , upon division by Sk .
Pn
e a, X
e b ) = (k ) (ht X
e at )yk′ + r, upon division by Sek .
(ii) S(X
t=1

Proof. (i) The expression follows from the observation that Sk is a Gröbner
basis for the ideal Ik .
(ii) Let S(X a , X b ) = cX a − dX b , where c =
d=

lcm(Lt(X a ), Lt(X b ))
. Then,
Xb

lcm(Lt(X a ), Lt(X b ))
and
Xa

eb
e a, X
e b ) = cyk X
e a − dy ′ X
S(X
k
X
X
X b,t yt
X a,tyt − dyk′
= cyk
t≥k

t≥k ′

a

b

= yk yk′ (cX − dX ) + terms devoid of yk .
e a, X
e b )) = yk y ′ Lt(S(X a , X b )), since yk is the
We therefore have Lt(S(X
k
largest variable appearing in the above expression. The set Sk being a
Gröbner basis for the ideal Ik , we have Lt(X at ) dividing Lt(S(X ai , X aj ))
Lt(cX a − dX b)
, which is a monomial. Moreover,
for some t. Let ht =
Lt(X at )
e at ) being equal to yk Lt(X at ), it divides Lt(S(X
e a, X
e b )). Let
Lt(X
e a, X
e b) −
r1 := S(X

We have

e a, X
e b ))
Lt(S(X
e at = S(X
e at ∈ Iek .
e a, X
e b ) − y ′ ht X
X
k
a
e
t
Lt(X )

e at + terms devoid of yk
r1 = yk yk′ (cX a − dX b ) − yk′ ht X
X
X at ,i yi + terms devoid of yk
= yk yk′ (cX a − dX b ) − yk′ ht
i≥k

= yk yk′ (cX a − dX b − ht X at ) + terms devoid of yk

= yk yk′ (S(X a , X b ) − ht X at ) + terms devoid of yk
Hence, Lt(r1 ) = Lt(S(X a , X b ) − ht X at ) = yk yk′ Lt(S(X a , X b ) − ht X at ).
We proceed as before with the polynomial S(X a , X b) − ht X at ∈ Ik and
continue the process to obtain the desired expression involving the polynomial r.

IDEALS OF THE FORM I1 (XY )

11

We now show that the polynomial r is in the ideal Iek+1. Let us write

e a, X
e b) −
r = S(X
= cyk

X
l≥k

(nk)
X
t=1

e at )yk′
(ht X

X a,l yl − dyk′

′

X

X b,l yl −

ht X at ,l yl yk′ + T − T ;

t=1 l≥k

l≥k

P

(nk) X
X

′

where T = c l≥k [a1 , . . . , ak′ | 1, . . . , k − 1, l, k + 1, . . . , k ]yl yk′ . After a
rearrangement of terms, we may write


n
(
k)
X
XX


X b,l yl 
r = T −
ht X at ,l yl yk′ − dyk′
t=1 l≥k



′

Let T = c

P

+ cyk

X
l≥k ′

l≥k



X a,l yl  − T
′

| 1, . . . , k − 1, l, k + 1, . . . , k ]yl yk′ . Now we
n
P
P(nk) P
)
(
k
at ,l
note, cX a − dX b − t=1
ht X at = 0. Hence T − t=1
yl yk ′ −
l≥k ht X
n P
P
P
P
′
(k)
at ,l
b,l
′ −dy ′
dyk′ l≥k X b,l yl becomes equal to T − t=1
h
X
y
y
t
l
k
k
l>k
l>k X yl .
l>k [a1 , . . . , ak

′

P
P
′
We also have cyk l≥k′ X a,l yl − T = cyk l>k′ X a,l yl − T , since the
P
′
term for l = k in cyk l≥k′ X a,l yl gets cancelled with the term appearing
in T for l = k. Hence we write


n
(
k)
X

 ′ XX
X b,l yl 
ht X at ,l yl yk′ − dyk′
r = T −
t=1 l>k



+ cyk

X
l>k

′

l>k



X a,l yl  − T

= ( )1 + ( )2 − T

1

′

2

′

Clearly,the expression ( )1 belongs to Iek+1 , by Lemma 4.9. We note that
′
no term of ( )1 contains yk . So also for T . Hence, the leading term of r is
the leading term of ( )2 . By an application of similar argument as above we

12

JOYDIP SAHA, INDRANATH SENGUPTA, AND GAURAB TRIPATHI

see that the expression ( )2 , after division by elements of Sek , further reduces
to


XX
c[a1 , . . . , ak′ |1, . . . , k − 1, s, k + 1, . . . , k ′ − 1, l]yl ys 
−
l>k ′ s≥k ′



XX
c[a1 , . . . , ak′ |1, . . . , k − 1, s, k + 1, . . . , k ′ − 1, l]yl ys 
−

=

l>k ′ s>k ′



X
′
c[a1 , . . . , ak′ |1, . . . , k − 1, k , k + 1, . . . , k ′ − 1, l]yl yk′  .
−
l>k ′

Moreover,
X
′
c[a1 , . . . , ak′ |1, . . . , k − 1, k , k + 1, . . . , k ′ − 1, l]yl yk′ + T ′ = 0
l>k ′

and

XX

c[a1 , . . . , ak′ |1, . . . , k − 1, s, k + 1, . . . , k ′ − 1, l]yl yk′ = 0.

l>k ′ s>k ′

Therefore, after division by elements of Sek , the expression ( )1 + ( )2 − T ′
reduces to ( )1 , which is in Iek+1 .


Proof of Theorem 4.1. We use induction on n − k to prove that Gk is
a Gröbner basis for the ideal Iek . For n − k = 0; the set Gk = Sen contains only one element and hence trivially forms a Gröbner basis. We apply
Buchberger’s algorithm to prove our conjecture. Let X a , X b ∈ Gk . The
following cases may arise:
• X a , X b ∈ Sk , for a, b ∈ Ck ;
• X a ∈ Sk′ and X b ∈ Sk where k ′ > k; a ∈ Ck′ and b ∈ Ck .
We have proved in Lemmas 4.8 and 4.10 that upon division by Sek , the Se a, X
e b ) −→ r for some r ∈ Iek+1 , in both the cases. By
polynomial S(X
induction hypothesis, Gk+1 is a Gröbner basis for Iek+1 . Hence r reduces to
0 modulo Gk+1 and hence modulo Gk , since Gk+1 ⊂ Gk .

We now show that Gk is a reduced Gröbner basis for Iek . Let X a ∈
b
ea =
′
∈ Sk wherePk ′ ≥ k; a ∈ Ck′ and b ∈ Ck . Then, X
S
Pk and X
a,i
b,i
eb
e a ) but does
yi . If k ′ > k, then yk′ |Lt(X
i≥k ′ X yi and X =
i≥k X
e b ). Hence, Lt(X
e a ) does not divide Lt(X
e b ). If k ′ = k, then
not divide Lt(X
e a ) = x(a ,1) · · · x(a ,k) yk and Lt(X
e b ) = x(b ,1) · · · x(b ,k) yk . Therefore,
Lt(X
1
1
k
k

IDEALS OF THE FORM I1 (XY )

13

e a |X
e b implies that a = b. This proves that the Gröbner basis is reduced.
X

5. G R ÖBNER

BASIS FOR

J

Theorem 5.1. Let us consider the lexicographic monomial order given by
y1 > y2 > · · · > yn > x11 > x12 > · · · x(n+1),(n−1) > x(n+1),n on
b = K[xij , yj | 1 ≤ i ≤ n + 1, 1 ≤ j ≤ n]. The set Gk is a reduced
R
Gröbner Basis for the ideal Iek , with respect to the monomial order defined
b In particular, G = G1 is a reduced Gröbner Basis for the ideal
above on R.
Ie1 = J .

Proof. The scheme of the proof is the same as that for I, with suitable
b in the Lemmas. We only reiterate the last part of the
changes made for X
proof where we carry out induction on n − k. For n − k = 0, the set
bi ). We first note that
Gk = Sen = {∆1 yn , . . . , ∆n+1 yn }, where ∆i = det(X
Lt(∆i ) and Lt(∆j ) are coprime. Therefore,
S(∆i yn , ∆j yn ) =
=
=
=
=

Lt(∆j ) · (∆i yn ) − Lt(∆i ) · (∆j yn )
Lt(∆j )(Lt(∆i )yn + yn pi ) − Lt(∆i )(Lt(∆j )yn − yn pj )
(Lt(∆j )yn )pi − (Lt(∆i )yn )pj
(∆j yn − pj yn )pi − (∆i yn − pi yn )pj
∆j yn pi − ∆i yn pj −→Gn 0.

The rest of the proof is essentially the same as that for Theorem 4.1.



b ), if X
b = (xij )m×n , with
Remark 5.2. A similar statement holds for I1 (XY
m ≥ n + 1.
6. B ETTI N UMBERS

OF

I

AND

J

Theorem 6.1. Suppose that X = (xij )n×n is either a generic or a generic
symmetric n × n matrix and Y a generic
P n × 1 matrix given by Y =
(yj )n×1 . If X is generic, we write gi = nj=1 xij yj and I = I1 (XY ) =
Pn
hg1, g2 , · · · , gn i. If X is generic symmetric, we write g1 =
j=1 x1j yj ,
P
P
P
gn = ( 1≤k≤n xkn yk ) and gi = ( 1≤k<i xki yk ) + ( i≤k≤n xik yk ) for
1 < i < n and I = I1 (XY ) = hg1 , · · · , gn i. The generators g1 , . . . , gn
of I = I1 (XY ) in either case form a regular sequence in the polynomial
K-algebra R = K[xij , yj | 1 ≤ i, j ≤ n]. Moreover, {g1 , . . . , gn } form a
Gröbner basis for I in either case with respect to the lexicographic monomial order which satisfies
(1) x11 > x22 > · · · > xnn ;
(2) xij , yj < xnn for every 1 ≤ i 6= j ≤ n.

14

JOYDIP SAHA, INDRANATH SENGUPTA, AND GAURAB TRIPATHI

Proof. The proof follows from Lemma 4.3.



Corollary 6.2. I is minimally
 resolved by the Koszul complex G and the
i-th Betti number of I is ni .

b = (xij )(n+1)×n is a generic (n+1)×n matrix
Theorem 6.3. Suppose that X
P
and Y a generic n × 1 matrix given by Y = (yj )n×1 . Let gi = n+1
j=1 xij yj
b ) = hg1 , · · · , gn+1 i. The total Betti numbers of the ideal
and J = I1 (XY



n
n
J are β0 = 1, β1 = n + 1, βn+1 = n, βk+1 = nk + k−1
+ k+1
for
1 ≤ k < n.
We first discuss the scheme of the proof below. We will use the following
observations to compute the total Betti numbers of J .
Step 1. The minimal graded free resolution of I = hg1, · · · , gn i is given by
the Koszul Resolution.
Step 2. We prove that hg1 , · · · , gn : gn+1 i = hg1 , · · · , gn , ∆i; where ∆ =
det(X). This proof requires the fact that hg1 , · · · , gn , ∆i is a prime
ideal, which has been proved in Theorem 5.4 in [14].
Step 3. We prove that hg1 , · · · gn : ∆i = hy1 , y2, · · · , yn i.
Step 4. We construct a graded free resolution of hg1 , · · · , gn , ∆i using mapping cone between resolutions of hg1 , · · · , gn i and hy1 , · · · , yn i. We
extract a minimal free resolution from this resolution.
Step 5. Finally, we construct a graded free resolution of hg1 , · · · , gn , gn+1 i
using mapping cone between free resolutions of hg1, · · · , gn , ∆i and
hg1 , · · · , gn i. We extract a minimal free resolution from this resolution.
Lemma 6.4. ∆yi =
Proof. We have
∆yi =

n
X

Aji xji yi =

j=1

since

Pn

Pn

j=1 Aji

P

j=1

n
X
j=1

Aji gj , where Aji is the cofactor of xji in X.

Aji

n
X
k=1

xjk yk

!

n
X
X
−
Aji
xjk yk
j=1

k6=i


 P P
n
A
x
yk = 0.
x
y
=
ji
jk
jk
k
j=1
k6=i
k6=i

!

=

n
X

Aji gj ,

j=1



Lemma 6.5. hg1 , · · · , gn , ∆i ⊆ hg1 , · · · , gn : gn+1 i.

Proof. We have gi ∈ hg1 , · · · , gn : gn+1 i, for every 1 ≤ i ≤ n. Moreover,
yi ∆ ∈ hg1 , · · · , gn i, by Lemma 6.4. Hence, gn+1 ∆ ∈ hg1 , · · · , gn i.

Lemma 6.6. hg1 , · · · , gn : gn+1 i = hg1, · · · , gn , ∆i

IDEALS OF THE FORM I1 (XY )

15

Proof. We have proved that hg1 , · · · , gn , ∆i ⊆ hg1 , · · · , gn : gn+1i in Lemma
6.5. We now prove that hg1 , · · · , gn : gn+1 i ⊆ hg1 , · · · , gn , ∆i. Let z ∈
hg1, · · · , gn : gn+1 i. Then zgn+1 ∈ hg1 , · · · , gn i ⊂ hg1 , · · · , gn , ∆i. It is
easy to see that gn+1 ∈
/ hg1 , · · · , gn , ∆i. Therefore, z ∈ hg1 , · · · , gn , ∆i,
since hg1 , · · · , gn , ∆i is a prime ideal by Theorem 5.4 in [14].

Lemma 6.7. hg1 , · · · , gn : ∆i = hy1 , · · · , yn i
Proof. We have yi ∆ ∈ hg1 , · · · , gn i by Lemma 6.4; which implies that
hy1, · · · , yn i ⊂ hg1 , · · · , gn : ∆i. Let z ∈ hg1 , · · · , gn : ∆i. Then
z∆ ∈ hg1 , · · · , gn i ⊆ hy1 , · · · , yn i. Therefore, z ∈ hy1 , · · · , yn i, since
∆∈
/ hy1, · · · , yn i and hy1 , · · · , yn i is a prime ideal.

Mapping Cones. The resolution for hy1, · · · , yn i is given by the Koszul
complex F . We now give a resolution of hg1 , · · · , gn , ∆i by the mapping
cone technique. We know that hg1 , · · · , gn : ∆i = hy1 , · · · , yn i, by Lemma
6.7. We first construct a connecting homomorphism φ : F −→ G . Let φ0
denote the multiplication by ∆. In order to make the map φ0 a degree zero
map, we set the grading as F0 ∼
= (R(−n))1 and G0 = (R(0))1 . Since F and
n
G are both Koszul resolutions, we set the grading as Gi ∼
= (R(−2i))( i ) and
n
Fi ∼
= (R(−n − i))( i ) . Now we see that, i 6= n implies that −2i 6= −n − i.
Hence the image of φi for i 6= n is contained in the maximal ideal. We
have Fi = Gi , only for i = n. If we can show that the map φn is not the
zero map, then this will be the only free part of the resolution which we can
cancel out for obtaining the minimal resolution.
Lemma 6.8. The map φn is not the zero map.
Proof. We refer to [7]. If φn is the zero map, then φ0 (R) ⊆ δ1 (G1 ), where
δ. denotes the differential of G. The image of δ1 is the ideal hg1 , · · · , gn i,
which does not contain φ0 (1) = ∆. Hence the map φn is not the zero
map.

Therefore, the above discussion proves the following Lemma.
Lemma 6.9. Hence a minimal graded free resolution of hg1 , · · · , gn , ∆i is
n
n
given by M , such that Mi ∼
= (R(−n − i + 1))(i−1) ⊕ (R(−2i))( i ) for
0 < i < n, M0 ∼
= (R(−2n))n .
= R(0) and Mn ∼
(Proof of Theorem 6.3.) We now find the Betti numbers for the ideal
hg1, · · · , gn+1i by constructing the mapping cone between the resolutions
M and the resolution G of hg1 , · · · , gn i. The connecting map ψ0 is multiplication by gn+1 . Hence to make it degree zero we set, G0 = (R(2))1
n
and Gi ∼
= (R(2 − 2i))( i ) for i > 0. Here we note that 2 − 2i 6= −2i and

16

JOYDIP SAHA, INDRANATH SENGUPTA, AND GAURAB TRIPATHI

−n − i + 1 6= 2 − 2i for 1 ≤ i ≤ n. Hence, for each 1 ≤ i ≤ n, the image
of ψi is contained in the maximal ideal. This shows that the resolution obtained by the mapping cone between M and G is minimal. Hence the total
Betti numbers of J are:
β0 = 1, β1 = n + 1;
βn+1 = n;

n
βk+1 = nk + k−1
+



n
k+1

for 1 ≤ k < n.



Corollary 6.10. The ring R/I is Cohen-Macaulay and the ring R̂/J is not
Cohen-Macaulay.
Proof. The polynomial ring R is Cohen-Macaulay and g1 , . . . , gn is a regular sequence therefore the ring R/I is Cohen-Macaulay.
b
We have seen that projdimRb R/J
= n + 1. Therefore, by the Auslanderb
= n(n + 1) + n − (n + 1) = n2 + n − 1.
Bauchsbaum formula depthRb R/J
We have proved in Lemma 5.5 in [14] that hy1, . . . , yn i is a minimal prime
b
b 1 , . . . , yn i = n2 + n; hence the
over J . Therefore, dimR/J
≥ dimR/hy
b
ring R/J
is not Cohen-Macaulay.

7. I1 (XY ),

WHERE

X

IS

m × mn GENERIC

MATRIX AND
GENERIC MATRIX

Y

IS

mn × n

Finally, we consider the case when X = (xij )m×mn is a generic matrix
of size m × mn and Y = (yij )mn×n is generic matrix of size mn
× n and
Pmn
entries are indeterminates. We define I = I1 (XY ). Let gij = t=1 xit ytj ,
for 1 ≤ i ≤ m, 1 ≤ i ≤ n. Then, I = h{gij : 1 ≤ i ≤ m, 1 ≤ i ≤ n}i.
In this section we construct a Gröbner basis for the ideal I with respect to
a suitable monomial order and use that to show that the generators gij ; 1 ≤
i ≤ m, 1 ≤ i ≤ n form a regular sequence. We first set a few notations
before we prove the main results.


x1(m(s−1)+1) · · · x1(ms)

.. 
..
..
• X = A1 · · · An , where As = 
.
.
.
xm(m(s−1)+1) · · · xm(ms)
is the m × m matrix for every 1 ≤ s ≤ n.


cs · · · An , for every 1 ≤ s ≤ n.
• [X]s = As A1 · · · A

IDEALS OF THE FORM I1 (XY )

17



y(m(s−1)+1)s
..


.




 y(ms)s 
• [Y ]s = 
, for every 1 ≤ s ≤ n.
y1s




.
..


y(mn)s

We will use Theorem 4.1 for constructing a Gröbner basis for the ideal
I. A very important reason behind considering this class of ideals is that
we get some nice examples of transversal intersection of ideals. Two results
that would be useful for our purpose are the following:
Lemma 7.1. Let > be a monomial ordering on R. Let I and J be ideals
in R, such that m(I) and m(J) denote unique minimal generating sets for
their leading ideals Lt(I) and Lt(J) respectively. Then, I ∩ J = IJ if the
set of variables occurring in the set m(I) is disjointed from the the set of
variables occurring in the set m(J).
Proof. See Lemma 3.6 in [15].



Lemma 7.2. Let I and J be graded ideals in a graded ring R, such that
I ∩ J = I · J. Suppose that F and G are minimal free resolutions of I
and J respectively. Then F ⊗ G is a minimal free resolution for the graded
ideal I + J.
Proof. See Lemma 3.7 in [15].



Theorem 7.3. Let us choose the lexicographic monomial order on R induced by y11 > y21 > · · · > y(mn)1 > y(m+1)2 > y(m+2)2 > · · · > y(2m)2 >
y12 > · · · y(mn)2 > · · · > y(m(n−1)+1)n > y(m(n−1)+2)n > · · · > y((mn)n >
y1n > · · · y(m(n−1))n > x11 > x12 > · · · > xm(mn) . Let Gs be the reduced Gröbner Basis of the ideal I1 ([X]s [Y ]s ) for 1 ≤ s ≤ n, obtained by
t
Theorem
Pt4.1. Then Gt = ∪s=1 Gs is a reduced Gröbner Basis for the ideal
Pt = s=1 I1 ([X]s [Y ]s ) for 1 ≤ t ≤ n. In particular, Gn is a reduced
Gröbner Basis for the ideal Pn = I = I1 (XY ).
P
Proof. We have Pt = ts=1 I1 ([X]s [Y ]s ), and we observe that if p ∈ Gs
and q ∈ Gt for 1 ≤ s < t ≤ n, then gcd(Lt(p), Lt(q)) = 1. Therefore the
S-polynomial of p, q reduces to zero after applying division upon Gt .

Pt
Theorem 7.4. Let us denote Pt = s=1 I1 ([X]s [Y ]s ), for 1 ≤ t ≤ n −
1.
Then Pt ∩ I1 ([X]t+1 [Y ]t+1 ) = Pt · I1 ([X]t+1 [Y ]t+1 ). Hence {gij =
Pmn
t=1 xit ytj : 1 ≤ i ≤ m, 1 ≤ i ≤ n} forms a regular sequence and the
Koszul complex resolves R/I as an R-module minimally.

18

JOYDIP SAHA, INDRANATH SENGUPTA, AND GAURAB TRIPATHI

Proof. If p ∈ Gs and q ∈ Gt , for 1 ≤ s < t ≤ n. Then gcd(Lt(p), Lt(q)) =
1, therefore by theorem 7.3 and lemma 7.1, we have Pt ∩I1 ([X]t+1 [Y ]t+1 ) =
Pt · I1 ([X]t+1 [Y ]t+1 ).
By Theorem 6.1 the generators of the ideal P1 form a regular sequence
and also generators of the ideal I1 ([X]s [Y ]s ) form a regular sequence for
each 1 ≤ s ≤ n. Hence Koszul complex resolve R/P1 and R/I1 ([X]s [Y ]s )
minimally. Now Pt ∩ I1 ([X]t+1 [Y ]t+1 ) = Pt · I1 ([X]t+1 [Y ]t+1 ). Hence, by
application of lemma7.1 we can conclude that the Koszul complex resolves
R/I minimaly.


R EFERENCES
[1] L.L. Avramov, A.R. Kustin, M. Miller, Poincaré Series of Modules over Local Rings
of Small Embedding Codepth or Small Linking number, Journal of Algebra 118
(1988) 162-204.
[2] W. Bruns, A.R. Kustin, M. Miller, The Resolution of the Generic Residual Intersection
of a Complete Intersection, Journal of Algebra 128 (1990) 214-239.
[3] D. Buchsbaum, D. Eisenbud, Generic Free Resolutions and a family of Generically
Perfect Ideals, Adv. in Math 18(1975), 245-301.
[4] A. Conca, Gröbner basis of Ideals of Minors of a Symmetric Matrix, Journal of Algebra 166(1994) 406-421.
[5] J. Eagon, D.G Northcott, Ideals defined by matrices and a certain complex associated
to them, Proc. Roy. Soc. Ser. A 269(A)(1962) 188204.
[6] M. Ferrero, Prime Ideals in Polynomial Rings in Several Indeterminates, Proceedings
of AMS 125(1)(1997) 67-74.
[7] P. Gimenez, I. Sengupta and H. Srinivasan, Minimal graded free resolution for monomial curves defined by arithmetic sequences, Journal of Algebra 388 (2013) 294-310.
[8] J. Herzog, Certain Complexes Associated to a Sequence and a Matrix, Manuscipta
Math. 12(1974) 217–248.
[9] C. Huneke, B. Ulrich, W. Vasconcelos, On the Structure of Gorenstein Ideals of Deviation Two, Results in Mathematics 29(1996) 90-99.
[10] N. Ilten, C. Turo, Unobstructed Stanley-Reisner degenerations for dual quotient bundles on G(2, n), Journal of Pure and Applied Algebra 221(2017) 119-134.
[11] M. Janjić, A proof of generalized Laplace’s Expansion Theorem, Bull. Soc. Math.
Banja Luka 15(2008) 5-7.
[12] M.R., Johnson, J. McLoud-Mann, On equations defining Veronese Rings, Arch.
Math. (Basel) 86(3)(2006) 205-210.
[13] D.G Northcott, A homological investigation of a certain residual ideal, Math. Ann.
150(1963) 99-110.
[14] J. Saha, I. Sengupta, G. Tripathi, Primary decomposition of certain Determinanatal
ideals, arXiv:1610.00926 [math.AC] 2017.
[15] J. Saha, I. Sengupta, G. Tripathi, Betti numbers of certain sum ideals,
arXiv:1611.04732 [math.AC] 2016.
[16] B. Sturmfels, Gröbner bases and Stanley decompositions of determinantal rings,
Math. Zeitschrift 205(1990) 137 - 144.

IDEALS OF THE FORM I1 (XY )

19

Department of Mathematics, RKM Vivekananda University, Belur Math, Howrah
711202, INDIA.
E-mail address: saha.joydip56@gmail.com

Discipline of Mathematics, IIT Gandhinagar, Palaj, Gandhinagar, Gujarat 382355,
INDIA.
E-mail address: indranathsg@iitgn.ac.in

Department of Mathematics, Jadavpur University, Kolkata, WB 700 032, INDIA.
E-mail address: gelatinx@gmail.com

