arXiv:1707.04056v2 [math.AC] 8 Oct 2017

A CONNECTION BETWEEN THE GOOD PROPERTY OF AN ARTINIAN
GORENSTEIN LOCAL RING AND THAT OF ITS QUOTIENT MODULO SOCLE
ANJAN GUPTA
Abstract. Following Roos, we say that a local ring R is good if all finitely generated R-modules
have rational Poincaré series over R, sharing a common denominator. Rings with the Backelin-Roos
property and generalised Golod rings are good due to results of Levin and Avramov respectively. Let
R be an Artinian Gorenstein local ring. The ring R is shown to have the Backelin-Roos property if
R/ soc(R) is a Golod ring. Furthermore the ring R is generalised Golod if and only if R/ soc(R) is so.
We explore when connected sums of Artinian Gorenstein local rings are good. We provide a
uniform argument to show that stretched, almost stretched Gorenstein rings are good and show further
that the Auslander-Reiten conjecture holds true for such rings. We prove that Gorenstein rings of
multiplicity at most eleven are good. We recover a result of Rossi-Şega [40] on the good property of
compressed Gorenstein local rings in a stronger form by a shorter argument.

Mathematics Subject Classification: 13D02, 13D40, 13H10, 16S30.
Key words: Poincaré series, Backelin-Roos property, generalised Golod rings, DG algebras, fibre
products, connected sums.
1. introduction
Let R be a commutative Noetherian local ring with maximal ideal m and residue field k = R/m.
Let M be a finitely generated module over R. The Poincaré series PRM (t) of M over R is a formal
power series in Z[|t|] defined as follows:
X
PRM (t) =
βRi (M)ti ∈ Z[|t|],
i≥0

where βRi (M) = dimk TorRi (M, k) denotes the i-th Betti number of M. In the 1950’s Serre and
Kaplansky asked whether the Poincaré series PRk (t) is a rational function. This question ties in
closely with an analogous question in Algebraic topology attributed to Serre on the rationality of the
Poincaré series of loop spaces of finite simply connected CW complexes (see [38]). Several authors
made an attempt to find an affirmative answer. However in 1982 Anick found a counterexample
answering the question in negative [6]. Research on this topic intensified since the appearance of
Anick’s example. Bøgvad reworked Anick’s example and produced an Artinian Gorenstein local
ring whose residue field has an irrational Poincaré series [14]. Jacobsson constructed a local ring R
with residue field k and a cyclic R-module M such that PRk (t) is rational, but PRM (t) is irrational [28,
Corollary C]. Roos defined a ring R to be good if there exists a polynomial dR (t) ∈ Z[t] such that
dR (t)PRM (t) ∈ Z[t] for every finitely generated R-module M [39, Definition 2.1]. He constructed bad
(i.e. not good) affine rings defined by quadratic monomial relations [39, Theorem 2.4].
Nevertheless there are an abundance of good rings, e.g. Golod rings [27, Theorem 1], complete
intersections [26, Corollary 4.2], rings R with e. dim(R) − depth(R) ≤ 3, Gorenstein rings R with
e. dim(R) − depth(R) ≤ 4 [10, Theorem 6.4], etc. (see [13] for more examples). Mccullough and
Corresponding author: Anjan Gupta; email: agmath@gmail.com.
1

Peeva mentioned in [36, Example 6.4] that to date we do not have a good understanding of how
likely it is that rings with residue fields having rational or irrational Poincaré series occur. One of
the main objectives of the present article is to show that at low multiplicities Gorenstein local rings
are always good.
R
A rational expression for a Poincaré series
has practical applications. If PRM (t) is rational,
Pa P M (t)
j
we write the denominator as dR (t) = 1 − j=1 h j t ∈ Q[t]. Then from dR (t)PRM (t) ∈ Q[t] it follows
that the Betti sequence {βRi (M)} eventually satisfies a linear recurrent relation :
βRn (M)

=

a
X

h j βRn− j (M), h j ∈ Q, n ≫ 0.

j=1

Precise information on the coefficients h j allows for efficient estimates of the asymptotic behaviour
of the Betti sequence {βRn (M)} [11]. Information on the common denominator is also useful to prove
results on vanishing of co-homologies (see [42]). We refer the reader to [12], for a detailed list of
applications.
Stretched Cohen-Macaulay local rings were introduced by Sally in [41]. Later Elias and Valla
introduced almost stretched Cohen-Macaulay local rings in [20].
Definition. An Artinian local ring R with maximal ideal m is called stretched if m2 is a principal
ideal and almost stretched if m2 is minimally generated by two elements.
Let R be a Cohen-Macaulay local ring of dimension d with maximal ideal m. Then R is called
stretched (almost stretched) if there exists a minimal reduction x = x1 , . . . , xd of m such that R/(x)
is a stretched (almost stretched) Artinian ring. Here by minimal reduction we mean that x satisfies
mr+1 = (x1 , . . . , xd )mr for some non-negative integer r.
Sally proved that PRk (t) is rational for a stretched Cohen-Macaulay local ring R if the characteristic
of its residue field k is not two [41, Theorem 2]. Elias and Valla imitating the proof of Sally, proved
that PRk (t) is rational if R is an almost stretched Gorenstein ring and the residue field k of R has
characteristic zero [21, Theorem 1.1]. A common step in the proof of both the results is to show
that PkR/ soc(R) (t) is rational after reducing to the case when R is in addition Artinian and Gorenstein.
Rationality of PRk (t) then follows by a theorem of Avramov and Levin which implies that if R is an
Artinian, Gorenstein ring, then proving rationality of PRk (t) is tantamount to proving rationality of
soc(R)
PR/
(t) (see Theorem 2.1). We raise the following question.
k
Question I. Let R be an Artinian Gorenstein local ring. Is R good if R/ soc(R) is so and vice versa?
Tate described an iterated process of killing cycles by adjunctions of sets of Γ-variables in different degrees starting from a local ring R to construct a DG algebra resolution ǫ : RhXi ։ k,
X = {Xi : i ≥ 1} of its residue field k [43, §2]. The ring R is called Golod if RhXi : deg(Xi ) ≤ 1i
which is same as the Koszul complex of R admits a trivial Massey operation (§2.4). In [12]
Avramov generalised this notion by defining R to be a generalised Golod ring of level l if the
DG algebra RhXi : deg(Xi ) ≤ li admits a trivial Massey operation (see §2.5 for details).
A local ring R is said to have the Backelin-Roos property if its completion R̂ with respect to its
maximal ideal is a homomorphic image of a complete intersection under a Golod homomorphism
(see §2.5). A classical result of Levin states that if a ring R has the Backelin-Roos property, then R
is good. Avramov observed that rings with the Backelin-Roos property are generalised Golod rings
of level 2. In particular, any complete intersection is a generalised Golod ring of level 2. In this
article we prove the following two results.
2

Theorem II. (Theorem 4.3) Let R be an Artinian Gorenstein local ring of embedding dimension
n ≥ 2 such that R/ soc(R) is a Golod ring. Let η : Q ։ R be a minimal Cohen presentation and
I = ker(η). Then the following hold.
(1) For any f ∈ I \ nI, the induced map Q/( f ) ։ R is a Golod homomorphism, i.e. R has the
Backelin-Roos property.
(2) Let dR (t) = 1−t(PRQ (t)−1)+tn+1 (1+t). Then for any R-module M we have dR (t)PRM (t) ∈ Z[t].
Theorem III. (Theorem 4.6) Let R be an Artinian Gorenstein local ring. Let l ≥ 2. Then R is a
generalised Golod ring of level l if and only if R/ soc(R) is so.
Avramov proved that generalised Golod rings are good (see Theorem 2.3). It is not known if
the converse holds true (see [13, Problem 10.3.5]). So our Theorems II, III provide a satisfactory
answer to Question I.
We find several interesting consequences of our theorems. In a recent article [2, Corollary 5.6], it
is proved that stretched Cohen-Macaulay local rings are good. In Theorem 3.7, we show that quotients of stretched or almost stretched Artinian Gorenstein rings by non zero powers of maximal
ideal are Golod rings. So from Theorem II, it follows that such rings are good without any assumption on characteristic of residue fields. More generally we prove that stretched Cohen-Macaulay
and almost stretched Gorenstein rings are good (see Theorem 6.1, Corollary 6.2, 6.3). Using a result of Şega, we prove that the Auslander-Reiten conjecture holds true for such rings. We state our
result in the Artinian Gorenstein case below where µ(−) denotes the minimal number of generators.
Theorem IV. (Theorems 6.1, Corollary 6.5) Let R be an Artinian Gorenstein local ring with maximal ideal m such that µ(m) = n and µ(m2 ) ≤ 2. Let M be a finitely generated R-module. Then the
following hold.
1
and (1 − t)PRM (t) ∈ Z[t],
(1) If n = 1, then PRk (t) = 1−t
1
n
2
R
(2) If n ≥ 2, then PRk (t) = 1−nt+t
2 and (1 + t) (1 − nt + t )P M (t) ∈ Z[t],
(3) If Exti (M, M ⊕ R) = 0 for all i ≥ 1, then M is a free R-module.
In [40, Theorem 5.1], Rossi and Şega proved that compressed Artinian Gorenstein local rings
with socle degrees not equal to three have the Backelin-Roos property. We recover this result in a
stronger form in Corollary 6.7 (see the discussion preceding Corollary 6.7). To prove this result,
we identify using Theorem II above a certain quotient C of the Koszul algebra K R of an Artinian
Gorenstein ring R such that R has the Backelin-Roos property whenever C is a Golod DG algebra
(§2.4). We show that for such rings this quotient is a Golod algebra. By a similar approach, we
prove that a Gorenstein local ring of codimension at most three has the Backelin-Roos property
(see Corollary 6.8). Our version is a stronger form of a result of Avramov, Kustin and Miller [10,
Theorem 6.4] when R is Gorenstein.
Motivated by the description of cohomology algebras of connected sums of compact connected
oriented n-manifolds, authors in [3] introduced the connected sum R#S of Gorenstein local rings R,
S with a common residue field k (Definition 2.4). They obtained a formula for the Poincaré series
of k over R#S in terms of the Poincaré series of k over R and S [3, Corollary 7.4]. In particular if
both PRk (t), PSk (t) are rational functions, so is PR#S
k (t). This naturally raises the question of whether
connected sums of good Gorenstein local rings are good. We prove the following.
Theorem V. (Theorem 5.5) Let R, S be Artinian Gorenstein local rings with a common residue
field k, l ≥ 2 and T = R#S denote the connected sum of R and S . Then T is a generalised Golod
ring of level l if and only if both R, S are so.
3

To prove the above theorem we consider the corresponding problem for fibre products of local
rings. In [31, Theorem 4.1], Lescot proved that a fibre product (see Definition 2.4) of local rings is
Golod if and only if the constituent rings are so. We prove a counterpart of Lescot’s theorem more
generally for generalised Golod rings (see Theorem 5.4). The above theorem then follows from
Theorem III.
Rationality of Poincaré series of residue fields of Gorenstein local rings of low multiplicities have
been an active topic of research for a long time. The Poincaré series PRk (t) is known to be rational
when R is a Gorenstein local ring of multiplicity at most n with residue field k in the cases : n = 5,
char(k) , 2 ([41]); n = 7, char(k) = 0( [21, Corollary 2.1]); n = 10, k = k̄, char(k) = 0 ([15]).
Our motivation on this topic comes from a different perspective. In [19] Eisenbud conjectured
that modules with bounded Betti numbers are eventually periodic of period two. Several authors
proved the conjecture for modules over various good local rings using concrete information on
the common denominator (see [11, Theorem 1.6], [29, Corollary 5.2]). However Gasharov and
Peeva in [24] found an example of a graded Artinian Gorenstein ring of multiplicity twelve over
which the conjecture fails. Using a completely different technique they were able to prove the
conjecture for Gorenstein local rings of multiplicity at most eleven. This observation motivates us
to investigate whether such rings are good. Statement (1) of the theorem below is a generalisation
of [16, Corollary 2.2].
Theorem VI. (Theorem 6.9) Let R be a Gorenstein local ring. Then R is good, i.e. the Betti
sequence of modules over R eventually satisfies a linear recurrent relation in the following cases.
(1) The square m2 of maximal ideal m of R is minimally generated by at most four elements
and m4 = 0.
(2) The multiplicity of R is at most 11.
To prove the above result, it is enough to assume further that R is Artinian. We decompose R as
a connected sum of Gorenstein Artinian rings either of embedding dimension at most four or with
the cube of maximal ideal being zero unless R is already one of these types. The result then follows
from Theorem V as rings of such types are good.
Structure of the paper : In §2 we review some background material that we will require. Readers
familiar with [13], [25] may skip this section and start reading from §3. In §3 we prove two important results viz. Theorems 3.4, 3.5 both of which give criteria for connected sum decompositions.
We use Theorem 3.4 to prove Theorem 3.7 whereas Theorem 3.5 is used to decompose Gorenstein
rings concerned in the Theorem VI above. The next two sections §4, §6 consist of the main technical part of the article. The underlying idea is very simple. Suppose S = R/I is a quotient of a local
ring R. A priori there is no known method to compare the acyclic closures of R and S . The key
new idea of the present article is to show that when R is an artinian Gorenstein ring of embedding
dimension at least 2 and I = soc(R), then the acyclic closure of S is a semi-free extension of the
tensor product of S and the acyclic closure of R (see Proposition 4.5). Proposition 5.3 concerns
construction of the acyclic closure of fibre products and is similar in spirit. The reader may read
both the propositions in one go. The proofs of our main results in these two sections extensively
use a characterisation theorem for Golod algebras (see Theorem 2.2) and derivations on acyclic closures (see Lemma 4.1) whose construction dates back to the work of Gulliksen. The final section
§6 contains applications of our Main results, viz. Theorems IV and VI.
All rings in this article are Noetherian local rings with 1 , 0. All modules are nonzero and finitely
generated. Throughout this article, the expression “local ring (R, m, k)" refers to a commutative
4

Noetherian local ring R with maximal ideal m and residue field k = R/m. When information on the
residue field is not necessary, we denote a local ring R with maximal ideal m simply by (R, m).
2. preliminaries
In this section we set notations and discuss some background. Let (R, m) be a local ring. The
embedding dimension of R is denoted by e. dim(R). By a minimal Cohen presentation, we mean a
surjection η : Q ։ R̂ from a regular local ring (Q, n) onto the m-adic completion R̂ of R such that
e. dim(Q) = e. dim(R) equivalently ker(η) ⊂ n2 . Existence of such a map is guaranteed by Cohen’s
structure theorem. For an R-module M, the length of M is denoted by l(M) and the minimal number
of generators of M is denoted by µ(M). Moreover if R is an Artinian ring, the socle of R is defined
as soc(R) = (0 :R m) and Loewy length of R as ll(R) = max{n : mn , 0}. If I is an ideal of R, then
the residue class (x)+I
of an element x ∈ R in the quotient ring R/I is denoted by x̄. By the phrase
I
“a natural quotient map q : R ։ R/I" we mean the obvious surjective map defined by q(x) = (x)+I
.
I
Throughout the article unless otherwise stated an over-line is used to denote either a homology class
or a residue class modulo an ideal, which should be understood from the context. We briefly recall
some definitions and state results needed in latter sections. For all other unexplained notations and
terminology we refer the reader to [13], [25].
2.1. DG algebras, DGΓ algebras. Let (R, m, k) be a local ring. A DG algebra (A, ∂) over the ring
R consists of a non-negatively graded strictly skw-commutative R-algebra A = ⊕i≥0 Ai such that
A0 = R/I for some ideal I of R and an R-linear differential map ∂ of degree −1 satisfying Leibniz
rule (see [25, Chapter 1, §1]). The DG algebra A is called minimal if ∂(A) ⊂ mA.
In this article we say a DG algebra (A, ∂) augmented if it is equipped with a surjective algebra
homomorphism ǫ : A ։ k such that ǫ(A≥1 ) = 0 and ǫ ◦ ∂ = 0. The map ǫ is called an augmentation
map. The augmentation map ǫ induces a map on homology ǫ̃ : H(A) → k. We set I(A) = ker ǫ
called an augmentation ideal, I H(A) = ker ǫ̃ and I Z(A) = I A ∩ Z(A) . If the DG algebra (A, ∂) over
R satisfies ∂(A1 ) ⊂ mA0 , then A is augmented naturally with the surjective map ǫ = q ◦ pr where
pr : A ։ A0 is the projection and q : A0 ։ k is the natural quotient map.
A skew commutative non-negatively graded algebra is called a Γ-algebra if to every element x
of even positive degree there is associated a sequence of elements x(k) , k ≥ 0 called divided powers
of x satisfying usual axioms (see [25, Chapter, §7]). A DGΓ algebra is a DG algebra which is
a Γ-algebra in its own right and admits divided powers compatible with its differential, i.e. the
differential ∂ satisfies ∂(x(n) ) = ∂(x)(x(n−1) ), deg(x) being even. We treat the local ring R as an
augmented DGΓ algebra concentrated at degree zero with the natural quotient map ǫ : R → k as an
augmentation map.
Let f : A → B be a homorphism of DGΓ algebras. An A-linear derivation of degree n on the
DGΓ algebra B is a R-linear map η : B → B[n] such that η(A) = 0 (A-linearity); η satisfies Leibniz
rule, i.e. η(xy) = η(x)y + (−1)n deg(x) xη(y) for x, y ∈ A, η(x(i) ) = η(x)x(i−1) for x ∈ A, deg(x) being
even and η commutes with the differential ∂ of B in the graded sense, i.e. η ◦ ∂ = (−1)n ∂ ◦ η.
Unless otherwise stated, we shall always assume that DG algebras of the form (A, ∂) are piecewise Noetherian, i.e. A0 is Noetherian and all Ai are finitely generated A0 modules.
2.2. Acyclic closures, distinguished DGΓ algebras, Tate resolutions. Assume that (R, m, k) is
a local ring and (A, ∂) is an augmented DGΓ algebra over R with augmentation map ǫA : A → k.
Tate constructed an augmented semi-free extension i : A ֒→ A∗ = AhXi, X = {Xi } by a recurrent
process of adjoining sets of variables (called Γ-variables) to kill cycles such that the augmentation
5

map ǫA∗ : A∗ → k satisfies ǫA∗ ◦ i = ǫA and A∗ is acyclic, i.e. I H(A∗ ) = 0 (see [13, §6.3.1] and [25,
Theorem 1.2.3]). We call A∗ the acyclic closure of A. The set X of variables adjoined is countable
since by our assumption A is piecewise Noetherian. We order the set X = {Xn : n ∈ N} of variables
to assume that deg Xi ≤ deg X j for i ≤ j. Henceforth we assume that the set of adjoined variables
in acyclic closures of DGΓ algebras are ordered in this manner .
The acyclic closure satisfies B(A∗ ) ⊂ I(A)A∗ [25, Theorem 1.6.2]. Following [12, §1.3], the
augmented DGΓ algebras AhXi : deg(Xi ) ≤ di, d ≥ 1 obtained in intermediate steps of adjunction of
variables to construct the acyclic closure A∗ = AhXi are called distinguished DGΓ algebras over A.
Thus a distinguished DGΓ algebra B over A is an augmented semi-free extension B = AhX1 , . . . , Xn i,
deg Xi ≤ deg X j for i ≤ j, deg(Xn ) = d such that ∂(X j ), deg(X j ) = i + 1 minimally generate
I Hi (AhX j : deg(X j ) ≤ ii) for 0 ≤ i ≤ d − 1. Since any cycle of B is in the boundary of the acyclic
closure A∗ extending B we have Z(B) ⊂ (I A)B.
If RhXi is the acyclic closure of the local ring R , then its augmentation map ǭ : RhXi → k
forms a minimal DGΓ algebra resolution of k. In the literature it is called the Tate resolution. Since
the augmentation ideal I(R) = m, the Tate resolution and distinguished DGΓ algebras over R are
minimal. We denote the Koszul algebra of R on a minimal set of generators of m by K R . Note that
K R can be identified with the distinguished DGΓ algebra RhXi : deg(Xi ) ≤ 1i.
2.3. Homotopy Lie algebras. Let (R, m, k) be a local ring and (A, ∂) be an augmented DGΓ algebra with augmentation map ǫ : A ։ k. We define TorA (k, k) = H(k ⊗A A∗ ), A∗ being the acyclic
k⊗R A∗
closure of A and k ⊗A A∗ = h1⊗a:a∈ker
. We have a Hopf Γ-algebra structure on TorA (k, k) and the
ǫi
graded k-vector space dual TorA (k, k)∨ is the universal enveloping algebra of a uniquely defined
graded Lie algebra over k (see [8, Theorem 1.1, 1.2]). This Lie algebra is called the homotopy Lie
algebra of A and denote by π(A).
Set I TorA (k, k) = ker{ǫ̃ : TorA (k, k) ։ k}. Let I TorA (k, k)(2) be the ideal of TorA (k, k) generated
by products ab for a, b ∈ I TorA (k, k) and divided powers x(2) of elements x ∈ I TorA (k, k) of even
TorA (k,k)
positive degrees. Then π(A) = Homk ( I ITor
, k) (see [9, §3.1]). Thus π(A) is the graded vector
A
(k,k)(2)
space dual of the space of Γ-indecomposable elements in I TorA (k, k).
2.4. Golod
P algebras. iIf W = ⊕i≥0 Wi is a graded k-vector space, we define the Hilbert series
HW (t) = i≥0 dimk Wi t ∈ Z[|t|]. Let (R, m, k) be a local ring. Let A be a minimal DG algebra
over R such that H0 (A) = k and each Ai is a free R-module of finite rank. Then there is a term-wise
HA⊗k (t)
inequality of power series PRk (t) ≺ 1−t(H
. Following Levin [34, Chapter 1, §4], we define A
H(A) (t)−1)
to be a Golod algebra when equality holds.
In general an augmented DG algebra A over R with augmentation map ǫ : A ։ k is called a
Golod algebra if A admits a trivial Massey operation, i.e. there is a graded k-basis bR = {hλ }λ∈Λ
i
of I H(A), a function µ : ⊔∞
i=1 bR → A such that µ(hλ ) ∈ I Z(A) with cls(µ(hλ )) = hλ and setting
ā = (−1)i+1 a for a ∈ Ai one has
∂µ(hλ1 , . . . , hλ p ) =

p−1
X

µ(hλ1 , . . . , hλ j )µ(hλ j+1 , . . . , hλ p ).

j=1

2.5. Golod homomorphisms, Backelin-Roos property and generalised Golod rings. Let f :
(R, m) ։ (S , n) be a surjective local homomorphism. Let RhXi be the acyclic closure of R. Then f
is called a Golod homomorphism if S ⊗R RhXi is a Golod algebra. If f is Golod homomorphism,
PR (t)
we have PSk (t) = 1−t(PkR (t)−1) . Let η : Q ։ R̂ be a minimal Cohen presentation of R. Then R is called
S

6

a Golod ring if η is a Golod homomorphism, i.e. the Koszul complex K R is a Golod algebra. The
ring R is said to have the Backelin-Roos property if there is a Q-sequence a1 , . . . , am in ker(η) such
that the induced map Q/(a1 , . . . , am ) ։ R̂ is a Golod homomorphism.
The ring R is called a generalised Golod ring of level n if the distinguished DGΓ algebra RhXi :
deg(Xi ) ≤ ni is a Golod algebra. A generalised Golod ring of level one is a Golod ring. If R has
the Backelin-Roos property, then R is a generalised Golod ring of level 2 [12, §1.8]. For more
examples we refer the reader to [12, §1.8].
The following theorem is proved in [33, Theorem 2].
Theorem 2.1. Let (R, m, k) be an Artinian Gorenstein local ring such that e. dim(R) ≥ 2. Then the
PR (t)
R
is a Golod homomorphism and PkR/ soc(R) (t) = 1−t2kPR (t) .
quotient map R ։ soc(R)
k

We recall the definition of graded Lie algebras and other necessary terminologies from [8, §1].
The following result follows from a blend of [34, Theorem 1.3], [9, Theorem 2.3].
Theorem 2.2. Let (R, m, k) be a local ring and A be a minimal DGΓ algebra over R such that
H0 (A) = k and each Ai is a free R-module of finite rank. Let A∗ be the acyclic closure of A.
Consider A augmented naturally. Then the following are equivalent.
(1) The DG algebra A is a Golod algebra.
(2) We have Z≥1 (A) ⊂ mA and the inclusion i : mA ֒→ mA∗ induces an injective map H(mA) ֒→
H(mA∗ ) = TorR (m, k).
(3) The map H(A ⊗R k) → H(A∗ ⊗R k) = TorR (k, k) is injective and A admits a trivial Massey
operation.
(4) The map H(A ⊗R k) → TorR (k, k) is injective and the homotopy Lie algebra π(A) is a free
Lie algebra.
The condition that the map H(A ⊗R k) → TorR (k, k) is injective, is freely satisfied when A is a
distinguished DGΓ algebra. The following theorem was proved by Avramov in [12, Theorem A].
Theorem 2.3. A local ring (R, m, k) is a generalised Golod ring of level n if and only if π>n (R) is a
free Lie algebra. If R is a generalised Golod ring of level n, then there exists a polynomial dR (t) ∈
Z[t] such that for any finitely generated R-module M, the product dR (t)PRM (t) ∈ Z[t]. Furthermore,
Q
in this case dR (t)PRk (t) divides 1≤2i+1≤n (1 + t2i+1 )e2i+1 , where e2i+1 denotes the number of exterior
variables of degree 2i + 1 in the distinguished DGΓ algebra RhXi : deg(Xi ) ≤ ni.
Definition 2.4. Let (R, mR , k), (S , mS , k) be local rings with a common residue field k. Let πR : R →
k, πS : S → k be natural quotient maps from R, S onto k respectively. The fibre product of R and S
is defined as the ring R ×k S = {(r, s) ∈ R × S : πR (r) = πS (s)}. The ring R ×k S is local with maximal
ideal mR ⊕ mS . The rings R, S are modules over R ×k S by left actions defined by projection maps
(r, s) 7→ r, (r, s) 7→ s respectively.
Now assume that both R, S are Artinian Gorenstein local rings with one dimensional socles
kS
soc(R) = hδR i, soc(S ) = hδS i. Then the connected sum of R and S is defined as R#S = h(δR×
. We
R ,−δS )i
say a Gorenstein local ring Q is decomposable as a connected sum if there are rings R, S such that
Q = R#S , l(R) < l(Q) and l(S ) < l(Q).
We recall the following without specific reference.
Facts :
(1) The fibre product T = R ×k S is a local ring and the connected sum Q = R#S is an Artinian
Gorenstein local ring when both R, S are so.
7

(2) Let mT , mQ be the unique maximal ideals of T , Q respectively. Then miT = miR ⊕ miS for
i ≥ 1. The maps mR → mQ , m 7→ (m̄, 0) and mS → mQ , n 7→ (0, n̄) are injective. We have
)}
ll(Q) = max{ll(R), ll(S )} and Q/mnQ  R/mmin{n,ll(R)}
×k S /mmin{n,ll(S
for 2 ≤ n ≤ ll(Q).
R
S
(3) l(R ×k S ) = l(R) + l(S ) − 1 and l(R#S ) = l(R) + l(S ) − 2.
Theorem 2.5. [18, Satz 2] Let (S , mS , k), (T, mT , k) be two local rings and R = S ×k T . Then
PSk (t)
1
1
1
1
=
=
−
1.
If
M
is
an
S
-module,
then
+
( 1 + PT1(t) − 1).
R
T
R
S
P (t)
P (t)
P (t)
P (t)
PS (t) PS (t)
k

k

M

k

M

k

k

3. criteria for connected sum decompositions
In this section, we develop criteria to decompose an Artinian Gorenstein local ring as a connected
sum. The following result follows from [4, Proposition 4.1] and Fact (2) of Definition 2.4.
Theorem 3.1. Let (Q, n, k) be a regular local ring and I ⊂ n2 be an ideal such that R = Q/I is
an Artinian Gorenstein local ring. Let n be minimally generated by x1 , . . . , xm , y1 , . . . , yn such that
(x1 , . . . , xm )(y1 , . . . , yn ) ⊂ I. Let max{i : (x1 , . . . , xm )i 1 I} = s, max{i : (y1 , . . . , yn )i 1 I} = t. Then
there are ideals I1 , I2 in Q containing (x1 , . . . , xm ), (y1 , . . . , yn ) respectively such that the following
hold.
(1) The rings S = Q/I1 , T = Q/I2 are Gorenstein rings. e. dim(S ) = n, e. dim(T ) = m,
ll(S ) = t, ll(T ) = s.
(2) R = S #k T .
Lemma 3.2. Let (R, m, k) be a local ring and I be an ideal of R such that µ(xI) ≤ 1 for all x ∈ I \mI.
Then I 2 = yI for some y ∈ I \ mI. In particular µ(I 2 ) ≤ 1.
Proof. Let I be minimally generated by x1 , x2 , . . . , xn . We prove the lemma by induction on n =
µ(I). When n = 1, I 2 = yI = (y2 ) for any y ∈ I \ mI.
If we can show that I 2 = yI + mI 2 for some y ∈ I \ mI, then by Nakayama’s lemma we have
2
2
2
I 2 = yI. So it is enough to prove that mII 2 = yI+mI
for some y ∈ I \ mI. We have µ( xI+mI
) ≤ 1 for all
mI 2
mI 2
2
2
x ∈ I \ mI. Therefore, there is no loss of generality in assuming that mI = 0, i.e. I is a k-vector
space. We consider the following two cases. We assume that I 2 , 0 to exclude the trivial case.
Case - 1 : x2i = 0 for 1 ≤ i ≤ n.
After reordering the generators if necessary we may assume that x1 x2 , 0. Then x1 I = (x1 x2 ) =
x2 I since dimk (x1 I) = dimk (x2 I) = 1. We have x1 xi = λi x1 x2 and x2 xi = λ′i x1 x2 for 3 ≤ i ≤ n
and λi , λ′i ∈ R. Note that x1 (xi − λi x2 − λ′i x1 ) = x2 (xi − λi x2 − λ′i x1 ) = 0. Let J be the ideal
generated by xi − λi x2 − λ′i x1 , 3 ≤ i ≤ n. Then I = (x1 , x2 ) + J and (x1 , x2 )J = 0. For any
x ∈ J \ mJ we have x ∈ I \ mI, xJ = xI and µ(xJ) = µ(xI) ≤ 1. Since µ(J) = µ(I) − 2, by
induction hypothesis we find y′ ∈ J \ mJ such that y′ J = J 2 . Let y = x1 + y′ . Then y ∈ I \ mI and
I 2 = (x1 x2 ) + J 2 = (x1 + y′ )((x1 , x2 ) + J) = yI.
Case - 2 : Not all x2i = 0 for 1 ≤ i ≤ n.
Without loss of generality we assume that x21 , 0 and x1 I = (x21 ). Let x1 xi = λi x21 , λi ∈ R and
2 ≤ i ≤ n. Then x1 (xi − λi x1 ) = 0. Let J be the ideal generated by xi − λi x1 , 2 ≤ i ≤ n. Then
I = (x1 ) + J, x1 J = 0. For any x ∈ J \ mJ we have x ∈ I \ mI, xJ = xI and µ(xJ) = µ(xI) ≤ 1. Since
µ(J) = µ(I) − 1, by induction hypothesis we find y′ ∈ J \ mJ such that y′ J = J 2 . Let y = x1 + y′ .
Then y ∈ I \ mI and I 2 = (x21 ) + J 2 = (x1 + y′ )((x1 ) + J) = yI.

Lemma 3.3. Let (R, m, k) be a local ring such that µ(m2 ) ≤ 2. Then there exists an x ∈ m \ m2 such
that m2 = xm. If ll(R) ≥ 3, then x2 < m3 .
8

Proof. If m2 = xm + m3 , x ∈ m \ m2, then by Nakayama’s lemma we have m2 = xm. So it is enough
to assume that m3 = 0, i.e. m2 is a k-vector space. If m2 = 0, then m2 = xm = 0 for all x ∈ m \ m2 .
If µ(m2 ) = 1, then for any x ∈ m \ m2 such that xm , 0, we have m2 = xm. If µ(m2 ) = 2, by
Lemma 3.2 we have x ∈ m \ m2 such that µ(xm) > 1. Then 2 ≤ dimk xm ≤ dimk m2 = 2. Therefore,
m2 = xm. This proves the first part of the lemma.
If x2 ∈ m3 , then m3 = x2 m ⊂ m4 . So by Nakayama’s lemma m3 = 0 which is a contradiction.
Therefore, x2 < m3 if ll(R) ≥ 3.

Theorem 3.4. Let (R, m, k) be a local Artinian Gorenstein ring. Let e. dim(R) = n, ll(R) ≥ 3 and
dimk m2 /m3 = m < n. Assume that m admits a generator x1 such that m2 = x1 m. Then there exists
a minimal generating set {x1 , x2 , . . . , xn } of m extending x1 such that the following hold.
(1) m2 = (x21 , x1 x2 , . . . , x1 xm ),
(2) (x1 , . . . , xm )(xm+1 , . . . , xn ) = 0,
(3) (xm+1 , . . . , xn )2 = soc(R).
The ring R decomposes as connected sum R = S #T such that e. dim(S ) = m, e. dim(T ) = n − m,
ll(S ) = ll(R) and ll(T ) = 2.
Proof. Since ll(R) ≥ 3, x21 < m3 . So we can choose a minimal generating set {x1 , x2 , . . . , xn } of m
such that m2 = (x21 , x1 x2 , . . . , x1 xm ).
We have x1 x j = α1 j x21 + α2 j x1 x2 + . . . + αm j x1 xm , αi j ∈ R for 1 ≤ i ≤ m and m + 1 ≤ j ≤ n. This
gives x1 (x j − α1 j x1 − α2 j x2 − . . . − αm j xm ) = 0. So replacing x j − α1 j x1 − α2 j x2 − . . . − αm j xm by x j ,
we assume that x1 x j = 0 for m + 1 ≤ j ≤ n.
If m = 1, the property (2) is satisfied. So we assume that µ(m2 ) = m ≥ 2. Since m2 is minimally
generated by {x21 , x1 x2 , . . . , x1 xm } and x1 (xm+1 , . . . , xn ) = 0, we have (0 : x1 ) ⊂ m(x1 , . . . , xm ) +
2
(xm+1 , . . . , xn ). This implies that residue classes of elements xm+1 , . . . , xn form a k-basis of (0:R xm1 2)+m .
2
Therefore, dimk (0:R xm1 2)+m = n − m.
Claim - 1 : m[(0 :R x1 ) ∩ m2 ] = soc(R).
Note that m2 (0 :R x1 ) = x1 m(0 :R x1 ) = 0. So m[(0 :R x1 ) ∩ m2 ] ⊂ soc(R). Therefore, it is enough
to prove that m[(0 :R x1 ) ∩ m2 ] , 0. We have mi+1 = x1 mi for i ≥ 1. So µ(mi+1 ) ≤ µ(mi ), i ≥ 1. Let
·x1
t = max{i : µ(mi ) = m}. Since m ≥ 2, we have ll(R) ≥ t + 1. The map mt /mt+1 −−→ mt+1 /mt+2 is not
injective since dimk (mt /mt+1 ) > dimk (mt+1 /mt+2 ). So we find y ∈ mt \ mt+1 such that yx1 ∈ mt+2 .
Note that mt+2 = x1 mt+1 . So yx1 = x1 m for some m ∈ mt+1 . This implies that x1 (y − m) = 0.
Therefore, y − m ∈ [(0 :R x1 ) ∩ m2 ] and y − m < mt+1 . Since soc(R) ⊂ mt+1 , we have y − m < soc(R).
So [(0 :R x1 ) ∩ m2 ] 1 soc(R). Consequently m[(0 :R x1 ) ∩ m2 ] , 0 and the claim is proved.
[(0:R x1 )∩m2 ]
Claim - 2 : dimk m[(0:
2 = m − 1.
R x1 )∩m ]
We know (0 :R x1 ) = HomR (R/(x1 ), R). We have m2 = x1 m ⊂ (x1 ). So by the Matlis duality
2
) = 1 + n − 1 = n. Now we have
l(0 :R x1 ) = l(R/x1 R) = l(R/m2 ) − l( x1 R+m
m2
l[(0 :R x1 )∩m2 ] = l(0 :R x1 )+l(m2 )−l[(0 :R x1 )+m2 ] = l(0 :R x1 )−l[

(0 :R x1 ) + m2
] = n−(n−m) = m.
m2

[(0:R x1 )∩m2 ]
[(0:R x1 )∩m2 ]
=
l(
) = l[(0 :R x1 ) ∩ m2 ] − 1
2
m[(0:R x1 )∩m ]
m[(0:R x1 )∩m2 ]
[(0:R x1 )∩m2 ]
(x2 ,...,xm )
×
The pairing m(x
2 → soc(R) given by
,...,x
)
m[(0:
2
m
R x1 )∩m ]

Therefore, dimk

= m − 1.

( x̄, ȳ) → xy is well defined and
Claim - 3 :
non-degenerate.
We have m(x2 , . . . , xm )(0 :R x1 ) = 0 since m2 = x1 m. So (x2 , . . . , xm )[(0 :R x1 ) ∩ m2 ] ⊂ soc(R).
Therefore, the above pairing exists. Note that m2 (xm+1 , . . . , xn ) = 0. So if y ∈ [(0 :R x1 ) ∩ m2 ]
9

and y(x2 , . . . , xm ) = 0, we have y ∈ soc(R) = m[(0 :R x1 ) ∩ m2 ]. We also have dimk
)∩m2 ]

(x2 ,...,xm )
m(x2 ,...,xm )

=

[(0:R x1
dimk m[(0:
2 = m − 1. Therefore, the pairing is non-degenerate and the claim follows.
R x1 )∩m ]
Note that m(x2 , . . . , xm )(xm+1 , . . . , xn ) = 0. So (x2 , . . . , xm )(xm+1 , . . . , xn ) ⊂ soc(R). For m + 1 ≤
(x2 ,...,xm )
j ≤ n, multiplication by x j defines a map m(x
→ soc(R). Since the pairing in Claim - 3 is
2 ,...,xm )
2
non-degenerate, we have x̂ j ∈ [(0 :R x1 ) ∩ m ] such that x j xi = x̂ j xi for 2 ≤ i ≤ m and m + 1 ≤ j ≤ n.
We also have x1 x j = x1 x̂ j = 0. So (x j − x̂ j )(x1 , . . . , xm ) = 0, m + 1 ≤ j ≤ n. Therefore, replacing
(x j − x̂ j ) by x j we have (x1 , . . . , xm )(xm+1 , . . . , xn ) = 0 and the property (2) is satisfied.
Let soc(R) = hδi and K = (xm+1 , . . . , xn ). We have m2 K = x1 Km = 0. So K 2 ⊂ mK ⊂ soc(R).
Note that K 2 , 0 for otherwise each of x j , m + 1 ≤ j ≤ n is in soc(R) ⊂ m2 , a contradiction.
Therefore, K 2 = mK = soc(R) and the property (3) is satisfied.
The last statement follows from Theorem 3.1.


A careful study of [5] yields the following result.
Theorem 3.5. Let (R, m, k) be a Gorenstein local ring with ll(R) ≥ 3. Then the following are
equivalent.
(1) There are Gorenstein local rings (S , p), (T, q) with ll(S ) = ll(R), ll(T ) = 2 such that R =
S #T .
(2) (0 : m2 ) 1 m2 .
Proof. First we assume that (1) holds. Since ll(S ), ll(T ) ≥ 2, we have m/m2 = p/p2 ⊕ q/q2 . We
choose y ∈ q \ q2 . Since q3 = 0, we have (0, y)m2 = 0. But (0, y) ∈ m \ m2 . So (2) follows.
Conversely we assume that (2) holds. We choose y1 , . . . , yn ∈ (0 : m2 ) such that there images in
(0:m2 )
form a basis of k-vector space. We have (y1 , . . . , yn ) ∩ m2 ⊂ soc(R). Let I = (y1 , . . . , yn ) ⊂
m2 ∩(0:m2 )
(0 : m2 ). If z ∈ I ∩ (0 : I), then z kills both I and m2 . So z kills I + [m2 ∩ (0 : m2 )] = (0 : m2 ).
This implies that z ∈ (0 : (0 : m2 )) = m2 since R is a Gorenstein ring. So z ∈ m2 ∩ I ⊂ soc(R).
Thus we have I ∩ (0 : I) ⊂ soc(R). Note that I ∩ (0 : I) , 0 because otherwise l(I + (0 : I)) =
l(I) + l(0 : I) = l(R), a contradiction since I + (0 : I) is a proper ideal. So I ∩ (0 : I) = soc(R). Now
l(I + (0 : I)) = l(I) + l(0 : I) − l[I ∩ (0 : I)] = l(R) − 1 = l(m). Also I + (0 : I) ⊂ m. Therefore,
(0:I)
m
I
I + (0 : I) = m and soc(R)
= soc(R)
⊕ soc(R)
.
2
Note that m I = 0. So mI ⊂ soc(R). If mI = 0, then I ⊂ soc(R) ⊂ m2 . This implies that
(0 : m2 ) = I + m2 ∩ (0 : m2 ) ⊂ m2 , a contradiction. So mI = soc(R). If m(0 : I) = 0, then m2 =
m[I + (0 : I)] = mI = soc(R) which is again a contradiction since ll(R) ≥ 3. So soc(R) ⊂ m(0 : I).
(0:I)
Therefore, we have mm2 = mII ⊕ m(0:I)
. The ideal I is minimally generated by y1 , . . . , yn . We choose a
minimal generating set x1 , . . . , xm of (0 : I) such that x1 , . . . , xm , y1 , . . . , yn is a minimal generating
set of m.
Note that (x1 , . . . , xm )(y1 , . . . , yn ) = 0. We have I 3 = 0. If I 2 = 0, then mI = 0, a contradiction. So
max{i : (y1 , . . . , yn )i , 0} = 2. We have mI = soc(R) ⊂ m(0 : I). So m2 = m(0 : I) = (0 : I)2 . By an
easy inductive argument mn = (0 : I)n for all n ≥ 2. Therefore, max{i : (x1 , . . . , xm )i , 0} = ll(R).
Now the result follows from Theorem 3.1.

Lemma 3.6. Let (R, m) be an Artinian Gorenstein local ring such that e. dim(R) ≥ 2 and ll(R) = s.
Then the quotient ring R/mi can never be a Gorenstein ring for 2 ≤ i ≤ s.
Proof. If possible assume that R/mi is a Gorenstein ring for some i satisfying 2 ≤ i ≤ s. Then the
injective hull of k over R/mi , viz. E R/mi (k)  R/mi . We know that E R/mi (k)  HomR (R/mi , R) =
(0 :R mi ). So (0 :R mi ) = (x), a principal ideal for some x ∈ R. Now m s−i+1 ⊂ (0 :R mi )
10

and m s−i+1 1 m(0 :R mi ) for otherwise m s−i+1 ⊂ m(0 :R mi ) ⊂ (0 :R mi−1 ) which implies that
m s = m s−i+1 mi−1 = 0, a contradiction. Since (0 :R mi ) is principal we have (0 :R mi ) = m s−i+1 = (x).
This implies that m j is a principal ideal for s − i + 1 ≤ j ≤ s. So
l(0 :R mi ) = l(m s−i+1 ) = i. By Matlis
Pi−1
i
i
i
duality, l(R/m ) = l Hom(R/m , R) = (0 :R m ) = i. We have j=0 [l(m j /m j+1 ) − 1] = l(R/mi ) − i = 0
and each summand is non-negative. This shows that e. dim(R) = l(m/m2 ) = 1, a contradiction. 
Theorem 3.7. Let (R, m, k) be an Artinian Gorenstein local ring such that µ(m) = n, ll(R) ≥ 2
and µ(m2 ) ≤ 2. Let i be an integer satisfying 2 ≤ i ≤ ll(R). Then R/mi is a Golod ring and
i
1
(t) = 1−nt
PR/m
.
k
Proof. Fix i satisfying 2 ≤ i ≤ ll(R) and set R̄ = mRi . The result is clear when n = 1 or ll(R) = 2. We
assume that n = 2 and ll(R) > 2. A result of Scheja [23] states that a co-depth 2 local ring is either
a Gorenstein or a Golod ring. The ring R̄ cannot be a Gorenstein ring by Lemma 3.6. So R̄ is a
Golod ring. Since R is a complete intersection, the defining ideal of R̄ is minimally generated by 3
P
elements. So, κR̄ (t) = i≥0 dimk Hi (K R̄ )ti = 1 +3t +2t2 and (1 −t(κR̄ (t)−1)) = 1 −t(1 +3t +2t2 −1) =
(1+t)2
1
(1 + t)2 (1 − 2t). We have PR̄k (t) = 1−t(κ
R̄ (t)−1) = 1−2t .
Now we assume that n > 2 and ll(R) > 2. By Lemma 3.3, Theorem 3.4, it follows that R = S #T
where (S , p), (T, q) are Gorenstein local rings, e. dim(S ) = µ(m2 ) ≤ 2, e. dim(T ) + e. dim(S ) = n,
ll(S ) = ll(R) and ll(T ) = 2. So R̄ = S̄ ×k T̄ where S̄ = S /pi and T̄ = T/q2 (see Facts, Definition
1
1
2.4). Both S̄ , T̄ are Golod rings. We have PS̄k (t) = 1−e.dim(
, PT̄k (t) = 1−e.dim(
. The result follows
S̄ )t
T̄ )t
from Theorem 2.5 and the fact that fibre products of Golod rings are Golod [31, Theorem 4.1]. 
4. Main results
Our goal in this section is to prove our main Theorems II, III as stated in the introduction.
Suppose (A, ∂) is an augmented DGΓ algebra and A∗ = AhWi, W = {Wi }i≥1 is the acyclic closure of
A. We recall the notion of (normal) Γ-monomials from [13, Remark 6.2.1]. Pick two Γ-monomials
M, M ′ in A∗ . Then there exists an integer n large enough such that M = W1(c1 ) . . . Wn(cn ) and M ′ =
(c′ )
(c′ )
W1 1 . . . Wn n where c j , c′j ≥ 0. By our assumption deg(W1 ) ≤ . . . ≤ deg(Wn ). We define a total
order on the set of Γ-monomials as M ≺ M ′ if the last nonzero entry of c′1 −c1P, . . . , c′n −cn , deg(M ′ )−
deg(M) is positive. If β is an element of A∗ , then we can express β as β = f M M, f M ∈ A where
the sum is taken over finitely many Γ-monomials M. We define the initial Γ-monomial of β as
in(β) = max{M : f M , 0}. The coefficient of in(β) in β is called the leading coefficient of β. The
following lemma is implicit in [25, Theorem 1.6.2].
Lemma 4.1. Let (A, ∂) be an augmented DGΓ algebra over a local ring (R, m, k) with augmentation
map ǫ : A ։ k and A∗ = AhWi, W = {Wi }i≥1 be the acyclic closure of A. Let F n (A∗ ) = AhWi :
deg(Wi ) ≤ ni denote distinguished DGΓ algebras. Then the following hold.
(1) There are A-linear derivations ν j , 1 ≤ j ≤ n such that ν j (W j ) = 1 and ν j (Wi ) = 0 for i < j.
(2) ν j (F k (A∗ )) ⊂ F k (A∗ ) for j ≤ k.
(3) For a Γ-monomial M = W1(c1 ) . . . Wn(cn ) , define ν M = νc11 ◦ . . . ◦ νcnn . Then ν M (M) = ±1 and
ν M (M ′ ) = 0 for M ′ ≺ M.
If (R, m) is a Gorenstein local ring of embedding dimension n ≥ 2, the Koszul homology algebra
H(K R ) is a Poincaré algebra [7]. The multiplication map H1 (K R ) × Hn−1 (K R ) → Hn (K R ) is a nondegenerate pairing. So for any z ∈ H1 (K R ), there is a z′ ∈ Hn−1 (K R ) such that zz′ is a generator in
Hn (K R ). The following lemma lays the groundwork for main results of this article.
11

Lemma 4.2. Let (R, m) be an Artinian Gorenstein local ring of embedding dimension n ≥ 2. Let
RhXi be the acyclic closure of R and X = RhX j : 1 ≤ j ≤ n + ii, i ≥ 1 be a distinguished DGΓ
algebra over R. Let soc(R) = (t), R̄ = tRR and X̄ = R̄ ⊗R X. Let z ∈ Z1 (K R ), z′ ∈ Zn−1 (K R ) be cycles
such that ∂Xn+1 = z and zz′ = tX1 . . . Xn . Define Y = {x ∈ X : z′ ∂(x) ∈ soc(R)X1 . . . Xn X} and
Ȳ = R̄ ⊗R Y. Then the following hold.
(1) soc(R)KiR ⊂ (0 : m2 ) Bi+1 (K R ) ⊂ m Bi+1 (K R ) for i = 1, . . . , n − 1.
(2) soc(R)X1 . . . Xn X = z′ B(Y).
(3) soc(R)X = (0 : m2 ) B(X) + z′ B(Y) ⊂ m B(X).
(4) Z(X̄) = (0 : m2 )X̄ + z′ Ȳ + R̄ ⊗R Z(X).
(5) The quotient map X ։ X̄ induces injective maps H(X) → H(X̄) and H(mX) → H(mX̄) on
homology.
(6) For any two cycles v ∈ I Z(X), w ∈ Z(z′ X), there is an element v′ ∈ z′ X such that vw = ∂(v′ ).
(7) For any cycle v̄ ∈ I Z(X̄), w̄ ∈ Z(z′ X̄), there is an element v¯′ ∈ z′ X̄ + (0 : m2 )X̄ such that
v̄w̄ = ∂(v¯′ ).
Proof. Let ∂(Xi ) = xi , 1 ≤ i ≤ n. Then the maximal ideal m is minimally generated by {x1 , . . . , xn }.
The statement (1) is proved in [33, Lemma 1.2]. It is proved in the line no 10, page no 80 in the proof
of [33, Theorem 2] that tX1 . . . Xn RhXi = z′ ∂(Xn+1 )RhXi ⊂ z′ B(RhXi). By a very similar argument,
we have tX1 . . . Xn X = z′ ∂(Xn+1 )X ⊂ z′ B(X). By definition of Y, it follows that tX1 . . . Xn X =
z′ B(Y). So (2) is proved.
It is proved in the equation 2.3, page no 79 in the proof of [33, Theorem 2] that tRhXi ⊂ (0 :
m2 ) B(RhXi) + tX1 . . . Xn RhXi. The same reasoning applies here and we have tX ⊂ (0 : m2 ) B(X) +
tX1 . . . Xn X. So from (2), we have tX ⊂ (0 : m2 ) B(X) + z′ B(Y). The reverse inclusion is clear and
(3) follows.
Both (4) and (5) follow from (3). The argument is implicit in [33, Theorem 2]. We skip the
details.
We
P prove (6). We may assume that deg(v) ≥ 1 as the result is obvious when v ∈ m. Let
v = ni=1 xi vi , vi ∈ X. Then we have
vw =

n
X
i=1

xi vi w =

n
X

[∂(Xi vi )w + Xi ∂(vi )w] = ∂(v′1 )w +

i=1

n
X

Xi ∂(vi )w for v′1 =

i=1

n
X

Xi vi .

i=1

Pn

Note that Xi z ∈ X1 . . . Xn X, 1 ≤ i ≤ n and w ∈ Z(z X). So i=1 Xi ∂(vi )w = X1 . . . Xn u for u ∈
RhXn+1 , . . . , Xn+i i. Now vw = ∂(v′1 )w + X1 . . . Xn u and v, w are cycles. So the element X1 . . . Xn u is
also a cycle. Expanding ∂(X1 . . . Xn u) and comparing coefficients of both sides of ∂(X1 . . . Xn u) = 0,
we conclude that coefficients of u are in soc(R). Thus u ∈ soc(R)RhXn+1 , . . . , Xn+i i and X1 . . . Xn u ∈
soc(R)X1 . . . Xn X ⊂ z′ B(X) by (2). Let X1 . . . Xn u = ∂(v′2 )z′ , v′2 ∈ X. Then we have vw = ∂(v′1 )w +
∂(v′2 )z′ = ∂(v′ ) for v′ = v′1 w + v′2 z′ . Clearly v′ ∈ z′ X. So (6) follows.
Finally we prove (7). We assume that deg(v̄) ≥ 1 to exclude the obvious case. We observe from
(4) that Z(X̄)w̄ = R̄ ⊗R Z(X)w̄. So we choose v0 ∈ Z≥1 (X) such that v̄w̄ = v̄0 w̄. Now w̄ ∈ Z(z′ X̄).
Again by (4), we may choose the lift
′

′

w = z′ w′ = w1 + z′ w2 + w3 for w1 ∈ (0 : m2 )X, w2 ∈ Y and w3 ∈ Z(X).
(1)
′
′
Note that v0 ∈ Z≥1 (X) ⊂ mX. So v0 w1 ∈ soc(R)X. By (6), v0 z = ∂(v1 z ) for some v1 ∈ X.
So v0 z′ w2 = ∂(v1 z′ )w2 = ∂(v1 z′ w2 ) + (−1)n+deg(v1 ) v1 z′ ∂(w2 ). Now z′ ∂(w2 ) ∈ soc(R)X1 . . . Xn X since
w2 ∈ Y. This implies that v0 z′ w2 = ∂(v1 z′ w2 ) + w4 for w4 = (−1)n+deg(v1 ) v1 z′ ∂(w2 ) ∈ soc(R)X.
12

P
We write v0 = ni=1 xi ai for ai ∈ X. So we have
n
n
n
n
X
X
X
X
v0 w3 =
xi ai w3 =
[∂(Xi ai )w3 + Xi ∂(ai )w3 ] = ∂(v2 )w3 +
Xi ∂(ai )w3 where v2 =
Xi a i .
i=1

i=1

i=1

i=1

Now from equation 1 it followsPthat w3 = z (w − w2 ) − w1 . So Xi w3 ∈ X1 . . . Xn X + (0 : m2 )X.
We have ∂(ai ) ∈ mX. Therefore, ni=1 Xi ∂(ai )w3 = X1 . . . Xn u + w5 for some u ∈ RhXn+1 , . . . , Xn+i i
and w5 ∈ soc(R)X. Now v0 w3 = ∂(v2 )w3 + X1 . . . Xn u + w5 and v0 , w3 , w5 are cycles. So u ∈
soc(R)RhXn+1 , . . . , Xn+i i and X1 . . . Xn u = ∂(v3 )z′ for v3 ∈ Y by (2). Therefore, we have v0 w3 =
∂(v2 w3 + v3 z′ ) + w5 .
Finally we write v0 w = v0 (w1 + z′ w2 + w3 ) = (v0 w1 + w4 + w5 ) + ∂(v1 z′ w2 + v2 w3 + v3 z′ ). We have
v0 w1 + w4 + w5 ∈ soc(R)X. Define
′

′

v′ = v1 z′ w2 +v2 w3 +v3 z′ = v1 z′ w2 +v2 [z′ (w′ −w2 )−w1 ]+v3 z′ = [v1 z′ w2 +v2 z′ (w′ −w2 )+v3 z′ ]−v2 w1 .
Since w1 ∈ (0 : m2 )X, we have v′ ∈ z′ X + (0 : m2 )X. Therefore, going modulo socle, we have
v̄w̄ = v0 w = ∂(v¯′ ) and v′ ∈ z′ X̄ + (0 : m2 )X̄. Thus (7) follows.

Theorem 4.3. Let (R, m, k) be an Artinian Gorenstein local ring of embedding dimension n ≥ 2
such that R/ soc(R) is a Golod ring. Let K R = RhXi : 1 ≤ Xi ≤ n, ∂(Xi ) = xi i be the Koszul complex
of R on a minimal set of generators x1 , . . . , xn of m. Let η : (Q, n) ։ (R, m) be a minimal Cohen
presentation. Then the following hold.
(1) Let z ∈ Z1 (K R ) \ B1 (K R ) and K R hT : ∂(T ) = zi be the extension of K R by adjoining divided
powers variable T of degree two to kill the cycle z. Then K R hT : ∂(T ) = zi is a Golod
algebra.
(2) Let I = ker(η). Then for any f ∈ I \ nI, the induced map Q/( f ) ։ R is a Golod homomorphism, i.e. R has the Backelin-Roos property.
(3) Let dR (t) = 1−t(PRQ (t)−1)+tn+1 (1+t). Then for any R-module M we have dR (t)PRM (t) ∈ Z[t].
Proof. The DGΓ algebra K R hT i can be extended to the acyclic closure X of R. We have a derivation
v : X → X of degree −2 such that v(T ) = 1 by Lemma 4.1. Set R̄ = R/ soc(R). Then K R̄ =
R̄ ⊗R K R is the Koszul complex of R̄ and K R̄ can be extended to the acyclic closure Y of R̄. Now the
augmentation ǫY : Y ։ k is an algebra homomorphism over K R . The acyclic closure X is semi-free
over K R . So the augmentation ǫX : X ։ k lifts to a DGΓ algebra homomorphism β : X → Y over
K R [13, Proposition 2.1.9]. Let α : K R → K R̄ denote the quotient map. We have the following
commutative diagram.
mK R

i

//

mX

α



mK R̄

β



j

//

mY

To show that K R hT i is a Golod algebra, we need to prove that the inclusion i : mK R hT i → mX
R
induces an injective map i∗ : H(mK
hT i) → H(mX) on homology (see Theorem 2.2). A cycle y in
P
m
R
mK hT i can be written as y = k=0 ak T (m−k) , ai ∈ mK R . Suppose i(y) is in the boundary of mX. We
prove by induction on m that y is in the boundary of mK R hT i.
First assume that m = 0. Then y ∈ mK R . Since i(y) is in the boundary of mX, j ◦ α(y) is
in the boundary of mY by the commutative diagram. Now R̄ is a Golod ring. So j induces an
injective map j∗ : H(mK R̄ ) → H(mY). Therefore, α(y) is in the boundary of mK R̄ . So we can
13

write y = sy1 + ∂(y2 ) for y1 ∈ K R , y2 ∈ mK R and soc(R) = (s). If deg(y) = deg(y1 ) < n, then
sy1 ∈ (0 : m2 ) B(K R ) by (1) of Lemma 4.2. So y ∈ m B(K R ). If deg(y) = n, then y2 = 0 and
y = sy1 = asX1 . . . Xn , a ∈ R. Since H(K R ) is a Poincaré algebra [7], there is a z′ ∈ Zn−1 (K R ) such
that zz′ = sX1 . . . Xn . So y = azz′ = ∂(aT z′ ) ∈ m B(K R hT i). Therefore, the induction step for m = 0
follows.
Now we assume that m > 0. Note that a0 = vm (i(y)). Since i(y) ∈ m B(X) and the derivation
v commutes with differentials, we have a0 ∈ mK R ∩ B(mX). Suppose deg(a0 ) P
= n. Then a0 =
(m−k)
)=
asX1 . . . Xn , a ∈ R. So a0 T (m) = azz′T (m) = ∂(az′ T (m+1) ) ∈ m B(K R hT i). Now i( m−1
k=0 ak T
(m)
R
y − a0 T is in the boundary of mX and therefore is in the boundary of mK hT i by the induction
hypothesis. So y is in the boundary of mK R hT i.
Suppose deg(a0 ) < n. ThenPby the argument in the induction step m = 0, a0 =P
∂(y3 ) for y3 ∈ mK R .
m−1
(m)
(m−k)
(m)
deg(a0 )
(m−1)
(m−k)
We can write y = ∂(y3 )T + k=0 ak T
= ∂(y3 T ) + [(−1)
y3 zT
+ m−1
]. The
k=0 ak T
R
first summand is in m B(K hT i). So the second summand is in the boundary of mX and therefore
is in the boundary of mK R hT i by induction hypothesis. So y is in the boundary of mK R hT i. This
completes the induction step and the proof of (1) follows.
It is well known that generators of I in I \nI are in one-one correspondence with the generators of
H1 (K R ). Let the maximal ideal n of Q be minimally generated by y1 , . . . , yn . The Koszul complex
P
P
of Q is K Q = hXi : ∂(Xi ) = yi , 1 ≤ i ≤ ni. Let f = ni=1 ai yi and z = ni=1 ai Xi ∈ K1Q . Let
P = Q/( f ). Then K P = K Q ⊗Q P, K R = K Q ⊗Q R denote Koszul complexes of P, R respectively.
Since f ∈ I \ nI, we have z̄ ∈ Z1 (K R ) \ B1 (K R ). By (1), U = K R hT : ∂(T ) = z̄i is a Golod algebra.
Now V = K P hT : ∂(T ) = z̄i is the acyclic closure of P and U = V ⊗R R. Therefore, the map P ։ R
is a Golod homomorphism and (2) follows.
The ring R̄ is Golod. In [40, Proposition 6.2], the Poincaré series of R is computed as PRk =
(1+t)n
. So the result follows from Theorem 2.3.

1−t(PQ (t)−1)+tn+1 (1+t)
R

The following result is proved in [33, Theorem 1].
Theorem 4.4. Let (R, m) be an Artinian Gorenstein local ring of embedding dimension n and K R
be the Koszul complex on a minimal set of generators of the maximal ideal m. Set soc(R) = (s), R̄ =
KR
R/sR and K R̄ = R̄ ⊗R K R , the Koszul complex of R̄. Define a DG algebra structure on K R ⊕ mK
R [−1]
deg(k) ′
′ ¯′
′
′
¯
¯
kl ) and differential : ∂(k, l) = (∂(k) + sl, 0).
with multiplication : (k, l)(k , l ) = (kk , lk + (−1)
R)
KR
R
R̄
¯
Then the chain map K ⊕ mK R [−1] → K , (k, l) 7→ k̄ is a quasi isomorphism. If H̄ = HH(K
R ,
n (K )
K̄ =

K R ⊗R k
[−1],
KnR ⊗R k

then H(K R̄ ) = H̄ X K̄.

A typical element (ᾱ, β̄) of degree i in H̄ X K̄ is given by a pair (α, β) such that α ∈ Zi (K R ),
R
β ∈ Ki−1
, α is a lift of ᾱ and β is a lift of β̄. By (1) of Lemma 4.2 choose γ ∈ KiR such that ∂(γ) = sβ
where s is a generator of soc(R). Then the residue class of α − γ in K R̄ is a cycle and its homology
class corresponds to (ᾱ, β̄) by the above isomorphism.
Proposition 4.5. Let (R, m, k) be an Artinian Gorenstein local ring with e. dim(R) = m ≥ 2 and
RhXi be the acyclic closure of R. Let R̄ = R/ soc(R). Then R̄ has an acyclic closure of the form
R̄hX, Y, Zi with the following properties.
(1) Y = {Yi : i ≥ 1}, Z = {Z j : j ≥ 1}, ∂(Yi ) ∈ (0 : m2 )R̄hX, Y, Zi and ∂(Z j ) ∈ z′ R̄hX, Y, Zi for
some z′ ∈ Zm−1 (K R ) \ Bm−1 (K R ).
14

(2) The R-linear map RhXi → R̄hX, Y, Zi sending Xi to Xi induces injective maps on homology viz. H(RhXi : deg(Xi ) ≤ ni) ֒→ H(R̄hXi , Y j , Zk : deg(Xi ), deg(Y j ), deg(Zk ) ≤ ni) and
H(mRhXi : deg(Xi ) ≤ ni) ֒→ H(mR̄hXi , Y j , Zk : deg(Xi ), deg(Y j ), deg(Zk ) ≤ ni) for all n ≥ 2.
Proof. Set R̄ = R/ soc(R), U n = RhXi : deg(Xi ) ≤ ni and Ū n = R̄⊗R U n for n ≥ 1. The DGΓ algebras
U n , Ū n admit natural augmentation maps. By construction, we have I Hi (U n ) = 0 for 0 ≤ i ≤ n − 1
and the homology classes of the cycles ∂(Xi ), deg(Xi ) = n + 1 minimally generate I Hn (U n ). Now
deg(Xi ) = 1 for 1 ≤ i ≤ m = e. dim(R). Let ∂(Xi ) = xi . Then m is minimally generated by
{xi : 1 ≤ i ≤ m}. Clearly U 1 is the Koszul complex K R on x1 , . . . , xm . Let z ∈ Z1 (K R ) \ B1 (K R ) be
such that ∂(Xm+1 ) = z̄. We choose z′ ∈ Zm−1 (K R ) such that zz′ = sX1 . . . Xm (see [7]).
We construct inductively a sequence V n of distinguished DGΓ algebras over R̄ with the following
properties.
(1) V 1 = K R̄ , the Koszul complex of R̄.
(2) I Hi (V n ) = 0 for 0 ≤ i ≤ n − 1.
(3) V n = Ū n hY pn−1 +1 , . . . , Y pn , Zqn−1 +1 , . . . , Zqn i, n ≥ 2 for some nondecreasing sequences {pi },
{qi } of integers. Homology classes of ∂(Xi ) for deg(Xi ) = n and ∂(Y j ), ∂(Zk ) for pn−1 + 1 ≤
j ≤ pn and qn−1 + 1 ≤ k ≤ qn minimally generate Hn−1 (V n−1 ), n ≥ 2 .
(4) ∂(Y j ) ∈ (0 : m2 )V n−1 and ∂(Zk ) ∈ z′ V n−1 for pn−1 + 1 ≤ j ≤ pn and qn−1 + 1 ≤ k ≤ qn .
(5) The composition U n ։ Ū n ֒→ V n induces injective maps H(U n ) ֒→ H(V n ) and H(mU n ) ֒→
H(mV n ) for n ≥ 2.
Note that Ū 1 is a Koszul complex of R̄. We set V 1 = Ū 1 with natural augmentation. By Theorem
2)
→ soc(R), ( x̄, ȳ) 7→ xy is non-degenerate. We
4.4, H1 (V 1 ) = H1 (U 1 ) ⊕ k. The pairing mm2 × (0:m
(0:m)
2
choose yi ∈ (0 : m ), 1 ≤ i ≤ m such that xi y j = 0 for i , j and xi y j = s for i = j where s is
a generator of soc(R). Then homology classes of ∂(Xi ), deg(Xi ) = 2 and ȳ1 X1 minimally generate
H1 (V 1 ). Set V 2 = Ū 2 hY1 : ∂(Y1 ) = ȳ1 X1 i with natural augmentation. Here p0 = p1 = 0, p2 = 1,
q0 = q1 = q2 = 0.
Clearly H1 (U 2 ) = H1 (V 2 ) = 0. We prove that the map Hi (U 2 ) → Hi (V 2 ), i ≥ 2 is an injective
map. Note that Z1 (U 2 ) = B1 (U 2 ). We choose α ∈ Zi (U 2 ), i ≥ 2 such that the image ᾱ is in the
boundary of V 2 . Then ᾱ = ∂(β), β ∈ Ū 2 hY1 i. Let β = a0 + a1 Y1 + . . . + am Y1(m) , ai ∈ Ū 2 . By
Lemma 4.1 we have a Ū 2 -linear derivation ν on V 2 such that ν(Y1 ) = 1. We have νm (β) = am .
Since ᾱ is free from Y (i) terms, ν(α) = 0. So ∂(am ) = ∂(νm (β)) = νm (∂(β)) = νm (α) = 0. This
shows that am ∈ Z(Ū 2 ). If deg(am ) = 0, then m ≥ 2 as deg(β) ≥ 3. We have ∂(am−1 + am Y) =
∂(νm−1 (β)) = νm−1 (∂(β)) = 0. So am−1 + am Y ∈ Z2 (V 2 ). Since V 2 is a distinguished DGΓ algebra
over R̄, Z≥1 (V 2 ) ⊂ mV 2 . So am ∈ m if deg(am ) = 0. Therefore, am ∈ I Z(Ū 2 ) ∈ mŪ 2 by (4) of
Lemma 4.2.
This implies that ∂(am Y1(m) ) = 0 since y1 m ⊂ soc(R). So ᾱ = ∂(β1 ), β1 = β − am Y (m) . Repeating
this argument m times we have ᾱ = ∂(a0 ). So α is in the boundary of Ū 2 . By (5) of Lemma 4.2, α
is in the boundary of U 2 . This shows that the map H(U 2 ) ֒→ H(V 2 ) is injective. The proof of that
the map H(mU 2 ) ֒→ H(mV 2 ) is injective follows similarly (in fact more easily as ai are already in
mŪ 2 ).
Now we assume that V n , n ≥ 2 is constructed with aforesaid properties and construct V n+1 . Since
V n is a distinguished DGΓ algebra over R̄, we have I Z(V n ) ⊂ mV n .
Claim - 1 : Zn (V n ) = Bn (V n ) + R̄ ⊗R Zn (U n ) + (0 : m2 )Vnn + z′ V n ∩ Zn (V n ), n ≥ 2.
15

Set S = Bn (V n ) + R̄ ⊗R Zn (U n ) + (0 : m2 )Vnn + z′ V n ∩ Zn (V n ). Clearly S ⊂ Zn (V n ). To show
the reverse inclusion, choose α ∈ Zn (V n ). Then α is a finite linear combination of Γ-monomials in
Y j and Zk with coefficients in Ū n . Let the total degree of α in Yi and Zk be d. We prove α ∈ S by
induction on d. If d = 0, then α has no terms involving Y j and Zk . So α ∈ Zn (Ū n ). By (4) of Lemma
4.2, α ∈ R̄ ⊗R Zn (U n ) + (0 : m2 )Ūnn + z′Ū n ∩ Zn (Ū n ). Since Ū n ⊂ V n , we have α ∈ S .
Now we assume that d > 0. We choose a Γ-monomial term in Y j , Zk of the form f M for f ∈ Ū n ,
M = Yl(c1 1 ) . . . Yl(cs s ) Zm(d11 ) . . . Zm(dtt ) in the expression of α such that deg(M) = d, deg( f ) = e and n = d+e.
Since α is a cycle and M is a Γ-monomial of highest total degree in Y j , Zk , f is a cycle in Ū n . So by
(4) of Lemma 4.2, we have f ∈ R̄ ⊗R Ze (U n ) + (0 : m2 )Ūen + Ze (Ū n ) ∩ z′ Ū n .
If 1 ≤ e < n, we have Ze (U n ) = Be (U n ). If e = 0, then f ∈ mR̄ since α ∈ Zn (V n ) ⊂ mV n ,
n
n ≥ 2. We write f = ∂(g) + f ′ + f ′′ for g ∈ Ūe+1
, f ′ ∈ (0 : m2 )Ūen and f ′′ ∈ Ze (Ū n ) ∩ z′ Ū n . So
′
′′
e
f M = ∂(gM) + f M + f M + (−1) g∂(M). Note that f ′ M ∈ (0 : m2 )Vnn and f ′′ M ∈ z′ V n ∩ Zn (V n )
since z′ ∂(M) = 0. Also g∂(M) has total degree in Y j and Zk strictly less than d. If we write each
Γ-monomial term of total degree d in Y j , Zk appearing in the expression of α in this manner, we
have α = α1 + α2 where α1 ∈ S , α2 ∈ Zn (V n ) and total degree of α2 in Y j , Zk is strictly less than d.
By the induction hypothesis, α2 ∈ S . So α ∈ S and our claim follows.
The homology classes of cycles ∂(Xi ), deg(Xi ) = n + 1 minimally generate Hn (U n ). Because of
Claim - 1 and the fact that H(U n ) ֒→ H(V n ) is injective, we can adjoin Γ-variables Xi for deg(Xi ) =
n + 1 and Y j , Zk for pn + 1 ≤ j ≤ pn+1 , qn + 1 ≤ k ≤ qn+1 to V n such that homology classes of ∂(Xi ),
∂(Y j ), ∂(Zk ) minimally generate Hn (V n ) and ∂(Y j ) ∈ (0 : m2 )V n , ∂(Zk ) ∈ z′ V n . We define
V n+1 = V n hXi , Y j , Zk : deg(Xi ) = n + 1, pn + 1 ≤ j ≤ pn+1 , qn + 1 ≤ k ≤ qn+1 i
= Ū n+1 hY j , Zk : 1 ≤ j ≤ pn+1 , 1 ≤ k ≤ qn+1 i
with the natural augmentation. Clearly I Hi (V n+1 ) = 0 for 0 ≤ i ≤ n.
Claim - 2: If f ∈ I Z(Ū n+1 ) and M = Yl(c1 1 ) . . . Yl(cs s ) Zm(d11 ) . . . Zm(dtt ) is a Γ-monomial of total degree d ,
then ∂( f M) = ∂(β) for some β ∈ (0 : m2 )V n+1 + z′ V n+1 and the total degree of β in Y j , Zk is strictly
less than d. P
Let ∂(M) = mi=1 gi Mi where gi ∈ (0 : m2 )Ū n+1 + z′ Ū n+1 and Mi are Γ-monomials inPY j , Zk of total
degree strictly less than d. One observes that gi ∂(Y j ), gi ∂(Zk ) are zero. So ∂2 (M) = mi=1 ∂(gi )Mi =
0. This shows that gi ∈ Z(Ū n+1 ) ∩ [(0 : m2 )Ū n+1 + z′ Ū n+1 ]. So we can write gi = g′i + g′′i for
g′i ∈ (0 : m2 )Ū n+1 and g′′i ∈ Z(Ū n+1 ) ∩ z′ Ū n+1 .
Since f ∈ mŪ n+1 , we have f g′i = 0. By (7) of Lemma 4.2, we have f gi = f g′′i = ∂(hi ) for some
P
P
′ n+1
hi ∈ (0 : m2 )Ū n+1 +zP
Ū . Therefore, ∂( f M) = (−1)deg f mi=1 f gi Mi = (−1)deg f mi=1 ∂(hi )Mi = ∂(β)
where β = (−1)deg f mi=1 hi Mi ∈ (0 : m2 )V n+1 + z′ V n+1 . So the claim follows.
Claim - 3: The composition map U n+1 ։ Ū n+1 ֒→ V n+1 induces injective maps H(U n+1 ) ֒→
H(V n+1 ) and H(mU n+1 ) ֒→ H(mV n+1 ).
We only show that H(U n+1 ) ֒→ H(V n+1 ) is injective. The injective property of the second map
will follow similarly. Note that Zi (U n+1 ) = Bi (U n+1 ) for 1 ≤ i ≤ n. Let α ∈ Zi (U n+1 ) for i ≥ n + 1
n+1
be such that ᾱ ∈ Ū n+1 is in the boundary of V n+1 . Let ᾱ = ∂(β), β ∈ Vi+1
. We rename Y j , Zk to Wl ,
′
1 ≤ l ≤ pn+1 + qn+1 such that deg(Wl ) ≤ deg(Wl′ ) for l < l . This is possible because for any positive
integer d, there are only finitely many Y j , Zk such that deg(Y j ) = deg(Zk ) = d.
Now V n+1 = Ū n+1 hWl : 1 ≤ l ≤ pn+1 + qn+1 i is a distinguished DGΓ algebra over Ū n+1 since by
the construction the homology classes of ∂(Wl ), deg(Wl ) = d minimally generate I Hd−1 (Ū n+1 hWl :
16

deg(Wl ) ≤ d − 1i) = I Hd−1 (V d−1 )/hcls(∂(Xi )) : deg(Xi ) = di for 1 ≤ d ≤ n + 1. So for each Wl , we
have a Ū n+1 -linear derivation on V n+1 such that ν j (W j ) = 1 and ν j (Wi ) = 0 for i < j by Lemma 4.1.
Let in(β) = M where M = W1(c1 ) . . . Wr(cr ) , cl ≥ 0, cr ≥ 1. Let the leading coefficient of β be
f . Then by Lemma 4.1, we have ν M (β) = ± f . Now ±∂( f ) = ∂(ν M (β)) = ν MP(∂(β)) = ν M (ᾱ) = 0
since ᾱ is free from Wl . So, we have f ∈ Z(Ū n+1 ). If deg( f ) = 0, then rl=1 cl > 1 since in
this case deg(β) = deg(M) ≥ n + 2 and deg(Wl ) ≤ n + 1. We have νr (β) ∈ Z≥1 (V n+1 ) ⊂ mV n+1 ,
in(νr (β)) = νr (M) and the leading coefficient of νr (β) is ± f . So f ∈ m if deg( f ) = 0. Therefore, we
conclude that f is in I Z(Ū n+1 ).
By Claim - 2, ∂( f M) can be written as the boundary of an element in V n+1 of total degree in Wl
(equivalently in Y j , Zk ) strictly less than that of deg(M). So we can write ᾱ = ∂(β1 ), in(β1 ) ≺ in(β).
n+1
If we repeat this argument, we have after finitely many steps a βL ∈ Vi+1
free from Wl (equivalently
from Y j , Zk ) such that ᾱ = ∂(βL ). This means that ᾱ is in the boundary of Ū n+1 . By (5) of Lemma
4.2, α is in the boundary of U n+1 .
Therefore, our induction step of construction V n+1 is complete. We define the acyclic closure of
R̄ as R̄hX, Y, Zi = proj lim V n . The DGΓ algebras {V n } define a filtration of R̄hX, Y, Zi. The properties
(1) and (2) stated in the theorem, are satisfied by R̄hX, Y, Zi by the construction.

Theorem 4.6. Let (R, m, k) be an Artinian Gorenstein local ring. Let l ≥ 2. Then R is a generalised
Golod ring of level l if and only if R/ soc(R) is so.
Proof. Any Artinian local ring of embedding dimension one is a Golod ring. Therefore, we may
assume that e. dim(R) = n ≥ 2. Let RhXi be the acyclic closure of R and R̄hX, Y, Zi be the acyclic
closure of R̄ = R/ soc(R) as constructed in Proposition 4.5. We use notations as set in the proof of
Proposition 4.5. We have the following commutative diagram. The vertical maps are injective by
(2) of Proposition 4.5.
l
H(mU
_ )

//



H(mV l )

H(mRhXi)
_


//

H(mR̄hX, Y, Zi)

First we assume that R̄ is a generalised Golod ring of level l. Then V l is a Golod algebra and the
inclusion mV l ֒→ mRhX, Y, Zi induces an injective map H(mV l ) ֒→ H(mRhX, Y, Zi) by Theorem
2.2. So, the top horizontal map is injective. Therefore, U l is a Golod algebra and the ring R is a
generalised Golod ring of level l by Theorem 2.2.
Now we assume that R is a generalised Golod ring of level l. So U l is a Golod algebra and the
inclusion mU l ֒→ mRhXi induces an injective map H(mU l ) ֒→ H(mRhXi) by Theorem 2.2. Let
α ∈ Z(mV l ) be a boundary in mR̄hX, Y, Zi. Then α = ∂(β), β ∈ mR̄hX, Y, Zi. Since V n , n ≥ 1 defines
a filtration of R̄hX, Y, Zi, we have β ∈ mV N for large N. We show that α is in the boundary of mV l
in two cases.
Case - 1 : α is free from Y j , Zk , i.e. α ∈ mŪ l .
By the argument as in Claim - 3, Proposition 4.5, we may assume that β is free from Y j and Zk , i.e.
β ∈ mŪ N . Let α̃, β̃ be lifts of α, β in mU l , mU N respectively. Then α̃ = ∂(β̃) + w, w ∈ soc(R)RhXi.
This shows that α̃ ∈ Z(mU l ). We see that α is in the boundary of mŪ N . So α̃ is in the boundary
of mU N by (5) of Lemma 4.2. The top horizontal map in the diagram is injective. So α̃ is in the
boundary of mU l . This shows that α is in the boundary of mŪ l in particular in mV l .
17

We rename the set of variables Y j , Zk , deg(Y j ), deg(Zk ) ≤ N to Wi , 1 ≤ i ≤ pN + qN such that
deg(Wi ) ≤ deg(Wi′ ) for i < i′ . This is possible because for any positive integer d, there are only
finitely many Y j , Zk such that deg(Y j ) = deg(Zk ) = d. We write V N = Ū N hWi ; 1 ≤ i ≤ pN + qN i. For
each Wi , we have a Ū N -linear derivation on V N such that ν j (W j ) = 1 and ν j (Wi ) = 0 for i < j by
Lemma 4.1.
Case - 2 : α is arbitrary.
We have V l = Ū l hWi : 1 ≤ i ≤ pl + ql i. We write α as a linear combination of Γ-monomials in
Wi with coefficients in Ū l . Let in(α) = M and the leading coefficient of α be f ∈ mŪ l . Note that
± f = ν M (α) = ν M (∂(β)) = ±∂(ν M (β)), ν M (β) ∈ mV N . So f is in the boundary of mV l by Case - 1,
i.e. f = ∂(g) for some g ∈ mV l . The initial Γ-monomial of α − ∂(gM) is less than M. If we repeat
the above argument for α − ∂(gM) in place of α, we have after a finite number of steps a β′ ∈ mV l
such that α − ∂(β′ ) = α′ ∈ mŪ l . The element α′ is in the boundary of mV N since α is so. So by
Case - 1, α′ is in the boundary of mŪ l . This shows that α is in the boundary of mV l and thus the
lower horizontal map is injective. Therefore, R̄ is a generalised Golod ring of level l.

5. The generalised Golod property of fibre products and connected sums
The following lemma gives a construction of a semi-free DGΓ algebra over R from semi-free
DGΓ algebras over S and T .
Lemma 5.1. Let (S , p, k), (T, q, k) be two local rings and R = S ×k T . Let (S hXi, ∂1 ), (T hYi, ∂2 ) be
two semi-free minimal DGΓ algebra extensions of S , T obtained by adjoining graded sets of variables X, Y respectively. Then there are semi-free DGΓ R-algebra extensions (RhXi, ∂˜ 1 ), (RhYi, ∂˜ 2 )
such that the following hold.
(1) The differential map satisfies ∂˜ 1 [RhXi] ⊂ pRhXi and ∂˜ 2 RhYi ⊂ qRhYi.
(2) There are isomorphisms of DGΓ algebras S ⊗R RhXi = S hXi and T ⊗R RhYi = T hYi.
Proof. The maximal ideal of S ×k T is p ⊕ q. There are inclusions i : p ֒→ p ⊕ q and j : q ֒→ p ⊕ q.
We consider the skew-commutative graded algebras RhXi and RhYi. We define differential maps ∂˜ 1
on RhXi and ∂˜ 2 on RhYi as follows:
P
P
Pick x ∈ X and y ∈ Y. Let ∂1 (x) = p x x and ∂2 (y) = qy y. Here p x ∈ p, qy ∈ q; the terms
x, y denote Γ-monomials on variables in X, Y respectively and the summation is taken over only
P
P
finitely many terms. Set ∂˜ 1 (x) = i(p x )x and ∂˜ 2 (y) = j(qy )y. Extend ∂˜ 1 , ∂˜ 2 to degree (−1) maps
on RhXi, RhYi respectively by R-linearity and the Leibnitz rule. The DGΓ algebras (RhXi, ∂˜ 1 ),
(RhYi, ∂˜ 2 ) satisfy properties (1), (2) by the construction.

Lemma 5.2. With the notations as above, assume further that H0 (S hXi) = H0 (T hYi) = k and
Z≥1 (S hXi) ⊂ pS hXi, Z≥1 (T hYi) ⊂ qT hYi. Set RhX ⊔ Yi = RhXi ⊗R RhYi. Then the DGΓ algebra
RhX ⊔ Yi is Golod if and only if both S hXi, T hYi are Golod algebras.
Proof. We have the following exact sequence of R-modules.
β

α

0→R→
− S ×T →
− k → 0.
Here α(s, t) = (s, t) and β(s, t) = s − t. Taking tensor product with the algebra RhX ⊔ Yi, we have
the following short exact sequence of complexes of R-modules.
β⊗id

α⊗id

0 → RhX ⊔ Yi −−−→ S ⊗R RhX ⊔ Yi ⊕ T ⊗R RhX ⊔ Yi −−−→ k ⊗R RhX ⊔ Yi → 0.
18

Here id denotes the identity map on the complex RhX ⊔ Yi. Note that S ⊗R RhX ⊔ Yi = S hXi ⊗S
S hYi. The differential S ⊗R ∂˜ 2 is zero on S hYi. Therefore, H(S ⊗R RhX ⊔ Yi) = H(S hXi) ⊗k khYi.
Similarly we have H(T ⊗R RhX ⊔ Yi) = khXi ⊗k H(T hYi). The differential on k ⊗R RhX ⊔ Yi is zero.
So the long exact sequence of homology has the form
∂

H(β⊗id)

H(α⊗id)

khX ⊔ Yi[+1] →
− H(RhX ⊔ Yi) −−−−−→ H(S hXi) ⊗k khYi ⊕ khXi ⊗k H(T hYi) −−−−−→ khX ⊔ Yi.
1
Let ker(H(β
⊗ id)) = K and coker(H(β
P
P ⊗ id)) = C. Then HRhX⊔Yi(t) = t HC (t) + HK (t) where
HC (t) = i≥0 dimk Hi (C) and HK (t) = i≥0 dimk Hi (K).
The quotient maps πR : S → k and πS : T → k induce maps πS hXi : S hXi → khXi and
πT hYi : T hYi → khYi respectively. Choose cycles z ∈ Z(S hXi), z′ ∈ Z(T hYi) and elements u ∈ khXi
and v ∈ khYi. Let [z], [z′ ] denote homology classes of z, z′ respectively. Note that H(β ⊗ id)([z] ⊗
v, u ⊗ [z′ ]) = πS hXi(z)v − uπT hYi (z′ ).
By the given hypothesis Z≥1 (S hXi) ⊂ pS hXi and Z≥1 (T hYi) ⊂ qT hYi. So H(β ⊗ id) is zero on
H≥1 (S hXi) ⊗k khYi ⊕ khXi ⊗k H≥1 (T hYi). The restriction of H(β ⊗ id) on H0 (S hXi) ⊗k khYi ⊕ khXi ⊗k
H0 (T hYi) = khYi ⊕ khXi has one dimensional kernel generated by (1, 1).
khX⊔Yi
So we have K = H≥1 (S hXi) ⊗k khYi ⊕ khXi ⊗k H≥1 (T hYi) ⊕ k(1, 1) and C = k⊕khXi
. Note
≥1 ⊕khYi≥1
that khX ⊔ Yi = khXi ⊗k khYi. Therefore, we have HkhX⊔Yi (t) = HkhXi (t) HkhXi (t) and
1
HH(RhX⊔Yi)(t) = HC (t) + HK (t)
t
1
= [HkhXi (t)HkhYi (t) − (HkhXi (t) − 1) − (HkhYi (t) − 1) − 1]
t
+ (HH(S hXi)(t) − 1)HkhYi (t) + HkhXi (t)(HH(T hYi) (t) − 1) + 1
1
= 1 + HkhYi (t)(HH(S hXi) (t) − 1) + HkhXi (t)(HH(T hYi) (t) − 1) + (HkhXi (t) − 1)(HkhYi (t) − 1).
t
The above equality gives

1−t(HH(RhX⊔Yi)(t)−1) = HkhXi (t)[1−t(HH(T hYi) (t)−1)]+HkhYi (t)[1−t(HH(S hXi) (t)−1)]−HkhXi (t)HkhYi (t).
We have term wise inequality of power series
HkhYi (t)
HkhXi (t)
and PTk (t) ≺
.
PSk (t) ≺
1 − t(HH(S hXi)(t) − 1)
1 − t(HH(T hYi) (t) − 1)
We have

(2)

1 − t(HH(RhX⊔Yi) (t) − 1)
HkhX⊔Yi (t)
HkhXi (t)[1 − t(HH(T hYi) (t) − 1)] + HkhYi (t)[1 − t(HH(S hXi) (t) − 1)] − HkhXi (t)HkhYi (t)
=
HkhXi (t)HkhYi (t)
1 − t(HH(T hYi) (t) − 1) 1 − t(HH(S hXi) (t) − 1)
=
+
−1
HkhYi (t)
HkhXi (t)
1
1
≺ T + S − 1 from 2
Pk (t) Pk (t)
1
= R .
Pk (t)

The DGΓ algebra RhX ⊔ Yi is Golod if and only if the above inequality is an equality. This is
equivalent to that both inequalities in 2 are equalities, i.e. both S hXi, T hYi are Golod algebras. 
19

Proposition 5.3. Let (S , p, k), (T, q, k) be local rings. Let (S hXi, ∂1 ), (T hYi, ∂2 ) be acyclic closures
of S , T respectively. Set R = S ×k T . Let (RhXi, ∂˜ 1 ), (RhYi, ∂˜ 2 ) be semi-free DGΓ extensions of R
as described in Lemma 5.1. Let p : RhXi ։ S ⊗R RhXi = S hXi, q : RhYi ։ T ⊗R RhYi = T hYi be
natural quotient maps. Then R admits an acyclic closure of the form (RhX, Y, Zi, ∂) which satisfies
the following properties.
(1) The inclusions α : RhXi ֒→ RhX, Y, Zi, β : RhYi ֒→ RhX, Y, Zi are chain maps of complexes.
(2) There are surjective homorphisms of DGΓ algebras φ : RhX, Y, Zi ։ S hXi and ψ :
RhX, Y, Zi ։ T hYi such that φ ◦ β = 0, ψ ◦ α = 0 and φ ◦ α = p, ψ ◦ β = q
Proof. Set U n = S hXi : deg(Xi ) ≤ n) and V n = T hYi : deg(Yi ) ≤ n), n ≥ 1. Then U n , V n ,
n ≥ 1 define filtrations of the acyclic closures S hXi, T hYi respectively. Augmentation maps of
S hXi, T hYi restrict to augmentation maps of U n , V n respectively. From the construction of acyclic
closures, it follows that I Hi (U n ) = I Hi (V n ) = 0 for 0 ≤ i ≤ n − 1, the homology classes of
cycles ∂1 (Xi ) for deg(Xi ) = n + 1 minimally generate I Hn (U n ) and the homology classes of cycles
∂2 (Yi ) for deg(Yi ) = n + 1 minimally generate I Hn (V n ). Set Ũ n = RhXi : deg(Xi ) ≤ ni and
Ṽ n = RhYi : deg(Yi ) ≤ ni, n ≥ 1. Let pn : Ũ n ։ Ũ n ⊗R S = U n , qn : Ṽ n ։ Ṽ n ⊗R S = V n be natural
quotient maps.
We construct inductively a sequence of augmented DGΓ algebras (F n R, ∂n ) with natural augmentation ǫ n : F n R ։ k satisfying the following properties.
(1) F 1 R = K R , the Koszul complex of R.
(2) I Hi (F n R) = 0 for 0 ≤ i ≤ n − 1.
(3) There are inclusions αn : Ũ n ֒→ F n R and βn : Ṽ n ֒→ F n R of complexes.
(4) There are surjective DGΓ algebra homomorphisms φn : F n R ։ U n and ψn : F n R ։ V n
such that the compositions φn ◦ αn = pn , ψn ◦ βn = qn and φn ◦ βn = 0, ψn ◦ αn = 0.
When n = 1, we define F 1 R = Ũ 1 ⊗R Ṽ 1 = RhXi , Y j : deg(Xi ) = deg(Y j ) = 1i, the Koszul complex
on a minimal set of generators of p ⊕ q with the natural augmentation ǫ 1 . Define α1 : Ũ 1 ֒→ F 1 R,
1
β1 : Ṽ 1 ֒→ F 1 R to be natural inclusions and φ1 : F 1 R ։ (Yi :degFYiR=1)F1 R ⊗R S = U 1 , ψ1 : F 1 R ։
F1 R
(Xi :deg Xi =1)F 1 R

⊗R T = V 1 to be natural quotient maps. The properties are satisfied obviously.
Now we assume that F n R, n ≥ 2 is constructed with the aforesaid properties. Let U n+1 =
n
U hXc+1 , . . . , Xc+u i and V n+1 = V n hYd+1 , . . . , Yd+v i, ∂1 (Xc+i ) = si for 1 ≤ i ≤ u and ∂2 (Yd+ j ) = t j for
1 ≤ j ≤ v. Then homology classes of cycles si form a basis of Hn (U n ) and homology classes of
cycles t j form a basis of Hn (V n ). Note that cycles si ∈ pU n and t j ∈ qV n . So we can view cycles si ,
t j as elements in Ũ n and Ṽ n respectively. We have φn ◦ αn (si ) = si , ψn ◦ αn (si ) = 0, ψn ◦ βn (t j ) = t j
and φn ◦ βn (t j ) = 0. It is now easy to see that homology classes of cycles αn (si ), βn (t j ), 1 ≤ i ≤ u,
1 ≤ j ≤ v are linearly independent in Hn (F n R).
We choose cycles zk , 1 ≤ k ≤ w in Zn (F n R) such that homology classes of cycles αn (si ), βn (t j ),
zk , 1 ≤ i ≤ u, 1 ≤ j ≤ v, 1 ≤ k ≤ w form a basis of Hn (F n R). We subtract a finite R-linear sum
of αn (si ), βn(t j ) from zk if necessary to assume that φn (zk ) is in the boundary of U n and ψn (zk ) is in
the boundary of V n . We choose fk ∈ U n , gk ∈ V n of degree n + 1 such that ∂1 ( fk ) = φn (zk ) and
∂2 (gk ) = ψn (zk ). Since pn , qn are surjective, we have f˜k ∈ Ũ n , g̃k ∈ Ṽ n such that pn ( f˜k ) = fk and
qn (g̃k ) = gk .
We define F n+1 R = F n RhXc+i , Yd+ j , Zk : 1 ≤ i ≤ u, 1 ≤ j ≤ v, 1 ≤ k ≤ wi and extend the
differential ∂n from F n R to a differential ∂n+1 on F n+1 R by setting ∂n+1 (Xc+i ) = αn (si ), ∂n+1 (Yd+ j ) =
βn (t j ) and ∂n+1 (Z j ) = z j . The natural augmentation ǫ n extends to the augmentation ǫ n+1 : F n+1 R ։ k.
Clearly I Hi (F n+1 R) = 0 for 1 ≤ i ≤ n.
20

By constructions the inclusions αn , βn extend to inclusions αn+1 : Ũ n+1 ֒→ F n R and βn+1 :
Ṽ
֒→ F n R of chain complexes respectively. We only construct the map φn+1 . The construction
of ψn+1 will follow similarly. Let I n = ker φn . Then
n+1

φn ∂n+1 (Zk − αn ( f˜k )) = φn ∂n+1 (Zk ) − φn ∂n αn ( f˜k )
= φn (zk ) − ∂1 φn αn ( f˜k ) = φn (zk ) − ∂1 pn ( f˜k ) = φn (zk ) − ∂1 ( fk ) = 0.
So ∂n+1 (Zk − αn ( f˜k )) ∈ I n . We also have ∂n+1 (Yd+ j ) = βn (t j ) ⊂ I n . Therefore, I n+1 = I n + (Yd+ j ; 1 ≤
j ≤ v) + (Zk − αn ( f˜k ); 1 ≤ k ≤ w) is a DGΓ ideal of F n+1 R.
n+1
n
Define φn+1 : F n+1 R → U n+1 as the composition F n+1 R → FIn+1R → FInR hXc+1 , . . . , Xc+u i → U n+1 .
Here the first map is the quotient map, the second map is induced by Yd+ j 7→ 0, Zk 7→ αn ( f˜k ) and the
n
last one is induced by the isomorphism FInR  U n . Clearly φn+1 ◦ αn+1 = pn+1 and φn+1 ◦ βn+1 = 0.
Thus the induction step is complete.
Finally we define RhX, Y, Zi = lim F n R. The augmentations ǫ n , the inclusions αn , βn and sur←−−
jections φn , ψn patch together to form augmentation map ǫ : RhX, Y, Zi ։ k, the inclusions
α : RhXi ֒→ RhX, Y, Zi, β : RhYi ֒→ RhX, Y, Zi of chain maps, surjections φ : RhX, Y, Zi ։ S hXi,
ψ : RhX, Y, Zi ։ T hYi respectively with required properties.

A surjective homomorphism f : (R, m, k) ։ (S , n, k) of local rings is called large if it induces
an injective map f ∗ : ExtS (k, k) → ExtR (k, k) of Hopf algebras ([35]). The homotopy Lie algebra
of a local ring is the set of primitive elements of its ext algebra. A homorphism of Hopf algebras
is injective if and only if it induces an injection on the sets of primitive elements [25, Proposition
3.9]. So f is large if and only if the induced map f ∗ : π(S ) → π(R) is an injective Lie algebra
homomorphism.
A graded sub Lie algebra of a free graded Lie algebra on a positively graded vector space is
free [30, Proposition A.1.10]. A proof in the case of characteristic zero can also be found in the
corollary following [22, Proposition 21.4]. We use this fact in the next theorem which generalises
a result [31, Theorem 4.1] of Lescot.
Theorem 5.4. Let (S , p, k), (T, q, k) be local rings and R = S ×k T . Then R is a generalised Golod
ring of level n if and only if both S , T are so.
Proof. Assume that R is a generalised Golod ring of level n, i.e. π>n (R) is a free Lie algebra.
The projection maps pr1 : R → S , pr2 : R → T are large homomorphisms [37, Theorem 3.4].
This means that pr1 , pr2 induce injective Lie algebra homomorphisms pr1∗ : π(S ) ֒→ π(R) and
pr2∗ : π(T ) ֒→ π(R). So both π>n (S ), π>n (T ) are free as they are subalgebras of the free Lie algebra
π>n (R). Therefore, S , T are generalised Golod rings of level n.
Now assume that both S , T are generalised Golod rings of level n. Let S hXi, T hYi be acyclic
closures of S , T respectively. Then both S hXi : deg(Xi ) ≤ ni, T hYi : deg(Yi ) ≤ ni are Golod
algebras. So by Lemma 5.2, U = RhXi , Y j : deg(Xi ), deg(Y j ) ≤ ni is a Golod DGΓ algebra, i.e.
π(U) is a free Lie algebra. The acyclic closure of R is of the form RhX, Y, Zi by Proposition 5.3. Set
V = RhXi , Y j , Zk : deg(Xi ), deg(Y j ), deg(Zk ) ≤ ni.
Consider the inclusion of DGΓ algebras i : U ֒→ V. We have a induced map i∗ : TorU (k, k) →
TorV (k, k). Since RhX, Y, Zi is a semi-free extension of both U, V and is a minimal resolution of k,
we have TorU (k, k) = H(k ⊗U RhX, Y, Zi) = k ⊗U RhX, Y, Zi and TorV (k, k) = H(k ⊗V RhX, Y, Zi) =
k ⊗V RhX, Y, Zi. Therefore, i∗ is surjective. So i∗ is also a surjective map from the space of Γindecomposable elements of I TorU (k, k) onto that of I TorV (k, k). Taking k-vector space dual, we
21

observe that i induces an injective Lie algebra homomorphism i∗ : π(V) ֒→ π(U). Since π(U) is a
free Lie algebra, the Lie algebra π(V) is also free. So V is a Golod algebra. This implies that R is a
generalised Golod ring of level n.

Theorem 5.5. Let (R, mR , k), (S , mS , k) be two Artinian Gorenstein local rings, T = R#S and l ≥ 2.
Then T is a generalised Golod ring of level l if and only if both R, S are so.
Proof. We have

T
soc(T )

=

R
soc(R)

×k

S
.
soc(S )

So the result follows from Theorems 4.6, 5.4.



The following result generalises [17, Theorem 3.8].
Theorem 5.6. Let A, B be two local algebras over a field k. If both A, B have the Backelin-Roos
property, then so does the fibre product A ×k B.
Proof. We may assume that both A, B are complete with respect to maximal ideals. Let A =
k[|x1 ,...,xm |]
n |]
m ,y1 ,...,ym |]
and B = k[|y1 I,...,y
. Then A ×k B = k[|x1(I,...,x
; xy being the ideal generated by products
IA
B
A +I B +xy)
xi y j , 1 ≤ i ≤ m, 1 ≤ j ≤ n. Since A, B have the Backelin-Roos property, we have a regular sequence
f1 , . . . , fr in IA and a regular sequence g1 , . . . , g s in IB such that f : P ։ A and g : Q ։ B are
1 ,...,yn |]
1 ,...,xm |]
Golod homomorphisms from complete intersections P = k[|x
and Q = k[|y
respectively.
( f1 ,..., fr )
(g1 ,...,gs )
We claim that the surjective homomorphism H : P ⊗k Q ։ A ×k B is a Golod homomorphism.
Let PhXi, QhYi be acyclic closures of P, Q respectively. By the hypothesis, AhXi = A ⊗P PhXi,
BhYi = B ⊗Q QhYi are Golod algebras. Now PhXi ⊗k QhYi is the acyclic closure of P ⊗k Q and by
Lemma 5.2, [PhXi ⊗k QhYi] ⊗P⊗k Q A ×k B = (A ×k B)hX ⊔ Yi is also a Golod algebra. So H is a
Golod homomorphism and the result follows.

6. Applications
Theorem 6.1. Let (R, m, k) be an Artinian Gorenstein local ring such that e. dim(R) = n and
µ(m2 ) ≤ 2. Let M be a finitely generated R-module. Let η : (Q, n) ։ (R, m) be a minimal Cohen
presentation and I = ker η ⊂ n2 . Then the following hold.
1
(1) If e. dim(R) = 1, then PRk (t) = 1−t
and (1 − t)PRM (t) ∈ Z[t].
(2) If e. dim(R) ≥ 2, then for any f ∈ I \ nI, the induced map Q/( f ) ։ R is a Golod homomor1
n
2
R
phism. PRk (t) = 1−nt+t
2 . Moreover, (1 + t) (1 − nt + t )P M (t) ∈ Z[t]
1
Proof. If n = 1, R is a Golod ring and PRk (t) = 1−t
. The ring R is a quotient of a DVR. Using the
structure theorem of modules over PID, the module M is a direct summand of quotients of R. So
t
. This implies that (1 − t)PRM (t) ∈ Z[t]. So (1) follows.
PRM (t) = µ(M) + µ(SyzR1 (M)) 1−t
The first part of (2) follows from Theorems 3.7, 4.3. The Poincaré series of k is computed using
Theorems 2.1 and 3.7. The last assertion on Poincaré series of M follows from the result of Levin
[10, Proposition 5.18].


Stretched Cohen-Macaulay rings are shown to be good in a recent article [2, Corollary 5.6]. We
provide a different way to see this. Let (R, m, k) be a stretched Artinian ring such that e. dim(R) = n,
m = (x1 , . . . , xn ), ll(R) = s and dimk (0 : m) = r. If soc(R) ⊂ m2 , then soc(R) = m s and R is
Gorenstein. Otherwise assume that x1 ∈ soc(R) \ m2 . We see R = R/(x1 ) ×k R/(x2 , . . . , xn ). Note
that R/(x1 ) is also a stretched Artinian ring. Therefore, after a finite number of steps, we may write
R = S ×k T where (S , mS ) is a stretched Artinian Gorenstein ring and (T, mT ) is a local ring with
m2T = 0. Clearly r = 1 + e. dim(T ).
22

To prove both the corollaries below we first reduce to the Artinian case by standard arguments.
In the stretched case, we use the fibre product decomposition, Theorems 2.5 and 6.1. The almost
stretched case is immediate.
Corollary 6.2. Let (R, m, k) be a d-dimensional stretched Cohen-Macaulay local ring and M be
an R-module. Let n = dimk m/m2 and r = dimk ExtdR (k, R) denote the type of R. Then the following
hold.
(1+t)d
and (1 − (n − d)t)PRM (t) ∈ Z[t].
(1) If r = n − d, then R is a Golod ring, PRk (t) = 1−(n−d)t
(2) If r , n − d, then PRk (t) =

(1+t)d
1−(n−d)t+t2

and (1 + t)n−d (1 − (n − d)t + t2 )PRM (t) ∈ Z[t].

Corollary 6.3. Let (R, m, k) be a d-dimensional almost stretched Gorenstein local ring and M be
(1+t)d
n−d
(1−(n−d)t+t2 )PRM (t) ∈ Z[t].
an R-module. Let n = dimk m/m2 . Then PRk (t) = 1−(n−d)t+t
2 and (1+t)
The following is due to Sega [42, Proposition 1.5].
Proposition 6.4. Let R be a local ring such that there is a dR (t) ∈ Z[t] satisfying dR (t)PRM (t) ∈ Z[t]
for each finitely generated R-module M. Let dR (t) = p(t)q(t)r(t) where p(t) is 1 or irreducible;
q(t) has non-negative coefficients; r(t) is 1 or irreducible and has no positive real root among its
complex roots of minimal absolute value. Then the following hold for each pair of R-modules M,
N.
(1) If TorRi (M, N) = 0 for i ≫ 0, then either M or N has finite projective dimension.
(2) If ExtiR (M, N) = 0 for i ≫ 0, then either M has a finite projective dimension or N has a
finite injective dimension.
Araya and Yoshino [1, 4.2] proved that if M has finite CI-dimension, then the projective dimension of M is same as sup{i : Exti (M, M) , 0}. Therefore, the following corollary follows from
Proposition 6.4.
Corollary 6.5. Let R be either a stretched Cohen-Macaulay ring or an almost stretched Gorenstein
ring. Then R satisfies Auslander-Reiten conjecture, i.e. Ext≥1 (M, M ⊕R) = 0 for a finitely generated
R module M implies that M is free.
Theorem 6.6. Let (R, m) be an Artinian Gorenstein local ring of embedding dimension n ≥ 2. Let
K R denote the Koszul complex on a minimal set of generators of m and C denote the quotient of K R
KR
defined by Ci = KiR for 0 ≤ i ≤ n − 2, Cn−1 = Bn−1n−1
and Cn = 0. Assume that C is a Golod DG
(K R )
algebra with natural augmentation. Then R/ soc(R) is a Golod ring and R satisfies assertions (1),
(2), (3) of Theorem 4.3.
R

K
C
R
Proof. Let q : K R ։ C be the quotient map and soc(R) = (s). Let G : mK
R → K , H : mC → C
denote chain maps induced by multiplications by s on K R , C respectively. We have q ◦ G = H ◦ q̄
C
KR
C
KR
R
⊕ mK
where q̄ : mK
R ։ mC is the map induced by q. Let c(G) = K
R [−1], c(H) = C ⊕ mC [−1] be
¯ = (q(k), q̄(l)).
¯ Both c(G), c(H)
the cones of G, H respectively. Define α : c(G) ։ c(H) by α(k, l)
have DG algebra structure and α is a surjective DG algebra homomorphism. The kernel of α is the
KR

·s

∂

→ KnR →
− Bn−1 (K R ) → 0 which is exact. Therefore, α is a quasi-isomorphism
complex 0 → mKn R −
n
of DG algebras. By Theorem 4.4, c(G) is quasi isomorphic to K R/ soc(R) . Therefore, to show that
R/ soc(R) is a Golod ring it is enough to prove that c(H) is a Golod algebra.
Since C is a Golod algebra, there is a k-basis bC = {hλ }λ∈Λ of H≥1 (C) and a function (trivi
ial Massey operation) µ : ⊔∞
i=1 bC → C such that µ(hλ ) ∈ Z≥1 (C) with cls(µ(hλ )) = hλ and
23

P
∂µ(hλ1 , . . . , hλ p ) = p−1
j=1 µ(hλ1 , . . . , hλ j )µ(hλ j+1 , . . . , hλ p ). By (2) of [13, Lemma 4.1.6], {x ∈ C :
2
∂(x) ∈ m C} ⊂ mC. Since µ(hλ ) ∈ mC, by induction on p we conclude that µ(hλ1 , . . . , hλ p ) ∈ mC.
By (1) of Lemma 4.2, sC ⊂ (0 : m2 ) B(C). Let z ∈ Z(C) be such that (z, 0) = ∂(y1 , ȳ2 ) for
(y1 , ȳ2 ) ∈ c(H). Then z = ∂(y1 ) + sy2 ∈ B(C). So the inclusion C ֒→ c(H) induces an injective
map H(C) ֒→ H(c(H)). By abuse of notation we write (c, 0) as c. So bC = {hλ }λ∈Λ is a linearly
independent set in H≥1 (c(H)) and µ(hλ1 , . . . , hλ p ) ∈ m c(H) satisfy properties above. We extend bC
to a basis bc(H) = {hλ }λ∈Λ⊔Λ′ of H≥1 (c(H)). Let hλ′ , λ′ ∈ Λ′ be the homology class of (cλ′ , d̄λ′ ) ∈
Z≥1 (c(H)). Now ∂(cλ′ , d̄λ′ ) = 0 implies that ∂(cλ′ ) + sdλ′ = 0. We have sdλ′ = ∂(eλ′ ) for some
eλ′ ∈ (0 : m2 )C. We write (cλ′ , d̄λ′ ) = (cλ′ + eλ′ , 0) + (−eλ′ , d̄λ′ ). Note that cλ′ + eλ′ ∈ Z(C). Therefore,
after subtracting suitable R-linear combinations of hλ , λ ∈ Λ from each hλ′ , λ′ ∈ Λ′ if necessary,
C
we may assume that hλ′ is a homology class of some cycle in (0 : m2 )C ⊕ mC
.
C
′
′
2
We define µ(hλ′ ), λ ∈ Λ to be an element in (0 : m )C ⊕ mC whose homology class is hλ′ . We
extend µ from bCi to bic(H) , i > 1 such that µ : bic(H) \ bCi → (0 : m2 )C, i > 1 by induction on i.
Note that µ(hλ )µ(hλ′ ) ∈ sC ∈ (0 : m2 ) B(C) for (λ, λ′) < Λ × Λ. We choose µ(hλ , hλ′ ) ∈ (0 : m2 )C
such that ∂(µ(hλ , hλ′ )) = µ(hλ )µ(hλ′ ). Now assume that µ(hδ1 , . . . , hδi ) ∈ (0 : m2 )C, (hδ1 , . . . , hδi ) ∈
p+1
bic(H) \ bCi satisfying desired relations are constructed for all i ≤ p. We choose (hδ1 , . . . , hδ p+1 ) ∈ bc(H)
\
Pp
p+1
bC and observe that j=1 µ(hδ1 , . . . , hδ j )µ(hδ j+1 , . . . , hδ p+1 ) is an element in sC. So we can choose
P
µ(hδ1 , . . . , hδ p+1 ) ∈ (0 : m2 )C such that ∂(µ(hδ1 , . . . , hδ p+1 )) = pj=1 µ(hδ1 , . . . , hδ j )µ(hδ j+1 , . . . , hδ p+1 ).
Thus by induction µ extends to a trivial Massey operation on bc(H) . Therefore, c(H) is a Golod
algebra and the result follows.

Poincaré series of Modules over compressed Gorensteing local rings were studied by Rossi and
Şega in [40]. Under the hypothesis of Corollary 6.7 below they proved that if η : Q ։ R is a
minimal Cohen presentation, I = ker η, f ∈ I \ nt+1 , t = max{i : I ⊂ ni }, then Q/( f ) ։ R is a
Golod homomorphism [40, Theorem 5.1]. They also showed that R/ soc(R) is a Golod ring [40,
Proposition 6.3]. We use the ideas developed by them and our Theorem 6.6 to produce a simple
and short proof of their main result [40, Theorem 5.1]. Note that our result is stronger. Our theorem
below shows that any choice of f ∈ I \ nI is enough.
Corollary 6.7. Let (R, m, k) be a compressed Gorenstein local ring such that e. dim(R) = n ≥ 2
and ll(R) = s, s ≥ 2, s , 3. Then R/ soc(R) is a Golod ring and R satisfies assertions (1), (2), (3) of
Theorem 4.3.
Proof. We follow notations as set in Theorems 4.3 and 6.6. Let t = max{i : I ⊂ nt }. From
the structure theorem of compressed Gorenstein local rings, it follows that t = ⌈ s+1
⌉; the least
2
s+1
t
integer not less than 2 [40, Proposition 4.2]. By [40, Lemma 1.4], the map H≥1 (R/m ⊗Q K Q ) →
H≥1 (R/mt−1 ⊗Q K Q ) induced by the surjection R/mt ։ R/mt−1 is a zero map. This implies that
R
Z≥1 (K R ) ⊂ B≥1 (K R ) + mt−1 K≥1
and therefore Z≥1 (C) ⊂ B≥1 (C) + mt−1C.
It is proved in [40, Lemma 4.4] that the map ψ : H<n (mr+1 K R ) → H<n (mr K R ) induced by the
inclusion mr+1 ֒→ mr is zero for r = s+1−t. Since, s ≥ 2, s , 3, we have t−1 ≤ r +1 ≤ r ≤ 2(t−1).
This implies that the map H<n (m2(t−1) K R ) → H<n (mt−1 K R ) is also zero since it factors through ψ.
Therefore, we have Z<n (m2t−2 K R ) ⊂ B(mt−1 K R ) which implies Z(m2t−2 C) ⊂ B(mt−1C). It is worth
pointing out that both the lemmas mentioned are independent of all other results in [40].
Thus we find a basis of H≥1 (C) represented by cycles in mt−1C such that the product of any two
representatives is in the boundary of mt−1C. So we can define inductively a trivial Massey operation
on C. Therefore, C is a Golod DG algebra and the result follows from Theorem 6.6.

24

Poincaré series of modules over a Gorenstein ring R with e. dim(R) − dim(R) ≤ 3 are known to
be rational (see [44, Satz 9], [10, Theorem 6.4]). We prove the following.
Corollary 6.8. Let (R, m) be a Gorenstein local ring but not a complete intersection. Assume that
e. dim(R) − dim(R) ≤ 3. Let η : (Q, n) ։ (R̂, m̂) be a minimal Cohen presentation and I = ker η.
Then for any f ∈ I \ nI, the induced map Q/( f ) ։ R̂ is a Golod homomorphism. If R is Artinian,
then R/ soc(R) is a Golod ring and assertions of Theorem 4.3 hold. Modules over a Gorenstein ring
R with e. dim(R) − dim(R) ≤ 3, have rational Poincaré series.
Proof. Let m be minimally generated by x1 , . . . , xn such that x1 , . . . , xd , d = dim(R) form an Rsequence. Now S = R/(x1 , . . . , xd ) is an Artinian Gorenstein local ring and e. dim(S ) ≤ 3. The
Koszul complexes K R and K S are quasi-isomorphic [13, Lemma 4.1.6]. So the adjunction of a
degree two variable to kill a degree one cycle in K R yields a Golod algebra if and only if the same
holds true for K S . Therefore, we may assume that R is an Artinian Gorenstein local ring.
We construct C as in Theorem 6.6. By [44, Satz 7], H1 (K R )2 = 0. So H1 (C)2 = 0. Now C is
a DG algebra of length 2. So any basis of H≥1 (C) admits a trivial Massey operation and the result
follows by Theorem 6.6. The last assertion follows since modules over complete intersections have
rational Poincaré series [26, Corollary 4.2].

To prove the following Theorem, we use the fact that Gorenstein rings of co-depth at most 4 have
the Backelin-Roos property and therefore are generalised Golod rings of level 2 [10, Theorem 6.4].
Theorem 6.9. Let (R, m) be a Gorenstein local ring. Then R is a generalised Golod ring of level 2,
and therefore good in the following cases.
(1) m4 = 0, µ(m2 ) ≤ 4.
(2) The multiplicity of R is at most 11.
Proof. First we prove (1). We assume that ll(R) ≥ 3 because otherwise the result follows from
Theorem 6.1. It is enough to assume that the ring is indecomposable as a connected sum because
of Theorem 5.5. If µ(m) ≥ 5, then l(0 : m2 ) = l(R/m2 ) = 1 + l(m/m2 ) ≥ 6 and l(m2 ) = l(m2 /m3 ) +
l(m3 ) ≤ 5. So (0 : m2 ) 1 m2 , a contradiction due to Theorem 3.5. Therefore, µ(m) ≤ 4 and the
result follows from [10, Theorem 6.4].
Now we prove (2). If we go modulo a nonzero divisor in m \ m2 , then the acyclic closure of
R does not change upto quasi-isomorphism. So we may assume by a standard argument that R is
Artinian. If we can show that either e. dim(R) ≤ 4 or ll(R) ≤ 2 or else R = S #T for Gorenstein local
rings (S , p), (T, q) such that e. dim(S ) ≤ 4 and ll(T ) = 2, then we are done in view of [10, Theorem
6.4], Theorems 5.5, 6.1.
If possible assume that there is an Artinian Gorenstein local ring R of multiplicity at most 11 such
that R is not of any of the types mentioned above. We choose R of the least possible multiplicity.
Then in view of Theorem 3.5 we must assume that (0 : m2 ) ⊂ m2 . This implies that l(R/m2 ) = l(0 :
m2 ) ≤ l(m2 ) = l(R) − l(R/m2 ). So l(R/m2 ) ≤ 12 l(R) = 112 which gives that e. dim(R) ≤ l(R/m2 ) − 1 ≤
4, a contradiction. So the result follows.

We conclude this section with the following question.
Question 6.10. What is the least possible integer n such that there is a Gorenstein bad local ring
of multiplicity n?
Acknowledgement. Work on this article started as a result of discussions with Liana M. Şega
during the conference in honour of Craig Huenke held in Ann Arbor in July 2016. I would like to
25

thank her for clarifications on her results about Auslander-Reiten conjecture. I owe many thanks
to my mentor Matteo Varbaro for his inspiration and encouragement throughout. This research is
supported by the INdAM-COFUND-2012 Fellowship cofounded by Marie Curie actions, Italy.

References
[1] Araya T.; Yoshino Y.; Remarks on a depth formula, a grade inequality, and a conjecture of Auslander. Comm.
Algebra 26 (1998), 3793–3806. 23
[2] Amanda Croll, Roger Dellaca, Anjan Gupta, Justin Hoffmeier, Vivek Mukundan, Denise Rangel Tracy, Liana
M. Şega, Gabriel Sosa, Peder Thompson; Detecting Koszulness and related homological properties from the
algebra structure of Koszul homology. arXiv:1611.04001v1. 3, 22
[3] Ananthnarayan, H.; Avramov, Luchezar L.; Moore, W. Frank; Connected sums of Gorenstein local rings. J.
Reine Angew. Math. 667 (2012), 149–176. 3
[4] H. Ananthnarayan, Ela Celikbas, Jai Laxmi, Zheng Yang; Decomposing Gorenstein Rings as Connected
Sums. arXiv:1406.7600. 8
[5] H. Ananthnarayan, Ela Celikbas, Jai Laxmi, Zheng Yang; Associated Graded Rings and Connected Sums.
arXiv:1705.01413. 10
[6] Anick, David J.; A counterexample to a conjecture of Serre. Ann. of Math. (2) 115 (1982), no. 1, 1–33. 1
[7] Avramov, L. L.; Golod, E. S.; The homology of algebra of the Koszul complex of a local Gorenstein ring.
(Russian) Mat. Zametki 9, 1971, 53–58. 11, 14, 15
[8] Avramov, Luchezar L.; Local algebra and rational homotopy. Algebraic homotopy and local algebra (Luminy,
1982), 15–43, Astérisque, 113-114, Soc. Math. France, Paris, 1984. 6, 7
[9] Avramov, Luchezar L.; Golod homomorphisms. Algebra, algebraic topology and their interactions (Stockholm, 1983), 59–78, Lecture Notes in Math., 1183, Springer, Berlin, 1986. 6, 7
[10] Avramov, Luchezar L.; Kustin, Andrew R.; Miller, Matthew; Poincaré series of modules over local rings of
small embedding codepth or small linking number. J. Algebra 118 (1988), no. 1, 162–204. 1, 3, 22, 25
[11] Avramov, Luchezar L.; Homological asymptotics of modules over local rings. Commutative algebra (Berkeley, CA, 1987), 33–62, Math. Sci. Res. Inst. Publ., 15, Springer, New York, 1989. 2, 4
[12] Avramov, Luchezar L.; Local rings over which all modules have rational Poincaré series. J. Pure Appl. Algebra
91 (1994), no. 1-3, 29–48. 2, 6, 7
[13] Avramov, Luchezar L.; Infinite free resolutions. Six lectures on commutative algebra. Bellaterra, 1996, 1–118.
1, 3, 4, 5, 6, 11, 13, 24, 25
[14] Bøgvad, Rikard; Gorenstein rings with transcendental Poincaré-series. Math. Scand. 53 (1983), no. 1, 5–15. 1
[15] Casnati, Gianfranco; Notari, Roberto; The Poincaré series of a local Gorenstein ring of multiplicity up to 10
is rational. Proc. Indian Acad. Sci. Math. Sci. 119 (2009), no. 4, 459–468. 4
[16] Casnati, Gianfranco; Elias, Juan; Notari, Roberto; Rossi, Maria Evelina; Poincaré series and deformations of
Gorenstein local algebras. Comm. Algebra 41 (2013), no. 3, 1049–1059. 4
[17] Conca, Aldo; Iyengar, Srikanth B.; Nguyen, Hop D.; Römer, Tim; Absolutely Koszul algebras and the
Backelin-Roos property. Acta Math. Vietnam. 40 (2015), no. 3, 353–374. 22
[18] Dress, Andreas; Krämer, Helmut; Bettireihen von Faserprodukten lokaler Ringe. Math. Ann. 215 (1975),
79–82. 8
[19] Eisenbud, David; Homological algebra on a complete intersection, with an application to group representations. Trans. Amer. Math. Soc. 260 (1980), no. 1, 35–64. 4
[20] Elias, Juan; Valla, Giuseppe; Structure theorems for certain Gorenstein ideals. Special volume in honor of
Melvin Hochster. Michigan Math. J. 57 (2008), 269–292. 2
[21] Elias, Juan; Valla, Giuseppe; A family of local rings with rational Poincaré series. Proc. Amer. Math. Soc.
137 (2009), no. 4, 1175–1178. 2, 4
[22] Félix, Yves; Halperin, Stephen; Thomas, Jean-Claude; Rational homotopy theory. Graduate Texts in Mathematics, 205. Springer-Verlag, New York, 2001. 21
[23] G., Scheja; Über die Bettizahlen lokaler Ringe, Math. Ann. 155 (1964), 155–172. 11
[24] Gasharov, Vesselin N.; Peeva, Irena V.; Boundedness versus periodicity over commutative local rings. Trans.
Amer. Math. Soc. 320 (1990), no. 2, 569–580. 4
26

[25] Gulliksen, Tor H.; Levin, Gerson; Homology of local rings. Queen’s Paper in Pure and Applied Mathematics,
No. 20 Queen’s University, Kingston, Ont. 1969 x+192 pp. 4, 5, 6, 11, 21
[26] Gulliksen, Tor H.; A change of ring theorem with applications to Poincaré series and intersection multiplicity.
Math. Scand. 34 (1974), 167–183. 1, 25
[27] Ghione, Franco; Gulliksen, Tor H.; Some reduction formulas for the Poincaré series of modules. (Italian
summary) Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. (8) 58 (1975), no. 2, 82–91. 1
[28] Jacobsson, Carl; Finitely presented graded Lie algebras and homomorphisms of local rings. J. Pure Appl.
Algebra 38 (1985), no. 2-3, 24–253. 1
[29] Kustin, Andrew R.; Palmer Slattery, Susan M.; The Poincaré series of every finitely generated module over a
codimension four almost complete intersection is a rational function. J. Pure Appl. Algebra 95 (1994), no. 3,
271–295. 4
[30] Lemaire, Jean-Michel; Algèbres connexes et homologie des espaces de lacets. (French) Lecture Notes in
Mathematics, Vol. 422. Springer-Verlag, Berlin-New York, 1974. 21
[31] Lescot, Jack; La série de Bass d’un produit fibré d’anneaux locaux. Paul Dubreil and Marie-Paule Malliavin
algebra seminar, 35th year (Paris, 1982), 218–239. 4, 11, 21
[32] Levin, Gerson; Lectures on Golod homomorphisms. Matematiska Istitutionen, Stockholms Universitet,
Preprint 15, 1975. 6, 7
[33] Levin, Gerson L.; Avramov, Luchezar L.; Factoring out the socle of a Gorenstein ring. J. Algebra 55 (1978),
no. 1, 74–83. 7, 12, 14
[34] Levin, Gerson; Lectures on Golod homomorphisms. Matematiska Istitutionen, Stockholms Universitet,
Preprint 15, 1975. 6, 7
[35] Levin, Gerson; Large homomorphisms of local rings. Math. Scand. 46 (1980), no. 2, 209–215. 21
[36] McCullough, Jason; Peeva, Irena; Infinite graded free resolutions. Commutative algebra and noncommutative
algebraic geometry. Vol. I, 215–257, Math. Sci. Res. Inst. Publ., 67, Cambridge Univ. Press, New York, 2015.
2
[37] Moore, W. Frank; Cohomology over fiber products of local rings. J. Algebra 321 (2009), no. 3, 758–773. 21
[38] Roos, Jan-Erik; Relations between Poincaré-Betti series of loop spaces and of local rings. Séminaire
d’Algèbre Paul Dubreil 31ème année (Paris, 1977–1978), pp. 285–322, Lecture Notes in Math., 740, Springer,
Berlin, 1979. 1
[39] Roos, Jan-Erik; Good and bad Koszul algebras and their Hochschild homology. J. Pure Appl. Algebra 201
(2005), no. 1-3, 295–327. 1
[40] Rossi, Maria Evelina; Şega, Liana M.; Poincaré series of modules over compressed Gorenstein local rings.
Adv. Math. 259 (2014), 421–447. 1, 3, 14, 24
[41] Sally, Judith D.; The Poincaré series of stretched Cohen-Macaulay rings. Canad. J. Math. 32 (1980), no. 5,
1261–1265. 2, 4
[42] Şega, Liana M.; Vanishing of cohomology over Gorenstein rings of small codimension. Proc. Amer. Math.
Soc. 131 (2003), no. 8, 2313–2323. 2, 23
[43] Tate, John; Homology of Noetherian rings and local rings. Illinois J. Math. 1 (1957), 14–27. 2
[44] Wiebe, Hartmut; Über homologische Invarianten lokaler Ringe. (German) Math. Ann. 179 1969 257–274. 25
Dipartimento di Matematica (DIMA), Università degli Studi di Genova-ITALIA, Via Dodecaneso 35, 16146, Genova.
E-mail address: agmath@gmail.com

27

