Abstract
Let k be a field of characteristic 0. Using the method of idealization, we show that there is a non-Koszul, quadratic, Artinian, Gorenstein, standard graded k-algebra of regularity 3 and codimension 8, answering a question of Mastroeni, Schenck, and Stillman. We also show that this example is minimal in the sense that no other idealization that is non-Koszul, quadratic, Artinian, Gorenstein algebra, with regularity 3 has smaller codimension. We also construct an infinite family of graded, quadratic, Artinian, Gorenstein algebras \(A_m\), indexed by an integer \(m \ge 2\), with the following properties: (1) there are minimal first syzygies of the defining ideal in degree \(m+2\), (2) for \(m \ge 3\), \(A_m\) is not Koszul, (3) for \(m \ge 7\), the Hilbert function of \(A_m\) is not unimodal, and thus (4) for \(m \ge 7\), \(A_m\) does not satisfy the weak or strong Lefschetz properties. In particular, the subadditivity property fails for quadratic Gorenstein ideals. Finally, we show that the idealization of a construction of Roos yields non-Koszul quadratic Gorenstein algebras such that the residue field k has a linear resolution for precisely \(\alpha \) steps for any integer \(\alpha \ge 2\). Thus there is no finite test for the Koszul property even for quadratic Gorenstein algebras.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let k be a field and let \(S = k[x_1,\ldots ,x_c]\) be a standard graded polynomial ring over k. Consider \(R = S/I\) an Artinian standard graded quotient of S. A recent problem that has attracted some attention is to identify what conditions on a quadratic Gorenstein algebra R force R to be Koszul. While every such R with \(\mathop {\mathrm {reg}}\nolimits (R) \le 2\) is Koszul [9], Mastroeni, Schenck, and Stillman [24] constructed quadratic, Gorenstein algebras with \(r=\mathop {\mathrm {reg}}\nolimits (R) = 3\) and \(\mathop {\mathrm {codim}}\nolimits (R) = c\) for all \(c \ge 9\); this negatively answered a question of Conca, Rossi, and Valla [9]. Mastroeni et al. pose the following question: For which positive integers (r, c) does there exist a non-Koszul, quadratic, Gorenstein algebra with regularity r and codimension c? In a second paper [25], they settle the question in all cases except three, namely \((r,c) = (3,6), (3,7),\) and (3, 8). The first result of this paper, given in Sect. 3, is to settle the case \((r,c) = (3,8)\) by finding a non-Koszul, quadratic, Gorenstein algebra with these parameters. We do so by applying Nagata’s idealization construction to a non-Koszul Artinian algebra of codimension 4, which comes from Roos’ list of quadratic algebras in four variables [31]. Moreover, we show that the other two cases \((r,c) = (3,6), (3,7)\) cannot be similarly settled via idealizations.
Our second construction addresses the subadditivity property of Gorenstein ideals. Set \(t_i(R) = \sup \{ j\,|\,\mathop {\mathrm {Tor}}\nolimits _i^S(R,k)_j \ne 0\}\). The numbers \(t_i(R)\) measure the maximal degree of a minimal generator of the i-th syzygy module of R as an S-module. They are primarily of interest because of their relation to regularity as \(\mathop {\mathrm {reg}}\nolimits (S/I) = \max _{i \ge 0}\{t_i(S/I) - i\}\). The ring R is said to satisfy the subadditivity property if \(t_a(R) + t_b(R) \ge t_{a+b}(R)\) for all \(a, b \ge 1\). It is easy to see that complete intersections satisfy subadditivity (Proposition 4.1) while general Cohen-Macaulay ideals do not (cf. [12, Example 4.4]). Several recent papers have studied the subadditivity property for various classes of ideals [1, 14, 21]. It is conjectured that monomial ideals and Koszul ideals satisfy subadditivity [2, Conjecture 6.4]. To our knowledge, there were no known counterexamples to subadditivity for Gorenstein ideals; some positive results for Gorenstein ideals are proved in [13]. In Sect. 4, we show that subadditivity fails in a strong way for quadratic Gorenstein ideals. As a consequence of our methods, we obtain an infinite family of quadratic Gorenstein ideals that are non-Koszul, have arbitrarily high degree first syzygies, have non-unimodal Hilbert function, and do not satisfy the strong or weak Lefschetz properties. This provides a counterexample to a conjecture of Migliore and Nagel [28, Conjecture 4.5]; an earlier counterexample was given by Gondim and Zappala [16].
The third construction modifies a separate example of Roos [30] to show that there is no finite test of the Koszul property even for quadratic Gorenstein algebras. In Sect. 5, we show that for any integer \(\alpha \ge 2\), there is a quadratic, Artinian, Gorenstein k-algebra \(B_\alpha \) with \(\mathop {\mathrm {codim}}\nolimits (B_\alpha ) = 14\) and \(\mathop {\mathrm {reg}}\nolimits (B_\alpha ) = 3\) such that the resolution of k as a B-module is linear for precisely \(\alpha \) many steps.
2 Background
Here we collect notation and results needed in the rest of the paper. Let k be a field, \(S = k[x_1,\ldots ,x_n]\) a standard graded polynomial ring over k, and \(R = S/I\), where I is a homogeneous ideal of S. Then R inherits a decomposition \(R = \oplus _{i \ge 0} R_i\) as K-vector spaces with the property that \(R_i \cdot R_j \subseteq R_{i+j}\). The Hilbert function of R is \(\mathrm {HF}_R(i)=\dim _k(R_i)\). If \(\mathrm {HF}_R(i) = 0\) for \(i \gg 0\), R is Artinian; this is equivalent to requiring \(\dim _k(R) < \infty \) or that R satisfies the descending chain condition on ideals. The generating function for the Hilbert function is the Hilbert series of R defined as \(\mathrm {HS}_R(t) = \sum _{i} \dim _k(R_i)t^i\) and similarly for a graded R-module. For a graded Artinian ring R, the h-vector records the nonzero values of the Hilbert function of R. The syzygy modules of R are denoted \(\mathop {\mathrm {Syz}}\nolimits _i^S(R)\). The regularity of R is \(\mathop {\mathrm {reg}}\nolimits (R) = \max \{j\,|\,\beta _{ij}^S(R) \ne 0\}\), where \(\beta _{ij}^S(R) = \mathop {\mathrm {Tor}}\nolimits _i^S(R,k)_j\) are the graded Betti numbers of R over S. Regularity is one of the most well-studied invariants of graded k-algebras and has connections to sheaf cohomology and computational complexity [4]. In particular, if \(R = S/I\) as above, \(\mathop {\mathrm {reg}}\nolimits _S(S/I) + 1\) is an upper bound on the degrees of a minimal generating set of I; however, there are examples showing that \(\mathop {\mathrm {reg}}\nolimits _S(S/I)\) can be doubly exponential in the degrees of the generators of I [23].
The ring R is called Koszul if k has a linear free resolution over R; that is, \(\beta ^R_{ij}(k) = 0\) for all \(j > i\). It is well-known that Koszul algebras are defined by quadratic ideals and that ideals having a Gröbner basis of quadrics define Koszul algebras, but both of these implications are irreversible [8, Remark 1.10 and Example 1.20]. Every quadratic complete intersection (that is, rings of the form \(S/(f_1,\ldots ,f_m)\), where \(f_1,\ldots ,f_m\) is a graded regular sequence on S) is Koszul by a result of Tate [33]. There are many examples of Koszul algebras in algebraic geometry and these algebras enjoy a rich duality theory. The article [7] contains a modern introduction to the theory of (commutative) Koszul algebras.
A graded Artinian k-algebra R is said to satisfy the weak Lefschetz property if there is a linear form \(\ell \in R_1\) such that for each non negative integer i, the k-linear map \(R_i\rightarrow R_{i+1}, r\mapsto \ell r\) is either injective or surjective. Similarly, R is said to satisfy the strong Lefschetz property if there is a linear form \(\ell \in R_1\) such that for each pair of non negative integers i, j, the k-linear map \(R_i\rightarrow R_{i+j}, r\mapsto \ell ^j r\) is either injective or surjective. Lefshetz properties of Artinian k-algebras have been well-studied and we refer the reader to [18, 29] for an overview of the area.
If R is graded Artinian, then the canonical module of R is given by \(\omega _R = \mathop {\mathrm {Ext}}\nolimits _S^n(R,S)(-n)\) and the canonical module of an R-module M is given by \(\omega _M = \mathop {\mathrm {Ext}}\nolimits _S^n(M,S)(-n)\). In this case, R is called level if \(\omega _R\) is generated in a single degree. The minimal number of generators of \(\omega _R\) is called the type of R and denoted throughout this paper by \(\mathop {\mathrm {type}}\nolimits (R)\). If \(\mathop {\mathrm {type}}\nolimits (R) = 1\), i.e. if \(\omega _R\) is isomorphic to R, up to a shift in the grading, then R is Gorenstein. Equivalently, R is Artinian and Gorenstein if it is injective as an R-module. Gorenstein ideals have symmetric Betti tables and thus Gorenstein rings have palindromic h-vectors. There are many examples of Gorenstein rings of interest in algebraic geometry, such as coordinate rings of many canonical curves, rings of invariants, and monomial curves. We refer the reader to [22] for a history of Gorenstein rings.
Following [24], we say that R is superlevel if R is level and \(\omega _R\) is linearly presented over R. Note that for R to be superlevel, it is sufficient for R to be level and \(\omega _R\) be linearly presented over S. The idealization (sometimes called the Nagata idealization or trivial extension) of R with respect to its canonical module is the ring
with multiplication given by \((r_1, z_1) \cdot (r_2,z_2) = (r_1r_2, r_1z_2 + r_2z_1)\). When R is level, \({\widetilde{R}}\) is a standard graded ring. It is well-known that when R is Artinian, \({\widetilde{R}}\) is Artinian and Gorenstein; see [5, proof of Theorem 3.3.6] or [18, Theorem 2.76]. Mastroeni, Schenck, and Stillman observed the following:
Theorem 2.1
( [24, Proposition 2.2, Lemma 2.3, Theorem 2.5]). Let \(R = S/I\) be a standard graded, Artinian k-algebra.
-
1.
If R is level, then \({\widetilde{R}}\) is a standard graded, Artinian, Gorenstein k-algebra. In this case,
$$\begin{aligned}\mathop {\mathrm {codim}}\nolimits ({\widetilde{R}}) = \mathop {\mathrm {codim}}\nolimits (R) + \mathrm {type}(R) \quad \text { and } \quad \mathop {\mathrm {reg}}\nolimits ({\widetilde{R}}) = \mathop {\mathrm {reg}}\nolimits (R) + 1.\end{aligned}$$ -
2.
If R is quadratic and superlevel, then \({\widetilde{R}}\) is quadratic.
-
3.
If R is not Koszul, then \({\widetilde{R}}\) is not Koszul.
-
4.
\({\widetilde{R}} \cong S[y_1,\ldots ,y_t]/((I) + {\mathcal {L}} + (y_1,\ldots ,y_t)^2)\), where \(t = \mathop {\mathrm {type}}\nolimits (R)\) and
$$\begin{aligned}{\mathcal {L}} = \left. \left( \sum _{i = 1}^t f_i y_i\,\right| \,(f_1,\ldots ,f_t) \in \mathop {\mathrm {Syz}}\nolimits _1^S(\omega _R)\right) .\end{aligned}$$
Thus idealizations of superlevel, Artinian, quadratic algebras are a convenient way of constructing quadratic Gorenstein algebras. All three of the constructions in this paper use this idea.
3 A non-Koszul, quadratic, Gorenstein ring with codimension 8 and regularity 3
A construction of Matsuda [26] shows that not every quadratic, Gorenstein ideal is Koszul. Matsuda’s example had regularity 4. Conca, Rossi, and Valla showed that every quadratic, Gorenstein algebra with regularity 2 was Koszul [9, Proposition 2.12] and asked whether every such algebra with regularity 3 was Koszul [9, Question 6.10]. It is known that all quadratic, Gorenstein algebras of regularity 3 and codimension at most 5 are Koszul [6, 9]. Mastroeni, Schenck, and Stillman [24] constructed counterexamples in all codimensions \(c \ge 9\). They then posed the following question:
Question 3.1
( [24, Question 1.3]). For which positive integers c and r is every quadratic Gorenstein ring R with \(\mathop {\mathrm {codim}}\nolimits (R) = c\) and \(\mathop {\mathrm {reg}}\nolimits (R) = r\) Koszul?
In a second paper [25], Mastroeni, Schenck, and Stillman settle this question for all ordered pairs (r, c) except for (3, 6), (3, 7), and (3, 8). In this section, we show that the answer to Question 3.1 is negative for \((r,c) = (3,8)\). We construct our example by starting with one of the 4-variable quadratic algebras that Roos compiled in [31]. In particular, he constructed a non-Koszul, Artinian, quadratic, superlevel k-algebra of regularity 2. Applying Theorem 2.1 to it, we obtain the following result.
Theorem 3.2
Let k be a field of characteristic 0 and let \(S = k[u,x,y,z]\). Let \(I = (x^2+yz+u^2,xu,x^2+xy,xz+yu,zu+u^2,y^2+z^2)\). Then \(R = S/I\) is non-Koszul, Artinian, superlevel, with \(\mathop {\mathrm {reg}}\nolimits (R) = 2\) and \(\mathop {\mathrm {type}}\nolimits (R) = 4\). Consequently, its idealization \({\widetilde{R}} = R < imes \omega _R(-3)\) is a non-Koszul, quadratic, Gorenstein, Artinian, graded k-algebra with \(\mathop {\mathrm {reg}}\nolimits ({\widetilde{R}}) = 3\) and \(\mathop {\mathrm {codim}}\nolimits ({\widetilde{R}}) = 8\).
Proof
That S/I is not Koszul follows from computations done by Roos [31]. A Macaulay2 [20] calculation shows that S/I has graded Betti table
In particular, S/I is superlevel and \(\mathop {\mathrm {type}}\nolimits (R) = 4\). Therefore, by Theorem 2.1, \({\widetilde{R}} = R < imes \omega _R(-3)\) is a non-Koszul, quadratic, Gorenstein, standard graded k-algebra with \(\mathop {\mathrm {reg}}\nolimits ({\widetilde{R}}) = 3\) and \(\mathop {\mathrm {codim}}\nolimits ({\widetilde{R}}) = 8\). \(\square \)
The h-vector of \({\widetilde{R}}\) is (1, 8, 8, 1). The above example comes from [31, Example 57, Table 5]. Other examples can be constructed from [31, Examples 55 and 56, Table 5].
It is natural to ask whether one can use the idealization of a non-Koszul, superlevel, Artinian algebra R to settle the two remaining cases \((r,c) = (3,6)\) and (3, 7). We show next that this is impossible. Since the codimension of the resulting idealization \({\widetilde{R}}\) is \(\mathrm {codim}(R) + \mathop {\mathrm {type}}\nolimits (R)\), we would need to find a quadratic, superlevel, Artinian algebra with \(\mathop {\mathrm {codim}}\nolimits (R) + \mathop {\mathrm {type}}\nolimits (R) \le 7\). This is impossible in view of the following result.
Proposition 3.3
If R is a level, Artinian, quadratic non-Koszul algebra with \(\mathop {\mathrm {reg}}\nolimits (R) = 2\), then \(\mathop {\mathrm {codim}}\nolimits (R) + \mathop {\mathrm {type}}\nolimits (R) \ge 8\). Hence \({\widetilde{R}} = R < imes \omega _R\) has codimension at least 8.
Proof
Assume towards a contradiction that \(\mathop {\mathrm {codim}}\nolimits (R) + \mathop {\mathrm {type}}\nolimits (R) \le 7\). Since R is level with \(\mathop {\mathrm {reg}}\nolimits (R)=2\), \(\mathop {\mathrm {type}}\nolimits (R) =\mathop {\mathrm {HF}}\nolimits _R(2)\). If \(\mathop {\mathrm {HF}}\nolimits _R(2) \le 2\), then R is Koszul by [3, 4.8]. If \(\mathop {\mathrm {HF}}\nolimits _R(2) =3 \), we may appeal to [7, Theorem 1.1] to conclude that R is Koszul. If \(\mathop {\mathrm {HF}}\nolimits _R(2) \ge 4\), then \(c=\mathop {\mathrm {codim}}\nolimits (R) \le 3\), which is impossible since \(\mathop {\mathrm {HF}}\nolimits _R(2) \le \left( {\begin{array}{c}c+1\\ 2\end{array}}\right) - 3 \le 3\) if R is Artinian and quadratic. \(\square \)
4 Subadditivity fails for Gorenstein ideals
To place our second result in context, we begin by showing that homogeneous complete intersection rings R enjoy the subadditivity property, that is \(t_a(R) + t_b(R) \ge t_{a+b}(R)\) for all \(a, b \ge 1\).
Proposition 4.1
Subadditivity holds for homogeneous complete intersections.
Proof
Let \(I = (f_1,\ldots ,f_c)\) be a homogeneous complete intersection ideal with \(\deg (f_i) = d_i\). Then S/I is resolved by a Koszul complex. We order the generators so that \(d_1 \ge d_2 \ge \cdots \ge d_c\). By the construction of the Koszul complex, it follows that \(t_i(S/I) = \sum _{j = 1}^i d_j\). Hence for any positive integers a, b with \(a+b \le c\), we have
\(\square \)
On the other hand, subadditivity fails in general, even for Cohen-Macaulay ideals, cf. [12, Example 4.4]. Note that to study subadditivity for Cohen-Macaulay, and in particular, for Gorenstein rings, it suffices to consider Artinian rings \(R = S/I\) since the graded Betti numbers of R over S are the same as those of \(R/(\ell )\) over \(S/(\ell )\) for any linear form \(\ell \in S\) regular on R.
The following lemma is similar to an example due to Caviglia [12, Example 4.4]. We use the notation \([-]:\mathbb {Z} \rightarrow \mathbb {N}, [x]=\max \{x,0\}\).
Lemma 4.2
Fix a natural number m and a field k with \(\mathop {\mathrm {char}}\nolimits (k) = 0\) or \(\mathop {\mathrm {char}}\nolimits (k)>2m+1\). Let \(S = k[x_1,\ldots ,x_{2m}]\) and consider the ideals \(C = (x_1^2,\ldots ,x_{2m}^2)\) and \(I = C + \left( (x_1 + \cdots + x_{2m})^2\right) \). Then for \(m \ge 2\), \(R := S/I\) is an Artinian, quadratic algebra that has the following properties.
-
1.
The Hilbert function of R is \(\mathop {\mathrm {HF}}\nolimits _R(i) = \left[ \left( {\begin{array}{c}2m\\ i\end{array}}\right) - \left( {\begin{array}{c}2m\\ i-2\end{array}}\right) \right] \).
-
2.
\(\mathop {\mathrm {reg}}\nolimits (R) = m\).
-
3.
\(\beta _{2,m+2}^S(R) \ne 0\), and moreover, \(t_2(R) = m+2\).
-
4.
R is superlevel.
-
5.
R is not Koszul.
Proof
Tensoring with a field extension of k, if necessary, one may assume that k is infinite. Set \(L = C:I\) and note that L is directly linked to I. Let \(\ell = x_1 + \cdots + x_{2m}\) and consider the homomorphism \(\mu :(S/C)\rightarrow (S/C)\), where \(\mu (x)=\ell ^2x\) for which \(\mathop {\mathrm {Ker}}\nolimits (\mu )=L/C\) and \(\mathop {\mathrm {Coker}}\nolimits (\mu )=S/I\). Since \(\ell ^2\) is a strong Lefschetz element for S/C (see [18, Theorem 3.35] and the references therein for the characteristic zero case and [10, Theorem 7.2] for positive characteristics), the k-linear functions \(\mu _i:(S/C)_i \overset{\ell ^2}{\rightarrow } (S/C)_{i+2}\), obtained by restricting \(\mu \) to each of the graded components of S/C, are injective for \(i \le m-1\) and surjective for \(i \ge m - 1\). It follows that the Hilbert function of \(R = S/I\) is
In particular, R is Artinian with \(\mathop {\mathrm {HF}}\nolimits _R(m) \ne 0\), while \(\mathop {\mathrm {HF}}\nolimits _R(m+1) = 0\) and so \(\mathop {\mathrm {reg}}\nolimits (R) = m\).
Moreover, the injectivity of the maps \(\mu _i\) above shows \(\dim _k(L_i/C_i) =0\) for \(i\le m-1\), so L has no minimal generators below degree m besides the quadratic generators of C. The non-injectivity of \(\mu _m\) shows that L has minimal generators in degree m.
Consider the graded short exact sequence
Since \(\beta _{1,m+2}(S/C) = 0\) and \(\beta _{1,m+2}(S/L(-2)) = \beta _{1,m}(S/L) \ne 0\), it follows from the long exact sequence of \(\mathop {\mathrm {Tor}}\nolimits \) that \(\beta _{2,m+2}(S/I) \ne 0\). Since the only minimal generators for both C and L below degree m are those in the complete intersection C, it follows that \(\beta _{i,j}(S/C) = 0\) for \(j < 2i\) and
Again by the long exact sequence of \(\mathop {\mathrm {Tor}}\nolimits \), we obtain that \(\beta _{i,j}(S/I) = 0\) for \(j < \min \{2i, m+i\}\).
On the other hand, since \(R = S/I\) is Artinian and its Hilbert function satisfies
it follows that \(\mathop {\mathrm {reg}}\nolimits (R) = m\); so the vanishing of Betti numbers \(\beta _{i,j}(R) = 0\) for \(j < \min \{2i, m+i\}\) forces \(\beta _{i,m + i}(R) \ne 0\) for \(m < i \le 2m\). In particular, R is superlevel.
Finally to see that \(R = S/I\) is not Koszul, note that if \(m \ge 3\), then \(t_2(R) = m+2 > 4 = t_1(R) + t_1(R)\). If R were Koszul, then this would contradict [2, Theorem 6.2]. For \(m=2\), the non Koszul property can be checked by direct computation in Macaulay2 [20]. \(\square \)
We now construct a family of quadratic, Artinian, Gorenstein graded rings that have several bad properties.
Theorem 4.3
Fix an integer \(m \ge 2\) and let k be a field with \(\mathop {\mathrm {char}}\nolimits (k) = 0\) or \(\mathop {\mathrm {char}}\nolimits (k)>2m+1\). There exists a quadratic, Artinian, Gorenstein, graded k-algebra A with the following properties.
-
1.
\(\mathop {\mathrm {codim}}\nolimits (A) = 2m + \left[ \left( {\begin{array}{c}2m\\ m\end{array}}\right) - \left( {\begin{array}{c}2m\\ m-2\end{array}}\right) \right] \).
-
2.
A is not Koszul.
-
3.
\(t_2(A) = m+2\).
-
4.
\(\mathop {\mathrm {reg}}\nolimits (A) = m + 1\).
-
5.
The Hilbert function of A is
$$\begin{aligned} \mathrm {HF}_A(i)=\left[ \left( {\begin{array}{c}2m\\ i\end{array}}\right) - \left( {\begin{array}{c}2m\\ i-2\end{array}}\right) \right] + \left[ \left( {\begin{array}{c}2m\\ m-i+1\end{array}}\right) - \left( {\begin{array}{c}2m\\ m - i - 1\end{array}}\right) \right] .\end{aligned}$$
In particular,
-
A does not satisfy the subadditivity property if \(m \ge 3\), and
-
A has a non-unimodal Hilbert function if \(m \ge 7\) and thus does not satisfy the weak or strong Lefschetz properties.
Proof
Set \(A={\widetilde{R}}=R < imes \omega _R(-m-1)\), where \(R=S/I\) is the Artinian algebra introduced in the statement of Lemma 4.2 for \(S = k[x_1,\ldots ,x_{2m}]\). That A is quadratic, Artinian, non-Koszul, and Gorenstein with the claimed regularity, codimension, and Hilbert function follows from Theorem 2.1 and Lemma 4.2.
Also by Theorem 2.1, we can write a presentation for A as
where \(t = \mathop {\mathrm {type}}\nolimits (R)=\left[ \left( {\begin{array}{c}2m\\ m\end{array}}\right) - \left( {\begin{array}{c}2m\\ m-2\end{array}}\right) \right] \) and \(T = S[y_1,\ldots ,y_t]\). It will be useful at this time to view A as a bigraded ring with respect to the grading obtained by assigning degree (1, 0) to the variables of S and degree (0, 1) to the variables \(y_i\). The short exact sequence of bigraded T-modules
gives rise to a long exact sequence containing the fragment
Since \(({\mathcal {L}} + (y_1,\ldots ,y_t)^2)_{(*,0)}=0\), also \((\mathop {\mathrm {Tor}}\nolimits _2^T({\mathcal {L}} + (y_1,\ldots ,y_t)^2,k))_{(*,0)}=0\) for all \(*\in \mathbb {N}\). By contrast, since \(y_1,\ldots ,y_t\) is a regular sequence on T/IT, it follows that \(\mathop {\mathrm {Tor}}\nolimits _2^T(T/IT,k)=\mathop {\mathrm {Tor}}\nolimits _2^S(S/I,k) \otimes _S T\) is concentrated in degrees \((*,0)\). It follows that the long exact sequence above splits inducing an injection \( \mathop {\mathrm {Tor}}\nolimits _2^T(T/IT,k) \hookrightarrow \mathop {\mathrm {Tor}}\nolimits _2^T(A,k)\). Hence \(t_2(A) \ge t_2(S/I) = m\).
On the other hand, since \(\mathop {\mathrm {reg}}\nolimits (S/I) = m\), we get from Theorem 2.1 that \(\mathop {\mathrm {reg}}\nolimits (A) = m+1\); i.e. \(t_i(A) \le m+1+i\) for all \(i \ge 0\). Moreover, since A is Gorenstein and quadratic, the symmetry of the Betti table of A over T forces \(t_i(A) \le m+i\) for all \(i < 2m + t\). In particular, this implies that \(t_2(A) = m + 2 > 2 + 2 = t_1(A) + t_1(A)\) and thus A fails the subadditivity property when \(m \ge 3\).
Finally, assume that \(m \ge 7\). If \(m = 7\), then \(\mathrm {HF}_A(3) = 1988 < 2092 = \mathrm {HF}_A(2)\). If \(m = 8\), then \(\mathrm {HF}_A(3) = 6732 < 7191 = \mathrm {HF}_A(2)\). If \(m=9\), then \(\mathrm {HF}_A(3) = 24054 < 25346 = \mathrm {HF}_A(2)\). We now show \(\mathrm {HF}_A(1) > \mathrm {HF}_A(\left\lfloor \frac{m}{2}\right\rfloor )\) for \(m \ge 10\). By (5), we have
and thus it suffices to show that \(\frac{2\cdot (2m+1)!}{m!(m+2)!}/\mathrm {HF}_A\left( \left\lfloor \frac{m}{2}\right\rfloor \right) >1\). Consider first the case \(m=2n\), whence, by use of Pascal’s formula, one computes
We deduce the desired inequality by considering the function
Clearly the last function above attains arbitrarily large values asymptotically and one can check that its values surpass 1 for \(n\ge 6\). In the remaining case, \(n=5\), the claim \(58806=\mathrm {HF}_A(1)> \mathrm {HF}_A\left( n\right) =48279\) can be checked by direct computation. The case when m is odd is similar and we omit the details. \(\square \)
That the family of Artinian algebras in Theorem 4.3 fails to satisfy the strong Lefschetz property can be deduced from [15, Proposition 2.1], however the stronger statement regarding the failure of the weak Lefschetz property is to our knowledge new.
Example 4.4
Take \(m = 3\) and consider \(S = k[x_1,\ldots ,x_6]\). Applying Lemma 4.2, we set \(C = (x_1^2,\ldots ,x_{6}^2)\) and \(I = C + (x_1 + \cdots + x_6)^2\). Then \(R = S/I\) has the following Betti table over S:
In particular, \(t_1(S/I) = 2\) and \(t_2(S/I) = 5\), so R is an Artinian algebra that fails subadditivity; i.e. \(t_2(R) > t_1(R) + t_1(R)\). Moreover, R is superlevel with \(\mathop {\mathrm {reg}}\nolimits (R) = 3\) and h-vector (1, 6, 14, 14).
Now we consider \({\widetilde{R}} = R < imes \omega _R(-4)\). By Theorem 2.1, \({\widetilde{R}}\) is Artinian, Gorenstein with h-vector (1, 20, 28, 20, 1), and \(\mathop {\mathrm {reg}}\nolimits ({\widetilde{R}}) = 4\). As \({\widetilde{R}}\) is quadratic, \(t_1({\widetilde{R}}) = 2\) while \(t_2({\widetilde{R}}) = 5\) by Theorem 4.3. Thus \({\widetilde{R}}\) is an Artinian, Gorenstein algebra for which subadditivity fails.
It is worth noting that while we know the Hilbert function of \({\widetilde{R}}\) from Theorem 4.3, the full Betti table of \({\widetilde{R}}\), as a quotient of a polynomial ring in 20 variables, is not so clear. It would be very interesting to have a full description of the resolution of the idealization \({\widetilde{R}}\) in terms that of R.
Example 4.5
When \(m = 7\), the Gorenstein k-algebra \({\widetilde{R}}\) from Theorem 4.3 has non-unimodal h-vector (1, 1444, 2092, 1958, 1820, 1958, 2092, 1444, 1). Thus \({\widetilde{R}}\) is a quadratic Gorenstein algebra with \(\mathop {\mathrm {codim}}\nolimits ({\widetilde{R}}) = 1444\) and \(\mathop {\mathrm {reg}}\nolimits ({\widetilde{R}}) = 8\) and for which both the weak and strong Lefshetz properties fail. The first example of a (non-quadratic) Gorenstein algebra with non-unimodal h-vector was famously constructed by Stanley [32].Footnote 1
5 Quadratic non-Koszul Gorenstein algebras with linear resolutions of arbitrarily high order
Let k be a field of characteristic 0. In [30, Theorem 1’] Roos gave examples of graded, Artinian, non-Koszul, quadratic k-algebras \(A_\alpha \) for integers \(\alpha \ge 2\) such that k has a linear resolution for precisely the first \(\alpha \) steps before a minimal non-linear syzygy. Here we note that these algebras are superlevel and that their Gorenstein idealizations have the same property. This removes any hope of a ‘finite test’ for the Koszul property in the context of quadratic Gorenstein algebras.
To state the result, we first recall the definition of the graded Poincare series of a module. Fix a graded module M over a graded ring R. The generating function for the bigraded k-vector space \(\mathop {\mathrm {Tor}}\nolimits _*^R(M,k)_*\) is \(P_R^M(x,y) := \sum _{i,j} \beta _{x,y}^R(M) x^i y^j\). Thus the graded Poincare series of R is \(P_R^k(x,y)\), which encodes the resolution of k over R.
Theorem 5.1
Let k be a field of characteristic 0 and fix a positive integer \(\alpha \ge 2\). Let \(S = k[u,v,w,x,y,z]\) and
Then the idealization \({\widetilde{R}}\) of \(R = S/I\) is quadratic, Gorenstein, non-Koszul, and k has linear resolution for precisely \(\alpha \) steps in the resolution over \({\widetilde{R}}\).
Proof
By [30, Theorem 1’], R has Hilbert series \(\mathrm {HS}_R(t) = 1 + 6t + 8t^2\), whence \(\mathop {\mathrm {reg}}\nolimits (R) = 2\), and \(\mathop {\mathrm {type}}\nolimits (R) = 8\), and it is easy to check with Macaulay2 [20] that R is superlevel. Thus \({\widetilde{R}} = R < imes \omega _R(-3)\) is Artinian, quadratic, and Gorenstein with \(\mathop {\mathrm {reg}}\nolimits ({\widetilde{R}}) = 3\) and \(\mathop {\mathrm {codim}}\nolimits ({\widetilde{R}}) = 6+8 = 14\).
We need only argue that the resolution of k over \({\widetilde{R}}\) is linear for exactly \(\alpha \) steps. To achieve this, we recall the details of the construction of R from [30]. It is shown therein that R itself is an idealization \(R=A < imes M(-1)\), where \(A=k[x,y,u,v]/(x^2,xy,y^2,v^2,vw,w^2)= B \otimes _k C\), \(B = k[x,y]/(x,y)^2\), and \(C = k[v,w]/(v,w)^2\) and M is an A-module with Hilbert series \(\mathrm {HS}_M(t)=2+4t\). By a result of Gulliksen [17, Theorem 2] combined with the fact that M and \(\omega _R\) are linearly presented, the relevant graded Poincaré series are related by
Since [30] shows that both the resolution of k over R and the resolution of M over A are linear for exactly \(\alpha \) steps, it suffices to show that the resolution of \(\omega _R\) over A is linear.
By [19, proof of Claim 2], there is an isomorphism of R-modules \(\omega _R(-2) \cong \omega _M(-1) < imes \omega _A(-2)\), with the \(R=A < imes M(-1)\)-module structure given by \((a,m)\cdot (s,t)=(as,at+s(m))\), where we view \(s\in \mathop {\mathrm {Hom}}\nolimits _A(M,\omega _A)\cong \omega _M\). This induces an isomorphism of A-modules \( \omega _R(-2) \cong \omega _M(-1) \oplus \omega _A(-2)\), and we note that both \(\omega _M(-1)\) and \(\omega _A(-2)\) are generated in degree 0. Thus it suffices to show that both \(\omega _A(-2)\) and \(\omega _M(-1)\) have linear resolutions over A. The former module decomposes as a tensor product \(\omega _A(-2)\cong \omega _B(-1)\otimes _k \omega _C(-1)\). Thus the minimal free resolution of \(\omega _A(-2)\) over A is in turn the tensor product of the resolutions of \(\omega _B(-1)\) over B and \(\omega _C(-1)\) over C. Since the rings B and C contain no elements of degree greater than one, the differentials in the resolutions of \(\omega _B(-1)\) and \(\omega _C(-1)\) are linear. As B and C are level of regularity 1, \(\omega _B(-1)\) and \(\omega _C(-1)\) are each generated in degree zero, hence their resolutions are linear and so is the resolution of \(\omega _A(-2)\) over A.
Finally, in order to analyze the resolution of \(\omega _M(-1)\) over A, one must dig deeper into the structure of the module M. Since A is Artinian, [11, Proposition 21.1] shows that \(\omega _M(-1) \cong \mathop {\mathrm {Hom}}\nolimits _k(M(+1),k)\) as an A-module. Consequently, the Hilbert series of this module is \(\mathrm {HS}_{\omega _M(-1)}(t)=4+2t\). Fix k-bases \(\{f_1^*, f_2^*, f_3^*, f_4^*\}\) for \( ({\omega _M(-1)})_0\) and \(\{e_1^*, e_2^*\}\) for \(({\omega _M}(-1))_1\), where \(e_i, f_i\) refer to the dual elements in \(M_0\) and \(M_1\) respectively. The A-module structures of M and \(\omega _M\) can be completely described by the following dual tables, the first of which can be deduced from [31, Equation (3)]
The leftmost table should be interpreted to mean that, for example, \(ve_1=f_1\) in M, while the rightmost table should be interpreted to mean that, dually, \(vf_1^*=e_1^*\) in \(\omega _M\). (That, for instance, \(ye_1 = 0\) is thus implicit in the table.) Equipped with this information, we implement a strategy for determining \(\mathop {\mathrm {Tor}}\nolimits ^A(\omega _M(-1),k)\) inspired by Roos’ original approach: We compute the homology of the tensor product of the bar resolutions for k over B and C further tensored with \(\omega _M\). Since \(\omega _M\) is concentrated in only two degrees, the only potential nonzero components of \(\mathop {\mathrm {Tor}}\nolimits _i^A(\omega _M(-1),k)\) are in degrees i and \(i+1\). Furthermore, \(\mathop {\mathrm {Tor}}\nolimits _i^A(\omega _M(-1),k)_{i+1}\) is the cokernel of
It is easily verified that this map is surjective as for arbitrary \(\mu , \lambda \in k, b_j\in B_1, c_j\in C_1\), we have
Thus \(\mathop {\mathrm {Tor}}\nolimits _i^A(\omega _M(-1),k)_{i+1}=0\) for \(i>0\), which concludes the proof. \(\square \)
Notes
Stanley’s construction was also given via idealization for the ring \(A = k[x,y,z]/(x,y,z)^4\). Since A has h-vector (1, 3, 6, 10), its idealization \({\widetilde{A}} = A < imes \omega _A\) has h-vector (1, 13, 12, 13, 1); however, \({\widetilde{A}}\) is clearly not quadratic.
References
Avramov, L., Conca, A., Iyengar, S.: Free resolutions over commutative Koszul algebras. Math. Res. Lett. 17(2), 197–210 (2010)
Avramov, L., Conca, A., Iyengar, S.: Subadditivity of syzygies of Koszul algebras. Math. Ann. 361(1–2), 511–534 (2015)
Backelin, J.: A distributiveness property of augmented algebras and some related homological results. Ph.D. thesis, Stockholm University (1982)
Bayer, D., Mumford, D.: What can be computed in algebraic geometry? In: Computational Algebraic Geometry and Commutative Algebra (Cortona, 1991), 1–48, Sympos. Math., XXXIV, Cambridge Univ. Press, Cambridge (1993)
Bruns, W., Herzog, J.: Cohen-Macaulay Rings. Cambridge Studies in Advanced Mathematics, vol. 39. Cambridge University Press, Cambridge (1993)
Caviglia, G.: On a class of Gorenstein algebras that are Koszul. Laurea in Mathematics (Masters thesis). Università di Genova (2000)
Conca, A.: Gröbner bases for spaces of quadrics of codimension 3. J. Pure Appl. Algebra 213, 1564–1568 (2009)
Conca, A.: Koszul algebras and their syzygies. Combinatorial algebraic geometry, 1–31, Lecture Notes in Math., 2108, Springer, Berlin (2014)
Conca, A., Rossi, M.E., Valla, G.: Gröbner flags and Gorenstein algebras. Compositio Math. 129(1), 95–121 (2001)
Cook, D.: The Lefschetz properties of monomial complete intersections in positive characteristic. J. Algebra 369, 42–58 (2012)
Eisenbud, D.: Commutative Algebra: With a View Toward Algebraic Geometry. Springer, New York (1995)
Eisenbud, D., Huneke, C., Ulrich, B.: The regularity of Tor and graded Betti numbers. Amer. J. Math. 128, 573–605 (2006)
El Khouri, S., Srinivasan, H.: A note on the subadditivity of syzygies. J. Algebra Appl. 16(9), 1750177 (2017)
Faridi, S.: Lattice complements and the subadditivity of syzygies of simplicial forests. J. Comm. Algebra 11(4), 535–546 (2019)
Gondim, R.: On higher Hessians and the Lefschetz properties. J. Algebra 489, 241–263 (2017)
Gondim, R., Zappala, G.: Lefschetz properties for Artinian Gorenstein algebras presented by quadrics. Proc. Amer. Math. Soc. 146, 993–1003 (2018)
Gulliksen, T.: Massey operations and the Poincaré series of certain local rings. J. Algebra 22, 223–232 (1972)
Harima, T., Maeno, T., Morita, H., Numata, Y., Wachi, A., Watanabe, J.: The Lefschetz properties. Lecture Notes in Mathematics, vol. 2080. Springer (2013)
Loan, N.T.H.: On canonical modules of idealizations. J. Commut. Algebra 9(1), 107–117 (2017)
Grayson, D., Stillman, M.: Macaulay 2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/
Herzog, J., Srinivasan, H. On the subadditivity problem for maximal shifts in free resolutions. In: Commutative Algebra and Noncommutative Algebraic Geometry vol. II, pp. 245–249, Math. Sci. Res. Inst. Publ. 68, Cambridge University Press, New York (2015)
Huneke, C.: Hyman Bass and ubiquity: Gorenstein rings. In: Algebra, K-theory, Groups, and Education (New York, 1997), 55–78, Contemp. Math., 243, Amer. Math. Soc., Providence, RI (1999)
Koh, J.: Ideals generated by quadrics exhibiting double exponential degrees. J. Algebra 200, 225–245 (1998)
Mastroeni, M., Schenck, H., Stillman, M.: Quadratic Gorenstein rings and the Koszul property I. arXiv:1903.08265 (2019)
Mastroeni, M., Schenck, H., Stillman, M.: Quadratic Gorenstein rings and the Koszul property II. arXiv:1903.08273 (2019)
Matsuda, K.: Non-Koszul quadratic Gorenstein toric rings. Math. Scand. 123(2), 161–173 (2018)
McCullough, J.: On the maximal graded shifts of ideals and modules. J. Algebra, to appear
Migliore, J., Nagel, U.: Gorenstein algebras presented by quadrics. Collect. Math. 64(2), 211–233 (2013)
Migliore, J., Nagel, U.: Survey article: a tour of the weak and strong Lefschetz properties. J. Commut. Algebra. 5(3), 329–358 (2013)
Roos, J.-E.: Commutative non-Koszul algebras having a linear resolution of arbitrarily high order. Applications to torsion in loop space homology. C.R. Acad. Sci. Paris Sér. I Math. 316(11), 1123–1128 (1993)
Roos, J.-E.: Homological properties of the homology algebra of the Koszul complex of a local ring: examples and questions. J. Algebra 465, 399–436 (2016)
Stanley, R.: Cohen-Macaulay complexes. In: Higher Combinatorics (Proc. NATO Advanced Study Inst., Berlin, 1976) pp. 51–62. NATO Adv. Study Inst. Ser., Ser. C: Math. and Phys. Sci., 31. Reidel, Dordrecht (1977)
Tate, J.: Homology of local and Noetherian rings. Illinois J. Math. 1, 14–27 (1957)
Acknowledgements
We thank Matt Mastroeni, Hal Schenck, and Mike Stillman for useful conversations and bringing Question 3.1 to our attention.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author was supported by a grant from the Simons Foundation (576107, JGM) and NSF Grant DMS-1900792. The second author was partially supported by NSF Grant DMS-1601024.
Rights and permissions
About this article
Cite this article
McCullough, J., Seceleanu, A. Quadratic Gorenstein algebras with many surprising properties. Arch. Math. 115, 509–521 (2020). https://doi.org/10.1007/s00013-020-01492-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-020-01492-x