arXiv:1307.7381v2 [math.AC] 31 Jul 2013

KOSZUL PROPERTY OF DIAGONAL SUBALGEBRAS
NEERAJ KUMAR
A BSTRACT. Let S = K[x1 , . . . , xn ] be a polynomial ring over a field K and I
a homogeneous ideal in S generated by a regular sequence f1 , f2 , . . . , fk of homogeneous forms of degree d. We study a generalization of a result of Conca,
Herzog, Trung, and Valla [9] concerning Koszul property of the diagonal subalgebras associated to I. Each such subalgebra has the form K[(I e )ed+c ], where
c, e ∈ N. For k = 3, we extend [9, Corollary 6.10] by proving that K[(I e )ed+c ] is
Koszul as soon as c ≥ d2 and e > 0. We also extend [9, Corollary 6.10] in another
direction by replacing the polynomial ring with a Koszul ring.

1. I NTRODUCTION
Let S = K[x1 , . . . , xn ] be a polynomial ring over a field K and I a homogeneous
ideal in S. For large c, the algebra K[(I e )c ] is isomorphic to the coordinate ring
of some embedding of the blow up of Pn−1
along the ideal sheaf I˜ in a projective
K
space [9].
L
Let Rees(I) = j≥0 I j t j be the Rees algebra of I. Since the polynomial ring S[t]
is a bigraded algebra with S[t](i, j) = Sit j , we may consider Rees(I) as a bigraded
subalgebra of S[t] with Rees(I)(i, j) = (I j )it j .
Let c and e be positive integers. Let △ = {(cs, es) : s ∈ Z}. We call △ the
(c, e)-diagonal of Z2 [9]. Let R = ⊕(i, j)∈Z2 R(i, j) be a bigraded algebra, where
R(i, j) denotes the (i, j)-th bigraded component ofL
R. The (c, e)-diagonal subalgebra
of R is defined as the Z-graded algebra R△ = s∈Z R(cs,es) . Similarly, for every
bigraded
R-module M, one defines the (c, e)-diagonal submodule of M as M△ =
L
s∈Z M(cs,es) . Notice that M△ is a module over R△ .
When I is a homogeneous ideal in S generated by f1 , f2 , . . . , fk , of homogeneous forms of degree d, then Rees(I) is a standard bigraded algebra by setting deg xi = (1, 0) and deg f j t = (0, 1). We observe that K[(I e )ed+c ] is the (c, e)diagonal subalgebra of Rees(I). We may also view K[(I e )ed+c ] as a K-subalgebra
of S generated by the forms of degree ed + c in the ideal I e .
Given a field K, a positively graded K-algebra A = i∈N Ai with A0 = K is
Koszul if the field K, viewed as an A-module via the identification K = A/A+ , has
a linear free resolution. Koszul algebras were introduced by Priddy [15] in 1970.
During the last four decades Koszul algebra have been studied in various contexts.
Good survey on Koszul algebra is given by Fröberg in [12] during nineties and
recently by Conca, De Negri and Rossi in [10].
L

Key words: Koszul algebra, Diagonal subalgebra, Rees algebra, Complete intersection
2000 Mathematics Subject Classification: Primary 13D02, Secondary 13S37.
1

2

NEERAJ KUMAR

Diagonal subalgebras have been studied intensively by several authors (e.g see
[9], [16], [1] ) because they naturally appear in Rees algebras and symmetric algebras. In [9] Conca, Herzog, Trung and Valla discuss some algebraic properties
of diagonal subalgebras, such as Cohen-Macaulayness and Koszulness. In [14]
Kurano et al. showed that Cohen-Macaulayness property holds in [9] even if the
polynomial ring is replaced by a Cohen-Macaulay ring of dimension d ≥ 2. In
this article, we study the Koszul property of certain diagonal subalgebras of bigraded algebras, with applications to diagonals of Rees algebras. We generalize
some of the important results of [9] regarding the Koszulness of certain diagonal
subalgebras of bigraded algebras.
For any homogeneous ideal I, there exists integers c0 , e0 such that the K-algebra
K[(I e )ed+c ] is Koszul for all c ≥ c0 and e ≥ e0 , see [9, Corollary 6.9]. If I is a complete intersection ideal generated by f1 , f2 , . . . , fk , of homogeneous forms of degree d, then the K-algebra K[(I e )ed+c ] is quadratic if c ≥ d2 and e > 0; furthermore
K[(I e )ed+c ] is Koszul if c ≥ d(k−1)
and e > 0, see [9, Corollary 6.10].
k
The main results of this paper are the following:
(i) Let I be an ideal of the polynomial ring K[x1 , . . . , xn ] generated by a regular
sequence f1 , f2 , f3 , of homogeneous forms of degree d. Then K[(I e )ed+c ]
is Koszul for all c ≥ d2 and e > 0.
(ii) Let A be a standard graded Koszul ring. Let I be an ideal of A generated by
a regular sequence f1 , f2 , . . . , fk , of homogeneous forms of degree d. Then
and e > 0.
K[(I e )ed+c ] is Koszul for all c ≥ d(k−1)
k
Let R be a standard bigraded K-algebra. In Section 2, we study homological
properties of shifted modules R(−a, −b)△ , which play an important role in the
transfer of homological information from R to R△ . It is important to bound the homological invariants of the shifted diagonal module R(−a, −b)△ as an R△ -module.
For a bigraded polynomial ring R, it is proved in [9] that R(−a, −b)△ has a linear
R△ resolution. Proposition 2.10 is an extension of [9, Theorem 6.2] for certain
bigraded complete intersection ideal and crucial in proving Theorem 3.1.
Let S = K[x1 , . . . , xn ] be a polynomial ring. In [9, p.900] the authors mentioned
that for a complete intersection ideal I in S generated by f1 , f2 , . . . , fk , of homogeneous forms of degree d, the algebra K[(I e )ed+c ] is expected to be Koszul as soon
as c ≥ d2 . For k = 1, 2, it is obvious. The first nontrivial case is k = 3. In Section
3, we answer their expectation affirmatively for k = 3, see Theorem 3.1. The motivation for such generalization came from the work of Caviglia [7], and Caviglia
and Conca [8]. Note that for k = 3, the result of [8] is just the case: d = 2 and
c = 1; furthermore the main result of [7] correspond to the case: d = 2, c = 1,
f1 = x21 , f2 = x22 , f3 = x23 and n = 3.
In Section 4, we generalize [9, Theorem 6.2] and some of its relevant corollaries.
The main result of this section is Theorem 4.5, which is a generalization of [9,
Corollary 6.10] regarding the koszulness of certain diagonals of the Rees algebra
of an ideal in the polynomial ring. We show that the Koszulness property holds

KOSZUL PROPERTY OF DIAGONAL SUBALGEBRAS

3

even if the polynomial ring is replaced by a Koszul ring. The reason for such
generalization comes from the fact that from certain point of view, Koszul algebras
behave homologically as polynomial rings.
Acknowledgment: The author is very grateful to Professor Aldo Conca for several useful discussions on the subject of this article. The author thanks Professor
Giulio Caviglia for his helpful suggestions concerning the presentation of this article. The author is also grateful to the referee for a number of helpful suggestions
for improvement in the article.
2. G ENERALITIES

AND PRELIMINARY RESULTS

Let A be a standard graded K-algebra i.e. A = ⊕Ai = S/I, where S is a polynomial ring and I a homogeneous ideal of S. For a finitely generated graded A-module
M = ⊕Mi , set
tiA (M) = sup{ j : TorAi (M, K) j 6= 0},
with tiA (M) = −∞ if TorAi (M, K) = 0.
Definition 2.1. The Castelnuovo-Mumford regularity regA (M) of an A-module M
is defined to be
regA M = sup{tiA (M) − i : i ≥ 0}.
When A = S is a polynomial ring, one has
regS M = max{tiS (M) − i : i ≥ 0}.
For a polynomial ring S = K[x1 , . . . , xn ], one can also compute regS M via the local
cohomology modules Hmi (M) for i = 0, 1, . . . , n. One has
regS M = max{ j + i : Hmi (M) j 6= 0}.
Definition 2.2. Koszul algebra: A standard graded K-algebra A is said to be a
Koszul algebra if the residue field K has a linear A-resolution. Equivalently, A is
Koszul when regA (K) = 0.
Example 2.3. Let A = K[x]/(x2 ), then K has a linear A-resolution
x̄

x̄

· · · → A(−2) −
→ A(−1) −
→ A → K → 0.
The property of being a Koszul algebra is preserved under various constructions,
in particular under taking tensor products, Segre products and Veronese subrings,
see Backelin and Fröberg [4].
Let A be a Koszul algebra, and S be the polynomial ring mapping onto A. Then
the regularity of any finitely generated graded module M over A is always finite; in
fact, regA M ≤ regS M, see Avramov and Eisenbud [3, Theorem 1]. If M = ⊕bi=a Mi
with Mb 6= 0, then
regA M ≤ regS M = b.

(1)

If A = ⊕i≥0 Ai is a graded algebra, then the c-th Veronese subalgebra is A(c) =
⊕i≥0 Aic . An element in Aic is considered to have degree i.

4

NEERAJ KUMAR

Definition 2.4. Consider a standard graded K-algebra A. Given k, m ∈ N, and
0 ≤ k < m, we set
M
VA (m, k) =
Aim+k .
i∈N

We observe that A(m) = VA (m, 0) is the usual m-th Veronese subring of A, and that
the VA (m, k) are A(m) -modules known as the Veronese modules of A. For a finitely
generated graded A-module M, similarly we define
M (m) =

M

Mim .

i∈Z

We consider A(m) as a standard graded K-algebra with homogeneous component
of degree i equal to Aim , and M (m) as a graded A(m) -module with homogeneous
components Mim of degree i.
Definition 2.5. Let A and B be positively graded K-algebra. Denote by A⊗B the
Segre product
A⊗B =

M

Ai ⊗K Bi ,

i∈N

of A and B. Given graded modules M and N over A and B, one may form the Segre
product
M⊗N =

M

Mi ⊗K Ni ,

i∈Z

of M and N. Clearly M⊗N is a graded A⊗B- module.
A beautiful introduction to construction of multigraded objects including Segre
products is given by Goto and Watanabe in [13, Chapter 4]. Segre products have
been studied in the sense of Koszulness by several authors e.g. Backelin et al. [4],
Eisenbud et al. [11], Conca et al. [9], Fröberg [12] and Blum [5]. We will use their
results at several occasions in this paper.
Let A and B be Koszul K-algebras. Let M be a finitely generated graded Amodule and N be a finitely generated graded B-module. Assume M and N have
linear resolutions over A and B respectively. Also assume M⊗N 6= 0. Then by [9,
Lemma 6.5], M⊗N has a linear A⊗B-resolution and
regA⊗B M⊗N = max{regA M, regB N}.

(2)

We will use this relation on regularity for Segre products in the proof of Theorem
4.1 and Theorem 4.5.
Remark 2.6. It is to be noticed that [9, Lemma 6.5] also needs the hypothesis
M⊗N 6= 0. For instance, Assume M = K and N = K(−1), then M⊗N = 0 and this
leads to inconsistency in (2).
The following lemma is very useful. We will use this lemma in the proof of
Proposition 2.10, Theorem 3.1 and Theorem 4.5.

KOSZUL PROPERTY OF DIAGONAL SUBALGEBRAS

5

Lemma 2.7. (Technical Lemma)
Let
M : · · · → Mk+1 → Mk → Mk−1 → · · · → M1 → M0 → 0,
be a complex of graded A-modules with maps of degree 0. Set Hi = Hi (M). Then
for every i ≥ 0 one has
tiA (H0 ) ≤ max{α , β },

(3)

A (M ) : j = 0, . . . , i} and β = sup{t A
where α = sup{ti−
j
j
i− j−1 (H j ) : j = 1, . . . , i − 1}.
Moreover one has

regA (H0 ) ≤ max{α ′ , β ′ },

(4)

where α ′ = sup{regA (M j ) − j : j ≥ 0} and β ′ = sup{regA (H j ) − ( j + 1) : j ≥ 1}.
Proof. Let Zi , Bi , Hi denotes the i-th cycles, boundaries and homology modules
respectively. We have short exact sequences
0 → Bi → Zi → Hi → 0,
and
0 → Zi+1 → Mi+1 → Bi → 0,
with Z0 = M0 . Therefore, by [6, Lemma 2.2(a)], one has
A
(B0 )},
tiA (H0 ) ≤ max{tiA (M0 ),ti−1
A
A
A
(M1 ),ti−2
(Z1 )},
(B0 ) ≤ max{ti−1
ti−1
A
A
A
(H1 )},
(B1 ),ti−2
ti−2
(Z1 ) ≤ max{ti−2
A
A
A
(Z2 )}, and so on.
ti−2
(B1 ) ≤ max{ti−2
(M2 ),ti−3

Summarizing the details, one has:
A
A
A
A
tiA (H0 ) ≤ max{tiA (M0 ), ti−1
(M1 ) , . . . , ti−
j (M j ), ti−2 (H1 ), . . . , ti− j−1 (H j )}.
A (M ) : j = 0, . . . , i} and β = sup{t A
Take α = sup{ti−
j
j
i− j−1 (H j ) : j = 1, . . . , i − 1},
then we obtain the desired result (3) for tiA (H0 ). The second inequality (4) follows
from (3).


Let R = ⊕(i, j)∈Z2 R(i, j) be a bigraded standard K-algebra. Here standard means
that R(0,0) = K and R is generated as a K-algebra by the K-vector spaces R(1,0) and
R(0,1) of finite dimension.
Definition 2.8. Diagonal subalgebra: Let R be a bigraded standard K-algebra.
Let c and e be positive integers. Let △ be the (c, e)-diagonal of Z2 . The (c, e)diagonal subalgebra R△ of R is defined as
R△ =

M
s∈Z

R(cs,es) .

6

NEERAJ KUMAR

We observe that R△ is the K-subalgebra of R generated by R(c,e) and hence it is
a standard graded K-algebra. Similarly, one defines the (c,
e)-diagonal submodule
L
of any bigraded R-module M = ⊕(i, j)∈Z2 M(i, j) as M△ = s∈Z M(cs,es) . Notice that
M△ is a module over R△ . The map M 7−→ M△ , being a selection of homogeneous
components, defines an exact functor from the category of bigraded R-modules and
maps of degree 0 to the category of graded R△ -modules with maps of degree 0.
Notation 2.9. We have △ = {(cs, es) : s ∈ Z}, but the bounds on c and e change
from time to time. Note that c, s, △ will always be used in this way, with c and s
changing as described. For a real number α , we use ⌈α ⌉ for the smallest integer m
such that m ≥ α .
For (a, b) ∈ Z2 , let R(−a, −b) be a shifted copy of R. By definition
R(−a, −b)△ =

M

R(−a+cs,−b+es) .

s∈Z

Since R is positively graded, we may consider only those s ∈ Z for which −a+ cs ≥
0 and −b + es ≥ 0. Assume max (⌈ ac ⌉, ⌈ be ⌉) = ⌈ ac ⌉. Then
R(−a, −b)△ =

M

R(−a+cs,−b+es) .

s≥⌈ ca ⌉

Therefore R(−a, −b)△ is a R△ -submodule of R generated by R(−a+c⌈ ca ⌉,−b+e⌈ ca ⌉) .
The other case is similar, summarizing the details, one has:
(
R(−a + c⌈ ac ⌉, −b + e⌈ ac ⌉)△ (−⌈ ac ⌉), if ⌈ ac ⌉ ≥ ⌈ be ⌉;
R(−a, −b)△ =
R(−a + c⌈ be ⌉, −b + e⌈ be ⌉)△ (−⌈ be ⌉), if ⌈ ac ⌉ ≤ ⌈ be ⌉.
The homological properties of the shifted diagonal module R(−a, −b)△ play an
important role in the transfer of homological information from R to R△ . In the following proposition, we try to bound the homological invariants (regularity) of the
shifted diagonal module R(−a, −b)△ as an R△ -module. The following proposition
is crucial in proving Theorem 3.1.
Proposition 2.10. Let S = K[x1 , . . . , xm ,t1 , . . . ,tn ] be a polynomial ring bigraded
by deg xi = (1, 0) for i = 1, . . . , m and degti = (0, 1) for i = 1, . . . , n. Let I be an
ideal of S generated by a regular sequence with elements all of bidegree (d, 1) and
R = S/I. Let d2 ≤ c < 2d
3 and e > 0. Then:
(1) R△ is Koszul.
(2) regR△ R(−a, −b)△ ≤ max{⌈ ac ⌉, ⌈ be ⌉}.
Proof. Let h be the codimension of I. The proof is by induction on h. If h = 0, then
R△ is the Segre product of K[x1 , . . . , xm ](c) and K[t1 , . . . ,tn ](e) . Thus R△ is Koszul
by [4]. For (b), see [9, proof of Theorem 6.2].
Assume h > 0. We may write R = T /( f ) where f is a T -regular element of
bidegree (d, 1) and where T is defined as the quotient of S by an S-regular sequence
of length h − 1 of elements of bidegree (d, 1). We have a short exact sequence of
T -modules:
0 −→ T (−d, −1) −→ T −→ R −→ 0

(5)

KOSZUL PROPERTY OF DIAGONAL SUBALGEBRAS

7

and applying −△ , we have an exact sequence of T△ -modules:
0 −→ T (−d, −1)△ −→ T△ −→ R△ −→ 0.
By induction we know T△ is Koszul and that regT△ T (−d, −1)△ ≤ ⌈ dc ⌉. As
one has
regT△ R△ ≤ 1.

d
c

≤ 2,

By [8, Lemma 2.1(3)], we may conclude that R△ is Koszul, as T△ is Koszul by
induction. Now to prove (b) we consider the following two cases.
Case 1. Assume ⌈ ac ⌉ < ⌈ be ⌉. Shift (5) by (−a, −b) and then apply −△ , we get a
short exact sequence of T△ -modules:
0 −→ T (−a − d, −b − 1)△ −→ T (−a, −b)△ −→ R(−a, −b)△ −→ 0.
So we have:
regT△ R(−a, −b)△ ≤ max{ regT△ T (−a, −b)△ , regT△ T (−a − d, −b − 1)△ − 1 }.
By induction, one has regT△ T (−a, −b)△ ≤ ⌈ be ⌉, and
regT△ T (−a − d, −b − 1)△ ≤ max{⌈

a+d
b+1
⌉, ⌈
⌉}.
c
e

Since
a
d
b
b
b+1
b
a+d
⌉ ≤ ⌈ ⌉ + ⌈ ⌉ ≤ (⌈ ⌉ − 1) + 2 = ⌈ ⌉ + 1 and ⌈
⌉ ≤ ⌈ ⌉ + 1,
⌈
c
c
c
e
e
e
e
we conclude that regT△ T (−a − d, −b − 1)△ ≤ ⌈ be ⌉ + 1. Thus we have
b
(6)
regT△ R(−a, −b)△ ≤ ⌈ ⌉.
e
Since we have already shown that regT△ R△ ≤ 1, we may conclude by [8, Lemma
2.1(1)] that
b
regR△ R(−a, −b)△ ≤ ⌈ ⌉.
e
a
b
Case 2. Assume ⌈ c ⌉ ≥ ⌈ e ⌉. Set P = (t1 , . . . ,tn ) ⊂ S. We have
a
a
a
R(−a, −b)△ = R(−a + c⌈ ⌉, −b + e⌈ ⌉)△ (−⌈ ⌉).
c
c
c
So we have to prove that regR△ R(α , β )△ ≤ 0 where α = −a + c⌈ ac ⌉ and β = −b +
e⌈ ac ⌉. Consider the minimal free (bigraded) resolution of S/Pβ as an S-module:
F:

0 −→ Fn −→ Fn−1 −→ · · · −→ F1 −→ F0 −→ 0,

with F0 = S and Fi = S♯ (0, −β − i + 1) for i > 0 where ♯ denotes some integer
depending on n, β and i that is irrelevant in our discussion. The homology of F ⊗ R
is TorS• (S/Pβ , R). We may as well compute TorS• (S/Pβ , R) as the homology of
S/Pβ ⊗ G where G is a free resolution of R as an S-module. By assumption, we

8

NEERAJ KUMAR

may take G to be a Koszul complex on a sequence of elements of bidegree (d, 1).
It follows that:
(
a subquotient of (S/Pβ )♯ (−di, −i), if 0 ≤ i ≤ h;
Hi (F ⊗ R) =
0,
if i > h.
Shifting with (α , β ) and applying −△ we have a complex (F ⊗ R(α , β ))△ . We
claim this complex has no homology. Shifting and applying −△ are compatible
operations with taking homology. Therefore to prove (F ⊗ R(α , β ))△ has no homology at all, we only need to check that
[(S/Pβ )(−di + α , −i + β )]△ = 0 for all i.

(7)

To prove (7), take the j-th degree component,
[[(S/Pβ )(−di + α , −i + β )]△ ] j = (S/Pβ )(c j−di+α ,e j−i+β ) .
We will show that
(S/Pβ )(c j−di+α ,e j−i+β ) = 0.

(8)

The case i = 0 will be dealt separately. Assume i > 0. Clearly (8) holds if e j − i +
β ≥ β , that is, if e j ≥ i. To complete the argument for (8), it is enough to show
that c j − di + α < 0 for e j < i. Let a = qc + r ; 0 ≤ r < c, then
(
a
q + 1, if r 6= 0;
⌈ ⌉=
c
q,
if r = 0.
Therefore
c j − di + α =

(

c j − di + c − r,
c j − di,

if r 6= 0;
if r = 0.

(9)

Assume r = 0 and e j < i. It is easy to see that
c
2d
c j − di < i( − d) < i( − d) < 0.
e
3e
Assume r 6= 0 and e j < i. By assumption we have j ≤ ei − 1e and c j − di + c − r <
c( j + 1) − id. One has
c
c
i 1
(10)
c( j + 1) − di ≤ c( − + 1) − di = i( − d) − + c.
e e
e
e
As d2 ≤ c < 2d
3 and e > 0, we may write
2d
d(2 − 3e)
c
d
c
−d <
−d =
and − ≤ − .
e
3e
3e
e
2e
Thus by (10) and (11), we have

(11)

d(2 − 3e)
d
2d
d
)− +
= [i(4 − 6e) + (4e − 3)].
3e
2e
3
6e
It is easy to see that i(4 − 6e) + (4e − 3) < 0 for all i > 0. Assume i = 0. Denote by
C, the complex (F ⊗ R(α , β ))△ . If H0 (C) 6= 0, then either e j + β < β or c j + α ≥ 0
in (8). Thus H0 (C) 6= 0 if −cα ≤ j < 0, which is not possible, since j has to be an
c( j + 1) − di < i(

KOSZUL PROPERTY OF DIAGONAL SUBALGEBRAS

integer and by previous discussion in (9), one has −1 <
for all i ≥ 0, we have the following exact complex C:

−α
c

9

≤ 0. Since Hi (C) = 0

0 −→ R(α , −i + 1)△ −→ · · · −→ R(α , −1)△ −→ R(α , 0)△ −→ R(α , β )△ −→ 0.
From the exact complex C, we build another complex:
T : 0 −→ R(α , −i + 1)△ −→ · · · −→ R(α , −1)△ −→ R(α , 0)△ −→ 0.
Then the homology of the new complex T is given by
(
R(α , β )△ , if i = 0;
Hi (T) =
0,
if i > 0.
Thus Lemma 2.7 applied to the complex T, one has
regR△ R(α , β )△ ≤ max{regR△ R(α , −i)△ − i : i ≥ 0}.
Note that by Case 1, we have regR△ R(α , −i)△ ≤ ⌈ ei ⌉, since ⌈ −cα ⌉ ≤ ⌈ ei ⌉. Thus we
conclude that regR△ R(α , β )△ ≤ 0. Hence the claim (b) follows.

Remark 2.11. Note that the Proposition 2.10 is an extension of [9, Theorem 6.2]
for certain bigraded complete intersection ideal. Note also that the statement of
Proposition 2.10 is similar to (and more general then) [8, Proposition 2.2].
3. I MPROVEMENT

OF BOUNDS

Let S = K[x1 , . . . , xn ] be a polynomial ring. Let I be a homogeneous ideal in S
generated by a regular sequence f1 , f2 , . . . , fk , of homogeneous forms of degrees d.
Let c and e be positive integers. Consider the K-subalgebra of S generated by the
homogeneous forms of degree ed + c in the ideal I e , that is, K[(I e )ed+c ]. We have
seen that K[(I e )ed+c ] is the (c, e)-diagonal subalgebra of Rees(I).
Recall that the K-algebra K[(I e )ed+c ] is shown to be quadratic if c ≥ d2 and
Koszul if c ≥ d(k−1)
k , see [9, Corollary 6.10]. In [9, p.900] the authors mentioned
that, they expect K[(I e )ed+c ] to be Koszul also for d2 ≤ c < d(k−1)
k . For k = 1, 2,
it is obvious that K[(I e )ed+c ] is Koszul. The very first nontrivial instance of this
problem occurs for d = 2 and k = 3, in which case, only possible value is c = 1.
For c = 1, the answer is positive and solved by Caviglia and Conca in [8].
In this Section, for k = 3 and for any d, we prove that K[(I e )ed+c ] is Koszul as
soon as c ≥ d2 and e > 0. The main theorem of this section is as follows:
Theorem 3.1. Let I be an ideal of the polynomial ring K[x1 , . . . , xn ] generated by
a regular sequence f1 , f2 , f3 , of homogeneous forms of degree d. Then K[(I e )ed+c ]
is Koszul for all c ≥ d2 and e > 0.
We consider the Rees algebra, Rees(I) ⊂ S[t] of I with its standard bigraded
structure induced by deg(xi ) = (1, 0) and deg( f j t) = (0, 1). It can be realized as a

10

NEERAJ KUMAR

quotient of the polynomial ring S′ = K[x1 , . . . , xn ,t1 ,t2 ,t3 ] bigraded with deg(xi ) =
(1, 0) and deg(t j ) = (0, 1), by the ideal J generated by the 2-minors of


f1 f2 f3
M=
.
t1 t2 t3
Let h1 , h2 , h3 be the 2-minors of M with the appropriate sign, say hi equal to
(−1)i+1 times the minor of M obtained by deleting the i-th column. Hence
J = I2 (M) = (h1 , h2 , h3 ).
The sign convention is chosen so that the rows of the matrix M are syzygies of
h1 , h2 , h3 . We will use the following lemma to prove Theorem 3.1.
Lemma 3.2. (Technical Lemma)
(i) h1 , h2 form a regular S′ -sequence.
(ii) (h1 , h2 ) : h3 = ( f3 ,t3 ).
(iii) (h1 , h2 ) : t3 = J.
(iv) (t3 , h1 , h2 ) : f3 = (t1 ,t2 ,t3 ).
Remark 3.3. Note that Lemma 3.2 is proved for d = 2 in [8, Lemma 3.1]. We observe that the proof of [8, Lemma 3.1] is independent of the degree of polynomials
d. Hence Lemma 3.2 also holds for all d.
We are now ready for the proof of Theorem 3.1:
Proof. Recall that K[(I e )ed+c ] is Koszul for all c ≥ 2d
3 and e > 0 [9, Corollary 6.10].
d
e
We will show that K[(I )ed+c ] is Koszul also for 2 ≤ c < 2d
3 and e > 0.
We set B = S′ /(h1 , h2 ). By Lemma 3.2(i) and Proposition 2.10, we may conclude that B△ is Koszul. One has also hB3 B = Rees(I). It is enough to show for the
(c, e)-diagonal subalgebra of Rees(I), one has
regB△ (Rees(I)△ ) ≤ 1.
Since h3 t3 = 0 in B, we have a complex
t

h

t

h

3
3
3
3
F : ··· −
−
−
→ B(−2d, −3) −−
−→ B(−d, −2) −−
−
→ B(−d, −1) −−
−→ B −→ 0, (12)

where F0 = B, F2i = B(−id, −2i), F2i+1 = B(−(i + 1)d, −2i − 1). The homology
of F can be described by using Lemma 3.2


if k = 0,
Rees(I)
Hk (F) = 0
if k = 2i and i > 0,

 ′
[S /(t1 ,t2 ,t3 )](−(i + 1)d − d, −2i − 1) if k = 2i + 1 and i ≥ 0.

The assertion for k = 0 holds by construction. For k even and positive holds because
of Lemma 3.2. For k odd and positive by Lemma 3.2 (ii), we have
H2i+1 (F) =

(t3 , f3 )
(−(i + 1)d, −2i − 1).
(t3 , h1 , h2 )

Hence H2i+1 (F) is cyclic generated by the residue class of f3 mod (t3 , h1 , h2 ) that
has degree (−(i + 1)d − d, −2i − 1). Using Lemma 3.2(iv) and keeping track of

KOSZUL PROPERTY OF DIAGONAL SUBALGEBRAS

11

the degree we get the desired result. Applying −△ functor to (12), we obtain a
complex F△ :
· · · −−→ B(−2d, −3)△ −−→ B(−d, −2)△ −−→ B(−d, −1)△ −−→ B△ −−→ 0, (13)
where


B △
(Fk )△ = B(−id, −2i)△


B(−(i + 1)d, −2i − 1)△

if k = 0,
if k = 2i,
if k = 2i + 1.

Note that H2i (F△ ) = 0 and H0 (F△ ) = Rees(I)△ . We observe that H2i+1 (F△ ) is not
necessarily zero for all e ≥ 1. Assume e ≥ 2. Then we claim that H2i+1 (F△ ) = 0.
Take the j-th degree component
(H2i+1 (F)△ ) j = [S′ /(t1 ,t2 ,t3 )](−(i+1)d−d+ jc,−2i−1+ je) .
We will show that
[S′ /(t1 ,t2 ,t3 )](−(i+1)d−d+ jc,−2i−1+ je) = 0.

(14)

Clearly (14) holds if −2i − 1 + e j ≥ 1, that is, if e j ≥ 2(i + 1). So, it is enough to
show that −(i + 1)d − d + jc < 0 for e j < 2(i + 1), that is, j < (i+2)d
for j < 2(i+1)
c
e .
This is an easy consequence of the following inequalities:
2(i + 1) 3(i + 2) (i + 2)d
<
<
.
e
2
c
Assume e = 1. We know that H2i+1 (F△ ) = H2i+1 (F)△ . Take the j-th degree
component of H2i+1 (F)△ , then (H2i+1 (F)△ ) j = 0 if −(2i + 1) + j ≥ 1, that is,
if j ≥ 2i + 2. So, the largest degree of a non zero component of H2i+1 (F△ ) is at
most 2i + 1. Therefore by (1), one has regB△ Hk (F△ ) ≤ regS′ Hk (F△ ) ≤ k for all
k ≥ 1. Applying Lemma 2.7 to (13), we obtain
regB△ (Rees(I)△ ) ≤ sup{α ′ , β ′ }, where

(15)

α ′ = sup{regB△ (Fk )△ − k : k ≥ 0} and β ′ = sup{regB△ Hk (F△ ) − (k + 1) : k ≥ 1}.
Since B is defined by a regular sequence of elements of bidegree (d, 1), we may
apply Proposition 2.10 to (13):
(
max{⌈ idc ⌉, ⌈ 2ie ⌉}
if k = 2i,
regB△ (Fk )△ ≤
(i+1)d
2i+1
max{⌈ c ⌉, ⌈ e ⌉} if k = 2i + 1.
Since 32 < dc ≤ 2, we conclude that α ′ ≤ 1. Since regB△ Hk (F△ ) ≤ k for all k ≥ 1,
we conclude that β ′ ≤ −1. Therefore by (15), one has
regB△ (Rees(I)△ ) ≤ 1.
Thus we conclude that Rees(I)△ is Koszul.



12

NEERAJ KUMAR

Remark 3.4. We observe that in the proof of [8, Theorem 3.2], Hk (F)△ = 0 for
all k, whereas in our case, this is true for all e ≥ 2, and not for e = 1. This affects
the proof of Theorem 3.1 very much from that of [8, Theorem 3.2]. To achieve
our goal we first have to deduce Lemma 2.7. We use the fact that if the homology
module is non zero and its regularity is bounded by the homology module at zero
position, then by (1), Lemma 2.7 and Proposition 2.10, we conclude the proof.
4. M ORE

GENERAL BASE RINGS

In this Section, the two main results that we generalize are [9, Theorem 6.2]
and [9, Corollary 6.10]. We show that the Koszulness property holds even if the
assumption of polynomial ring is replaced by a Koszul ring.
Conca et al. in [9] posed two interesting questions at page 900 one of which
was positively answered by Aramova, Crona and De Negri [1] who showed that
for an arbitrary bigraded standard algebra R, the defining ideal of R△ has quadratic
Grobner basis for c, e ≫ 0, and another one by Blum [5], who showed that all the
diagonal algebras of bigraded standard Koszul algebra R are Koszul. We will use
these results in the proof of Theorem 4.1 and Theorem 4.5.
Let A and B are two standard graded Koszul algebras. Let A = K[A1 ], where
A1 = hX1 , . . . Xm i is a K vector space generated be linear forms with deg(Xi ) = 1.
Similarly let B = K[B1 ], where B1 = hY1 , . . .Yn i is a K vector space generated be
linear forms with deg(Y j ) = 1. We set T = A ⊗K B. Then T is bigraded standard
by setting deg(Xi ) = (1, 0) and deg(Y j ) = (0, 1). Let R be a bigraded quotient of T ,
that is, R = T /I for some bihomogeneous ideal I of T .
Let c and e be positive integers. We will study the Koszul property of (c, e)diagonal subalgebra R△ of bigraded algebra R. Consider the bigraded free resolution of R over T :
· · · −→ Fi −→ · · · −→ F1 −→ T −→ R −→ 0,

(16)

where
Fi =

M

T (−a, −b)βi,(a,b) .

(a,b)∈N2

Set
ti,1 = max{a : ∃ b s.t. βi,(a,b) 6= 0}, and ti,2 = max{b : ∃ a s.t. βi,(a,b) 6= 0}. (17)
With this notation, the following is a generalization of [9, Theorem 6.2]:
Theorem 4.1. Let A and B are standard graded Koszul algebras. We set T =
A ⊗K B and R a bi-graded quotient of T . Then:
(i) T is Koszul and regT R is finite.
ti,2
ti,1
: i ≥ 1} ∈ R and e ≥ sup{ i+1
: i ≥ 1} ∈ R, then R△ is
(ii) If c ≥ sup{ i+1
Koszul.
(iii) In particular, if c ≥ regT2R−1 and e ≥ regT2R−1 , then R△ is Koszul.

KOSZUL PROPERTY OF DIAGONAL SUBALGEBRAS

13

Proof. For (i) T is Koszul by [4] and regT R is finite by [3, Theorem 1]. For (ii)
applying −△ functor to bigraded free resolution (16) of R over T , one obtains an
exact complex
· · · −→ (Fi )△ −→ · · · −→ (F1 )△ −→ T△ −→ R△ −→ 0,

(18)

of T△ -modules, where
(Fi )△ =

M

β

T (−a, −b)△i,(a,b) .

(a,b)∈N2

Note that T△ = A(c) ⊗B(e) , where A(c) denotes the c-th Veronese subring of A, and
B(e) denotes the e-th Veronese subring of B. Note that T△ is Koszul [5, Theorem
2.1]. To show that R△ is Koszul, it is enough to show that
regT△ R△ ≤ 1.
Applying [9, Lemma 6.3(ii)] to (18), we get
regT△ R△ ≤ sup{regT△ (Fi )△ − i : i ≥ 1}.

(19)

Thus, it is enough to show that
regT△ (Fi )△ − i ≤ 1 for all i ≥ 1.
Since
(Fi )△ =

M

(20)

β

T (−a, −b)△i,(a,b) ,

(a,b)∈N2

one has
regT△ (Fi )△ = max{regT△ T (−a, −b)△ : βi,(a,b) 6= 0}.

(21)

Now we need to evaluate regT△ T (−a, −b)△ . We denote by VA (c, α ), the Veronese
L
modules of A, that is, VA (c, α ) = s∈N Asc+α for α = 0, . . . , c − 1. Similarly denote
VB (e, β ), the Veronese modules of B.
Hence for the shifted module T (−a, −b)△ , we can write
T (−a, −b)△ =

M
s

a
b
[Asc−a ⊗ Bse−b ] = VA (c, α )(−⌈ ⌉) ⊗ VB (e, β )(−⌈ ⌉),
c
e

where α = −a mod (c), 0 ≤ α ≤ c − 1 and β = −b mod (e), 0 ≤ β ≤ e − 1.
The Veronese modules VA (c, α ) and VB (e, β ) have a linear resolutions as a A(c) module and B(c) -module respectively, see [6, Lemma 5.1]. Hence by (2), one has
a b
regT△ T (−a, −b)△ = max{⌈ ⌉, ⌈ ⌉}.
c
e

(22)

Thus by (17), (20), (21) and (22), we conclude that R△ is Koszul provided that
max{⌈

ti,2
ti,1
⌉, ⌈ ⌉} ≤ i + 1 for all i ≥ 1.
c
e

(23)

14

NEERAJ KUMAR
t

t

i,2
i,1
: i ≥ 1} and e ≥ sup{ i+1
: i ≥ 1}, then
From (23), we conclude that if c ≥ sup{ i+1
R△ is Koszul. By definition, one has ti,1 ≤ ti ≤ regT R − i. Thus we have:

ti,1
ti
regT R − i
≤
≤
.
(24)
i+1 i+1
i+1
regT R − i
is a decreasing function of i,
We know that regT R is finite. Notice that
i+1
as i vary over the natural numbers. Taking sup in (24), we get
ti,1
ti
reg R − i
sup{
: i ≥ 1} ≤ sup{
: i ≥ 1} ≤ sup{ T
: i ≥ 1}.
i+1
i+1
i+1
Similarly the other case
ti,2
ti
reg R − i
sup{
: i ≥ 1} ≤ sup{
: i ≥ 1} ≤ sup{ T
: i ≥ 1}.
i+1
i+1
i+1
Note that
regT R − 1
reg R − i
: i ≥ 1} ≤
.
sup{ T
i+1
2
ti,1
ti,2
Thus we observe that the numbers sup{ i+1
: i ≥ 1} and sup{ i+1
: i ≥ 1} are in
regT R − 1
. Thus the claim (ii) and (iii)
fact some finite real numbers, bounded by
2
follows.

Remark 4.2. Note that in the Theorem 4.1, if we take A = K[x1 , · · · , xm ] and B =
K[y1 , · · · , yn ], then we will re-obtain [9, Theorem 6.2].
The following is the generalization of [9, Corollary 6.9]:
Corollary 4.3. Let I be a homogeneous ideal of a standard graded Koszul ring
A. Let d denotes the highest degree of a minimal generator of I. Then there exists
integers c0 , e0 such that the K-algebra K[(I e )ed+c ] is Koszul for all c ≥ c0 and
e ≥ e0 .
Proof. Let B = K[t1 , . . . ,tk ] in Theorem 4.1. Then T = A[t1 , . . . ,tk ] is a polynomial
extension of A. Note that T is a bigraded standard algebra by setting deg Xi = (1, 0)
and degt j = (0, 1). By replacing I with the ideal generated by Id , we may assume
that I is generated by forms of degree d. Then Rees(I) ⊂ A[t] is a bigraded standard algebra by setting deg Xi = (1, 0) and deg f t = (0, 1) for all f ∈ Id . Moreover
Rees(I) can also be realized as the bigraded quotient of T .
By Theorem 4.1(i), we have T is Koszul and regT Rees(I) is finite. Note that
the numbers c and e exist from Theorem 4.1(ii) such that Rees(I)△ is Koszul.
, then Rees(I)△ is Koszul by Theorem 4.1(iii).
In particular, if c, e ≥ regT Rees(I)−1
2
Thus the claim follows, since Rees(I)△ = K[(I e )ed+c ].

Remark 4.4. In the Corollary 4.3, the integers c0 and e0 can be computed explicitly
whenever one knows the shifts in the bigraded free resolution of Rees(I) over the
Koszul ring T . For instance, when I is a complete intersection ideal generated by
homogeneous forms of degree d, one has Theorem 4.5.

KOSZUL PROPERTY OF DIAGONAL SUBALGEBRAS

15

The following is the generalization of [9, Corollary 6.10]:
Theorem 4.5. Let A be a standard graded Koszul ring. Let I be an ideal of A
generated by a regular sequence f1 , f2 , . . . , fk , of homogeneous forms of degree d.
and e > 0.
Then K[(I e )ed+c ] is Koszul for all c ≥ d(k−1)
k
Proof. Let A = K[A1 ], where A1 = hX1 , . . . Xm i is a K vector space generated be linear forms with deg(Xi ) = 1. Let A′ = A[t1 , . . . ,tk ] be a polynomial extension of A.
Then A′ is a bigraded standard algebra by setting deg Xi = (1, 0) and degt j = (0, 1).
Let I be an ideal of A generated by a regular sequence f1 , f2 , . . . , fk , of homogeneous forms of degree d. Then Rees(I) ⊂ A[t] is a bigraded standard algebra by
setting deg Xi = (1, 0) and deg f j t = (0, 1). Let

φ : A[t1 ,t2 , . . . ,tk ] 7−→ A[It]
be the surjective map by sending t j to f j t. Since I is a complete intersection ideal,
one has


f1 f2 . . . fk
ker(φ ) = I2
.
t1 t2 . . . tk

The resolution of A[It] over A′ is given by the Eagon-Northcott complex (25). We
know that ker(φ ) is a determinantal ideal and grade(ker(φ )) = k − 1, hence the
Eagon-Northcott complex (25) is the minimal free resolution of A[It] over A′ :
0 −→ Fk−1 −→ · · · −→ F1 −→ F0 −→ A[It] −→ 0,

(25)

where
Fi =

i
M

A′ (− jd, −i − 1 + j)♯i .

j=1

Here ♯i denotes some integer which is irrelevant in our discussion. Applying −△
functor to (25), one obtains an exact complex:
0 −→ (Fk−1 )△ −→ · · · −→ (F1 )△ −→ (F0 )△ −→ A[It]△ −→ 0
of A′△ -modules, where
(Fi )△ =

i
M

A′ (− jd, −i − 1 + j)♯△i .

j=1

From the exact complex (26), we build another complex:
F : 0 −→ (Fk−1 )△ −→ · · · −→ (F1 )△ −→ (F0 )△ −→ 0
of A′△ -modules. Then the homology of the new complex F is given by
(
A[It]△ , if i = 0;
Hi (F) =
0,
if i > 0.
Thus Lemma 2.7 applied to the complex F, one has
regA′△ (A[It]△ ) ≤ sup{regA′△ (Fi )△ − i : i = 1, 2, . . . , k − 1}.

(26)

16

NEERAJ KUMAR

Note that A′△ is Koszul [5, Theorem 2.1]. To show that A[It]△ is Koszul, it is
enough to show
regA′ (Fi )△ − i ≤ 1 for all i = 1, 2, . . . , k − 1.

(27)

△

One has
regA′ (Fi )△ = max{regA′ A′ (− jd, −i − 1 + j)△ : j = 1, 2, . . . , i}.
△

△

By similar argument as used in Theorem 4.1 to obtain Equation (22), we get
regA′ (Fi )△ = max{ ⌈
△

jd
i+1− j
⌉, ⌈
⌉ : j = 1, 2, . . . , i}.
c
e

Thus we have
regA′△ (Fi )△ = max{ ⌈

i
id
⌉, ⌈ ⌉ }.
c
e

Therefore by (27) and (28), we conclude that K[(I e )ed+c ] is Koszul if c ≥
and e > 0.

(28)
d(k−1)
k



We conclude the section with one final remark, and with an open question:
Remark 4.6. The claim by Conca, Herzog, Trung and Valla in [9, p. 900] together with Theorem 3.1 and Theorem 4.5 in this paper, suggest that the following
question may have a positive answer.
Question 4.7. Let I be an ideal of a Koszul ring A generated by a regular sequence
f1 , f2 , . . . , fk , of homogeneous forms of degree d. Is it true that K[(I e )ed+c ] is Koszul
for all c ≥ d2 and e > 0.
R EFERENCES
[1] A. Aramova, K. Crona and E. De Negri, Bigeneric initial ideals, diagonal subalgebras and
bigraded Hilbert functions. J. Pure Appl. Algebra. 150, no. 3, 215–235 (2000).
[2] A. Aramova, S. Bǎrcǎnescu and J. Herzog, On the rate of relative Veronese submodules. Rev.
Roumaine. Math. Pures Appl. 40, no. 3-4, 243–251 (1995).
[3] L. L. Avramov and D. Eisenbud, Regularity of modules over a Koszul algebras. J. Algebra
153, no. 1, 85–90 (1992).
[4] J. Backelin and R. Fröberg, Koszul algebras, Veronese subrings, and rings with linear resolution. Rev. Roumaine Math. Pures Appl. 30, no. 3-4, 549–565 (1985).
[5] S. Blum, Subalgebras of a bigraded Koszul algebra. J. Algebra 242, no. 2, 795–809 (2001).
[6] W. Bruns, A. Conca and T. Römer, Koszul homology and syzygies of Veronese subalgebras.
Math. Ann. 351, no. 4, 761–779 (2011).
[7] G. Caviglia, The pinched Veronese is Koszul. J. Algebraic Combin. 30, no. 4, 539–548
(2009).
[8] G. Caviglia and A. Conca, Koszul property of projections of the Veronese cubic surface. Adv.
Math. 234, 404–413 (2013).
[9] A. Conca, J. Herzog, N. V. Trung and G. Valla, Diagonal subalgebras of bigraded algebras
and embeddings of blow-ups of projective spaces. Amer. J. Math. 119, no. 4, 859–901 (1997).
[10] A. Conca, E. De Negri and M. E. Rossi, Koszul algebras and regularity. Commutative algebra, 285–315, Springer, New York, (2013).
[11] D. Eisenbud, A. Reeves and B. Totaro, Initial ideals, Veronese subrings, and rate of algebras.
Adv. Math. 109, no. 2, 168–187 (1994).

KOSZUL PROPERTY OF DIAGONAL SUBALGEBRAS

17

[12] R. Fröberg, Koszul algebras. Advances in commutative ring theory (Fez, 1997), 337–350,
Lecture Notes in Pure and Appl. Math. 205, Dekker, New York, (1999).
[13] S. Goto and K. Watanabe, On graded rings I. J. Math. Soc. Japan 30, no. 2, 179–213 (1978).
[14] K. Kurano, E. Sato, A. K. Singh and K. Watanabe, Multigraded rings, diagonal subalgebras,
and rational singularities. J. Algebra 322, no. 9, 3248–3267 (2009).
[15] S. B. Priddy, Koszul resolutions. Trans. Amer. Math. Soc. 152, 39–60 (1970).
[16] A. Simis, N. V. Trung and G. Valla, The diagonal subalgebra of a blow-up algebra. J. Pure
Appl. Algebra. 125, no. 1-3, 305–328 (1998).
D IPARTIMENTO DI M ATEMATICA , U NIVERSIT Á DI G ENOVA ,, V IA D ODECANESO 35, 16146
G ENOVA , I TALY
E-mail address: kumar@dima.unige.it

