KOSZUL HYPERSURFACES OVER THE EXTERIOR ALGEBRAS

arXiv:1406.0489v1 [math.AC] 2 Jun 2014

HOP D. NGUYEN
Abstract. We prove that if E is an exterior algebra over a field, h is a quadratic form, then
E/(h) is Koszul if and only if h is a product of two linear forms.

1. The main result
Let k be a field. In this note, we consider graded k-algebras which are quotients of the
polynomial or the exterior algebras with the standard grading. Let R be such a standard graded
over k. We say that R is a Koszul algebra if the residue field k has a linear free resolution over
R. For recent surveys on Koszul algebras, the reader may consult [5], [7].
While the Koszul property was studied intensively for commutative algebras, it is less wellknown for quotients of exterior algebras. Any exterior algebra is Koszul because the Cartan
complex is the linear free resolution for the residue field; see [2, Section 2]. The main result of
this note says, quite unexpectedly, that exterior Koszul hypersurfaces are reducible. It answers
in the positive an intriguing question of Phong Thieu in his thesis [10, Question 5.2.8].
Notation. If V is a k-vector space of dimension V
n with a fixed k-basis e1 , . . . , en , then the
notation k he1 , . . . , en i denotes the exterior algebra V . It is a graded-commutative k-algebra
with the grading induced by deg ei = 1 for 1 ≤ i ≤ n, so that for all homogeneous elements
a, b ∈ E = k he1 , . . . , en i, we have
a ∧ b = (−1)(deg a)(deg b) b ∧ a
and
a ∧ a = 0,
if deg a is odd. For simplicity, we will denote a ∧ b simply by ab.
The main result of this note is
Theorem 1.1. Let E = k he1 , . . . , en i be an exterior algebra (where n ≥ 1) and h a homogeneous
form. Then E/(h) is Koszul if and only if h is a reducible quadratic form, namely h is a product
of two linear forms.
This is in stark contrast with the fact that any commutative quadratic hypersurface is Koszul.
2. Proof of the main result
The main work in our result is done by the following
Theorem 2.1. Let h = e1 f1 + e2 f2 + · · · + en fn be a quadratic form in the exterior algebra in
2n variables E = k he1 , . . . , en , f1 , . . . , fn i, where n ≥ 2. Then E/(h) is not Koszul.
Date: June 3, 2014.
This research was supported by the CARIGE foundation.

1

2

HOP D. NGUYEN

Let M be a finitely generated graded R-module. If R is a quotient of an exterior algebra, this
means that M is finitely generated, graded, and on M there are left and right R-actions such
that
am = (−1)(deg a)(deg m) ma
for every homogeneous elements a ∈ R, m ∈ M.
R
Denote βi,j
(M) = dimk TorR
i (M, k)j the (i, j)-graded Betti number of M, where i, j ∈ Z. The
R
R
ith total Betti number of M is βiR (M) = dimk TorR
i (M, k). We let ti (M) = sup{j : βi,j (M) 6= 0}
for each i ∈ Z. The last theorem will be deduced from the following analog of [3, Main Theorem,
(1)], which is about syzygies of Koszul algebras in the commutative setting.
Proposition 2.2. Let Q → R be a surjection of Koszul algebras. Let K. be the minimal free
resolution of k over Q. Denote by Zi the i-th cycle of the complex K. ⊗Q R. Then regR Zi ≤
regR Zi−1 + 2 for all i ≥ 0. In particular, tQ
i (R) ≤ 2i for all i ≥ 0.
Proof. The proof is similar to that of [4, Lemma 2.10]. Denote by B. , H. the boundary and
homology of the complex C. = K. ⊗Q R. For each i > 0, we have short exact sequences
0 → Zi → Ci → Bi−1 → 0,
0 → Bi−1 → Zi−1 → Hi−1 → 0.
Therefore combining with the fact that K is a linear resolution, we get
regR Zi ≤ max{regR Ci , regR Bi−1 + 1}
≤ max{i, regR Zi−1 + 1, regR Hi−1 + 2}.
Q
Let m be the graded maximal ideal of R. Since Hi ∼
= Tori (k, R), we have mHi = 0 for all i ≥ 0.
R
Now regR k = 0 since R is a Koszul algebra, hence regR Hi−1 = tR
0 (Hi−1 ) ≤ t0 (Zi−1 ) ≤ reg R Zi−1 .
Hence
regR Zi ≤ max{i, regR Zi−1 + 2}.
R
As Zi ⊆ Ci and tR
0 (Ci ) = i, we get regR Zi ≥ t0 (Zi ) ≥ i. Therefore reg R Zi ≤ regR Zi−1 + 2.
Q
By induction, regR Zi ≤ 2i for all i ≥ 0. For the second statement, we have tQ
i (R) = t0 (Hi ) =
R
tR

0 (Hi ) ≤ t0 (Zi ) ≤ reg R Zi ≤ 2i.

Lemma 2.3. Let R = E/(h) where E = k he1 , . . . , en , f1 , . . . , fn i and h = e1 f1 +e2 f2 +· · ·+en fn .
E
Then β2,n+2
(R) 6= 0.
Proof. This follows since the identity e1 · · · en h = 0 gives a minimal second syzygy of degree
n + 2 of R as an E-module; see the proof of [9, Theorem 1.2].

Proof of Theorem 2.1. For n ≥ 3, from Lemma 2.3 and Proposition 2.2, we get the result. For
n = 2 then E = k he1 , e2 , f1 , f2 i, h = e1 f1 + e2 f2 . Denote A = E/(h), and
PkA (t)

=

∞
X

βiR (k)ti ∈ Z[[t]]

i=0

the Poincaré series of k. If A were Koszul, we obtain an equality
PkA (t)HA (−t) = 1,

KOSZUL HYPERSURFACES OVER THE EXTERIOR ALGEBRAS

3

where HA (t) is the Hilbert series of A. Note that HA (t) = 1 + 4t + 5t2 , hence
1/HA (−t) = 1 + 4t + 11t2 + 24t3 + 41t4 + 44t5 − 29t6 − · · ·
which cannot be the non-negative series PkA (t). Hence A is not Koszul.



Example 2.4. Consider E = Q[e1 , e2 , e3 , f1 , f2 , f3 ] and h = e1 f1 + e2 f2 + e3 f3 . The Betti table of
the minimal free resolution of Q over E/(h) is given by Macaulay2 [8] as follow
0 1 2 3
4
5
6
7
total: 1 6 22 76 302 1272 5189 20614
0: 1 6 22 62 148 314 610 1106
1: . . . .
.
.
.
.
2: . . . 14 154 958 4383 16372
3: . . . .
.
.
.
.
4: . . . .
.
. 196 3136
Proof of Theorem 1.1. We can assume that h is a quadratic form.
The “if” part is easy and was pointed out in [10, Theorem 5.1.5]; we include an argument
here. There is nothing to do if n = 1 or h = 0, so we can assume that n ≥ 2 and h 6= 0. If h is
reducible, by a suitable change of coordinates, we can assume that h = e1 e2 . Then E/(h) has a
Koszul filtration in the sense of [6] hence it is Koszul.
The “only if” part: if h is not reducible, by a suitable change of coordinates, we can assume
that h = e1 e2 + e3 e4 + · · · + e2i−1 e2i for some 2 ≤ i ≤ n/2. Then k he1 , . . . , e2i i /(h) is not Koszul
by Theorem 2.1, and it is an algebra retract of E/(h). Therefore E/(h) is also not Koszul. 
3. Final remarks
Remark 3.1. The theory of Gröbner basis was extended to the exterior algebras by Aramova,
Herzog and Hibi in [2]. It is also true as in the commutative case that, if J is a homogeneous
ideal in the exterior algebra E and J has quadratic Gröbner basis with respect to some term
order on E, then E/J is Koszul (see [10, Theorem 5.1.5]).
Note however that the ideal I = (e1 f1 +e2 f2 +· · ·+en fn ) of E = k he1 , . . . , en , f1 , . . . , fn i (where
n ≥ 2) does not have a quadratic Gröbner basis in the natural coordinates e1 , . . . , en , f1 , . . . , fn .
Indeed, we can assume that e1 f1 is the initial form of e1 f1 + e2 f2 + · · · + en fn . Now clearly
e1 (e2 f2 + · · · + en fn ) ∈ I, and its initial form is not divisible by e1 f1 , so any Gröbner basis of I
must contain a cubic form.
Remark 3.2. (i) Note that the ideal J = (e1 e2 − f1 f2 , e1 f1 − e2 f2 ) of E = k he1 , e2 , f1 , f2 i is
generated by two irreducible quadratic forms, but E/J is Koszul. In fact, it has a Koszul
filtration; see [10, Example 5.2.2(ii)]. On the other hand, it is shown in loc. cit. that J has no
quadratic Gröbner basis in the natural coordinates.
(ii) Note that if E = k he1 , . . . , en i be an exterior algebra and I be an ideal generated by
reducible quadratic forms then E/I is not Koszul in general. For example, E = Q he1 , . . . , e5 i
and I = (e1 e2 , e3 e4 , (e1 + e3 )e5 ) then E/I is not Koszul, since the Betti table of Q over E/I is
0 1 2 3
4
total: 1 5 18 57 171
0: 1 5 18 56 160
1: . . . 1 11

4

HOP D. NGUYEN

(iii) Many results on the exterior algebras have analogues over commutative complete intersections; see, e.g., [1], [2]. However, if S = k[x1 , . . . , xn ]/(x21 , . . . , x2n ) and h a reducible quadratic
form, S/(h) is not Koszul in general. For example, take S = Q[x, y, z, t]/(x2 , y 2, z 2 , t2 ) and
h = x(y + z + t) then S/(h) is not Koszul since the resolution of Q over S/(h) is
0 1 2 3 4
total: 1 4 11 27 66
0: 1 4 11 25 51
1: . . . 2 15
References
[1] A. Aramova, L.L. Avramov and J. Herzog, Resolutions of monomial ideals and cohomology over exterior
algebras. Tran. Amer. Math. Soc. 352 (1999), 579–594.
[2] A. Aramova, J. Herzog and T. Hibi, Gotzmann theorems for exterior algebras and combinatorics. J. Algebra
191 (1997), 174–211.
[3] L.L. Avramov, A. Conca and S.B. Iyengar, Free resolutions over commutative Koszul algebras, Math. Res.
Lett. 17 (2010), 197–210.
[4] A. Conca, Koszul algebras and their syzygies. in A. Conca et al., Combinatorial Algebraic Geometry, Lecture
Notes in Mathematics 2108, Springer (2014), 1–31.
[5] A. Conca, E. De Negri and M.E. Rossi, Koszul algebra and regularity. in Commutative Algebra: expository
papers dedicated to David Eisenbud on the occasion of his 65th birthday, I. Peeva (ed.), Springer (2013),
285–315.
[6] A. Conca, N.V. Trung and G. Valla, Koszul property for points in projective space. Math. Scand. 89 (2001),
201–216.
[7] R. Fröberg, Koszul algebras. In: Advances in commutative ring theory (Fez, 1997), 337–350, Lecture Notes
Pure Appl. Math. 205, Dekker, New York (1999).
[8] D. Grayson and M. Stillman, Macaulay2. A software system for research in algebraic geometry.
http://www.math.uiuc.edu/Macaulay2/
[9] J. McCullough, Stillman’s question for exterior algebras. Preprint (2013), http://arxiv.org/abs/1307.8162.
[10] P.D. Thieu, On graded ideals over the exterior algebra with applications to hyperplane arrangements. Ph.D. dissertation, Universität Osnabrück (2013). available online from the address
https://repositorium.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2013092311626
Ernst-Abbe-Platz 5, Appartment 605, 07743 Jena, Germany
E-mail address: ngdhop@gmail.com

