THE GOLOD PROPERTY FOR STANLEY-REISNER RINGS IN
VARYING CHARACTERISTIC

arXiv:1504.05037v3 [] 19 Jan 2016

LUKAS KATTHÄN
Abstract. We show that the Golod property of a Stanley-Reisner ring can
depend on the characteristic of the base field. More precisely, for every finite
set T of prime numbers we construct simplicial complexes ∆ and Γ, such that
K[∆] is Golod exactly in the characteristics in T and K[Γ] is Golod exactly in
the characteristics not in T .
Along the way, we show that a one-dimensional simplicial complex is Golod
if and only if it is chordal.

1. Introduction
Let K be a field and S = K[X1 , . . . , Xn ] be the polynomial ring, endowed with
the standard Z-grading. For a homogeneous ideal a, let A := S/a be the quotient
ring. As A is a standard-graded algebra, its Tor-algebra TorA
∗ (K, K) inherits a
Z-grading. The Poincaré-series of A is the formal power series
X
i j
PA (t, x) =
(dimK TorA
i (K, K)j )t x ,
i,j≥0

A
where TorA
i (K, K)j denotes the homogeneous component of Tori (K, K) in degree
j. The algebra A is called Golod if the following holds:
(1 + tx)n
(1)
PA (t, x) =
P P
1 − i≥1 j≥0 dimK (TorSi (A, K)j )ti+1 xj

In general, PA (t, x) is componentwise bounded above by the right-hand side of
(1), as it was shown by Serre.
Golod algebras are surprisingly common. For example, it has been proven by
Herzog and Huneke [HH13] that if a ⊆ S is a homogeneous ideal, then S/ak is
Golod for every k > 1. Further, Herzog, Welker and Reiner showed in [HRW99]
that S/a is Golod if a has a componentwise linear resolution. We refer the reader
to the survey article [Avr98] by Avramov for more information on Golod algebras.
In [Jöl06] and [BJ07] Berglund and Jöllenbeck considered the Golod property
for Stanley-Reisner rings. They give a combinatorial characterization of Golodness in the class of flag simplicial complexes, which in particular implies that the
Golod property of these complexes does not depend on the field K of coefficients.
Thus it seems natural to ask whether one can find a combinatorial description of
the Golod property for Stanley-Reisner rings of general simplicial complexes. The
general expectation seems to be that this is not the case, i.e. for sufficiently complicated complexes the Golod property might depend K. However, no example
of this phenomenon was known.
2010 Mathematics Subject Classification. Primary: 05E40; Secondary: 13D02,13F55.
Key words and phrases. Golod Ring; Stanley-Reisner ring; Monomial ideal; Characteristic.
1

2

LUKAS KATTHÄN

In the present note, we provide a construction for such examples. More precisely, we prove the following:
Theorem 3.4. Let T be a finite set of prime numbers.
(1) There exists a simplicial complex ∆ such that K[∆] is Golod if and only
if char K ∈ T .
(2) Also, there exists a simplicial complex Γ such that K[Γ] is Golod if and
only if char K ∈
/ T.
We remark that for many properties of K[∆], for example the property of
having a componentwise linear resolution or being Cohen-Macaulay, only the
second case can happen. Our proof is constructive, but for convenience we also
give two explicit examples for the case T = {2} in Section 4.
Let us explain the mechanisms which cause these two cases. By a result of Iriye
and Kishimoto [IK14], the Golod property depends on the vanishing of certain
maps between homology groups, see Proposition 2.1. On the one hand, it might
happen that these homology groups are torsion groups and thus vanish in all but
finitely many characteristics. On the other hand, a map between the free parts
of the homology groups might be the multiplication by some number N. In this
case, the map vanishes exactly for the finitely many prime divisors of N.
Given our main result, one might be tempted to ask if the finiteness assumption
is necessary. In other words, one could ask if there exists a simplicial complex
which is Golod in infinitely many characteristics, and non-Golod in infinitely
many other characteristics. Our second result gives a negative answer to this
question. Thus, the complexes constructed in Theorem 3.4 are “worst possible”.
Proposition 3.6. For a simplicial complex ∆, the following holds:
(1) The Golod property of K[∆] depends only on the characteristic of K. More
precisely, if K and K′ are two fields with the same characteristic, then
K[∆] is Golod if and only if K′ [∆] is Golod.
(2) If Q[∆] is Golod, then Fp [∆] is Golod for all but at most finitely many
primes p.
(3) If Q[∆] is not Golod, then Fp [∆] is Golod for at most finitely many primes
p.
Here, Fp denotes the field with p elements.
This paper is organized as follows. In Section 2, we collect some background information on Golod rings. In particular, we derive some useful criteria for deciding
whether a Stanley-Reisner ring is Golod. In the third section, we first consider the
contributions of the one-skeleton of a simplicial complex to the Koszul homology.
As a by-product, we show that a one-dimensional simplicial complex is Golod if
and only if it is chordal. After that we prove Theorem 3.4 and Proposition 3.6.
In Section 4, two explicit examples of Stanley-Reisner rings whose Golodness depends on the field are provided. Finally, in the last section we shortly discuss a
relation to decomposition k-chordal complexes [ANS15] and pose a question for
an improved criterion for Golodness.

GOLOD PROPERTY AND CHARACTERISTIC

3

2. Preliminaries about the Golod property for Stanley-Reisner
rings
In this section, we recall some facts about Golod Stanley-Reisner rings. We
refer the reader to [Avr86] and [Avr98] for a comprehensive treatment of general
Golod rings.
Let ∆ be a fixed simplicial complex. We denote its set of vertices by V (∆) and
set n := #V (∆). Let K[∆] = S/I∆ its Stanley-Reisner ring (over some fixed field
K), cf. Chapter 5 of [BH98]. Here, S = K[Xv : v ∈ V (∆)] is a polynomial ring
and
!
Y
I∆ =
Xv : M ⊆ V (∆), M ∈
/∆
v∈M

is the Stanley-Reisner ideal of ∆. K[∆] carries a natural Nn -grading and we will
occasionally identify squarefree multidegrees with subsets of [n] := {1, . . . , n}.
Let further KK[∆] denote the Koszul complex of K[∆], see [BH98, Chapter 1.6].
It carries natural “homological” N-grading, in addition to the “internal” Nn grading inherited from K[∆]. For a homogeneous element a ∈ KK[∆] , we denote
by |a| its homological degree and by deg a its internal multidegree. It is wellknown that KK[∆] is an S-algebra, which is skew-commutative with respect to the
homological grading. Also, the multiplication on KK[∆] induces a multiplication
on its homology H∗ (KK[∆] ) = TorS∗ (K[∆], K).
By definition, K[∆] is called Golod if the equality (1) of power series holds.
Golod [Gol62] showed that this is equivalent to the condition that all Massey
products on the homology H∗ (KK[∆] ) are trivial. We will recall the definition of
the latter below in the proof of Lemma 2.3. For now, we only point out that
the second Massey product of two elements a1 , a2 ∈ H∗ (KK[∆] ) is just the usual
product.
Hochster [Hoc77] gave a topological interpretation of the homogeneous strands
of the Koszul complex KK[∆] . Namely, the strand (KK[∆] )I in degree I ⊆ [n] is
isomorphic to the simplicial cochain complex on the restriction ∆|I , where the
cohomological grading on the latter is reversed and shifted, such that the vertices
of ∆|I sit in degree #I − 1. In particular, passing to homology yields Hochster’s
formula
(2)

Hi (KK[∆] )I = H̃ #I−1−i (∆|I ; K).

This equation yields a useful interpretation of the product on H∗ (KK[∆] ), cf. [BP12,
Proposition 3.2.10]. Indeed, the latter is in fact induced from the inclusions
∆|I∪J ֒→ ∆|I ∗ ∆|J for all I, J 6= ∅ with I ∩ J = ∅, where ∆ ∗ Γ := {F ∪ G : F ∈
∆, G ∈ Γ} denotes the join. Since we are working over a field, we may replace
cohomology by homology. This leads to the following useful criterion for the
vanishing of the product:
Proposition 2.1 (Proposition 6.3, [IK14]). The product on H∗ (KK[∆] ) is trivial
if and only if the inclusion ∆|I∪J ֒→ ∆|I ∗ ∆|J induces the zero map in homology
with coefficients in K for all ∅ =
6 I, J ⊂ V (∆) with I ∩ J = ∅.
Notation. Let i ∈ N and let I, J be two non-empty disjoint subsets of V (∆).
We write ϕI,J
i : H̃i (∆|I∪J ; K) → H̃i (∆|I ∗ ∆|J ; K) for the map induced by the
inclusion ∆|I∪J ֒→ ∆|I ∗ ∆|J .

4

LUKAS KATTHÄN

The following is just a reformulation of Proposition 2.1:
Corollary 2.2. The product on H∗ (KK[∆] ) is trivial if and only if ϕI,J
= 0 for
i
all i ∈ N and all nonempty disjoint I, J ⊂ V (∆).
The following lemma allows us to concentrate on the product on H∗ (KK[∆] ), so
we do not need to consider the higher Massey products.
Lemma 2.3. Assume that dim ∆ ≤ 2 and that for any two disjoint non-empty
sets I, J ⊂ V (∆), at least one of the two complexes ∆|I and ∆|J is connected.
Then K[∆] is Golod if and only if the product on H∗ (KK[∆]) is trivial.
Proof. The necessity is clear, so we only consider the sufficiency.
Let us recall the definition of the Massey products. As mentioned above, the
second Massey product of two elements a1 , a2 ∈ H∗ (KK[∆] ) is just the usual
product. Let us denote it by µ2 (a1 , a2 ). For n ≥ 3, the n-th Massey product is
a partially defined set-valued function, which assigns to n elements a1 , . . . , an ∈
H∗ (KK[∆] ) a set µn (a1 , . . . , an ) ⊂ H∗ (KK[∆] ). It is defined if there exist elements
aij ∈ KK[∆] for 1 ≤ i ≤ j ≤ n, such that daii = 0, [aii ] = ai and
daij =

j
X

āiv avj ,

v=i

P
where ā = (−1)|a|+1 . Then nv=1 āiv avj is called a Massey product of a1 , . . . , an
and µn (a1 , . . . , an ) is the set of all these elements. One says that the Massey
product is trivial up to n, if for all 2 ≤ i ≤ n and all for all i-tuples a1 , . . . , ai ∈
H∗ (KK[∆] ), the set µi (a1 , . . . , ai ) is defined and contains only zero. Finally, we say
that H∗ (KK[∆] ) has trivial Massey products if it is trivial for all n. We will use
the following properties of the Massey products, which follow from the definition
and are well-known:
(a) If the Massey product is trivial up to n − 1, then µn (a1 , . . . , an ) is defined for
all n-tuples a1 , . . . , an and contains only one element. So, in this case one has
an actual map µn : H∗ (KK[∆] )⊗n → H∗ (KK[∆] ).
(b) P
If µn (a1 , . . . , an ) is defined, then P
every element in this set has multidegree
deg
a
and
homological
degree
i
i
i (|ai | + 1) − 2.
(c) If µn (a1 , . . . , an ) is defined and one of the ai is zero, then µn (a1 , . . . , an ) contains zero.
By induction, assume that the Massey product is trivial up to n − 1 for some
n ≥ 3, so µn is a map by (a). Then (b) implies that µn is zero in any nonsquarefree degree. In a squarefree multidegree I, Hochster’s formula (2) implies
that µn decomposes into a direct sum of maps of the form
M
H̃i1 (∆|I1 ; K) ⊗ · · · ⊗ H̃in (∆|In ; K) → H̃i (∆|I ; K)
(3)
i1 ,...,in

where I1 ∪ I2 ∪ · · · ∪ In = I is a disjoint decomposition ofPI with Ij 6= ∅ for
all j, and the sum runs over all 0 ≤ i1 , . . . , in ≤ n with
j ij = i − 1. As
dim ∆ = 2, it follows from (3) and (c) that for µn being not trivial, there have to
exist non-empty disjoint subsets I1 , . . . , In ⊂ V , such that either
• H̃0 (∆|Ii ; K) 6= 0 for all i, or
• H̃0 (∆|Ii ; K) 6= 0 for all i but one, say i1 , and H̃1 (∆|Ii1 ; K) 6= 0.

GOLOD PROPERTY AND CHARACTERISTIC

5

In both cases, there are at least two disjoint non-empty subsets I, J ⊂ V such
that both ∆|I and ∆|J are disconnected, contradicting our assumption.

Remark 2.4. (1) Berglund and Jöllenbeck showed in [BJ07, Theorem 5.1]
that in general K[∆] is Golod if and only if the product on H∗ (KK[∆] ) is trivial,
so the assumptions of Lemma 2.3 are superfluous. However, we prefer to prove
our main result independently of that result. The reason is that Lemma 2.3 has
a very simple proof and is sufficient for our present purpose, while the proof of
[BJ07, Theorem 5.1] is rather long and involved.
(2) It is possible (and perhaps preferable) to consider Massey products in the
language of A∞ -algebras, cf. [LPWZ09, Val14]. This allows one to replace the
classical Massey products with maps µn : H∗ (KK[∆] )⊗n → H∗ (KK[∆] ) which are
always defined and no longer set-valued. However, for the purpose of the present
paper the classical approach to Massey products is sufficient.
3. Proof of the main results
In this section, we first give some useful results concerning the maps ϕI,J
i . After
these preparations, our main result Theorem 3.4 is be proven. In the last part of
the section, we prove the above mentioned Proposition 3.6
We start with some notation. For a simplicial complex ∆, we write Ci (∆; K) for
the vector space of simplicial i-chains of ∆. We say that an i-cycle c ∈ Ci (∆, K)
contains an i-face F if it has a non-zero coefficient in c. An i-cycle c ∈ Ci (∆, K)
is called complete [ANS15] if it is the boundary of a (i + 1)-simplex (which does
not need to be a face of ∆). The following is a simple criterion to decide the
vanishing or non-vanishing of ϕI,J
in some cases.
i
Lemma 3.1. Let ∆ be a simplicial complex, let ∅ =
6 I, J ⊆ V (∆) with I ∩ J = ∅
and let c ∈ Ci (∆|I∪J ; K) be an i-cycle, for some i.
(1) If c is complete, then ϕI,J
i (c) = 0.
(2) If c contains an i-face F , such that F ∩ I and F ∩ J are both facets of ∆|I
and ∆|J , respectively, then ϕI,J
i (c) 6= 0.
Proof. (1) First, assume that some vertices of c are in I and some are in J,
i.e., there are non-empty faces σ ∈ ∆|I , τ ∈ ∆|J such that the support of c equals
I,J
σ ∪ τ . It holds that ϕI,J
i (c) = ∂(σ ∪ τ ) because c is complete. Hence ϕi (c) is a
boundary.
Next, consider the case that all vertices of c are in one of the sets, say I. Then
c is the boundary of the cone c ∗ {w} for any vertex w ∈ J.
(2) Under the given hypothesis F is a facet of ∆|I ∗ ∆|J . Hence ϕI,J
i (c) is not
a boundary.

It was proven in [BJ07, Proposition 6.4] that the 1-skeleton of a Golod simplicial
complex is chordal. The following extends this result.
Proposition 3.2. For a simplicial complex ∆, the following are equivalent:
(1) The 1-skeleton of ∆ is a chordal graph.
(2) ϕI,J
1 = 0 for all non-empty disjoint subsets I, J ⊂ V (∆).

6

LUKAS KATTHÄN

a
v
1

v

···
2

3

1

1

2

3

1

Figure 1. The complex ∆1 used in the proof of Theorem 3.4. The
sequence 1, 2, 3 repeats N times.
Proof. (1) ⇒ (2) If the 1-skeleton of ∆ is a chordal graph, then every 1-cycle
can be written as a sum of “triangles”. But a triangle is a complete 1-cycle, so
the claim follows form Lemma 3.1.
(2) ⇒ (1) Assume that the 1-skeleton of ∆ contains a chordless cycle c of
length at least 4. Let v be any vertex of c and let w1 , w2 denote its two neighbors.
Set I := {w1 , w2 } and let J be the set of all other vertices of c. Note that the
vertices v and w1 are isolated in ∆|I and ∆|J , respectively, because c is chordless.
But the homology class c̃ ∈ H̃1 (∆|I∪J ; K) corresponding to c contains the edge
{v, w1}, hence ϕI,J
1 (c̃) 6= 0 by Lemma 3.1.

It is known that a flag simplicial complex is Golod if and only if its one-skeleton
is chordal, see [BJ07, Theorem 6.7]. A one-dimensional simplicial complex does
not need to be flag, so the following can be seen as a partial extension of that
result.
Corollary 3.3. Let ∆ be a one-dimensional simplicial complex. Then K[∆] is
Golod if and only if ∆ is chordal.
After the preparation of the present article I learned that Iriye and Kishimoto
proved a stronger version of this corollary in [IK14, Theorem 11.8].
Proof. This is immediate from the foregoing Proposition 3.2 and [BJ07, Theorem
5.1]. Alternatively, if ∆ is chordal, then its Stanley-Reisner ideal is componentwise linear (the degree 2 part is linear by [Frö90] and the regularity is at most
3), so K[∆] is Golod, cf. [HRW99].

Now we turn to the proof of our main result:
Theorem 3.4. Let T be a finite set of prime numbers.
(1) There exists a simplicial complex ∆ such that K[∆] is Golod if and only
if char K ∈ T .
(2) Also, there exists a simplicial complex Γ such that K[Γ] is Golod if and
only if char K ∈
/ T.
Proof. Let N be the product of the elements of T .
Let ∆1 be the simplicial complex indicated in Fig. 1, where vertices with the
same label are to be identified. Here, the sequence 1, 2, 3 of the bottom vertices
is repeated N times. So, topologically ∆1 is obtained by gluing the boundary of
a 2-cell N times around the cycle γ formed by the vertices 1, 2 and 3.

GOLOD PROPERTY AND CHARACTERISTIC

7

(1) Let ∆2 be the complex obtained by gluing two copies of ∆1 along γ. We
denote the vertex “a” in the second copy of ∆1 by b. Further, let ∆ be the
complex which is obtained from ∆2 by adding all edges between any two vertices
except a and b.
Note that ∆ satisfies the hypotheses of Lemma 2.3, so it is sufficient to show
that the product on H∗ (KK[∆] ) is trivial if and only if char K divides N. We will
use Corollary 2.2 for this. For dimension reasons, ϕI,J
= 0 for all i ≥ 3 and all
i
I, J. Further, the 1-skeleton of ∆ is complete except for the missing edge from
a to b, so it is chordal. Hence ϕI,J
= 0 for any I and J by Proposition 3.2. To
1
finish the proof, we are going to show that
(a) for I := {a, b} and J := V (∆) \ I, it holds that ϕI,J
is zero if and only if
2
char K ∈ T , and
′ ′
(b) further, ϕ2I ,J = 0 independently of the field for any two disjoint vertex sets
I ′ , J ′ with {I ′ , J ′ } =
6 {I, J}.
We start by showing the first item, so let I = {a, b} and let J = V (∆) \ I. Let
σ1 , σ2 ∈ C2 (∆; K) be the sums of all triangles in the first and the second copy of
∆1 , respectively, endowed with suitable signs. Clearly, the boundary of both σ1
and σ2 is N times γ. So σ1 and σ2 are both cycles if char K divides N. Further,
their difference σ := σ1 − σ2 is a cycle, independently of the field.
If char K ∈ T , then H̃2 (∆; K) is generated by (the classes of) σ1 and σ2 . The
image of σ1 (resp. σ2 ) in ∆|I ∗ ∆|J is supported on the contractible subcomplex
sends it to zero. Thus, if char K ∈ T
{a} ∗ ∆|J (respectively {b} ∗ ∆|J ), so ϕI,J
2
is
the
zero
map
for
the
given
choice
of I and J.
then ϕI,J
2
Now assume that char K ∈
/ T . Note that H̃2 (∆; K) = H̃2 (∆2 ; K), because the
two complexes differ only in their 1-skeleton. So the map ϕI,J
2 can be factored as
ψ

H̃2 (∆; K) → H̃2 (∆2 ; K) → H̃2 (∆2 |I ∗ ∆2 |J ; K) → H̃2 (∆|I ∗ ∆|J ; K).
The first map is a isomorphism and the last map is injective, because only 1- and
2-cells are added, so no 2-cycle can become a boundary. Hence ϕI,J
is nonzero if
2
and only if the middle map ψ is nonzero.
Note that ∆2 |J retracts onto γ, hence ∆2 |I ∗ ∆2 |J retracts onto ∆2 |I ∗ γ, which
is just a suspension of γ, i.e., a 2-sphere. This implies that a generator τ for
H̃2 (∆2 |I ∗ ∆2 |J ; K) is given by a signed sum of all 2-faces in ∆2 |I ∗∆2 |J containing
one of the edges of γ and either a or b. On the other hand, H̃2 (∆; K) is generated
by (the class of) σ := σ1 − σ2 . By construction, it winds N times around γ.
Thus, under the above mentioned retraction it will be mapped to ±N times the
generator of H̃2 (∆2 |I ∗ γ; K) and hence ψ(σ) = ±N · τ 6= 0. In conclusion, ϕI,J
2 is
zero if and only if char K ∈ T .
′ ′
Finally, we show that ϕ2I ,J = 0 for any two disjoint vertex sets I ′ , J ′ with
{I ′ , J ′ } =
6 {I, J}. By the Künneth formula, H̃2 (∆|I ′ ∗ ∆|J ′ ; K) can be nontrivial
only if either H̃0 (∆|I ′ ; K) 6= 0 or H̃0 (∆|J ′ ; K) 6= 0. Hence we only need to consider
the case I ′ = I = {a, b}.
′
It remains to show that ϕI,J
= 0 if J ′ ( V (∆)\{a, b}. Let ω ∈ C2 (∆|I∪J ′ ; K) be
2
a cycle. If ω contains a 2-face F , then for every edge of F it also contains another
2-face with that edge. Using the definition of ∆, it follows that for each copy of
∆1 inside ∆, ω contains either all or none of its 2-faces. As I ∪ J ′ 6= V (∆), ω

8

LUKAS KATTHÄN

cannot contain all 2-faces of ∆, so all triangles in ω lie in the same copy of ∆1 , say
in the one with vertex a. But this implies that the image of ω in C2 (∆|I ∗ ∆|J ′ ; K)
′
sends
it is supported on the contractible subcomplex {a} ∗ ∆|J ′ , so as above ϕI,J
2
it to zero.
(2) We proceed similar as in the proof of part (1). ∆1 is still the simplicial
complex indicated in Fig. 1. Let Γ be the complex obtained from ∆1 by adding
all edges which do not contain a.
As above, Γ satisfies the hypotheses of Lemma 2.3 and its 1-skeleton is chordal,
so we only need to consider the maps ϕI,J
2 . Let J ⊂ V (Γ) be the set of neighbors
of a and let I := V (Γ) \ J. Here, a neighbor of a is any vertex sharing an edge
with it. This time, we are going to show the following:
(a) The map ϕI,J
is nonzero if and only if char K ∈ T .
2
′ ′
(b) Further, ϕ2I ,J = 0 if char K ∈
/ T for any two disjoint vertex sets I ′ , J ′ with
{I ′ , J ′ } =
6 {I, J}.
We show both items simultaneously. Our description of ∆1 given above shows
that
(
K if char K ∈ T
H̃2 (Γ; K) = H̃2 (∆1 ; K) =
0
otherwise.
′

′

So clearly ϕ2I ,J = 0 if char K ∈
/ T for any two disjoint vertex sets I ′ , J ′ with
′
′
I ∪ J = V (Γ), in particular for I ′ = I and J ′ = J. Also, for two disjoint vertex
sets I ′ , J ′ with I ′ ∪ J ′ ( V (Γ), one shows similarly to the argument in the proof
of part (1) that H̃2 (Γ|I ′ ∪J ′ ; K) = 0, so the corresponding map vanishes.
It remains to show that ϕI,J
6= 0 if char K ∈ T . In this case, a generator of
2
H̃2 (Γ; K) is given by the sum σ1 ∈ C2 (Γ; K) of all 2-faces of Γ, endowed suitable
signs. Now, σ1 contains a 2-face F which contains a. Further, F ∩ I = {a} ∈ Γ|I
is isolated and F ∩ J ∈ Γ|J is a facet, because Γ|J is one-dimensional. Hence
ϕI,J

2 (σ1 ) 6= 0 by Lemma 3.1
Example 3.5. Let us illustrate the construction of part (1) in the case T = {2}.
In this case, ∆1 is a real projective plane. One can think of it as being obtained
by gluing the star of a, which is a disc, on the boundary of a Möbius strip, which
is the lower part of ∆1 in Figure 1. Now ∆2 is obtained by gluing two copies of
this projective planes along γ. In this situation σ1 and σ2 are the fundamental
classes (over Z/2) of the two projective planes.
The map ∆2 → ∆2 |I ∗ ∆2 |J → ∆2 |I ∗ γ ≈ S 2 corresponds to retracting the
Möbius strips to γ. Under this map σ1 and σ2 get deformed to “two times” the
lower resp. upper hemisphere of the resulting sphere. Hence σ1 − σ2 is mapped
to two times the fundamental class τ of S 2 .
It seems a natural question if the finiteness of the set T in Theorem 3.4 is
really necessary. In other words, could there be a simplicial complex ∆ such that
K[∆] is Golod in infinitely many characteristics and non-Golod in infinitely many
other characteristics? Indeed, such a phenomenon is excluded by the following
result. For completeness, we also show that the Golod property only depends on
the characteristic.
Proposition 3.6. For a simplicial complex ∆, the following holds:

GOLOD PROPERTY AND CHARACTERISTIC

9

(1) The Golod property of K[∆] depends only on the characteristic of K. More
precisely, if K and K′ are two fields with the same characteristic, then
K[∆] is Golod if and only if K′ [∆] is Golod.
(2) If Q[∆] is Golod, then Fp [∆] is Golod for all but at most finitely many
primes p.
(3) If Q[∆] is not Golod, then Fp [∆] is Golod for at most finitely many primes
p.
Here, Fp denotes the field with p elements.
Proof. The claim follows almost immediately from a characterization of the Golod
property given by Berglund in [Ber06, Theorem 3]. We briefly recall this characterization. Let I := I∆ be the Stanley-Reisner ideal of ∆ and let M be a minimal
set of monomial generators of it. Note that M only depends on ∆ and not on
the field K. Recall that the lcm-lattice of I, LI , is the lattice of all least common
multiples of subsets of M, ordered by divisibility. For any monomial m ∈ LI , let
M(≤ m) denote the set of those monomials in M which divide m. Moreover, for
any finite set N of monomials, let mN denote the least common multiple of all
elements in N. In [Ber06], Berglund associates to each finite set N of monomials
a natural number c(N) and a lattice of certain subsets of N which is denoted
by K(N). The exact definitions are not relevant here; we only need that these
constructions do not depend on the underlying field K. Finally, for a finite poset
P we set
X
H̃(P ; K)(z) :=
dimK (H̃i (P ; K))z i ,
i≥−1

where H̃ i (P ; K) is the homology of the order complex of P . Theorem 3 of [Ber06]
asserts that K[∆] is Golod if and only if for each m ∈ LI , it holds that
X
(4)
H̃((0̂, m)LI ; K)(z) =
(−z)c(S)−1 H̃((0̂, S)K(M (≤m)) ; K)(z),
S∈K(M (≤m))
mS =m

where (0̂, m)LI denotes the lower interval defined by m in LI , and similarly
(0̂, S)K(M (≤m)) is the lower interval defined by S in K(M(≤ m)).
Now we observe that both sides of (4) depend on K only via the homology of
some simplicial complexes. But for any simplicial complex Γ, H̃i (Γ; K) depends
only on the characteristic of K. Moreover, it holds that
dimFp H̃i (Γ; Fp ) = dimQ H̃i (Γ; Q)
for all but finitely many primes p. Thus, the set of characteristics in which (4)
holds is either finite or it has a finite complement, and these two cases can be
distinguished by considering it over Q.

4. Two explicit examples
We give two explicit examples of simplicial complexes which show the phenomena observed in the last section. In particular, we evaluate the two sides of (1)
in these two examples. For this, we define
XX
fRH :=
dimK (TorSi (A, K)j )ti xj ,
i≥1 j≥0

10

LUKAS KATTHÄN

so the right-hand side of (1) is given by
(1 + tx)n
.
1 − tfRH
The polynomial fRH can easily be determined from the graded Betti numbers of
A, which we computed in our examples with Macaulay2 [GS]. For the left-hand
side of (1), it follows from Theorem 1 of [Ber06] (see also [Bac82]) that it is also
of the form
(1 + tx)n
1 − tfLH
with some polynomial fLH in t and x. To compute it in our examples, we evaluated
the formula (9) of [Ber06] using a computer.
Example 4.1. Let ∆ be the simplicial complex with the facets
124 235 341 452 513
12a 23a 34a 45a 51a
12b 23b 34b 45b 51b
on the vertex set V = {1, 2, 3, 4, 5, a, b}. The generators of the corresponding
Stanley-Reisner ideal are
x1 x2 x3 x2 x3 x4 x3 x4 x5 x4 x5 x1 x5 x1 x2
x1 x3 xa x1 x4 xa x2 x4 xa x2 x5 xa x5 x3 xa
x1 x3 xb x1 x4 xb x2 x4 xb x2 x5 xb x5 x3 xb
xa xb
Geometrically, ∆ is a Möbius strip with two 2-balls glued along its boundary.
Using a similar argument as in the proof of part (1) of Theorem 3.4, one shows that
K[∆] is Golod if and only if char K = 2, where the “critical” sets are I = {a, b}
and J = {1, . . . , 5}. Note that the 1-skeleton of ∆ is already chordal, so we do
not need to add additional edges as in the proof of Theorem 3.4. For K = Q, we
computed that
fRH = (x2 + 15x3 )t + 35x4 t2 + 26x5 t3 + (5x6 + x7 )t4 ,
fLH = (x2 + 15x3 )t + 35x4 t2 + 26x5 t3 + 5x6 t4 − x7 t5 .
As expected, there is a strict inequality in (1). For K = F2 , the ring is Golod, so
the equality in (1) is attained. In this case, it holds that
fRH = fLH = (x2 + 15x3 )t + 35x4 t2 + (26x5 + 2x6 )t3 + (7x6 + 2x7 )t4 + x7 t5
Note that in this example both sides of (1) depend in the field.
Example 4.2. Let ∆ be the simplicial complex with the facets
124 235 341 452 513
12a 23a 34a 45a
51b 1ab a5b
on the vertex set V = {1, 2, 3, 4, 5, a, b}. The generators of the corresponding
Stanley-Reisner ideal are
x1 x2 x3 x2 x3 x4 x3 x4 x5 x4 x5 x1 x5 x1 x2
x1 x3 xa x1 x4 xa x2 x4 xa x2 x5 xa x5 x3 xa
x5 x1 xa x2 xb
x3 xb
x4 xb

GOLOD PROPERTY AND CHARACTERISTIC

11

This is a triangulation of the real projective plane, which is obtained from the
usual 6-vertex triangulation by subdividing the 2-cell 51a. It can be shown similar
as in the proof of part (2) of Theorem 3.4 that K[∆] is Golod if and only if
char K 6= 2. Here, the “critical” sets are I = {2, 3, 4, b} and J = {5, 1, a}.
Again, we provide some numerical data for completeness. For K = Q, the ring
is Golod and it holds that
fRH = fLH = (3x2 + 11x3 )t + (3x3 + 28x4 )t2 + (x4 + 24x5 )t3 + 7x6 t4 .
For K = F2 , it holds that
fRH = (3x2 + 11x3 )t + (3x3 + 28x4 )t2 + (x4 + 24x5 )t3 + (7x6 + x7 )t4 + x7 t5 ,
while fLH is the same as over Q. So in this example, somewhat surprisingly, only
one side of (1) depends on the field.
Apart from the equation (1), the triviality of the Massey products on H∗ (KK[∆] )
and [Ber06, Theorem 3], there is a further well-known characterizations of Golod
rings. Namely, a ring A is Golod if and only if its homotopy Lie algebra π ≥2 (A)
is a free (graded) Lie algebra, cf. Chapter 10 of [Avr98]. It might be instructive
to study the structure of the homotopy Lie algebra in these examples.
5. Concluding remarks
5.1. Skeleta and higher chordality. In this section, we give two consequences
of Lemma 3.1 which we consider to be of independent interest. In the sequel, ∆
is always a simplicial complex. The first one is the following corollary.
Corollary 5.1. The map ϕI,J
depends only on the i-skeleton of ∆.
i
Proof. It is clear that the map depends only on the (i + 1)-skeleton of ∆. Adding
(i + 1)-dimensional simplices to ∆ only turns complete i-cycles into boundaries.
By Lemma 3.1, all complete i-cycles lie in the kernel of ϕI,J
i , so this does not
affect the map.

Remark 5.2. Based on the preceding corollary, one might be tempted to conjecture that the map ϕI,J
depends only in the pure i-skeleton of ∆. But this is
i
false by the following counterexample.
Consider the join of an empty triangle with an S 0 . This complex is not Golod,
as it is a join (or Gorenstein*). But the complex ∆ obtained by adding an edge
between the two ”poles” is Golod: If the two poles are I and the triangle is
J, then ∆|I is contractible, so ∆|I ∗ ∆|J is as contractible as well. All proper
restrictions of ∆ have no second homology, and the 1-skeleton is chordal. Hence
∆ is Golod.
Adiprasito, Nevo and Samper define in [ANS15] several high-dimensional extensions of the notion of a chordal graph. In particular, they define a simplicial
complex to be decomposition k-chordal, if every k-cycle z can be written as a sum
of complete k-cycles (zi ), such the vertices of each (zi ) are also vertices of z. The
sufficiency of Proposition 3.2 extends to this setting:
Proposition 5.3. If ∆ is a decomposition k-chordal simplicial complex, then
ϕI,J
= 0 for all non-empty disjoint subsets I, J ⊂ V . In particular, if ∆ is
k
decomposition k-chordal for all k, then the product on H∗ (KK[∆] ) is trivial.

12

LUKAS KATTHÄN

Proof. This is immediate from Lemma 3.1.



5.2. Degree bounds. By Corollary 2.2, K[∆] is Golod if the maps ϕI,J
vanish
i
for all i ∈ N. It is clear that one only has to consider i ≤ dim ∆. Moreover,
it is in fact sufficient to consider i ≤ reg K[∆] − 1, where reg K[∆] denotes the
Castelnuovo-Mumford regularity. This is immediate from Hochster’s formula,
which implies that
reg K[∆] = max{j : H̃j−1 (∆|I ; K) 6= 0 for some I ⊆ V }.
It follows from [BJ07, Theorem 6.5] that if ∆ is flag, then the vanishing of ϕI,J
1
(for all I, J) is sufficient for K[∆] to be Golod. An optimistic generalization of
this would be the following assertion: If ∆ has no minimal non-faces of dimension
≥ k and ϕI,J
= 0 for all i ≤ k, then K[∆] is Golod. However, this can easily seen
i
to be false. An easy example is the join of two boundaries of (k − 1)-simplices.
Instead we ask we following question, which is motivated by an analogous result
in [ANS15]:
Question 5.4. Let ∆ be a simplicial complex with vertex set V . Assume that
∆ has no minimal non-faces of dimension ≥ k, and assume further that ϕI,J
=0
i
for all i ≤ 2k − 1 and all non-empty disjoint subsets I, J ⊆ V . Is K[∆] Golod?
Acknowledgment
The author thanks Sean Tilson for many inspiring discussions and Volkmar
Welker for suggesting the topic of the present note. Moreover, the author wishes
to thank Yi-Huang Shen and the anonymous referee for several helpful comments.
References
[ANS15]
[Avr86]
[Avr98]
[Bac82]
[Ber06]
[BH98]
[BJ07]
[BP12]
[Frö90]
[Gol62]
[GS]
[HH13]

K. A. Adiprasito, E. Nevo, and J. A. Samper. Higher chordality I. From graphs to
complexes. arXiv:1503.05620, 2015.
L. L. Avramov. Golod homomorphisms. In Algebra, Algebraic Topology and their
Interactions, pages 59–78. Springer, 1986.
L. L. Avramov. Infinite free resolutions. In Six lectures on commutative algebra,
pages 1–118. Springer, 1998.
J. Backelin. Les anneaux locaux á relations monomiales ont des séries de Poincaré–
Betti rationnelles. C.R. Acad. Sci. Paris, 295(11):607–610, 1982.
A. Berglund. Poincaré series of monomial rings. Journal of Algebra, 295(1):211 –
230, 2006.
W. Bruns and J. Herzog. Cohen-Macaulay rings. Cambridge University Press, 1998.
A. Berglund and M. Jöllenbeck. On the Golod property of Stanley–Reisner rings.
Journal of Algebra, 315(1):249–273, 2007.
V. Buchstaber and T. Panov. Toric topology. 2012. arXiv:1210.2368.
R. Fröberg. On Stanley-Reisner rings. In Topics in algebra, volume 26, pages 57–70.
Banach Center Publ., 1990.
E. S. Golod. On the homology of some local rings. In Soviet Math. Dokl, volume 3,
pages 745–748, 1962.
D. R. Grayson and M. E. Stillman. Macaulay2, a software system for research in
algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/.
J. Herzog and C. Huneke. Ordinary and symbolic powers are Golod. Advances in
Mathematics, 246:89–99, 2013.

GOLOD PROPERTY AND CHARACTERISTIC

13

[Hoc77]

M. Hochster. Cohen-Macaulay rings, combinatorics, and simplicial complexes. In
Ring theory II (Proc. Second Oklahoma Conference), pages 171–223. Marcel Dekker,
Inc., 1977.
[HRW99] J. Herzog, V. Reiner, and V. Welker. Componentwise linear ideals and golod rings.
Michigan Math. J, 46(2):211–223, 1999.
[IK14]
K. Iriye and D. Kishimoto. The fat wedge filtration and a homotopy decomposition
of a polyhedral product. arXiv:1412.4866v3, 2014.
[Jöl06]
M. Jöllenbeck. On the multigraded Hilbert and Poincaré–Betti series and the Golod
property of monomial rings. Journal of Pure and Applied Algebra, 207(2):261–298,
2006.
[LPWZ09] D.-M. Lu, J. H. Palmieri, Q.-S. Wu, and J. J. Zhang. A∞ structure on Ext-algebras.
Journal of Pure and Applied Algebra, 213(11):2017–2037, 2009.
[Val14]
B. Valette. Algebra + Homotopy = Operad. In Symplectic, Poisson, and Noncommutative Geometry. Cambridge University Press, 2014.
Universität Osnabrück, FB Mathematik/Informatik, 49069 Osnabrück, Germany
E-mail address: lukas.katthaen@uos.de

