arXiv:1710.00402v2 [math.AC] 13 Oct 2017

Ext and local cohomology modules of face rings of
simplicial posets
Connor Sawaske
Department of Mathematics
University of Washington
Seattle, WA 98195-4350, USA
sawaske@math.washington.edu

October 17, 2017
Abstract
There are a large number of theorems detailing the homological properties of the
Stanley–Reisner ring of a simplicial complex. Here we attempt to generalize some of
these results to the case of a simplicial poset. By investigating the combinatorics of
certain modules associated with the face ring of a simplicial poset from a topological
viewpoint, we extend some results of Miyazaki and Gräbe to a wider setting.

1

Introduction

The Stanley–Reisner ring of a simplicial complex has been one of the most useful tools in
the study of combinatorial properties of simplicial polytopes, spheres, and manifolds for
decades. From the upper bound theorem to the g-theorem, this algebraic construction has
played a central role in many of the main results in this area of research. Its structure is
well-understood, and the translation of geometric properties of a simplicial complex into
algebraic statements about the associated ring is often clear and elegant. For an excellent
overview of the historical advances allowed by these rings, the reader is referred to [Sta96,
Sections II and III].
When shifting from simplicial complexes to simplicial posets, the situation changes
rather dramatically. Stanley defined the face ring of a simplicial poset as a generalization
of the Stanley–Reisner ring ([Sta91]); in the case that the poset in question is the face lattice of a simplicial complex, the two rings are isomorphic. Unfortunately, in this broader
scope the structure of the face ring becomes much less tangible. Though many classification theorems for simplicial complexes have analogs in the world of simplicial posets (see
[Sta91, Theorem 3.10] for an analog of the g-theorem, or [BK14], [Mas05], and [Mur13]
for further abstractions), many algebraic statements about Stanley–Reisner rings do not
have generalizations to face rings of simplicial posets.
1

The purpose of this paper is to provide such generalizations. In particular, we wish to
extend the homological properties of Stanley–Reisner rings established by Gräbe, Hochster,
Miyazaki, Reisner, and Schenzel to the world of simplicial posets and their face rings, in
the combinatorial spirit of the work begun by Duval in [Duv97]. It is worth noting that
these face rings are also squarefree modules; these objects have been studied from a various
viewpoints by Yanagawa (see, e.g., [Yan11b] and [Yan11a]). Furthermore, similar topics
have been investigated from a sheaf-theoretic viewpoint by Brun and Römer in [BR08]
and by Brun, Bruns, and Römer in [BBR07].
Before stating our main results, we will fix some notation. Let P be a simplicial poset
with vertex set V = {x1 , . . . , xn } and let supp(z) = {i : xi  z} denote the support of
an element z ∈ P . Define A = k[x1 , . . . , xn ], let m be the irrelevant ideal (x1 , . . . , xn ),
and let mℓ be the ideal (xℓ1 , . . . , xℓn ). Lastly, let AP be the face ring of P ; we consider AP
as a Zn -graded A-module (we defer all definitions until the next section). Our first new
result is an extension of Miyazaki’s calculation of the graded pieces of the Ext -modules of
a Stanley–Reisner ring ([Miy89, Theorem 1]):
Theorem 3.1. Let P be a simplicial poset with vertex set V , and let α ∈ Zn . Set B =
{i : −ℓ < αi < 0}, C = {i : αi = −ℓ}, and D = {i : αi > 0}. If −ℓ ≤ αi for all i, then
M

e i−|B|−|C|−1 [0̂, zD ] × lkP (z)V rC
H
Ext iA (A/mℓ , AP )α ∼
=
supp(z)=B∪D

and Ext iA (A/mℓ , AP )α = 0 otherwise. In particular, if D 6= ∅ then Ext iA (A/mℓ , AP )α = 0.

By considering Hmi (AP ) as the direct limit of the Ext iA (A/mℓ , AP ) modules, we will
re-prove the result of Duval ([Duv97, Theorem 5.9]) that calculates the dimensions of the
graded pieces of Hmi (AP ). By tracing the A-module structure of Ext iA (A/mℓ , AP ) through
this direct limit, we will further be able to establish an extension of Gräbe’s result detailing
the corresponding structure of Hmi (AP ) ([Grä84, Theorem 2]). More precisely, our second
main contribution is:
Theorem 4.4. Let α = (α1 , . . . , αn ) ∈ Zn . Then
M
H i−1 (P, costP (w))
Hmi (AP )α ∼
=
supp(w)={j:αj 6=0}

if α ∈ Zn≤0 and Hmi (AP )α = 0 otherwise. Under these isomorphisms, the A-module
structure of Hmi (AP ) is given as follows. Let γ = α + deg(xj ). If αj < −1, then
·xj : Hmi (AP )α → Hmi (AP )γ corresponds to the direct sum of identity maps
M
M
H i−1 (P, costP (w)) →
H i−1 (P, costP (w)).
supp(w)={j:αj 6=0}

supp(w)={j:αj 6=0}

If αj = −1, then ·xj corresponds to the direct sum of maps
M
M
H i−1 (P, costP (w)) →
H i−1 (P, costP (z))
supp(w)={j:αj 6=0}

supp(z)={j:γj 6=0}

2

induced by the inclusions of pairs (P, costP (w r {xj })) → (P, costP (w)). If αj ≥ 0, then
·xj is the zero map.
The structure of the paper is as follows. In Section 2 we will review notation and some
foundational results, then examine the structure of AP in preparation for later computations. In Section 3 and Section 4 we will prove Theorems 3.1 and 4.4, respectively. In
Section 5 we will apply these results in a discussion of Cohen-Macaulay and Buchsbaum
properties. Finally, we will close with some additional comments in Section 6.

2
2.1

Preliminaries
Combinatorics and topology

A simplicial poset is a partially ordered finite set (P, ) satisfying the following two
properties:
(i) There exists an element 0̂ ∈ P satisfying 0̂  y for all y ∈ P .
(ii) For every element y ∈ P , the interval [0̂, y] is a Boolean lattice.
The rank of an element y of P is the maximal length among chains from 0̂ to y in P and is
denoted rkP (y). When the poset P is understood, we sometimes abbreviate this to rk(y).
The atoms of P are the elements of rank 1.
If y is an element of a poset P , then we define the link of y in P by
lkP (y) := {w ∈ P : y  w}.
Note that y plays the role of 0̂ in lkP (y), and, more generally, if w ∈ lkP (y) then
rklkP (y) (w) = rkP (w) − rkP (y). Similarly, we define the contrastar of y in P by
costP (y) := {w ∈ P : y  w}.
If the atoms of P are labeled x1 , . . . , xn , then we define the support of an element
y ∈ P to be the set
supp(y) := {i : xi  y}.
Given B ⊆ supp(y), we denote by yB the unique face of P satisfying yB  y and supp(yB ) =
B (the existence and uniqueness of yB follows from the fact that [0̂, y] is a Boolean lattice).
Similarly, if W ⊆ {1, . . . , n}, then define
PW := {y ∈ P : supp(y) ⊆ W }.
If w and y are two elements in P , then we define
M(w, y) := {z ∈ P : z is a minimal upper bound for w and y}.
3

The properties defining simplicial posets are preserved under some important operations and constructions, as outlined in the following proposition ([Bjö84, Proposition 2.6]).
Recall that if P and Q are posets, then a partial order may be placed on the product P ×Q
by defining (p1 , q1 )  (p2 , q2 ) if p1  p2 in P and q1  q2 in Q.
Proposition 2.1. Let P and Q be simplicial posets, and let y ∈ P . Then P × Q and
lkP (y) are both simplicial posets. If R is an order ideal of P (that is, R is a subset of P
that is closed under ), then R is a simplicial poset as well; in particular, costP (y) is a
simplicial poset.
There is a wealth of geometric meaning behind simplicial posets. In particular, every
simplicial poset may be realized as the face poset of a regular CW complex ([Bjö84, Section
3]). Such a complex is much like a simplicial complex in that the cells are simplices.
However, these more general objects may differ from simplicial complexes in that the
intersection of two faces needs only to be a (possibly empty) subcomplex of each of the
two faces, instead of a single simplex. For example, the following figure depicts the face
poset of a cone formed by two triangles with two pairs of edges identified and vertices
labeled 1, 2, and 3, with the apex of the cone being the vertex 1. The elements of the
poset have been labeled according to their support.

{1, 2}

{1}

{1, 2, 3}

{1, 2, 3}

{1, 3}

{2, 3}

{2}

{2, 3}

{3}

∅
From this geometric viewpoint, we refer to the atoms of P as vertices and to all
elements of P as faces. The dimension of a face y ∈ P is dim(y) := rk(y) − 1, and
the dimension of P is dim(P ) := max{dim(y) : y ∈ P }. If all maximal faces of P have
the same dimension, then we say that P is pure. We denote the regular CW complex
associated to the poset P by |P |, and we call it the geometric realization of P .
In addition to the geometric realization of P , there is another associated geometric
object known as the order complex. First, let P denote the poset P r {0̂}. The order
complex of P is the simplicial complex ∆(P ) whose elements are the chains of P . In
fact, ∆(P ) can be realized as the face poset of the barycentric subdivision of |P | ([LW69,
4

Theorem 2.1.7]). Furthermore, ∆(P × Q) isomorphic as a simplicial complex to the join
∆(P ) ∗ ∆(Q).
Let P be a simplicial poset with vertices {x1 , . . . , xn }, and let k be a field. Denote by
i
e
C (P ) the vector space over k whose basis elements correspond to elements of rank i + 1
in P . Next let O be a partial ordering of the indices {1, . . . , n} of the vertices of P such
that the restriction of O to the support of any one face is a total order; we call such an
ei (P ) → C
ei+1 (P ) by
ordering an orientation. Define a coboundary operator δ : C
δ(y) =

n
X

(−1)ui

i=1

X

z

z∈M(xi ,y)

where ui = |{j ∈ supp(y) : i <O j}|. We define the reduced cohomology groups
e• (P ) with
e i (P ) of P with coefficients in k to be the homology of the chain complex C
H
respect to the coboundary δ. If Q is a non-empty order ideal in P , then we define the
relative cohomology groups H i (P, Q) of the pair (P, Q) with coefficients in k to be the
e• (P )/C
e • (Q) with respect to the coboundary
homology of the chain complex C • (P, Q) := C
induced by δ. This definition of cohomology is identical to the cellular cohomology of the
CW complex |P | (see, e.g., [Hat02, Sections 2.2 and 3.1]). From this fact (along with its
relative analog), the equivalence of cellular, singular, and simplicial (co)homology imply
the following theorem.
Theorem 2.2. Let P be a simplicial poset, and let Q be a non-empty order ideal of P .
e i (|P |) (resp. H i (|P |, |Q|)) denotes the singular cohomology of |P | (resp. (|P |, |Q|))
If H
e i (∆(P )) (resp. H i (∆(P ), ∆(Q)))denotes the simplicial cohomology of ∆(P ) (resp.
and H
(∆(P ), ∆(Q)), then
e i (P ) ∼
e i (|P |) ∼
e i (∆(P ))
H
=H
=H
and

2.2

H i (P, Q) ∼
= H i (|P |, |Q|) ∼
= H i (∆(P ), ∆(Q)).

Algebra

Let P be a simplicial poset with atoms (or vertices) x1 , . . . , xn . Fix k to be an infinite
field and define A to be the polynomial ring over k whose variables are the atoms of P :
A := k[x1 , . . . , xn ].
Next, define k[P ] to be the polynomial ring whose variables are the elements of P :

k[P ] := k[y : y ∈ P ].
Let IP be the ideal of k[P ] defined as follows. For each pair of elements w and y in P , if
M(w, y) = ∅ then add wy as a generator of IP . If M(w, y) 6= ∅, then add
X
wy − (w ∧ y)
z
z∈M(w,y)

5

as a generator of IP . Finally, add 0̂ − 1 to IP . Define the face ring AP to be the quotient
k[P ]/IP .
Given some
elements y1 , . . . , yk in P and positive integers p1 , . . . , pk , let m be the
Q
monomial ki=1 yipi in AP . We define the support of m to be the set
supp(m) := {i : xi  yj for some j}.

We say that the monomial m is standard if y1 ≻ y2 ≻ · · · ≻ yk . In this case, we call y1
the leading variable of m. Of vital importance for our arguments will be the following
fact ([Sta91, Lemma 3.4]).
Lemma 2.3. If P is a simplicial poset, then AP is an algebra with straightening law (ASL)
on P . In particular, the standard monomials form a basis for AP as a vector space over
k.
Note that A is naturally Zn -graded by setting deg(xi ) = ei , the i-th standard basis
vector of Zn . We may extend this grading to k[P ] by defining the degree of a variable y
to be
X
deg(y) :=
ei .
i∈supp(y)

Since IP is homogeneous with respect to this grading, the quotient AP is Zn -graded as
well. We will usually view AP as a Zn -graded A-module.
Given some degree α = (α1 , . . . , αn ) in Zn , we will also speak of its support, defined
by
supp(α) := {i : αi 6= 0}.
At times it will be necessary to focus only on the “negative” part of α. This negative part
is the degree α− ∈ Zn defined by

αi αi < 0
−
αi :=
0 αi ≥ 0.

2.3

The structure of AP

Although the face ring of a simplicial poset has many subtleties and does not generally
behave as well as the Stanley–Reisner ring of a simplicial complex, it does still have some
nice properties. We will now highlight two of these properties with the following lemmas
that will be critical to later computations.
Lemma 2.4. Let P be a simplicial poset, let w, y ∈ P , and let q be a positive integer.
Then in AP ,
X
(wy)q = (w ∧ y)q
zq .
z∈M(w,y)

6

Proof. Set M(w, y) = {z1 , . . . , zk }. If q = 1 or k ≤ 1, then the statement is immediate. If
k > 1 and q > 1, then write
!q
k
X
zi
(wy)q = (w ∧ y)q
i=1

= (w ∧ y)q

k
X

ziq + (w ∧ y)q

i=1

X

fℓ

ℓ

for some monomials fℓ , where each fℓ contains at least one product zi zj with zi 6= zj .
Suppose that zi and zj have some upper bound b in P . Then [0̂, b] would be a Boolean
lattice containing w and y, in which w and y have at least two distinct minimal upper
bounds. This is a contradiction, so zi zj = 0 in AP and each fℓ = 0 as well.
Our next lemma shows that the product of a standard monomial and a variable corresponding to a single vertex in AP may be expressed as a sum of “nice” standard monomials.
Q
Lemma 2.5. If m = ki=1 yipi is a standard monomial in Ap with y1 ≻ y2 ≻ · · · ≻ yk and
ℓ is a positive integer, then (xj )ℓ m can be written in Ap as
X
(xj )ℓ m =
mz
z∈M(xj ,y1 )

where mz is a standard monomial with leading variable z.
P
Proof. Write qr = ri=1 pi for 0 ≤ r ≤ k. We have three cases.
Case 1: j 6∈ supp(y1 ) and ℓ ≥ qk . We can re-write xℓj m as
xℓj m =

k
Y

(xj yi )pi

i=1

!

k
xℓ−q
.
j

(2.1)

By the definition of AP ,
xj y1 = (xj ∧ y1 )

X

z =

X

z.

z∈M(xj ,y1 ) z∈M(xj ,y1 )

since j 6∈ supp(y1 ). If M(xj , y1 ) = ∅, then the entire expression (2.1) is zero in AP . If
M(xj , y1) 6= ∅, then for each z ∈ M(xj , y1) let zi be the unique element of [0̂, z] with
vertices consisting of those in yi along with xj (note z = z1 ). By Lemma 2.4, we have



!
k
k
X p 
X
Y
X 
Y

pi
k

z p1 xℓ−qk

wi i 
xℓj m =
xℓ−q
z
+
j
i
j
 .


z∈M(xj ,y1 )

i=1

z∈M(xj ,y1 )

7

i=2

wi ∈M(xj ,yi )
wi 6=zi

However, all terms in the second summand on the right are zero in AP . Indeed, if z and
some wi 6= zi were to have some upper bound z ′ , then both zi and wi would be a minimal
′
upper bound for xj and yi in the boolean lattice
Q[0̂, z ], a contradiction.
k
pi
k
Writing mz for the standard monomial z p1
xℓ−q
, we see that
j
i=2 zi
X
(xj )ℓ m =
mz
z∈M(xj ,y1 )

as desired.
Case 2: j 6∈ supp(y1 ) and ℓ < qk . Let r be such that qr ≤ ℓ while qr+1 > ℓ. Now
re-write xℓj m as
!
!
k
r
Y
Y
p
−(l−q
)
p
r
r+1
xℓj m =
yi i .
(xj yi )pi (xj yr+1 )ℓ−qr yr+1
i=r+2

i=1

After replacing the products xj yi using the definition of AP and using the notation of Case
1, our “cross terms” cancel again and this simplifies to
!
!!
r
k
X
Y
Y
ℓ−qr pr+1 −(ℓ−qr )
xℓj m =
zipi zr+1
yr+1
yipi
z∈M(xj ,y)

Now if

i=1

r
Y

mz = z p1

i=2

then again we have

zipi

i=r+2

!

k
Y

ℓ−qr pr+1 −(ℓ−qr )
zr+1
yr+1

yipi

i=r+2

X

(xj )ℓ m =

!

mz .

z∈M(xj ,y1 )

Case 3: j ∈ supp(y1 ). If j ∈ supp(yi ) for all i, then m(xj )ℓ is already a standard
monomial and we are done. So, suppose that j ∈ supp(yi ) for 1 ≤ i ≤ r while j 6∈ supp(yi )
for i > r. Then by Cases 1 and 2,
(xℓj )

k
Y

yipi =

i=r+1

X

mz

z∈M(xj ,yr+1 )

for some standard monomials mz with leading coefficient z. Note that there is one unique
z ∈ M(xj , yr+1) such that z ≺ yr . Now write


!
!
r
r
Y
X
Y


pi
ℓ
′ .
(xj )m =
yi mz +
m
yipi 
z


i=1

i=1

z ′ ∈M(xj ,yr+1 )
z ′ 6=z

The first term is a standard monomial with leading coefficient y1 , the unique element of
M(xj , y), while all other terms are zero as in Case 1.
8

3
3.1

Ext modules
Koszul complexes and an important basis

All of our results will crucially depend upon calculating the A-modules Ext iA (A/mℓ , AP ),
where mℓ is the ideal (xℓ1 , . . . , xℓn ). Let K•ℓ denote the Koszul complex of A with respect to
the sequence (xℓ1 , . . . , xℓn ) (for the construction of K•ℓ and some of its associated properties,
the reader is referred to [HH11, Section A.3]). We will view each Ktℓ as the direct sum
M
Ktℓ =
A(xℓi1 ∧ xℓi2 ∧ · · · ∧ xℓit ).
1≤i1 <i2 <···<it ≤n

That is, a free A-module basis for Ktℓ is indexed by sets F = {i1 , . . . , it } with 1 ≤ i1 <
i2 < · · · < it ≤ n. Given such an F , define x̂ℓF to be the corresponding basis element
xℓi1 ∧ xℓi2 ∧ · · · ∧ xℓit .
Since K•ℓ provides a projective resolution for A/mℓ , we can calculate Ext iA (A/mℓ , AP )
as the homology of the chain complex Hom A (K•ℓ , AP ). Using the Zn -grading of A and
AP , this complex splits into a direct sum of chain complexes of the form Hom A (K•ℓ , AP )α ,
where α ∈ Zn (it is easily verified that the differential preserves the graded pieces). Recall
(Lemma 2.3) that the standard monomials form a basis for AP as a vector space over k.
Then Hom A (Ktℓ , AP )α has a basis consisting of homomorphisms fF,m defined by

m, if G = F,
ℓ
fF,m (x̂G ) =
0, if G 6= F,
where m is a standard monomial that satisfies
deg(m) = deg(x̂ℓF ) + α.

3.2

The main theorem

Having examined the structure of AP as well as that of Hom A (K•ℓ , AP ), we are now prepared to prove the first of our main results: a topological description of the graded pieces
of the A-modules Ext iA (A/mℓ , AP ).
Theorem 3.1. Let P be a simplicial poset with vertex set V and let α ∈ Zn . Set B = {i :
−ℓ < αi < 0}, C = {i : αi = −ℓ}, and D = {i : αi > 0}. If −ℓ ≤ αi for all i, then
M

e i−| supp(α− )|−1 [0̂, zD ] × lkP (z)V rC
Ext iA (A/mℓ , AP )α ∼
H
=
supp(z)=B∪D

and Ext iA (A/mℓ , AP )α = 0 otherwise. In particular, if D 6= ∅ then Ext iA (A/mℓ , AP )α = 0.
Proof. Fix α, and without loss of generality assume that
D = {1, . . . , r}

and
9

C = {s, . . . , n}

(3.1)

for some r and s. Let K•ℓ denote the Koszul complex of A with respect to the sequence
(xℓ1 , . . . , xℓn ). As in Section 3.1, we will compute Ext iA (A/mℓ , AP )α by computing the
homology of the chain complex Hom A (K•ℓ , AP )α .
Suppose first that αi < −ℓ for some i. Then there cannot exist F = {i1 , . . . , it } and a
standard monomial m satisfying
deg(m) = deg(x̂ℓF ) + α.
That is, Hom A (Ktℓ , AP )α = 0 and hence Ext tA (A/mℓ , AP )α = 0. Assume from now on that
αi ≥ −ℓ for all i.
If fF,m is a basis element of Hom A (Ktℓ , AP )α , let y be the leading variable of m and set
w = yD∩F . Then we can consider fF,m as an element of the poset
[0̂, yD ] × lkP (yB∪D )V rC
where fF,m corresponds to the element (w, y), since B ∪ D ⊂ supp(y) and supp(y) ∩ C = ∅.
Note that the rank of (w, y) in this poset is given by
rk(w, y) = rk[0̂,yD ] (w) + rklkP (yB∪D ) (y)
= | supp(w)| + | supp(y)| − |B| − |D|
= |D ∩ F | + |F r C| + |D r F | − |B| − |D|
= |D ∩ F | + t − | supp(α− )| − |D ∩ F |
= t − | supp(α− )|,
where the fourth line follows because |F r C| − |B| = t − | supp(α− )| (recall that |F | = t)
and |D r F | − |D| = −|D ∩ F |. So, we can define a map
M



et−| supp(α− )|−1 0̂, zD × lkP (z)V rC
ϕ : Hom A (K ℓ , AP )α →
C
t

supp(z)=B∪D

by ϕ(fF,m ) = (w, y) under the correspondence above.
To prove that ϕ is actually an isomorphism of vector spaces, we would like to construct
an inverse. Given some fixed z with supp(z) = B ∪ D, let (w, y) be an element of [0, zD ] ×
lkP (z)V rC of rank t − supp(α− ). First, set
F = C ∪ (supp(y) r (D r supp(w))) .

Then it is immediate that
yF ∩D = ysupp(w) = w.
Furthermore, since rk(w, y) = t − | supp(α− )| = t − |B| − |C|, we have
rk(w, y) = rk[0̂,yD ] (w) + rklkP (yB∪D ) (y)
t − |B| − |C| = | supp(w)| + | supp(y)| − |B| − |D|
t = |C| + | supp(y)| − (|D| − | supp(w)|),
10

from which it follows that |F | = t. So, if we can construct a monomial m such that the
leading variable of m is y while deg(m) = deg(x̂ℓF ) + α, then we will have constructed the
desired inverse.
Let deg(x̂ℓF ) + α = δ = (δ1 , . . . , δn ), and define p0 = min{δi : δi > 0} and S0 = {i : δi ≥
p0 }. If j > 0 and pj−1 6= max{δi : 1 ≤ i ≤ n}, then define
pj = min{δi : δi > pj−1 }

and

Sj = {i : δi ≥ pj }.

Eventually, this process terminates at some point and pℓ = max{δi : 1 ≤ i ≤ n} for some
ℓ ≥ 0. Now define
ℓ
Y
p −p
p0
m=y
ySii i−1 .
i=1

We will verify that deg(m) = δ. Fix i. Then δi = pj for some j, which means that i ∈ Sk
for k ≤ j and i 6∈ Sk for k > j. Then xi  ySk for k ≤ j, while xi 6 ySk for k > j, so
deg(ySk )i = 1 for k ≤ j and deg(ySk ) = 0 for k > j. Hence,
deg(m)i = p0 deg(y)i +

ℓ
X

(pm − pm−1 ) deg(ySm )i = p0 +

j
X

(pm − pm−1 ) = pj .

m=1

m=1

We have now shown that fF,m ∈ Hom A (Ktℓ , AP )α , and it is clear by construction that
ϕ(fF,m ) = (w, y). Hence, ϕ is a vector space isomorphism.
It remains to show that ϕ provides an isomorphism of chain complexes by verifying
that the differentials in each complex are preserved under ϕ. Let fF,m be a basis element
Q
in Hom A (K•ℓ , AP )α with m = y p ki=1 yipi . The differential on Hom A (K•ℓ , AP )α sends the
ℓ
homomorphism fF,m to a homomorphism dfF,m that maps x̂F ∪{j} ∈ Kt+1
to (−1)uj xℓj m ∈
AP for any j 6∈ F , where uj = |{i ∈ F : i < j}|. By Lemma 2.5, we can write each
(−1)uj xℓj m as
X
(−1)uj xℓj m = (−1)uj
mz ,
z∈M(xj ,y)

where mz is a standard monomial with leading variable z. Hence, each value of j contributes to dfF,m a term of the form


X
(−1)uj
fF ∪{j},mz  ,
z∈M(xj ,y)

where mz is a standard monomial with leading variable z. Then we may write d(fF,m) as


X
X
(−1)uj
fF ∪{j},mz 
d(fF,m) =
j6∈F

=

X

j∈(DrF )



z∈M(xj ,y)

(−1)uj

X



fF ∪{j},mz  +

z∈M(xj ,y)

11

X

j6∈(D∪F )



(−1)uj

X



fF ∪{j},mz  .

z∈M(xj ,y)

Choose z ∈ M(xj , y). If j ∈ D, then xj  y already because D ⊂ supp(y) and thus
z = y. Furthermore, zD∩F = yD∩F regardless of the value of j and z(D∩F )∪{j} = y(D∩F )∪{j}
if j ∈ D. Hence, applying ϕ to this expression allows for the following simplifications:




X
X
X
X
(−1)uj
(−1)uj
(ϕ ◦ d)(fF,m) =
(z(D∩F )∪{j} , z) +
(zD∩F , z)
j∈(DrF )

=

X

j6∈(D∪F )

z∈M(xj ,y)

(−1)uj (y(D∩F )∪{j} , y) +

j∈(DrF )

X

j6∈(D∪F )



(−1)uj

z∈M(xj ,y)

X



(yD∩F , z) .

z∈M(xj ,y)

(3.2)

e• ([0̂, yD ]×lkP (yB∪D )V rC )
Our final step is to show that the differential on (yD∩F , y) in C
acts the same way. First note that if w is an atom of lkP (yB∪D )V rC , then w is an element of M(xj , yB∪D ) for some j 6∈ C. Arbitrarily label the elements of M(xj , yB∪D ) by
xj 1 , xj 2 , . . . , xj |M(xj ,yB∪D )| for each j. Then by definition, we can write


|M(xj ,yB∪D )|
X
X
X X
(−1)wjk
(yD∩F , z) . (3.3)
(d ◦ ϕ)(fF,m ) =
(−1)vj (y(D∩F )∪{j} , y) +
j6∈supp(y) k=1
j6∈C

j∈(DrF )

z∈M(xj k ,y)

where vj and wj i depend upon some choice of orientations for [0̂, yD ] and lkP (yB∪D )V rC ,
respectively. Since supp(y) ∪ C = D ∪ F , the right-hand sums in (3.2) and (3.3) run over
the same values of j. On the other hand,


|M(xj ,y)|
n
n
[
[
[

M(xj , y) =
M(xj k , y) ,
j=1

j=1

k=1

so if the characteristic of k is 2 then we are done. The construction of consistent orientations for fields of other characteristics is tedious, but unavoidable. If O1 is an ordering of
the vertices in [0̂, yD ] and O2 is an ordering of the vertices in lkP (yB∪D )V rC , then
vj = |{i ∈ supp(yD∩F ) : i <O1 j}|
and
wj k = |{i ∈ supp(y) : i <O2 j k }|.

In [0̂, yD ] we will choose O1 to be the natural ordering of the vertices. To show that uj = vj
in the left sums of (3.2) and (3.3), first choose j ∈ D r F . If i ∈ D ∩ F satisfies i <O1 j,
then i < j in the natural order and i ∈ F . On the other hand, if i ∈ F satisfies i < j, then
i ∈ D by our assumption (3.1) because j ∈ D. Hence, uj = vj as desired.
We now wish to construct an ordering of the j i ’s such that wj i = wj k for any pair i, k
and such that uj = wj i for all j 6∈ (D ∪ F ). Once this is done, we will have that




j ,y)|
X
X
X
X
X |M(x
(−1)uj
(−1)wji
(yD∩F , z)
(yD∩F , z) =
j6∈supp(y)
j6∈C

i=1

j6∈supp(y)
j6∈C

z∈M(xj i ,y)

12

z∈M(xj ,y)

as desired. We choose the partial ordering O2 of the vertices of lkP (yB∪D )V rC as follows.
First, order the indices of the the vertices of V r C as
r + 1 < r + 2 < · · · < s − 1 < 1 < 2 < · · · < n,
and call this order O3 . Next order the vertices of lkP y such that (j1 )i1 < (j2 )i2 if j1 < j2
under the order O3 . In P , we have supp(y) = {j1 , j2 , . . . , j| supp(y)| } for some ji ’s with
i supp(y)|
ji ∈ (V r C). Then in lkP (yB∪D ), we have supp(y) = {j1i1 , j2i2 , . . . , j| |supp(y)|
} for some jkik ’s
i

i

with jk ∈ (V r C). In particular, no pair jkk11 , jkk22 ∈ supp(y) has k1 = k2 . Hence, the
restriction of O2 to any face of lkP (yB∪D )V rC is a linear order and O2 provides a valid
orientation for lkP (yB∪D )V rC . Under this orientation,
wj i = |{k m ∈ supp(y) : k m <O2 j i }| = |{k m ∈ supp(y) : k <O3 j}|.
Now choose j 6∈ D ∪ F . If i ∈ F is such that i < j, then i cannot be in C on account
of our assumption (3.1) and thus i ∈ supp(y) in P . Then in lkP (yB∪D )V rC , ik ∈ supp(y)
for some single value k. Furthermore, i <O3 j, so ik <O2 j m for all m. That is, uj ≤ wj m
for all m.
On the other hand, if ik ∈ supp(y) (in lkP (yB∪D )V rC ) is such that ik <O2 j m , then
i <O3 j and hence i cannot be in D. Then i ∈ F , and i < j in the natural order. Hence,
wjm ≤ uj for all m, so wjm = uj for all j and m and ϕ provides an isomorphism of chain
complexes.
Lastly, if D 6= ∅, then the CW complex corresponding to [0̂, zD ] × lkP (z)V rC is the join
of a simplex with the CW complex corresponding to lkP (z)V rC ([Bjö84, Section 3]). In
particular, it is contractible; hence, Ext iA (A/mℓ , AP )α = 0.

4
4.1

Local cohomology modules
Reproving Duval’s result

Let m = (x1 , . . . , xn ) denote the irrelevant ideal of A. From Theorem 3.1 we can quickly
obtain the dimensions of the graded pieces of the local cohomology modules Hmi (AP ), a
calculation originally completed by Duval in [Duv97, Theorem 5.9]. Here we will reprove
the result using the techniques employed by Miyazaki in the simplicial complex case in
[Miy89], allowing for an important corollary.
Theorem 4.1. If P is a simplicial poset and α ∈ Zn is such that αi ≤ 0 for all i then
M
e i−| supp(α)|−1 (lkP (w)) ,
H
(4.1)
Hmi (AP )α ∼
=
supp(w)=supp(α)

and Hmi (AP )α = 0 otherwise.

13

Proof. Since the chain of ideals m, m2 , m3 , . . . is cofinal with the chain m, m2 , m3 , . . . (that
is, for all p, there exists q and r such that mr ⊆ mp and ms ⊆ mp ), we can compute
Hmi (AP )α as the direct limit of the modules Ext iA (A/mℓ , AP )α (see [ILL+ 07, Chapter 7]).
Since Ext iA (A/mℓ , AP )α = 0 for all ℓ if αi > 0 for some i, it follows that Hmi (AP )α = 0 if
αi > 0 for some i.
Suppose now that αi ≤ 0 for all i, and choose ℓ such that 1 − ℓ ≤ αi for all i.
Then it suffices to show that the following diagram commutes, in which the diagonal
maps are the isomorphisms of Theorem 3.1 and π
e is induced by the canonical projection
π : A/mℓ+1 → A/mℓ :
π
e

Ext iA (A/mℓ , AP )α

L

Ext iA (A/mℓ+1 , AP )α

e i−| supp(α)|−1 (lkP (w)) .
H

supp(w)=supp(α)

To begin, define a map π̂ : K•ℓ+1 → K•ℓ by

ℓ
ℓ
ℓ+1
π̂(xℓ+1
i1 ∧ · · · ∧ xit ) = (xi1 · · · xit )(xi1 ∧ · · · ∧ xit ).

Then the following diagram of projective resolutions commutes
K•ℓ+1

A/mℓ+1

0

π

π̂

K•ℓ

A/mℓ

0,

so dualizing produces another commutative diagram:
Hom A (K•ℓ+1 , AP )α

Hom A (A/mℓ+1 , AP )α

π̂ ∗

0

π∗

Hom A (K•ℓ , AP )α

Hom A (A/mℓ , AP )α

0.

When taking homology to compute Ext iA (A/mℓ , AP )α and Ext iA (A/mℓ+1 , AP )α , the map
π̂ ∗ may be used to compute π
e. That is, we only need to check that the following diagram
commutes:
π̂ ∗

Hom A (Ktℓ , AP )α

Hom A (Ktℓ+1 , AP )α

(4.2)
L et−| supp(α)|−1
C
(lkP (w)) .

supp(w)=supp(α)

14

Q
Let fF,m be a basis element for Hom A (Ktℓ , AP )α , where F = {i1 , . . . , it } and m = y p ki=1 yipi
et−| supp(α)|−1 (lkP (ysupp(α) ))
with y ≻ y1 ≻ y2 ≻ · · · ≻ yk . Then fF,m corresponds to the face y in C
under the map ϕ of Theorem 3.1.
On the other hand, fF,m ◦ π̂ is the homomorphism that sends x̂ℓ+1
to (xi1 · · · xit )m and
F
all other basis elements of Ktℓ+1 to zero. Note that xij ∈ supp(y) for 1 ≤ j ≤ t because
1 − ℓ ≤ αi ≤ 0 for all i. By iterating Lemma 2.5 t times, we have (xi1 · · · xit )m = m′ where
m′ is a standard monomial in AP with leading variable y. Hence, ϕ(fF,m ) = (ϕ ◦ π̂ ∗)(fF,m )
and Diagram (4.2) commutes.
The proof of Theorem 4.1 immediately provides the following corollary, which we will
use in Section 5 to characterize Buchsbaum simplicial posets.
Corollary 4.2. If α ∈ Zn is such that 1 − ℓ ≤ αi for all i, then the canonical map
Ext iA (A/mℓ , AP )α → Hmi (AP )α
is an isomorphism for all i.

4.2

The A-module structure of Hmi (AP )

The simplicial complex analog of Theorem 4.1 counting the dimensions of the local cohomology modules Hmi (k[∆]) of a Stanley–Reisner ring k[∆] was proved first by Hochster
([Sta96, Section II.4]). Later, Gräbe ([Grä84, Theorem 2]) examined the graded module
structure of Hmi (k[∆]). Here we will prove a similar result for Hmi (AP ). First, we will need
the following simplicial poset analog of [Grä84, Lemma, p.273].
Lemma 4.3. Let P be a simplicial poset and let y ∈ P . Then
e i−| supp(y)|−1 (lkP (y)) ∼
H
= H i−1 (P, costP (y)).

ei−| supp(y)| (lkP (y)) ∼
Proof. We clearly have an isomorphism of vector spaces C
= C i (P, costP (y))
under the map ϕ : w 7→ w. To show that this is an isomorphism of chain complexes, we
must proceed as in the proof of Theorem 3.1.
Label the vertices of P by x1 , . . . , xn , and let O1 be any ordering of the vertices of P
in which the vertices contained in supp(y) come last. If w is a vertex of lkP (y), then w
is an element of M(xj , y) for some j with j 6∈ supp(y). Arbitrarily label the elements of
M(xj , y) by xj 1 , xj 2 , . . . , xj |M(xj ,y)| . Let O2 be the partial ordering of the vertices of lkP (y)
given by setting j1k1 < j2k2 if j1 <O1 j2 .
If w ∈ (P, costP (y)), then write supp(w) = {j1 , . . . , jt }. In lkP (y), we have supp(w) =
k1
{j1 , . . . , jtkt } for some ki ’s. That is, O2 is a total order when restricted to supp(w) for any
w ∈ lkP (y), so O2 provides a valid orientation for lkP (y).
In C t (P, costP (y)),


X
X
(−1)uj
δ(w) =
z
j6∈supp(w)

z∈M(xj ,w)

15

where
uj = |{i ∈ supp(w) : i <O1 j}|.
et−| supp(y)| (lkP (y)),
On the other hand, in C
δ(w) =



|M(xj ,w)|

X

X



j6∈supp(w)

(−1)vjk

k=1

X



z 

z∈M(xj k ,w)

where
vj k = |{i ∈ supp(w) : i <O2 j k }|.
Note that
[

M(xj , w) =

j6∈supp(w)

[

j6∈supp(w)

|M(x ,w)|

jk
[

M(xj k , w)
k=1

and that uj = vj k for fixed j and arbitrary k under our choice of ordering for O1 . The
result now follows.
With this lemma in hand, we are now prepared to prove our second main result.
Theorem 4.4. Let α ∈ Zn . Then
Hmi (AP )α ∼
=

M

H i−1 (P, costP (w))

supp(w)=supp(α)

if α ∈ Zn≤0 and Hmi (AP )α = 0 otherwise. Under these isomorphisms, the A-module
structure of Hmi (AP ) is given as follows. Let γ = α + deg(xj ). If αj < −1, then
·xj : Hmi (AP )α → Hmi (AP )γ corresponds to the direct sum of identity maps
M

H i−1 (P, costP (w)) →

supp(w)=supp(α)

M

H i−1 (P, costP (w)).

supp(w)=supp(γ)

If αj = −1, then ·xj corresponds to the direct sum of maps
M

H i−1 (P, costP (w)) →

supp(w)=supp(α)

M

H i−1 (P, costP (z))

supp(z)=supp(γ)

induced by the inclusions of pairs (P, costP (w r {xj })) → (P, costP (w)). If xj 6∈ supp(α),
then ·xj is the zero map.
Proof. The first statement is immediate, as it is a reformulation of Theorem 4.1 using the
isomorphisms of Lemma 4.3. Let ℓ be such that 1 − ℓ ≤ αi ≤ 0 for all i. By Corollary 4.2,
16

we only need to show that the multiplication maps above are valid for Ext tA (A/mℓ , AP )α ,
as the following diagram commutes:
Ext tA (A/mℓ , AP )α

∼

Hmt (AP )α
·xj

·xj

Ext tA (A/mℓ , AP )γ

∼

Hmt (AP )γ .

First note that if xj 6∈ supp(α), then γj = 1 so that Ext tA (A/mℓ , AP )γ = Hmt (AP )γ = 0.
Assume now that xj ∈ supp(α) and let fF,m be a basis element for Hom tA (A/mℓ , AP )α in
Q
which m = y p ki=1 yipi with y ≻ y1 ≻ y2 ≻ · · · ≻ yk .
et−| supp(α)|−1 (lkP (ysupp(α) )).
By the proof of Theorem 3.1, fF,m corresponds to the face y of C
On the other hand, xj · fF,m = fF,xj m and xj ≺ y, so by Lemma 2.5 we can write xj m as a
standard monomial m′ in which the leading variable of m′ is still y. Then fF,m′ corresponds
et−1 (P, costP (ysupp(γ) )).
to the face y of C
Suppose first that γj < 0. Then supp(α) = supp(γ), so
e t−1 (P, costP (ysupp(α) )) = C
et−1 (P, costP (ysupp(γ) ))
C

and ·xv corresponds to the identity map, as desired.
If γj = 0, then we have a map

·xv e t−1
et−1 (P, costP (ysupp(α) )) −
C
→ C (P, costP (ysupp(α)r{xj } ))

taking y to y, which is identical to the map induced by the inclusion of pairs
(P, costP (ysupp(α)r{xj } )) → (P, costP (ysupp(α) )).

5

Characterizing Buchsbaumness

Central to the historical study of simplicial complexes have been the notions of a complex
being Cohen-Macaulay or Buchsbaum. In analogy to the results of Reisner ([Rei76])
and Schenzel ([Sch81]) for simplicial complexes, we will say that a poset P is CohenMacaulay (over k) if its order complex is Cohen-Macaulay (over k) in the topological
sense; that is,
e i (lk
H
∆(P ) (F )) = 0
for all faces F ∈ ∆(P ) and all i < dim(lk∆(P ) (F )). We say that P is Buchsbaum (over k)
if it is pure and the link of every vertex of ∆(P ) is Cohen-Macaulay (over k).
There are also algebraic notions of Cohen-Macaulayness and Buchsbaumness. Let R
be a ring with maximal ideal m and let M be a noetherian R-module of dimension d. We
call a sequence of elements θ1 , . . . , θd ∈ m a system of parameters if M/(θ1 , . . . , θd )M
is a finite-dimensional vector space over k. If
(θ1 , . . . , θi−1 )M : θi = 0
17

for i = 1, . . . , d, then we say that θ1 , . . . , θd is an M-sequence. If every homogeneous
system of parameters for M is an M-sequence, then we say that M is a Cohen-Macaulay
R-module. If
(θ1 , . . . , θi−1 )M : θi = (θ1 , . . . , θi−1 )M : m
for i = 1, . . . , d, then we say that θ1 , . . . , θd is a weak M-sequence. If every homogeneous system of parameters for M is a weak M-sequence, then we call M a Buchsbaum R-module. We say that the ring R is Cohen-Macaulay (resp. Buchsbaum) if it is
Cohen-Macaulay (resp. Buchsbaum) as a module over itself. Stanley showed ([BMSW94,
Theorem 3.4, p. 314]) that the topological notion of Cohen-Macaulayness is tied to this
algebraic property (proofs of the forward direction appear frequently in the literature, but
we have had trouble finding a proof of the reverse; however, it does follow quickly from
Duval’s results, e.g., [Duv97, Corollary 6.1]):
Theorem 5.1. Let P be a simplicial poset. Then P is Cohen-Macaulay as a poset over
if and only if AP is a Cohen-Macaulay ring.

k

In fact, an additional characterization is that AP is a Cohen-Macaulay A-module.
Our next goal is obtaining an analogous characterization for the Buchsbaum property. To
prove our result, we will need the following homological characterization of Buchsbaumness
([SV86, Theorem I.3.7]):
Theorem 5.2. Let k be an infinite field and let M be a graded A-module with dim(M) > 0.
Then M is a Buchsbaum A-module if and only if the canonical maps
Ext iA (k, M) → Hmi (M)
are surjective for i < dim(M).
Along with Theorem 4.4 and Corollary 4.2, this result will provide a quick proof of the
following generalization of [SV86, Theorem II.2.4], the forward direction of which appeared
first as [NS09, Proposition 6.2]:
Theorem 5.3. Let P be a simplicial poset. Then P is Buchsbaum as a poset if and only
if AP is a Buchsbaum A-module.
Proof. Suppose first that P is a Buchsbaum poset. Under the isomorphisms
∼ ei
∼ ei
e i (lk
H
∆(P ) (F )) = H (∆(lkP (w))) = H (lkP (w))

(5.1)

for F a saturated chain in (0̂, w], by Theorem 4.1 along with the purity of P , Hmi (AP )
is concentrated in degree zero for i < dim(AP ). By Corollary 4.2, the canonical map
Ext iA (k, AP )0 → Hmi (AP )0 is always an isomorphism. Hence, AP satisfies the conditions
of Theorem 5.2 and AP is a Buchsbaum A-module.
18

Now suppose that AP is a Buchsbaum A-module, and for the moment assume that P
is pure. By [SV86, Corollary I.2.4], m · Hmi (AP ) = 0 for all i 6= dim AP . By Theorem 4.4
and purity, this is only possible if
e i (lkP (y)) = 0
H

for all y 6= ∅ in P and all i < dim(lkP (y)). Then once more, the isomorphisms in (5.1)
e i (lk
imply that H
∆(P ) (F )) = 0 for all faces F 6= ∅ of ∆(P ) and all i < dim(lk∆(P ) (F )). In
particular, lk∆(P ) (v) is Cohen-Macaulay for each vertex v of ∆(P ).
It remains to show that P is pure. Suppose to the contrary that there exists some
maximal face y ∈ P with dim(y) = k, while dim(P ) = d − 1 and k < d − 1. Note first that
e −1 (lkP (y)) 6= 0.
H
Let α ∈ Zn be such that supp(α) = supp(α) + ei = supp(y) for some ei . By Theorem
e −1 (lkP (y)) is a submodule of H k+1(AP )α . Furthermore, the multiplication map
4.1, H
m
·xi : Hmk+1(AP )α → Hmk+1(AP )α+ei is the identity map on this summand by Theorem 4.4.
Then m · Hmk+1(AP ) 6= 0 and k + 1 < dim(AP ), which contradicts [SV86, Corollary I.2.4].
Hence, P must be pure.

6

Comments and further applications

Our Theorem 4.4 detailing the A-module structure of Hmi (AP ) has the potential to extend
many results about simplicial complexes relying upon Gräbe’s theorem to the simplicial
poset case. For example, many of the theorems for face rings of simplicial complexes with
isolated singularities found in [MNS11], [NS12], and [Saw] appear likely to be true in this
greater generality.
On the other hand, Theorems 3.1 and 4.4 may be worth further specializing in their
own right. Simplicial posets come about frequently as quotients of simplicial complexes by
free group actions (see [GS84, Section 6]). It has been shown in [Saw17] that the Ext- and
local cohomology modules of a simplicial complex admitting a free action by an abelian
group inherit some nice symmetry properties. It would be interesting to see to what extent
these results continue to hold in the simplicial poset case.

Acknowledgments
The author was partially supported by NSF grants DMS-1361423 and DMS-1664865. I
am very grateful to Isabella Novik for many helpful suggestions and guidance during the
writing of this paper, as well as to Satoshi Murai for additional comments. Finally, I would
like to thank Tim Römer for pointing me toward his previous related research with Morton
Brun and Winfried Bruns.
19

References
[BBR07]

Morten Brun, Winfried Bruns, and Tim Römer. Cohomology of partially
ordered sets and local cohomology of section rings. Adv. Math., 208(1):210–
235, 2007.

[Bjö84]

A. Björner. Posets, regular CW complexes and Bruhat order. European J.
Combin., 5(1):7–16, 1984.

[BK14]

Jonathan Browder and Steven Klee. A classification of the face numbers of
Buchsbaum simplicial posets. Math. Z., 277(3-4):937–952, 2014.

[BMSW94] T. Bisztriczky, P. McMullen, R. Schneider, and A. Ivić Weiss, editors. Polytopes: abstract, convex and computational, volume 440 of NATO Advanced
Science Institutes Series C: Mathematical and Physical Sciences. Kluwer Academic Publishers Group, Dordrecht, 1994.
[BR08]

Morten Brun and Tim Römer. On algebras associated to partially ordered
sets. Math. Scand., 103(2):169–185, 2008.

[Duv97]

Art M. Duval. Free resolutions of simplicial posets. J. Algebra, 188(1):363–399,
1997.

[Grä84]

Hans-Gert Gräbe. The canonical module of a Stanley-Reisner ring. J. Algebra,
86(1):272–281, 1984.

[GS84]

A. M. Garsia and D. Stanton. Group actions of Stanley-Reisner rings and
invariants of permutation groups. Adv. in Math., 51(2):107–201, 1984.

[Hat02]

Allen Hatcher. Algebraic topology. Cambridge University Press, Cambridge,
2002.

[HH11]

Jürgen Herzog and Takayuki Hibi. Monomial ideals, volume 260 of Graduate
Texts in Mathematics. Springer-Verlag London, Ltd., London, 2011.

[ILL+ 07]

Srikanth B. Iyengar, Graham J. Leuschke, Anton Leykin, Claudia Miller, Ezra
Miller, Anurag K. Singh, and Uli Walther. Twenty-four hours of local cohomology, volume 87 of Graduate Studies in Mathematics. American Mathematical
Society, Providence, RI, 2007.

[LW69]

A.T. Lundell and S. Weingram. The topology of CW complexes. The University Series in Higher Mathematics. New York etc.: Van Nostrand Reinhold
Company. VIII, 216 p. (1969)., 1969.

[Mas05]

Mikiya Masuda. h-vectors of Gorenstein∗ simplicial posets.
194(2):332–344, 2005.
20

Adv. Math.,

[Miy89]

Mitsuhiro Miyazaki. Characterizations of Buchsbaum complexes. Manuscripta
Math., 63(2):245–254, 1989.

[MNS11]

Ezra Miller, Isabella Novik, and Ed Swartz. Face rings of simplicial complexes
with singularities. Math. Ann., 351(4):857–875, 2011.

[Mur13]

Satoshi Murai. Face vectors of simplicial cell decompositions of manifolds.
Israel J. Math., 195(1):187–213, 2013.

[NS09]

Isabella Novik and Ed Swartz. Socles of Buchsbaum modules, complexes and
posets. Adv. Math., 222(6):2059–2084, 2009.

[NS12]

Isabella Novik and Ed Swartz. Face numbers of pseudomanifolds with isolated
singularities. Math. Scand., 110(2):198–222, 2012.

[Rei76]

Gerald Allen Reisner. Cohen-Macaulay quotients of polynomial rings. Advances in Math., 21(1):30–49, 1976.

[Saw]

Connor Sawaske. Almost Buchsbaumness of some rings arising from complexes
with isolated singularities. J. Commut. Algebra. to appear.

[Saw17]

Connor Sawaske. Stanley-Reisner rings of Buchsbaum complexes with a free
action by an abelian group. ArXiv e-prints, June 2017. arXiv:1706.06506.

[Sch81]

Peter Schenzel. On the number of faces of simplicial complexes and the purity
of Frobenius. Math. Z., 178(1):125–142, 1981.

[Sta91]

Richard P. Stanley. f -vectors and h-vectors of simplicial posets. J. Pure Appl.
Algebra, 71(2-3):319–331, 1991.

[Sta96]

Richard P. Stanley. Combinatorics and commutative algebra, volume 41 of
Progress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, second edition, 1996.

[SV86]

Jürgen Stückrad and Wolfgang Vogel. Buchsbaum rings and applications, volume 21 of Mathematische Monographien [Mathematical Monographs]. VEB
Deutscher Verlag der Wissenschaften, Berlin, 1986. An interaction between
algebra, geometry, and topology.

[Yan11a]

Kohji Yanagawa. Dualizing complex of the face ring of a simplicial poset. J.
Pure Appl. Algebra, 215(9):2231–2241, 2011.

[Yan11b]

Kohji Yanagawa. Higher Cohen-Macaulay property of squarefree modules and
simplicial posets. Proc. Amer. Math. Soc., 139(9):3057–3066, 2011.

21

