arxiv: v1 [math.ac] 23 Aug 2018

Transcription

1 arxiv: v1 [math.ac] 23 Aug 2018 GOENSTEINNESS OF SHOT LOCAL INGS VIA SYZYGY MODULES OF THE ESIDUE FIELD DIPANKA GHOSH Abstract. Let (, m) be a commutative Noetherian local ring. Suppose contains a regular sequence x with the property that m 3 (x). Suppose there is a surjective homomorphism from a finite direct sum of syzygy modules of the residue field /m onto a non-zero -module M. We prove that if Ext 0 (M,) = 0, then is Gorenstein. Particularly, for this class of rings, it gives a positive answer to a question raised by Takahashi. Moreover, we analyze whether the vanishing of Tor 0 (ω,m) or Ext 0 (ω,m) implies that is Gorenstein, where ω is a canonical module of. 1. Introduction Let be a local ring with maximal ideal m and residue field k. For every integer n 0, Ω n(k) denotes the nth syzygy module in a minimal free resolution of k. One of the most influential results in commutative algebra is the result of Auslander, Buchsbaum and Serre: is regular if and only if projective dimension of k is finite, which is equivalent to the fact that some syzygy module of k is free. Dutta, in [Dut89, Cor. 1.3], proved that is regular if and only if Ω n (k) has a nonzero free direct summand for some n 0. Later, in [Tak06, Thm. 4.3], Takahashi generalized Dutta s result by showing that is regular if and only if Ω n (k) has a semidualizing (e.g., itself as an -module) direct summand for some n 0. In a joint work [GGP, Cor. 3.2] with Gupta and Puthenpurakal, the author proved a considerably stronger result: If a finite direct sum of syzygy modules of k maps onto a semidualizing -module, then is regular. It follows from Dutta s result that is regular if and only if some Ω n(k) (n 0) has a non-zero direct summand of finite projective dimension. A counterpart of this result for injective dimension is shown in [GGP, Thm. 3.7]. In a different direction, Martsinkovsky [Mar96, Prop. 7] generalized Dutta s result as follows: If a finite direct sum of syzygy modules of k maps onto a non-zero -module of finite projective dimension, then is regular. Thereafter, Avramov proved a much more stronger result: Theorem 1.1 (Avramov). [Avr96, Cor. 9] Every non-zero homomorphic image M of a finite direct sum of syzygy modules of k has maximal complexity and curvature, i.e., cx (M) = cx (k) and curv (M) = curv (k); see Definition 2.2. Date: August 4, Mathematics Subject Classification. Primary 13H10, 13D02, 13D07. Key words and phrases. Gorenstein ring; Syzygy module; Complexity; Curvature; Ext; Tor. The author was supported by DST, Govt. of India under the DST-INSPIE Faculty Scheme. 1

2 2 DIPANKA GHOSH 1.2. A few consequences of Theorem 1.1 are the following results. Let M be a nonzero homomorphic image of a finite direct sum of syzygy modules of k. (1) If projective dimension pd (M) is finite, then is regular; onemay use Lemma 2.3(i)(a). (2) If complete intersection dimension (as in [AGP97, (1.2)]) of M is finite, then is a complete intersection ring; use [AGP97, (5.6)] and Proposition 2.5(ii). The Gorenstein dimension (in short G-dimension) was introduced by Auslander [Aus67], and was deeply studied by him and Bridger [AB69]. It is well known that G-dim (k) is finite if and only if is Gorenstein. In this theme, Takahashi showed that is Gorenstein if and only if Ω n (k) has a non-zero direct summand of G-dimension 0 for some 0 n depth() + 2; see [Tak06, Thm. 6.5]. The following question [Tak06, 6.6] of Takahashi is still open: If Ω n(k) has a non-zero direct summand ofg-dimension 0for somen > depth()+2, then is Gorenstein? More generally, in view of Section 1.2, it is now natural to ask the following: Question 1.3. If a finite direct sum of syzygy modules of k maps onto a non-zero -module of finite G-dimension, then is Gorenstein? We give a positive answer to Question 1.3 for short local rings: Definition 1.4. The ring is said to be a short local ring if it contains a regular sequence x := x 1,...,x d with the property that m 3 (x). The motivation to work over these rings came from the following results. A commutative local analog of a conjecture of Tachikawa says that if Ext i (ω,) = 0 for all i 1, then is Gorenstein, where ω is a canonical -module. In [ABS05], Avramov, Buchweitz and Şega proved this conjecture in several significant cases. In a particular case, they considered short local rings; see [ABS05, Thm. 5.1]. Many important conjectures that are still open in general have been verified over these rings; see [Les85, Thm. B] and [HŞV04, Thm and 4.1]. As it is described in [AIS08, page 459], there are many famous counterexamples too built over these rings. In the present article, inspired by Question 1.3, we prove the following: Theorem 1.5 (= 3.3). Let (,m,k) be a short local ring. Let ω be a canonical module of. Let M be a non-zero homomorphic image of a finite direct sum of syzygy modules of k. Then the following statements are equivalent: (i) is Gorenstein. (ii) Ext i (M,) = 0 for all i 0. (iii) Tor i (ω,m) = 0 for all i 0. With hypotheses as in Theorem 1.5, we also study the following: Question 1.6. If Ext i (ω,m) = 0 for all i 0, then is Gorenstein? Being G-dim (M) finite is much stronger condition than Ext 0 (M,) = 0; see [AB69, emarks after (3.7)]. Hence, for short local rings, Theorem 1.5 ensures that Question 1.3 has affirmative answer. If has minimal multiplicity (i.e., if m 2 = (x)m for some -regular sequence x) and M ( 0) is a direct summand of somesyzygymodule of k, then Question1.6has positive answer; see[gp, Thm. 5.9] and[gho, Thm.5.5]. Inthisarticle, thoughweareunabletogiveacompleteanswer to Question 1.6, but in various attempts, we prove Theorems 3.6, 3.14 and We now describe in brief the contents of this article. In Section 2, we collect some preliminaries for later use. Our main results are shown in Section 3, which

3 GOENSTEINNESS OF SHOT LOCAL INGS VIA SYZYGIES 3 provide necessary and sufficient conditions for a short local ring to be Gorenstein in terms of vanishing of suitable Ext and Tor modules. Finally, in Section 4, we give some reason why Gorensteinness of such local rings is important; see Theorem 4.1 and Example Preliminaries Throughout this article, all rings are assumed to be commutative Noetherian local rings, and all modules (except possibly the injective hulls) are assumed to be finitely generated. Moreover, always denotes a local ring with the unique maximal ideal m and residue field k. For an -module M, and integer n 0, Ω n (M) denotes the nth syzygy module of M in a minimal free resolution. Though Ω n (M) depends on the choice of a minimal free resolution of M, but it is unique up to isomorphism. For n 1, since Ω n (M) mf for some free module F, one obtains the following relation between the socle of the ring and the annihilator of the syzygy modules: Lemma 2.1. Soc() ann ( Ω n (M) ) for every n 1. We set M := Hom (M,) and M := Hom (M,E), where E := E (k) is the injective hull of k over. We denote the minimal number of generators of M by µ(m), and the length of M by λ(m). For every n 0, the integer βn(m) := rank k (Ext n (M,k)) is called the nth Betti number of M. It is equal to the rank of the nth component in a minimal free resolution of M. In other words, βn(m) = µ ( Ω n(m) ). Dually, µ n(m) := rank k (Ext n (k,m)) is called the nth Bass number of M. The formal sums PM (t) := n 0 β n (M)tn and BM (t) := n 0 µ n (M)tn are called the Poincaré series and Bass series of M respectively. The following notions were introduced by Avramov. Definition 2.2. (1) [Avr89, (3.1)] The complexity of M, denoted cx (M), is the smallest non-negative integer b such that βn (M) αnb 1 for all n 0, and for some real number α > 0. If no such b exists, then we set cx (M) =. (2) [Avr96, p. 319] eplacing βn(m) by µ n(m) in (1), one obtains the notion of injective complexity injcx (M). This is called plexity px (M) in [Avr89, (5.1)]. (3) [Avr96, p. 320] The curvature of M, denoted curv (M), is the reciprocal value of the radius of convergence of PM (t), i.e., curv (M) := limsup n n βn(m). We use the following elementary properties of complexity and curvature. Lemma 2.3. Let M and N be -modules. The following statements hold true. (i) [Avr98, mk ] (a) pd (M) < cx (M) = 0 curv (M) = 0. (b) cx (M) < = curv (M) 1; the converse is also true for M = k (see [Avr98, and 8.2.2]). (c) curv (M) is always finite. (ii) [Avr98, Prop (2) and (3)] (a) cx (M) = cx ( Ω n (M) ) and curv (M) = curv ( Ω n (M) ) for all n 1. (b) cx (M N) = max{cx (M),cx (N)}. (c) curv (M N) = max{curv (M),curv (N)}.

4 4 DIPANKA GHOSH (iii) Let x be regular on both and M. Then cx /(x) (M/xM) = cx (M), curv /(x) (M/xM) = curv (M) and injcx /(x) (M/xM) = injcx (M). Proof. (iii) Since x is regular on both and M, for every n 0, we have that β /(x) n (M/xM) = βn(m) and µ n /(x) (M/xM) = µ n+1(m); see, e.g., [Mat86, p. 140, Lem. 2]. Hence the desired equalities follow. The following lemma shows that complexity and curvature of the residue field remain same after going modulo a regular element. Lemma 2.4. Let x m m 2 be an -regular element. Then cx /(x) (k) = cx (k) and curv /(x) (k) = curv (k). Proof. Set ( ) := ( ) /(x). In view of Lemma 2.3(ii) and (iii), we obtain that ( cx (k) = cx Ω 1 (k) ) ( ) = cx Ω 1 (k) ) = cx (Ω 1 (k) Ω 0 (k) [by [Tak06, Cor. 5.3]] ) ( )} = max {cx (Ω 1 (k),cx Ω 0 (k) = cx (k). Similarly, one obtains that curv (k) = curv /(x) (k). Let us recall a few well-known properties of complexities of the residue field. Proposition 2.5. (i) [Avr96, Prop. 2] The residue field has maximal complexities and curvature: cx (k) = sup{cx (M) : M is an -module} = sup{injcx (M) : M is an -module} = injcx (k), and curv (k) = sup{curv (M) : M is an -module}. (ii) [Gul80, (2.3)] If cx (k) is finite, then is a complete intersection ring. (iii) If is a complete intersection ring of codimension c, then it follows from [Tat57, Thm. 6] that cx (k) = c. (iv) The statements (ii) and (iii) along with Lemma 2.3(i)(b) yield the following: is complete intersection cx (k) < curv (k) 1. Definition 2.6. In view of Proposition 2.5(i), an -module M is said to have maximal complexity (resp., curvature) if cx (M) = cx (k) (resp., curv (M) = curv (k)). We need the following elementary fact on vanishing of Exts or Tors. Lemma 2.7. [Gho, 2.6] Let M and N be -modules. Let x be an M Nregular element. Set ( ) := ( ) /(x). Suppose m and n are positive integers. If Ext i (M,N) = 0 (resp. Tor i (M,N) = 0) for all n i n+m, then Ext i (M,N) = 0 for all n i n+m 1 (resp. Tor i (M,N) = 0 for all n+1 i n+m).

5 GOENSTEINNESS OF SHOT LOCAL INGS VIA SYZYGIES 5 The following proposition is a consequence of a result due to Huneke, Şega and Vraciu [HŞV04, Prop. 2.9]. Proposition 2.8. Let be a non-gorenstein local ring such that m 3 = 0. Let M be an -module with the property that Tor i (M,E) = 0 for all i 0, where E := E (k). Then βn (M) = c for every n 1, where c is a constant. Proof. Let us denote Ω 1 (M) by Ω(M). If M is free, then β n(m) = 0 for every n 1. So we may assume that M is not free. Hence Ω(M) is not free (otherwise, by the Auslander-Buchsbaum Formula, M is free). Note that Tor i (Ω(M),E) = Tor i+1(m,e) = 0 for all i 0. Since m 3 = 0, we have that m 2 Soc() ann (Ω(M)) (by Lemma 2.1), and hence m 2 Ω(M) = 0. Therefore, by virtue of [HŞV04, Prop. 2.9], one can deduce that βn (Ω(M)) = c for every n 0, where c is a non-zero constant. Hence βn (M) = β n 1 (Ω(M)) = c for every n Gorensteinness of short local rings The following theorem shows that modules with extremal complexity or curvature can be used to detect whether a short local ring is Gorenstein. Theorem 3.1. Let (,m,k) be a short local ring. Let M be an -module such that either curv (M) = curv (k) or cx (M) = cx (k). (Particularly, cx (M) might be infinite). Then the following statements are equivalent: (i) is Gorenstein. (ii) Ext i (M,) = 0 for all i 0. If has a canonical module ω, then we may add the following: (iii) Tor i (M,ω) = 0 for all i 0. Proof. Since x = x 1,...,x d is an -regular sequence such that m 3 (x), it can be easily verified that is Cohen-Macaulay of dimension d. If is Gorenstein, then Ext i (M,) = 0 for all i d+1 (because in this case injdim () = d). Moreover, if is Gorenstein, then ω =, and hence Tor i (M,ω) = 0 for all i 1. So we only need to prove the implications {(ii) (i)} and {(iii) (i)}. {(ii) or (iii)} (i): We consider the case when cx (M) = cx (k). Another case, i.e., curv (M) = curv (k) can be treated similarly. We prove these implications by using induction on d. Assume that d = 0. In this case, m 3 = 0, and the injective hull E (of k over ) is a canonical module of, i.e., ω = E. Note that Ext i (M,) = Tor i (M,E) for every i 0. Hence, by Matlis Duality, Ext i (M,) = 0 if and only if Tor i (M,E) = 0. So, in this case, (ii) and (iii) are equivalent. We assume that Tor i (M,E) = 0 for all i 0. If possible, assume that is not Gorenstein. Then, by virtue of Proposition 2.8, we obtain that βn(m) = c for every n 1, where c is a constant. Therefore cx (k) = cx (M) 1. Hence, in view of Proposition 2.5(iv), is a complete intersection ring, which contradicts the assumption that is not Gorenstein. Therefore is Gorenstein. We now give the inductive step. Assume that d 1. It is given that m 3 (x), where x = x 1,...,x d is -regular. Without loss of generality, we may assume that x 1 / m 2. (Indeed, since r=1 mr = 0, there is r 1 such that x 1 m r m r+1. Then x 1 = y 1 y r for some y i m, 1 i r. Clearly, y 1 is -regular and y 1 / m 2. One can replace x 1 by y 1.) We set ( ) := ( ) /(x 1 ). It can be

6 6 DIPANKA GHOSH observed that (m/(x 1 )) 3 (x 2,...,x d ), where x 2,...,x d (the images of x 2,...,x d in respectively) is an -regular sequence. Suppose Ext i (M,) = 0 (resp., Tor i (M,ω) = 0) for all i 0. Then (3.1.1) Ext i (Ω(M),) = Ext i+1 (M,) = 0 for all i 0 (resp., Tor i (Ω(M),ω) = Tor i+1(m,ω) = 0 for all i 0). Since x 1 is -regular and ω is a maximal Cohen-Macaulay -module, x 1 is regular on ω. Note that x 1 is also Ω(M)-regular. Let us denote Ω(M) by N. Hence, in view of (3.1.1), by Lemma 2.7, we can deduce that Ext i (N,) = 0 (resp., Tor i (N,ω) = 0) for all i 0. (Note that ω is a canonical module of.) On the other hand, by using Lemmas 2.3 and 2.4, we obtain that cx (N) = cx (N) = cx (M) = cx (k) = cx (k). Thus there is an -module N such that cx (N) = cx (k) and Ext i (N,) = 0 (resp., Tor i (N,ω) = 0) for all i 0. Since dim() = d 1, in either case, by induction hypothesis, we get that is Gorenstein, and hence is Gorenstein. emark 3.2. The two conditions curv (M) = curv (k) and cx (M) = cx (k) in Theorem 3.1 are independent of one another. In Example 4.2, assuming p > q, we have curv (N) < curv (k), but cx (N) = = cx (k). On the other hand, in Example 4.3, curv (N) = curv (k). Since βn (N) = 1 for all n 0, we have cx (N) = 1 < 2 = cx (k) (by Proposition 2.5(iii)). As an immediate corollary of Theorem 3.1, we obtain one of our main results. Corollary 3.3. Let (,m,k) be a short local ring. Let ω be a canonical module of. Let M be a non-zero homomorphic image of a finite direct sum of syzygy modules of k. Then the following statements are equivalent: (i) is Gorenstein. (ii) Ext i (M,) = 0 for all i 0. (iii) Tor i (ω,m) = 0 for all i 0. Proof. The corollary follows from Theorems 1.1 and 3.1. As some other consequences of Theorem 3.1, we obtain the following results (See [HŞV04, Thm. 2.11] for a stronger result). With and ω as in Corollary 3.3, we may recover that if Ext i (ω,) = 0 (resp., Tor i (ω,ω) = 0) for all i 0, then is Gorenstein. (Indeed, if is not Gorenstein, then cx (ω) = by [JL07, Prop. 1.1.(4)], hence apply Theorem 3.1 to get a contradiction) Let Q = k[x 1,...,X e ] be a positively graded polynomial ring over a field k of characteristic 0, and I be a homogeneous ideal containing (X 1,...,X e ) 3. Set := Q/I. Let C denote either I/I 2, or the module Ω k of Kähler differentials over k. If Ext i (C,) = 0 (resp., Tor i (C,ω) = 0) for all i 0, then is Gorenstein. (One may use Theorem 3.1 and the fact that if is not Gorenstein, then curv (C) = curv (k) by [Avr98, Thm and 8.3.4]). The following result is a counterpart of Theorem 3.1 for injective complexity. Theorem 3.6. With and ω as in Corollary 3.3, let M be an -module such that injcx (M) = injcx (k) and Ext i (ω,m) = 0 for all i 0. Then is Gorenstein.

7 GOENSTEINNESS OF SHOT LOCAL INGS VIA SYZYGIES 7 Proof. Let Ext i (ω,m) = 0 for all i 0. Note that x = x 1,...,x d. We use induction on d. In the base case, i.e., if d = 0, then ω = E (:= E (k)). Hence Tor i (E,M ) = Ext i (E,M) = 0 for all i 0. Note that (3.6.1) β n (M ) = rank k ( Tor n (k,m ) ) = rank k (Ext n (k,m) ) = rank k (Ext n (k,m)) [as k = k] = µ n (M) for every n 0. Thus cx (M ) = injcx (M) = injcx (k) = cx (k). So, in view of the implication {(iii) (i)} in Theorem 3.1, we obtain that is Gorenstein. We now give the inductive step. Assume that d 1. As in the proof of Theorem 3.1, we may assume that x 1 m m 2. Set ( ) := ( ) /(x 1 ). By virtue of [AB89, Thm. A], we have a maximal Cohen-Macaulay (MCM) approximation of M, i.e., a short exact sequence 0 Y N M 0 of -modules, where N is MCM and Y has finite injective dimension. Hence (3.6.2) Ext i (ω,n) = Ext i (ω,m) = 0 and Ext i (k,n) = Ext i (k,m) for all i 0. In particular, µ n(n) = µ n(m) for all n 0, which yields that injcx (N) = injcx (M) = cx (k). Since ω and N are MCM -modules and x 1 is -regular, it follows that x 1 is regular on both ω and N. So, in view of (3.6.2), by Lemma 2.7, one obtains that Ext i ) ( ω,n = 0 for all i 0. It follows from Lemma 2.3(iii) and Lemma 2.4 that injcx (N) = injcx (N) = cx (k) = cx (k). Thus there is an -module N such that injcx (N) = cx (k) and Ext i ( ) ω,n = 0 for all i 0. Therefore, since dim() = d 1, by induction hypothesis, we get that is Gorenstein, and hence is Gorenstein. As a few consequences of Theorem 3.6, we obtain the following: Corollary 3.7. With and ω as in Corollary 3.3, let M be an -module. (i) If mm 0 and Ext i (ω,mm) = 0 for all i 0, then is Gorenstein. (ii) Let n 1, such that (0 : M m n ) (0 : M m n+1 ). If Ext i (ω,m/(0 : M m n )) = 0 for all i 0, then is Gorenstein. Proof. It follows from [Avr96, Cor. 5 and Prop. 7] and Theorem 3.6. emark 3.8. Let M be a module over an arbitrary local ring such that mm 0. Itis truein generalthat ifext i (ω,mm) = 0foralli 0, then pd (ω) isfinite, and hence is Gorenstein; see [TTY07, Thm. 1.5(a)] and the proof of[lv68, Thm. 1.1]. But Corollary 3.7(ii) was not known. However, we would like to state Corollary 3.7 as applications of Theorem 3.6. emark 3.9. It follows from Corollary 3.7(i) and Lemma 3.10 that if M is a homomorphic image of a finite direct sum of copies of Ω 1 (k) (= m) and Ω 0 (k) (= k), then Question 1.6 has a positive answer. The author is grateful to Anjan Gupta for making the following: Lemma Over an arbitrary local ring (,m,k), a homomorphic image of a finite direct sum of copies of Ω 1 (k) (= m) and Ω 0 (k) (= k) can be written as ml k u for some u 0 and for some -module L, where k u denotes the direct sum of u many copies of k.

8 8 DIPANKA GHOSH Proof. Let M be an -module, and N be a submodule of M k. We claim that (3.10.1) (M k)/n is isomorphic to either (M/N) k or M/M for some submodule M of M. To prove the claim, assume that N is generated by (x 1,a 1 ),...,(x n,a n ) for some x i M and a i. If a i = 0 for all 1 i n, then N is a submodule of M, and hence (M k)/n = (M/N) k. In another case, without loss of generality, we may assume that a 1 = 1. Note that (3.10.2) M k (x 1,1) (M )/(0 m) M = = (x 1,1) (x 1,1) +(0 m). The map ϕ : M M given by ϕ((y,b)) = y bx 1 induces an isomorphism (3.10.3) (M )/ (x 1,1) = M. Thus we have M k N = (M k)/ (x 1,1) N for some N = (M )/( (x 1,1) +(0 m) ) N [by (3.10.2)] = (M )/ (x 1,1) M for some M = M/M [by (3.10.3)]. Using (3.10.1) repeatedly, one can deduce that (m s k t )/U = ( (m s )/U ) k u = m( s /U ) k u for some 0 u t and submodule U of m s. Now set L := s /U to get the desired result. With hypotheses as in Corollary 3.3, we now investigate whether is Gorenstein when Ext i (ω,m) = 0 for all i 0. Let us consider the case when is Artinian. Proposition Suppose m 3 = 0, and 2 µ(m) λ(). Set E := E (k). Let M be an -module such that Ext i (E,M) = 0 for three consecutive values of i 3. Then either E = or M is injective. Proof. If possible, assume that E and M is not injective. Note that E is equivalent to that is not Gorenstein. Moreover, since E is indecomposable as an -module, E is not free. As M is not injective, by Matlis Duality, we can deduce that M is not free. Hence it follows that Ω(M ) is not free. Since m 3 = 0, we have m 2 Ω(M ) = 0 (by Lemma 2.1). Note that Tor j (E,Ω(M )) = Tor j+1 (E,M ) = Ext j+1 (E,M) = 0 for three consecutive values of j 2. Therefore, in view of [HŞV04, mk. 2.4], we have Soc() = m 2. Moreover, by virtue of [HŞV04, Prop. 2.9], we get that e = t + 1, where e := µ(m) and t := rank k (Soc()). Hence λ() = λ(/m) + λ(m/m 2 ) +λ(m 2 ) = 1+e+t = 2e, which is a contradiction. So either E = or M is injective. Without the condition 2 µ(m) λ(), Proposition 3.11 is not necessarily true.

9 GOENSTEINNESS OF SHOT LOCAL INGS VIA SYZYGIES 9 Example Let = k[x,y,z]/(x 2,xy,y 2,z 2 ), where k is a field. We collect this ring from [JL07, Example 2.8]. Note that m 3 = 0, where m := (x,y,z) is the maximal ideal of. Moreover, µ(m) = 3 and λ() = 6. Therefore 2 µ(m) = λ(). Since Soc() = (xz,yz), it follows that is not Gorenstein, hence E. We set N := (z), and M := N. Since N is annihilated by z, it is not free. Hence we can deduce that M is not injective. By virtue of Matlis Duality, we obtain that (3.12.1) Ext i (E,M) = Ext i (E,M) = Tor i (E,M ) = Tor i (E,N) = Tor i (N,E) = Ext i (N,) = 0 for every i 1. To get the last equality, one may compute Ext i (N,) by considering the minimal z free resolution of N: z z 0. emark In Example 3.12, we should note that Ext i (E,M) = 0 for every i 1, but neither of pd (E) and injdim (M) is finite. Moreover, Tor i (N,E) = 0 for every i 1, but neither of pd (N) and pd (E) is finite. As a consequence of Proposition 3.11, we obtain the following: Corollary Let m 3 = 0, and 2 µ(m) λ(). Set E := E (k). Let M be a non-zero homomorphic image of a finite direct sum of syzygy modules of k. If Ext i (E,M) = 0 for three consecutive values of i 3, then is Gorenstein. Proof. If Ext i (E,M) = 0 for three consecutive values of i 3, then by Proposition 3.11, either E = or M is injective. If E =, then is Gorenstein. If M is injective, then in view of [GGP, Cor. 3.4], we obtain that is regular, and hence is Gorenstein. Thus, in both cases, is Gorenstein. The following theorem provides us another class of modules M for which the vanishing of Ext 0 (E,M) ensures that is Gorenstein. Theorem Let m 3 = 0. Let M be a non-zero -module such that m 2 M = 0 and µ(m) λ(mm). If Ext i (E,M) = 0 for all i 0, then is Gorenstein. Proof. Let Ext i (E,M) = 0 for all i 0. Hence Tor i (E,M ) = 0 for all i 0. If possible, assume that is not Gorenstein. Then, by Proposition 2.8, we have βn (M ) = c for every n 1, where c is a constant. Thus, in view of (3.6.1), we obtain that µ n(m) = c for every n 1. Set a := µ(m) and b := λ(mm). Note that mm is annihilated by m. Moreover, rank k (mm) = b and rank k (M/mM) = a. So there is a short exact sequence 0 k b M k a 0, which yields an exact sequence Ext n 1 (k,ka ) Ext n (k,k b ) Ext n (k,m) for every n 1. From this exact sequence, for every n 1, it follows that b β n (k) a β n 1 (k)+µ n (M) = a β n 1 (k)+c b β n 1(k)+c [because a b] a β n 2(k)+2c [using the 1st inequality for n 1]. a β0 (k)+nc = cn+a. Therefore, since b a > 0, we get that β n(k) (c/b) n+(a/b) for every n 1. This implies that cx (k) is finite. Hence, by Proposition 2.5(ii), is a complete

10 10 DIPANKA GHOSH intersection ring, which contradicts the assumption that is not Gorenstein. So must be Gorenstein. emark (i) In Theorem 3.15, M can be taken as /I, where I is an ideal of such that m 2 I m. (ii) Let M be a homomorphic image of a finite direct sum of syzygy modules of k. We should note that if m 3 = 0, then we have m 2 M = 0, but M need not satisfy the condition µ(m) λ(mm). The condition µ(m) λ(mm) cannot be omitted from Theorem Example [JL07, Example 2.8] Let, M and N be as in Example Note that m 3 = 0, M 0 and m 2 M = 0. Moreover, Ext i (E,M) = 0 for every i 1, but is not Gorenstein. One can verify that µ(m) λ(mm). Indeed, (3.17.1) µ(m) = type(n) [see, e.g., [BH98, (d)]] = rank k ((0 : N m)) = rank k ((xz,yz)) = 2 and λ(mm) = λ(m) µ(m) = λ(n) 2 = 1. As a consequence of Theorem 3.15, we can recover a result of Jorgensen and Leuschke (which is a part of [JL07, Thm. 2.5]). Corollary Let m 3 = 0. Let N be a non-zero -module such that m 2 N = 0 and λ(mn) µ(n). If Ext i (N,) = 0 for all i 0, then is Gorenstein. Proof. If k is a direct summand of N, then Ext i (N,) = 0 for some i 1 implies that is Gorenstein. So we may assume that k is not a direct summand of N. Set M := N. In view of (3.17.1), µ(m) = rank k (Soc(N)) = λ(mn) by [HŞV04, 2.3]. Hence λ(mm) = λ(m) µ(m) = λ(n) λ(mn) = µ(n). Thus m 2 M = 0 and µ(m) λ(mm). In view of (3.12.1), Ext i (E,M) = Ext i (N,) for every i 1. So the result follows from Theorem With the hypotheses as in Theorem 3.1, one may ask that if Ext i (ω,m) = 0 for all i 0, then is Gorenstein? In this situation, is not necessarily Gorenstein. The author is grateful to yo Takahashi for pointing out this fact with the following: Example Consider a non-gorenstein local ring (,m,k) such that m 3 = 0. In this case, Betti number of the canonical module ω grows exponentially, due to [JL07, Prop. 1.1.(4)]. Therefore cx (ω) =. In this situation, although cx (ω) = cx (k) and Ext i (ω,ω) = 0 for all i 1, but is not Gorenstein. As an example, if = k[x,y]/(x 2,xy,y 2 ), then even curv (ω) = curv (k) (cf., [Avr98, 4.2.2]) and Ext i (ω,ω) = 0 for all i 1, but is not Gorenstein. 4. Why is Gorensteinness of a short local ring important? The class of Gorenstein short local rings is well studied. For instance, Poincaré series and Bass series of all(finitely generated) modules over such a ring are rational, sharing a common denominator; see[sjö79] and[mş18]. The Koszulness of modules over Gorenstein short local rings are studied in [AIS08, Thm. 4.6 and Cor. 4.7]. Moreover, it is shown in [AIS08, Thm. 4.1] when such rings are Koszul. So there are enough reasons to study Gorensteinness of a short local ring. In this theme, our contribution is the following theorem which provides a necessary and sufficient condition for a Gorenstein short local ring to be regular.

11 GOENSTEINNESS OF SHOT LOCAL INGS VIA SYZYGIES 11 Theorem 4.1. Suppose is a Gorenstein short local ring. Let M and N be - modules having maximal complexity. (Possibly, M = N). Then is regular if and only if Tor i (M,N) = 0 for all i 0. Proof. We only need to prove the if part. Let Tor i (M,N) = 0 for all i 0. Since Tor i (Ω(M),Ω(N)) = Tor i+1 (M,Ω(N)) = Tor i+2 (M,N) for every i 1, and cx (M) = cx (Ω(M)), cx (N) = cx (Ω(N)) (by Lemma 2.3(ii)), (4.1.1) we may replace M and N by Ω(M) and Ω(N) respectively. We proceed by induction on d := dim(). First assume that d = 0. In this case, we have m 3 = 0, and hence m 2 M = 0 = m 2 N by (4.1.1) and Lemma 2.1. If M or N is free, then cx (k) = 0 (since cx (k) = cx (M) = cx (N)), which implies that pd (k) is finite, and hence is regular. So we assume that M and N are not free. We show that this cannot be the case by getting a contradiction. Set γ(m) := λ(mm)/µ(m). In view of [HŞV04, Thm. 2.5(1) and (4)], we obtain that γ(m) and γ(n) are positive integers satisfying γ(m)γ(n) = type() = 1 (as is Gorenstein),i.e., γ(m) = 1 = γ(n). Itthenfollowsfrom[HŞV04, Thm.2.5(2)]that βi (M) = β 0 (M) ( 0) for all i 1. Thus cx (k) = cx (M) = 1, which implies that is a complete intersection ring of codimension c = 1; see Proposition 2.5. Since Tor i (M,N) = 0 for all i 0, and cx (M) = cx (N) = cx (k) = c, by virtue of [Avr98, Lem ], it follows that c = 0, which is a contradiction. We nowcomplete the inductive step asin the proofoftheorem3.1. Assume that d 1. Set ( ) := ( ) /(x 1 ), where x = x 1,...,x d and x 1 m m 2. eplacing M, N by Ω(M), Ω(N) respectively, we may assume that x 1 is regular on both M and N. So, in view of Lemma 2.7, Tor i (M,N) = 0 for all i 0. By Lemmas 2.3 and 2.4, cx (M) = cx (M) = cx (k) = cx (k). Similarly, cx (N) = cx (k). Therefore, by induction hypothesis, is regular, and hence is regular. The following example shows that Theorem 4.1 does not necessarily hold true over arbitrary (i.e., non-gorenstein) short local rings. Example 4.2. Let = k[x 1,...,x p,y 1,...,y q ]/ ( (x 1,...,x p ) 2 +(y 1,...,y q ) 2). Note that m 3 = 0, where m is the maximal ideal of. Set I := (x 1,...,x p ), J := (y 1,...,y q ), M := /I and N := /J. It is well known that Tor 1 (/I,/J) = (I J)/IJ. Since I J = IJ, Tor 1 (M,N) = 0. Note that M = (x i ) for every 1 i p. Then Ω 1 (M) = I = (x 1) (x p ) = M p. By induction, Ω n (M) = M pn for every n 1. Therefore Tor n (M,N) = Tor ( n 1 Ω 1 (M),N ) ( = = Tor 1 Ω n 1 (M),N ) = Tor ( 1 M p n 1,N ) = Tor 1 (M,N) pn 1 = 0 foreveryn 2. Following[Les85, 3.8(2)], wehavecurv (M) = p (= curv (k)) and curv (N) = q. We now assume that p q 2. It follows from Lemma 2.3(i)(b) that cx (M) = = cx (N). Thus M and N have maximal complexity, and Tor n (M,N) = 0 for every n 1, but is not regular. Note that Soc() = IJ, which is not cyclic, hence is not Gorenstein. Unlike Theorem 3.1, in Theorem 4.1, the word complexity cannot be replaced by curvature.

12 12 DIPANKA GHOSH Example 4.3. Let = k[x,y]/(x 2,y 2 ). Clearly, satisfies the hypotheses of Theorem 4.1. Set M := /(x) and N := /(y). In view of Example 4.2, M and N have maximal curvature, Tor i (M,N) = 0 for all i 1, but is not regular. As a consequence of Theorems 1.1 and 4.1, we obtain the following: Corollary 4.4. Let be a Gorenstein short local ring. Let M and N be nonzero homomorphic images of finite direct sums of syzygy modules of k. (Possibly, M = N). Then is regular if and only if Tor i (M,N) = 0 for all i 0. acknowledgement TheauthorisgratefultoAnjanGuptaandyoTakahashiformakingLemma3.10 and Example 3.19 respectively. eferences [Aus67] M. Auslander, Anneaux de Gorenstein, et torsion en algebre commutative, Seminaire d Algebre Commutative dirige par Pierre Samuel, 1966/67. Texte redige, d apres des exposes de Maurice Auslander, Marquerite Mangeney, Christian Peskine et Lucien Szpiro. Ecole Normale Superieure de Jeunes Filles, Secretariat mathematique, Paris, [AB69] M. Auslander and M. Bridger, Stable module theory, Mem. Amer. Math. Soc. 94 (1969). 2 [AB89] M. Auslander and.-o. Buchweitz, The homological theory of maximal Cohen-Macaulay approximations, Mém. Soc. Math. France (N.S.) 38 (1989), [Avr89] L. L. Avramov, Modules of finite virtual projective dimension, Invent. Math. 96 (1989), [Avr96] L. L. Avramov, Modules with extremal resolutions, Math. es. Lett. 3 (1996), , 3, 4, 7 [Avr98] L. L. Avramov, Infinite free resolutions, Six lectures on commutative algebra, Bellaterra 1996, Progr. Math. 166, Birkhäuser, Basel, (1998), , 6, 10, 11 [ABS05] L. L. Avramov,.-O. Buchweitz and L. M. Şega, Extensions of a dualizing complex by its ring: commutative versions of a conjecture of Tachikawa, J. Pure Appl. Algebra 201 (2005), [AGP97] L. L. Avramov, V. N. Gasharov and I. V. Peeva, Complete intersection dimension, Inst. Hautes Études Sci. Publ. Math. 86 (1997), [AIS08] L. L. Avramov, S. B. Iyengar, L. M. Şega, Free resolutions over short local rings, J. Lond. Math. Soc. (2) 78 (2008), , 10 [BH98] W. Bruns and J. Herzog, Cohen-Macaulay ings, Cambridge Studies in Advanced Mathematics 39, evised Edition, Cambridge University Press, Cambridge, [Dut89] S. P. Dutta, Syzygies and homological conjectures, in: Commutative Algebra, Berkeley, CA, 1987, in: Math. Sci. es. Inst. Publ., vol. 15, Springer, New York, 1989, pp [Gho] D. Ghosh, Some criteria for regular and Gorenstein local rings via syzygy modules, To appear in J. Algebra Appl., arxiv: , 4 [GGP] D. Ghosh, A. Gupta and T. J. Puthenpurakal, Characterizations of regular local rings via syzygy modules of the residue field, To appear in J. Commut. Algebra, arxiv: , 9 [GP] D. Ghosh and T. J. Puthenpurakal, Vanishing of (co)homology over deformations of Cohen-Macaulay local rings of minimal multiplicity, arxiv: [Gul80] T. H. Gulliksen, On the deviations of a local ring, Math. Scand. 47 (1980), [HŞV04] C. Huneke, L. M. Şega and A. N. Vraciu, Vanishing of Ext and Tor over some Cohen- Macaulay local rings, Ill. J. Math. 48 (2004) , 5, 6, 8, 10, 11 [JL07] D. A. Jorgensen and G. J. Leuschke, On the growth of the Betti sequence of the canonical module, Math. Z. 256 (2007), , 9, 10 [Les85] J. Lescot, Asymptotic properties of Betti numbers of modules over certain rings, J. Pure Appl. Algebra 38 (1985), , 11

13 GOENSTEINNESS OF SHOT LOCAL INGS VIA SYZYGIES 13 [LV68] G. Levin and W. V. Vasconcelos, Homological dimensions and Macaulay rings, Pacific J. Math 25 (1968), [Mar96] A. Martsinkovsky, A remarkable property of the (co) syzygy modules of the residue field of a nonregular local ring, J. Pure Appl. Algebra 110 (1996), [Mat86] H. Matsumura, Commutative ing Theory, Cambridge University Press, Cambridge, [MŞ18] M. C. Menning and L. M. Şega, Cohomology of finite modules over short Gorenstein rings, J. Commut. Algebra 10 (2018), [Sjö79] G. Sjödin, The Poincaré series of modules over a local Gorenstein ring with m 3 = 0, Mathematiska Institutionen, Stockholms Universitet, Preprint 2 (1979). 10 [Tak06]. Takahashi, Syzygy modules with semidualizing or G-projective summands, J. Algebra 295 (2006), , 2, 4 [Tat57] J. Tate, Homology of noetherian rings and of local rings, Illinois J. Math. 1 (1957), [TTY07] A. Tehranian, M. Tousi and S. Yassemi, Characterizing Local ings via Test Modules, Comm. Algebra, 35 (2007), Chennai Mathematical Institute, H1, SIPCOT IT Park, Siruseri, Kelambakkam, Chennai , Tamil Nadu, India address: dghosh@cmi.ac.in