Arxiv:1906.02669V2 [Math.AC] 6 May 2020 Ti O Nw Hte H Ulne-Etncnetr Od for Holds Conjecture Auslander-Reiten Theor the [19, Whether and Rings

arXiv:1906.02669v2 [math.AC] 6 May 2020 ti o nw hte h ulne-etncnetr od for holds conjecture Auslander-Reiten Theor the [19, whether and rings. known 3.] not Theorem is ([1, one it Gore codimension for in holds intersections intersection conjecture plete the complete that proved for Araya and holds Leuschke, conjecture Auslander-Reiten the x ojcue1.1. Conjecture a over conjecture Auslander-Reiten the conjectur recall These commu us ring Let conject of 25]. Auslander-Reiten 21]. theory the 24, 20, the t of 19, 16, to development and [7, guide the algebras, to a and cohom of For contributes A] of theory modules. vanishing Appendix representation and the [8, rings the well-known, of consult study is can the As one in role modules. important Ext very of vanishing the o rdaeSuet nteFote cec rga fCiaUn Chiba of Program Science Frontier the in Students Graduate for ideal. Ulrich ring, determinantal intersection, o all for nteAsadrRie ojcuei opeev ydvdn non- for dividing by holds preserve conjecture to Auslander-Reiten is conjecture the Auslander-Reiten the on ieNehra oa igand ring local Noetherian tive ∈ h ulne-etncnetr n eea eae conjectu related several and conjecture Auslander-Reiten The 2010 h uhrwsspotdb SSKKNIGatNme JP19J1 Number Grant KAKENHI JSPS by supported was author The phrases. and words Key h ojcuei rval eue otelclcs,tu e ( let thus case, local the to reduced trivially is conjecture The m R . > i ahmtc ujc Classification. Subject Mathematics R/Q h ulne-etncnetr od for holds conjecture Auslander-Reiten the where xssa lihielwoersdern sacmlt nescin We intersection. con complete a Auslander-Reiten rings. is the determinantal ring for that residue conjecture see whose Auslander-Reiten we ideal results, Ulrich an our exists of two these to aihn fEtmdls naChnMcua oa ring local Cohen-Macaulay a In modules. Ext of vanishing ring Abstract. sannzrdvsrof non-zerodivisor a is H ULNE-ETNCNETR O CERTAIN FOR CONJECTURE AUSLANDER-REITEN THE ntelte at egnrlz h euto h iia utpiiyb multiplicity minimal the of result the generalize we part, latter the In ,then 0, R/Q ntefre ato hsppr esuyteAuslander-Reiten the study we paper, this of part former the In . R O-OESENCHNMCUA RINGS COHEN-MACAULAY NON-GORENSTEIN sGrnti and Gorenstein is ℓ ncneto ihta for that with connection in h ulne-etncnetr santrosoe rbe abou problem open notorious a is conjecture Auslander-Reiten The M 3 Let [3] saprojective a is ulne-etncnetr,ChnMcua ig Gorenstein ring, Cohen-Macaulay conjecture, Auslander-Reiten M eafiieygenerated finitely a be R ℓ M ≤ Pooiin21.Ti eutimdaeyflosthat follows immediately result This 2.1). (Proposition dim HNAKUMASHIRO SHINYA ntl generated finitely a 1. R R 34,1D7 13H10. 13D07, 13C40, Introduction -module. . R n rv h qiaec fte o h case the for them of equivalence the prove and , R 1 R fadol fi od o h eiu ring residue the for holds it if only and if fadol fi od for holds it if only and if R mdl.I Ext If -module. R mdl.Afnaetlresult fundamental A -module. R iversity. ihaprmtrideal parameter a with senrnswihaecom- are which rings nstein 59adOesa td Grant Study Overseas and 0579 r;se o xmls [1, examples, for see, ure; etr od fthere if holds jecture omttv Noetherian commutative e r rbesabout problems are res .Atrta,Huneke, that, After s. aiern logreatly also ring tative ojcuefrthe for conjecture R, rirr Gorenstein arbitrary eoiios htis, that zerodivisors, loepoethe explore also .Sly Due Sally. J. y m m01) However, 0.1]). em R i eacommuta- a be ) soiiaefrom originate es ( eeconjectures, hese ,M M, R/xR lg ly a plays ology ig complete ring, the t ⊕ Q where , , R 0 = ) 2 SHINYA KUMASHIRO

The conjecture for non-Gorenstein case is more mysterious. If R is a Gorenstein ring, i then the assumption that ExtR(M, R) = 0 for all i> 0 in the conjecture just requires M is a maximal Cohen-Macaulay module. However, in some class of non-Gorenstein rings, i the assumption ExtR(M, R) = 0 for all i > 0 forces M to be free. Let us note several results on non-Gorenstein rings. Huneke and Leuschke also showed that the Auslander- Reiten conjecture holds for Cohen-Macaulay Q-algebras which are complete intersection i in codimension one. Goto, Takahashi, and Taniguchi proved that ExtR(M, R) = 0 for all i > 0 implies M is free for non-Gorenstein almost Gorenstein rings in the sense of [14] ([19, Theorem 0.1] and [14, proof of Corollary 4.5.]). Now let us explain the purpose of this paper. In this paper, we compare R and R/Qℓ in the study of the Auslander-Reiten conjecture, where Q is an ideal of R generated by a regular sequence on R (Theorem 2.3). It is well-known that the condition of Auslander-Reiten on R and R/Qℓ are equivalent if ℓ = 1. However, R/Qℓ is neither Gorenstein nor reduced if ℓ> 1, thus Theorem 2.3 provides new classes of rings where the Auslander-Reiten conjecture holds. Here let us note one application from Theorem 2.3 to determinantal rings, which is an important class of rings. Let s, t be positive integers and A[X] = A[Xij]1≤i≤s,1≤j≤t a polynomial ring over a commutative ring A. Assume s ≤ t and let Is(X) denote the ideal of A[X] generated by the s × s minors of the s × t matrix (Xij). Then A[X]/Is(X) is called a determinantal ring of A. With these assumptions and notations, we have the following.

Theorem 1.2. (Theorem 2.11) Suppose that A is a Gorenstein ring which is a complete intersection in codimension one. Then the Auslander-Reiten conjecture holds for the determinantal ring A[X]/Is(X) if 2s ≤ t +1.

In the latter part of this paper, we study a new class of rings arising from Theorem 2.3, that is, the class of rings R that R/q ∼= S/Q2 for some parameter ideal q of R, complete intersection S, and parameter ideal Q of S. We will see that the condition is characterized by an ideal condition, and the condition is strongly related to the existence of Ulrich ideals. Here the notion of Ulrich ideals is given by [12] and a generalization of maximal ideals of rings possessing minimal multiplicity. It is known that Ulrich ideals enjoy many good properties, see [12, 15] and [11, Theorem 1.2]. The ubiquity and existence of Ulrich ideals are also studied ([11, 13, 15]). In the current paper, we study the existence of Ulrich ideals whose residue rings are complete intersections. As a goal of this paper, we have the following. Let v (resp. r) denotes the embedding dimension of R (resp. the Cohen-Macaulay type of R).

Theorem 1.3. (Corollary 3.8) Let (R, m) be a Cohen-Macaulay local ring of dimension d. Suppose that there exists an Ulrich ideal whose residue ring is a complete intersection. Then the following assertions are true.

(1) r + d ≤ v. (2) There exists an isomorphism of rings R/q =∼ S/Q2 for some parameter ideal q of R, local complete intersection S of dimension r, and parameter ideal Q of S. (3) The Auslander-Reiten conjecture holds for R. (4) Suppose that there are a regular local ring T of dimension v and a surjective ring homomorphism T → R. Let 0 → Fv−d → ···→ F1 → F0 → R → 0 be a minimal THE AUSLANDER-REITEN CONJECTURE FOR CERTAIN NON-GORENSTEINCMRINGS 3

T -free resolution of R. Then − − v r d v − r − d rank F =1 and rank F = β − · T 0 T i i j j j=0 X 1 if k =0 for , where r+1 if 1 ≤ i ≤ v − d βk = k· k+1 1 ≤ k ≤ r  otherwise. 0 Theorem 1.3 (1) and (2) claim that the existence of Ulrich ideal induces an inequality of invariants of rings, and determines the structure of the ring. Furthermore, 1.3 (4) recovers the result of J. Sally [22, Theorem 1.] by choosing the maximal ideal m as an Ulrich ideal. Let us fix our notations throughout this paper. In what follows, unless otherwise specified, let R denote a Cohen-Macaulay local ring with the maximal ideal m. For each finitely generated R-module M, let µR(M) (resp. ℓR(M)) denote the number of elements in a minimal system of generators of M (resp. the length of M). If M is a Cohen- Macaulay R-module, rR(M) denotes the Cohen-Macaulay type of M. Let v(R) (resp. r(R)) denote the embedding dimension of R (resp. the Cohen-Macaulay type of R). For >0 R convenience, letting M and N be R-modules, ExtR (M, N) = 0 (resp. Tor>0(M, N)=0) i R denotes ExtR(M, N) = 0 for all i> 0 (resp. Tori (M, N) = 0 for all i> 0). 2. powers of parameter ideals and determinantal rings The purpose of this section is to prove Theorem 2.3 and apply to determinantal rings. First of all, let us sketch a brief proof that non-zerodivisors preserve the Auslander-Reiten conjecture since Theorem 2.3 is based on the fact. Proposition 2.1. Let (R, m) be a Noetherian local ring and x ∈ m be a non-zerodivisor of R. Then the Auslander-Reiten conjecture holds for R if and only if it holds for the residue ring R/(x). >0 Proof. (if part): Let M be a finitely generated R-module such that ExtR (M, M ⊕R) = 0. Take an exact sequence 0 → X → F → M → 0, where F is a free R-module of rank µR(M). By applying the functors

HomR(−, R), HomR(M, −), and HomR(−,X) >0 >0 to the above short exact sequence, we have ExtR (X,X⊕R) = 0. Thus ExtR (X, X⊕R)= 0 since x ∈ m is a non-zerodivisor of X and R, where ∗ denotes R/(x) ⊗R ∗. Therefore, the R-module X is free and so is the R-module X. Hence the R-module HomR(M, R) is ∼ free and so is the R-module M = HomR(HomR(M, R), R). >0 (only if part): Let N be a ﬁnitely generated R-module such that ExtR (N, N ⊕ R) = 0. Then there exists a ﬁnitely generated R-module M such that M/xM =∼ N and R x Tor>0(M, R) = 0 by [2, Proposition 1.7.]. Hence, by the exact sequence 0 → M −→ >0 M → N → 0, ExtR (M, M ⊕ R) = 0. Therefore, the R-module M is free and so is the R-module N. The following is a key to show Theorem 2.3. Lemma 2.2. Let (R, m) be a Noetherian local ring and I an m-primary ideal of R. Then we have the following. 4 SHINYA KUMASHIRO

>0 R (1) Suppose that R/I is a Gorenstein ring. If ExtR (M,R/I)=0, then Tor>0(M,R/I)= 0. R (2) Suppose that N is a ﬁnitely generated R/I-module. If Tor>0(M,R/I)=0, then i ∼ i ExtR(M, N) = ExtR/I (M/IM,N) for all i ∈ Z.

Proof. Let M be a ﬁnitely generated R-module and F• → M → 0 a minimal R-free resolution of M. (1): Since

0 → HomR(M,R/I) → HomR(F•,R/I) and

0 → HomR/I (M/IM,R/I) → HomR/I (F•/IF•,R/I) are isomorphic as a complex and R/I is self-dual, F•/IF• → M/IM → 0 is an exact R sequence. It follows that Tor>0(M,R/I) = 0. (2): Since

0 → HomR(M, N) → HomR(F•, N) and

0 → HomR/I (M/IM,N) → HomR/I (F•/IF•, N) are isomorphic as a complex and F•/IF• → M/IM → 0 is a minimal R/I-free resolution i ∼ i of M/IM, ExtR(M, N) = ExtR/I (M/IM,N) for all i ∈ Z.

Theorem 2.3. Let (S, n) be a Gorenstein local ring and x1, x2,...,xn be a regular sequence on S. Set Q =(x1, x2,...,xn). Then the following conditions are equivalent. (1) The Auslander-Reiten conjecture holds for S. (2) The Auslander-Reiten conjecture holds for S/Q. (3) There is an integer ℓ> 0 such that the Auslander-Reiten conjecture holds for S/Qℓ. (4) For all integers 1 ≤ ℓ ≤ n, the Auslander-Reiten conjecture holds for S/Qℓ. Proof. (1) ⇔ (2) follows from Proposition 2.1, and (4) ⇒ (3) is trivial. Hence we have only to show that (1) ⇒ (4) and (3) ⇒ (1). First of all, we reduce our assertions to the case where Q is a parameter ideal. Set R = S/Qℓ. Note that R is a Cohen-Macaulay local ring with dim R = dim S − n since Qℓ is perfect in the sense of [5, Deﬁnition 1.4.15]. In fact, Qℓ is generated by ℓ × ℓ-minors of the ℓ × (n + ℓ − 1) matrix

x1 x2 x3 ··· xn−1 xn x1 x2 ······ xn−1 xn  ......  , ......  x x x ··· x x   1 2 3 n−1 n    whence the projective dimension of S/Qℓ over S is n, see [9] or [6, (2.14) Proposition]. Suppose dim R > 0. Then we can choose a ∈ S so that a is a non-zerodivisor of R and S/Q. By replacing R and S by R/aR and S/aS respectively, we ﬁnally may assume that R is an Artinian local ring, that is, Q is a parameter ideal of S. We may also assume that n ≥ 2 and ℓ ≥ 2 by Proposition 2.1. Note that we have an exact sequence (2.3.1) 0 → Qi−1/Qi → S/Qi → S/Qi−1 → 0

i i+1 i+n−1 of R-modules for all 2 ≤ i ≤ ℓ, and Q /Q is an S/Q-free module of rank n−1 for all i> 0. THE AUSLANDER-REITEN CONJECTURE FOR CERTAIN NON-GORENSTEINCMRINGS 5

(1) ⇒ (4): Assume 2 ≤ ℓ ≤ n. Suppose that M is a ﬁnitely generated R-module such >0 >0 that ExtR (M, M ⊕ R) = 0. We will show that ExtS/Q(M/QM, M/QM ⊕ S/Q) = 0 in several steps. >0 Claim 1. ExtR (M,S/Q)=0.

Proof of Claim 1. By applying the functor HomR(M, −) to the exact sequence (2.3.1), we have the following exact sequence and isomorphism ⊕ i−1+n−1 j ( n−1 ) j i j i−1 ···→ ExtR(M,S/Q) → ExtR(M,S/Q ) → ExtR(M,S/Q ) i−1+n−1 j+1 ⊕( n−1 ) (2.3.2) → ExtR (M,S/Q) →··· − − j j+1 ⊕ ℓ 1+n 1 ℓ−1 ∼ ( n−1 ) ExtR(M,S/Q ) = ExtR (M,S/Q) j of R-modules for all 2 ≤ i ≤ ℓ − 1 and j > 0. Set Ej = ℓR(ExtR(M,S/Q)) for j > 0. Then, by (2.3.2), ℓ − 1+ n − 1 ℓ − 2+ n − 1 E · = ℓ (Extj (M,S/Qℓ−1)) ≤ E · + ℓ (Extj (M,S/Qℓ−2)) j+1 n − 1 R R j n − 1 R R ℓ − 2+ n − 1 ℓ − 3+ n − 1 ≤ E · + + ℓ (Extj (M,S/Qℓ−3)) ≤··· j n − 1 n − 1 R R ℓ−2 i + n − 1 ℓ − 2+ n ≤ E · = E · , j n − 1 j n Xi=0 that is, ℓ+n−2 ℓ − 1 E ≤ n ·E = ·E j+1 ℓ+n−2 j n j n−1 for all j > 0. Hence, for enough large integer m ≥ 0, ℓ − 1 m E ≤ E < 1 m+1 n 1 j since ℓ ≤ n. Hence ExtR(M,S/Q) = 0 for all j > m. On the other hand, for j > 0, j+1 j i ExtR (M,S/Q) = 0 implies that ExtR(M,S/Q ) = 0 for all 1 ≤ i ≤ ℓ − 1 by (2.3.2). j Hence, by using descending induction, ExtR(M,S/Q) = 0 for all j > 0. R By Lemma 2.2(1) and Claim 1, we get Tor>0(M,S/Q) = 0. Moreover, by applying the functor M ⊗R − to the sequence (2.3.1), we obtain R i (2.3.3) Tor>0(M,S/Q ) = 0 for all 1 ≤ i ≤ ℓ − 1.

Apply the functor M ⊗R − to (2.3.1) again. Then we also get the exact sequence − − ⊕ i 1+n 1 − (2.3.4) 0 → (M/QM) ( n−1 ) → M/QiM → M/Qi 1M → 0 of R-modules for all 2 ≤ i ≤ ℓ by (2.3.3). Therefore, by applying the functor HomR(M, −) to (2.3.4), we get the following exact sequence and isomorphism i−1+n−1 j ⊕( n−1 ) j i j i−1 ···→ ExtR(M, M/QM) → ExtR(M,M/Q M) → ExtR(M,M/Q M) i−1+n−1 j+1 ⊕( n−1 ) → ExtR (M, M/QM) →··· − − j j+1 ⊕ ℓ 1+n 1 ℓ−1 ∼ ( n−1 ) ExtR(M,M/Q M) = ExtR (M, M/QM) 6 SHINYA KUMASHIRO

′ j of R-modules for all 2 ≤ i ≤ ℓ − 1 and j > 0. By setting Ej = ℓR(ExtR(M, M/QM)) for >0 all j > 0 and calculation like the proof of Claim 1, we have ExtR (M, M/QM) = 0. This >0 induces that ExtS/Q(M/QM, M/QM) = 0 by (2.3.3) and Lemma 2.2 (2). Thus we have

>0 ExtS/Q(M/QM, M/QM ⊕ S/Q)=0 since S/Q is self-injective, whence M/QM is S/Q-free by Proposition 2.1. This shows R that M is R-free since Tor1 (M,S/Q) = 0 by (2.3.3). >0 (3) ⇒ (1): Let N be a ﬁnitely generated S-module and suppose that ExtS (N, N ⊕S)= x1 0. Then, by applying the functor HomS(N, −) to the exact sequence 0 → S −→ S → >0 S/x1S → 0 of S-modules, ExtS (N,S/x1S) = 0. Hence >0 (2.3.5) ExtS (N,S/Q)=0

>0 by induction on n. Similarly, ExtS (N, N/QN) = 0 since N is a maximal Cohen-Macaulay >0 S S-module by ExtS (N,S) = 0. Hence Tor>0(N,S/Q) = 0 by Lemma 2.2(1). Moreover, by applying the functor N ⊗S − to the sequence (2.3.1), S i (2.3.6) Tor>0(N,S/Q ) = 0 for all 1 ≤ i ≤ ℓ. Therefore, we obtain from (2.3.1) that

− − ⊕ i 1+n 1 − (2.3.7) 0 → (N/QN) ( n−1 ) → N/QiN → N/Qi 1N → 0

is exact as S-modules for all 1 ≤ i ≤ ℓ. Hence, by applying the functor HomS(N, −) to (2.3.7), >0 i ExtS (N,N/Q N) = 0 for all 1 ≤ i ≤ ℓ >0 >0 ℓ ℓ since ExtS (N, N/QN) = 0. Thus ExtS/Qℓ (N/Q N,N/Q N) = 0 by Lemma 2.2(2) and >0 ℓ (2.3.6). Similarly to the above argument, we have ExtS (N,S/Q ) = 0 from (2.3.1) and >0 ℓ ℓ ℓ ℓ ℓ (2.3.5). Whence ExtS/Qℓ (N/Q N,S/Q ⊕ N/Q N) = 0. Hence N/Q N is S/Q -free, whence N is S-free by (2.3.6). The following assertions are direct consequences of Theorem 2.3. Corollary 2.4. Let S be a Gorenstein local ring and Q a parameter ideal of S generated by a regular sequence on S. Then the Auslander-Reiten conjecture holds for S if and only if it holds for S/Q2. Corollary 2.5. Let S be a Gorenstein local ring which is a complete intersection in codimension one. Let x1, x2,...,xn be regular sequence on S and set Q =(x1, x2,...,xn). Then the Auslander-Reiten conjecture holds for S/Qℓ for all 1 ≤ ℓ ≤ n. Corollary 2.6. Let R be a Cohen-Macaulay local ring. Suppose that there exists an isomorphism R/q ∼= S/Q2 for some parameter ideal q of R, local complete intersection S of dimension r, and parameter ideal Q of S. Then the Auslander-Reiten conjecture holds for R. In Section 3, we will characterize rings obtained in Corollary 2.6 by the existence of ideals in R. In the remainder of this section, we explore the Auslander-Reiten conjecture for determinantal rings. We start with the following. THE AUSLANDER-REITEN CONJECTURE FOR CERTAIN NON-GORENSTEINCMRINGS 7

Proposition 2.7. Let s, t be positive integers and assume that 2s ≤ t +1. Let αij be positive integers for all 1 ≤ i ≤ s and 1 ≤ j ≤ t. Suppose that S is a Gorenstein local αij ring and {xij}1≤i≤s,1≤j≤t forms a regular sequence on S. Let I = Is(xij ) be an ideal αij of S generated by s × s minors of the s × t matrix (xij ). Set R = S/I. Then the Auslander-Reiten conjecture holds for S if and only if it holds for R.

Proof. First of all, we show the case where αij = 1 for all 1 ≤ i ≤ s and 1 ≤ j ≤ t. Set A = {(i, j) ∈ Z ⊕ Z | 1 ≤ i ≤ s, 1 ≤ j ≤ t} , B = {(i, i + k) ∈ A | 0 ≤ k ≤ t − s} , and 1≤i≤s−1 [ C = B ∪{(s,s + k) ∈ A | 0 ≤ k ≤ t − s} . Then {xij − xi+1 j+1 | (i, j) ∈ B}∪{xij | (i, j) ∈ A \ C}

forms a regular sequence on S/(x11, x12,...,x1 t−s+1) and R, whence our assertion reduces to the case where Theorem 2.3. In fact, letting Q be an ideal of S generated by the above regular sequence, ∼ s R/QR = S/(I + Q)= S/[(x11, x12,...,x1 t−s+1) + Q] and s ≤ t − s + 1.

Let us consider the case where αij are arbitrary positive integers. Set D = {(i, j) ∈ A | αij > 1}. We prove our assertion by induction on N = ♯D. Assume that N > 0 and our assertion holds for N − 1. Take (i, j) ∈ D. We may assume that βij (i, j)=(1, 1). Let J be an ideal of S generated by s × s minors of the s × t matrix (xij ), where βij = αij for all (i, j) ∈ A\{(1, 1)} and β11 = 1. Noting that x11 is a non-zerodivisor ∼ of R, S/J, and S, we have the conclusion since R/x11R = S/(x11S+I)= S/(x11S+J). The form obtained in Proposition 2.7 sometimes appears in several class of rings. Example 2.8. Let A be a Gorenstein local ring which is a complete intersection in codimension one. Let A[[t]] be the formal power series ring over A. Then we have the following. (1) (cf. [4]) The Auslander-Reiten conjecture holds for all the Rees algebras A[[Qt]] of parameter ideals Q. (2) (cf. [17]) The Auslander-Reiten conjecture holds for all three generated numerical semigroup rings A[[ta, tb, tc]], where a, b, c ∈ N. Furthermore, see [10, Theorem 1.2]. Let us note another concrete example. Example 2.9. Suppose A is a Gorenstein local ring which holds the Auslander-Reiten conjecture. Let n be a positive integer. Let A[[t]] and S = A[[X,Y,Z,W ]] be formal power series rings over A. Set R = A[[t10, t14, t16, t2n+1]] and assume that n ≥ 6. Then there exists an element f ∈ (X) such that ∼ X Y 2 Z 2 R = S/[I2( Y Z2 X2 )+(W − f)],

where I2(M) denote the ideal of S generated by 2×2-minors of the matrix M. In particular, the Auslander-Reiten conjecture holds for R. Proof. Let ϕ : S → R be a homomorphism of A-algebras such that X 7→ t10, Y 7→ t14, Z 7→ t16, and W 7→ t2n+1. 8 SHINYA KUMASHIRO

X Y 2 Z 2 Then, by a standard argument, Kerϕ = I2( Y Z2 X2 )+(W − f), where Xm·Y m−1·Z if n =6m Xm+2·Zm−1 if n =6m +1  m+1 m X ·Y if n =6m +2 f =  m m−1 X ·Y if n =6m +3  m m− X ·Y 1·Z2 if n =6m +4 m+2 m−1 X ·Y ·Z if n =6m +5   for some positive integer m.  Let us consider determinantal rings, which are not local rings. From now on until the end of this section, let s, t be positive integers. Let A be a commutative ring and A[X] = A[Xij]1≤i≤s,1≤j≤t be a polynomial ring over A. Suppose that s ≤ t and Is(X) is an ideal of A[X] generated by s × s minors of the s × t matrix X =(Xij). The following lemma is known. Lemma 2.10. With the above assumptions and notations, suppose that A is a Gorenstein ring which is a complete intersection in codimension one. Then A[X] is also a Gorenstein ring which is a complete intersection in codimension one.

Proof. Let P ∈ Spec A[X] and set p = P ∩ A. Then the natural map Ap → A[X]P is ∼ a flat local homomorphism and its fiber A[X]P /pApA[X]P = (Ap/pAp)[X]P is a regular local ring. Theorem 2.11. Suppose that A is a Gorenstein ring which is a complete intersection in codimension one. Then the Auslander-Reiten conjecture holds for the determinantal ring A[X]/Is(X) if 2s ≤ t +1. Proof. The case where s = 1 is trivial. Suppose that s> 1. Let N be a maximal ideal of A[X] such that N ⊇ Is(X). It is sufficient to show that the Auslander-Reiten conjecture holds for (A[X]/Is(X))N. For integers 1 ≤ p ≤ s and 1 ≤ q ≤ t, let

Mpq =(Xij | 1 ≤ i ≤ p, 1 ≤ j ≤ q) denote a monomial ideal of A[X]. The case where Mst ⊆ N follows from Proposition 2.7. Suppose that Mst 6⊆ N and take a variable Xij so that Xij 6∈ N. We may assume that Xij = Xst. Then the matrix X =(Xij) is transformed to 0 . X − Xit·Xsj .  ij Xst  0    0 ··· 0 1      by elementary transformation in A[X]N. By [6, (2.4) Proposition], we have the isomor- −1 −1 phism ϕ : A[X][Xst ] → A[X][Xst ] of A-algebras, where

Xit·Xsj X − if X ∈ M − − ij Xst ij s 1 t 1 ϕ(Xij)= (Xij otherwise. Therefore, we have the commutative diagram THE AUSLANDER-REITEN CONJECTURE FOR CERTAIN NON-GORENSTEINCMRINGS 9

ϕN / A[X]N A[X]N ⊆ ⊆ / Is(X)N Is−1(Xst)N, where Xst is the (s − 1) × (t − 1) matrix that results from deleting the s-th row and the t-th column of X and Is−1(Xst) is an ideal of A[X] generated by (s − 1) × (s − 1) ∼ minors of Xst. Hence (A[X]/Is(X))N = (A[X]/Is−1(Xst))N as rings. If Ms−1 t−1 ⊆ N, the Auslander-Reiten conjecture holds for (A[X]/Is−1(Xst))N by Proposition 2.7 and Lemma 2.10 since 2(s−1) ≤ (t−1)+1. Assume that Ms−1 t−1 6⊆ N. Then, by repeating the above argument, we ﬁnally see that the Auslander-Reiten conjecture holds for (A[X]/Is−1(Xst))N after ﬁnite steps.

3. Ulrich ideals whose residue rings are complete intersections In this section, we study rings obtained in Corollary 2.6 in connection with the existence of ideals. Throughout this section, let (R, m) be a Cohen-Macaulay local ring of dimension d.

Lemma 3.1. Let I be an m-primary ideal of R and q = (x1, x2,...,xd) be a parameter ideal of R. Set n = µR(I). Suppose the following two conditions.

(1) q ⊆ I and x1, x2,...,xd is a part of minimal generators of I. (2) I2 ⊆ q and I/q is R/I-free. Then r(R)=(n − d)·r(R/I). In particular, n = d + r(R) if R/I is a Gorenstein ring. ∼ ⊕(n−d) ∼ Proof. Since I/q = (R/I) , I = q :R I. Hence I/q =(q :R I)/q = HomR(R/I,R/q). Therefore, ⊕(n−d) ∼ ∼ HomR(R/m, (R/I) ) = HomR(R/m, HomR(R/I,R/q)) = HomR(R/m ⊗R R/I,R/q), whence we have the conclusion by comparing the lengths of them. For a moment, let (R, m) be an Artinian local ring. Then there are a regular local ring (S, n) and a surjective local ring homomorphism ϕ : S → R. We can choose S so that the dimension of S is equal to the embedding dimension of R. Set v = v(R) = dim S and r = r(R). With these assumptions and notations, we have the following. Proposition 3.2. Let (R, m) be an Artinian local ring and S be as above. The following conditions are equivalent.

(1) r ≤ v and there exists a regular sequence X1,X2,...,Xv ∈ n on S such that ∼ 2 R = S/ (X1,X2,...,Xr) +(Xr+1,Xr+2,...,Xv) as rings. (2) There exists a nonzero ideal I of R such that (i) I2 =0 and I is R/I-free. (ii) R/I is a complete intersection. ϕ Proof. (2) ⇒ (1): Let ϕ : S −→ R → R/I be a surjective local ring homomorphism. Set a = Kerϕ and J = Kerϕ respectively. Since R/I ∼= S/J is a complete intersection, J is 10 SHINYA KUMASHIRO

generated by a regular sequence x1, x2,...,xv ∈ n on S, see [5, Theorem 2.3.3.(c)]. Hence, after renumbering of x1, x2,...,xv,

I = JR =(x1, x2,..., xv)=(x1, x2,..., xr)

by Lemma 3.1, where x denotes the image of x ∈ S to R. Thus J =(x1, x2,...,xr)+a. For r all r+1 ≤ i ≤ v, take yi ∈ a and ci1 ,ci2 ,...,cir ∈ R so that xi = yi + j=1 cij xj. Then J = (x1, x2,...,xr)+(yr+1,yr+2,...,yv). Set X =(x1, x2,...,xr) and Y =(yr+1,yr+2,...,yv), where Y denotes (0) if r = v. We then have inclusions P J 2 + Y ⊆ a ⊆ J, where the first inclusion follows from I2 = 0. On the other hand, setting S′ = S/Y , 2 ′ 2 ′ ′ ′ ℓS(J/ J + Y )= ℓS′ (XS /X S )= ℓS′ (S /XS )·r = ℓR(R/I)·r = ℓR(I)= ℓS(J/a), where the forth equality follows from the fact that I is an R/I-free module. Thus a = 2 2 J + Y =(x1, x2,...,xr) +(yr+1,yr+2,...,yv). (1) ⇒ (2): Let X =(X1,X2,...,Xr) and Y =(Xr+1,Xr+2,...,Xv) be ideals of S. Set ⊕ I = XR. Then I2 = 0 and I ∼= [X + Y ] / [X2 + Y ] ∼= [S/(X + Y )] r ∼= (R/I)⊕r. Let us generalize Proposition 3.2 to arbitrary Cohen-Macaulay local rings. Theorem 3.3. Let (R, m) be a Cohen-Macaulay local ring. Then the following conditions are equivalent. (1) There exists an isomorphism of rings R/q =∼ S/Q2 for some parameter ideal q of R, local complete intersection S, and parameter ideal Q of S. (2) There exists an isomorphism of rings R/q =∼ S/Q2 for some parameter ideal q of R, local complete intersection S of dimension r, and parameter ideal Q of S. (3) There exist an m-primary ideal I and a parameter ideal q of R such that (i) I2 ⊆ q ( I and I/q is R/I-free. (ii) R/I is a complete intersection. ∼ 2 Proof. (1) ⇒ (3): Set ℓ = dim S and Q = (x1, x2,...,xℓ). Then, since R/q = S/Q , we can choose y1,y2,...,yℓ ∈ R so that yi corresponds to xi for all 1 ≤ i ≤ ℓ, where xi denotes 2 the image of xi in S/Q and yi denotes the image of yi in R/q. Set I =(y1,y2,...,yℓ)+ q. Then R/I ∼= S/Q is a complete intersection and I/q ∼= Q/Q2 is R/I-free. Furthermore 2 2 I = qI +(y1,y2,...,yℓ) ⊆ q. (3) ⇒ (2): It follows from that I/q is an ideal of R/q which satisfies the assumption of Proposition 3.2(2). Theorem 3.3 is applicable to Ulrich ideals. Here the definition of Ulrich ideals is stated as follows. Definition 3.4. ([12, Definition 2.1.]) Let (R, m) be a Cohen-Macaulay local ring and I an m-primary ideal of R. Assume that I contains a parameter ideal q of R as a reduction. We say that I is an Ulrich ideal of R if the following conditions are satisfied. (1) I =6 q, but I2 = qI. (2) I/I2 is a free R/I-module. Note that the condition (1) of Definition 3.4 is independent of the choice of q; see, for example, [18, Theorem 2.1.]. The following assertions claim that the notion of Ulrich ideals is closely related to the condition (3)(i) of Theorem 3.3. THE AUSLANDER-REITEN CONJECTURE FOR CERTAIN NON-GORENSTEIN CM RINGS 11

Proposition 3.5. [12, Lemma 2.3. and Proposition 2.3.] (1) If I is an Ulrich ideal of R, then I2 = qI ⊆ q and I/q is R/I-free for every parameter ideal q of R such that q is a reduction of I. (2) Assume that R/m is inﬁnite. If I2 ⊆ q and I/q is R/I-free for all minimal reductions q of I, then I is an Ulrich ideal of R. The following result recovers the result of J. Sally [22] by taking the maximal ideal m as an Ulrich ideal. For convenience, set d = dim R, r = r(R), and v = v(R). Theorem 3.6. (cf. [22, Theorem 1.]) Suppose that there are a regular local ring (T, n) of dimension v and a surjective local ring homomorphism ϕ : T → R. If there exists an Ulrich ideal I of R such that R/I is a complete intersection, then µR(I)= d + r ≤ v and there exists a regular sequence x1, x2,...,xv on T such that

(1) x1, x2,...,xd is a regular sequence on R. ∼ 2 (2) R/(x1, x2,...,xd)R = T/ [(x1,...,xd)+(xd+1,...,xd+r) +(xd+r+1,...,xv)].

Therefore, letting 0 → Fv−d →···→ F1 → F0 → R → 0 be a minimal T -free resolution of R, we can compute the Betti numbers as follows. − − v r d v − r − d rank F =1 and rank F = β − · T 0 T i i j j j=0 X 1 if k =0 for , where r+1 if 1 ≤ i ≤ v − d βk = k· k+1 1 ≤ k ≤ r  otherwise. 0 r+1 In particular, rankT Fi = i· for 1 ≤ i ≤ r if µR(I)= v. i+1 ϕ Proof. Let ϕ : T −→ R → R/I be a surjective local ring homomorphism. Set a = Kerϕ and J = Kerϕ. Since R/I ∼= T/J is a complete intersection, J is generated by a regular sequence x1, x2,...,xv ∈ n on T . Hence, after renumbering of x1, x2,...,xv,

I = JR =(x1, x2,..., xv)=(x1, x2,..., xd+r) ′ ′ ′ by Lemma 3.1, where x denotes the image of x ∈ T to R. Let (x1, x2,..., xd) ⊆ I be a minimal reduction of I. Then, after renumbering of x1, x2,...,xd+r, ′ ′ ′ I =(x1, x2,..., xd, xd+1,..., xd+r). ′ ′ Thus J =(x1,...,xd)+(xd+1,...,xd+r)+ a. Since µT (J)= v, we can choose v elements ′ ′ in {x1,...,xd, xd+1,...,xd+r}∪{a | a ∈ a} as a minimal system of generators. Assume ′ that xi cannot be chosen as a part of minimal system of generators. Then ′ ′ ′ ′ I =(x1,..., xi−1, xi+1, ··· , xd, xd+1,..., xd+r).

This is contradiction for µR(I)= r + d by Lemma 3.1. Hence ′ ′ J =(x1,...,xd)+(xd+1,...,xd+r)+(yd+r+1,...,yv) ′ ′ for some yd+r+1,...,yv ∈ a. Set X1 = (x1,...,xd), X2 = (xd+1,...,xd+r), and Y = 2 2 (yd+r+1,...,yv). Then X1 + X2 + Y ⊆ a + X1 ⊆ J, whence a + X1 = X1 + X2 + Y since 2 ℓT (J/[a + X1]) = ℓT (J/[X1 + X2 + Y ]) = r·ℓT (T/J). Let 0 → Fv−d →···→ F1 → F0 → R → 0 be a minimal T -free resolution of R. Then

0 → Fv−d/X1Fv−d →···→ F1/X1F1 → F0/X1F0 → R/X1R → 0 12 SHINYA KUMASHIRO

∼ 2 is a minimal T/X1-free resolution of R/X1R and R/X1R = T/[X1 + X2 + Y ] since 2 a + X1 = X1 + X2 + Y . On the other hand, the Eagon-Northcott complex [9] gives the minimal T/X1-free resolution

∂r ∂r−1 ∂2 ∂1 ∂0 2 0 → Gr −→ Gr−1 −−→· · · −→ G1 −→ G0 −→ T/[X1 + X2 ] → 0 2 of T/[X1 +X2 ], where rankT/X1 Gk = βk for all k ∈ Z. Therefore, considering the mapping v−r−d v−r−d cone inductively, we have rankT Fi = j=0 βi−j· j as desired.

Remark 3.7. With the assumptionP of Theorem 3.6, the equality µR(I) = v does not necessarily hold in general; see Example 3.11 (1). On the other hand, if R is a one- dimensional Cohen-Macaulay local ring possessing minimal multiplicity, every Ulrich ideal I satisfy that R/I is a complete intersection and µR(I)= v; see [11, Theorem 4.5]. Combining Theorem 2.3, 3.3, and 3.6, we have the following which is a goal of this paper. Corollary 3.8. Let (R, m) be a Cohen-Macaulay local ring of dimension d. Suppose that there exists an Ulrich ideal whose residue ring is a complete intersection. Then the following assertions are true. (1) The Auslander-Reiten conjecture holds for R. (2) r + d ≤ v. (3) There is an isomorphism of rings R/q =∼ S/Q2 for some parameter ideal q of R, local complete intersection S of dimension r, and parameter ideal Q of S. (4) Suppose that there are a regular local ring T of dimension v and a surjective ring homomorphism T → R. Let 0 → Fv−d → ···→ F1 → F0 → R → 0 be a minimal T -free resolution of R. Then − − v r d v − r − d rank F =1 and rank F = β − · T 0 T i i j j j=0 X 1 if k =0 for , where r+1 if 1 ≤ i ≤ v − d βk = k· k+1 1 ≤ k ≤ r  otherwise. 0 Proof. (1): This follows from (3) and Corollary 2.6. (2): Passing to the completion of R, we may assume that there exist a regular local ring T of dimension v and a surjective ring homomorphism T → R. Then the assertion follows from Theorem 3.6. (3): This follows from Theorem 3.3 and Proposition 3.5. (4): This is Theorem 3.6. Below we construct many examples of Ulrich ideals whose residue ring is a complete intersection. Proposition 3.9. Let (S, n) be a local complete intersection of dimension three and f,g,h ∈ n a regular sequence on S. Set R = S/(f 2 − gh,g2 − hf, h2 − fg). Then R is a Cohen-Macaulay local ring of dimension one and I = (f,g,h)R is an Ul- rich ideal of R such that R/I is a complete intersection. Furthermore, if f = f1·f2 for THE AUSLANDER-REITEN CONJECTURE FOR CERTAIN NON-GORENSTEIN CM RINGS 13

f1, f2 ∈ n, then I1 =(f1,g,h)R is also an Ulrich ideal of R such that R/I1 is a complete intersection. Proof. By direct calculation, we see 2 I = fI, ℓR(R/I)= ℓS(S/(f,g,h)), and 2 ℓR(I/fR)= ℓS((f,g,h)/[(f)+(g, h) ]) = 2·ℓS(S/(f,g,h)). Hence a surjection (R/I)⊕2 → I/fR must be an isomorphism, that is, I is an Ulrich ideal of R and R/I ∼= S/(f,g,h) is a complete intersection. Assume that f = f1·f2. Then, we also have 2 I1 = f1I1, ℓR(R/I1)= ℓS(S/(f1,g,h)), and 2 ℓR(I1/f1R)= ℓS((f1,g,h)/[(f1)+(g, h) ]) = 2·ℓS(S/(f1,g,h)). ∼ Hence I1 is an Ulrich ideal of R and R/I1 = S/(f1,g,h) is a complete intersection. Here are some examples arising from Proposition 3.9. Example 3.10. With the same notations of Proposition 3.9, assume that S = k[[X,Y,Z]] is a formal power series ring over a field k. Let ℓ, m, n be positive integers such that (ℓ, m, n) =6 (0, 0, 0). Then we have the following examples. (1) If f,g,h in Proposition 3.9 are Xℓ,Y m,Zn respectively, then (Xi,Y m,Zn)R, (Xℓ,Y j,Zn)R, (Xℓ,Y m,Zk)R are Ulrich ideals for all 0 ≤ i ≤ ℓ, 0 ≤ j ≤ m, 0 ≤ k ≤ n. (2) If f,g,h in Proposition 3.9 are Xℓ·Y m·Zn,X2 + Y 2,Y 2 + Z2 respectively, then (Xi·Y j·Zk,X2 + Y 2,Y 2 + Z2)R are Ulrich ideals for all 0 ≤ i ≤ ℓ, 0 ≤ j ≤ m, 0 ≤ k ≤ n. Furthermore (Xℓ·Y m·Zn,X + Y,Y 2 + Z2)R is also an Ulrich ideal if k is a field of characteris- tic two or an algebraically closed field. We close this paper with several examples. Example 3.11. Let k[[t]] and S = k[[X,Y,Z,W ]] be formal power series rings over a field k. Then the following assertions are true. 6 11 16 26 6 16 26 (1) Set R1 = k[[t , t , t , t ]], and let I = (t , t , t ) be an ideal of R1. Then I is 6 an Ulrich ideal of R1 with a reduction (t ), and R1/I is a complete intersection. Therefore, the minimal S-free resolution of R1 has the following form ⊕2 ⊕5 ⊕4 0 → S → S → S → S → R1 → 0. ∼ 7 2 2 2 6 On the other hand, R1 = S/ (X − ZW,Y − XZ,Z − XW, W − X Z) as rings, thus R1 does not have the form obtained in Proposition 2.7. 2 2 2 2 (2) Set R2 = S/(X −YZ,Y −ZX,Z −XY,W ). Then X is a non-zerodivisor of R2 and ∼ 2 2 R2/XR2 = k[[Y,Z,W ]]/ [(Y,Z) +(W )]. Hence the Auslander-Reiten conjecture holds for R2. On the other hand, I = (X, W )R2 is an Ulrich ideal, whence I is a non-free totally reflexive R2-module ([15, Theorem 2.8.]). Hence R2 is not G-regular in the sense of [23]. In particular, R2 is neither an almost Gorenstein ring nor a Golod ring. Acknowledgments. The author is grateful to Ryo Takahashi for kind suggestions about the manuscript, which he gave the author while preparing for the final version. 14 SHINYA KUMASHIRO

References [1] T. Araya, The Auslander-Reiten conjecture for Gorenstein rings, Proceedings of the American Mathematical Society, 137 (2009), no.6, 1941–1944. [2] M. Auslander, S. Ding, and Ø. Solberg, Liftings and Weak Liftings of Modules, Journal of Algebra, 156 (1993), 273–317. [3] M. Auslander, I. Reiten, On a generalized version of the Nakayama conjecture, Proceedings of the American Mathematical Society, 52 (1975), 69–74. [4] J. Barshay, Graded algebras of powers of ideals generated by A-sequences, Journal of Algebra, 25 (1973), 90–99. [5] W. Bruns and J. Herzog, Cohen-Macaulay Rings, Cambridge University Press (1993). [6] W. Bruns and U. Vetter, Determinantal Rings, Lecture Notes in Mathematics 1327, (1988), Springer-Verlag, Berlin. [7] O. Celikbas and R. Takahashi, Auslander-Reiten conjecture and Auslander-Reiten duality, Journal of Algebra, 382 (2013), 100–114. [8] L. W. Christensen and H. Holm, Algebras that satisfy Auslander’s condition on vanishing of cohomology, Mathematische Zeitschrift, 265 (2010), no. 1, 21–40. [9] J. A. Eagon and D. G. Northcott, Ideals defined by matrices and a certain complex associated with them, Proceedings of the Royal Society A, 269 (1962), 188–204. [10] S. Goto, D. V. Kien, N. Matsuoka, and H. L. Truong, Pseudo-Frobenius numbers versus defining ideals in numerical semigroup rings, Journal of Algebra, 508 (2018), 1–15. [11] S. Goto, R. Isobe, and S. Kumashiro, The structure of chains of Ulrich ideals in Cohen- Macaulay local rings of dimension one, Acta Mathematica Vietnamica, 44(1) (2019), 65–82. [12] S. Goto, K. Ozeki, R. Takahashi, K.-i. Watanabe, and K.-i. Yoshida, Ulrich ideals and modules, Mathematical Proceedings of the Cambridge Philosophical Society, 156 (2014), 137–166. [13] S. Goto, K. Ozeki, R. Takahashi, K.-i. Watanabe, and K.-i. Yoshida, Ulrich ideals and modules over two-dimensional rational singularities, Nagoya Mathematical Journal, 221 (2016), 69–110. [14] S. Goto, R. Takahashi and N. Taniguchi, Almost Gorenstein rings - towards a theory of higher dimension, Journal of Pure and Applied Algebra, 219 (2015), 2666–2712. [15] S. Goto, R. Takahashi, and N. Taniguchi, Ulrich ideals and almost Gorenstein rings, Pro- ceedings of the American Mathematical Society, 144 (2016), 2811–2823. [16] D. Happel, Homological conjectures in representation theory of finite dimensional algbras, Sher- brook Lecture Notes Series, (1991). [17] J. Herzog, Generators and relations of Abelian semigroups and semigroup rings, Manuscripta Mathematica, 3 (1970), 175–193. [18] C. Huneke, Hilbert functions and symbolic powers, Michigan Mathematical Journal, 34 (1987), 293-318. [19] C. Huneke and G. J. Leuschke, On a conjecture of Auslander and Reiten, Journal of Algebra, 275 (2004), 781–790. [20] C. Huneke, L. M. S¸ega, and A. N. Vraciu, Vanishing of Ext and Tor over some Cohen- Macaulay local rings, Illinois Journal of Mathematics, 48 (2004), 295–317. [21] D. A. Jorgensen and L. M. S¸ega, Nonvanishing cohomology and classes of Gorenstein rings, Advances in Mathematics, 188(2) (2004), 470–490. [22] J. Sally, Cohen-Macaulay local rings of maximal embedding dimension, Journal of Algebra, 56 (1979), 168–183. [23] R. Takahashi, On G-regular local rings, Communications in Algebra, 36(12) (2008), 4472–4491. [24] J. Wei, Generalized Auslander-Reiten conjecture and tilting equivalences, Proceedings of the Amer- ican Mathematical Society, 138(5) (2010), 1581–1585. [25] J. Wei, Auslander bounds and homological conjectures, Revista Mathematica Iberoamericana, 27(3) (2011), 871–884.

Department of Mathematics and Informatics, Graduate School of Science and Engi- neering, Chiba University, Yayoi-cho 1-33, Inage-ku, Chiba, 263-8522, Japan E-mail address: [email protected]