HOMOTOPY INVARIANT COMMUTATIVE ALGEBRA OVER FIELDS

arXiv:1601.02473v1 [math.AC] 11 Jan 2016

J.P.C. GREENLEES
Abstract. This article grew out of lectures given in the programme ‘Interactions between
Representation Theory, Algebraic Topology and Commutative Algebra’ (IRTATCA) at the
CRM (Barcelona) in Spring 2015. They give some basic homotopy invariant definitions in
commutative algebra and illustrate their interest by giving a number of examples.

Contents
Part
1.
2.
3.
4.
5.

1. Context
Introduction
Ring and module spectra I (motivation)
Ring and module spectra II (construction)
The three examples
Finiteness conditions

2
2
5
7
10
12

Part
6.
7.
8.

2. Morita equivalences
Morita equivalences
Proxy-smallness in the examples
Exterior algebras

13
13
18
19

Part 3. Regular rings
9. Regular ring spectra
10. Finite generation

21
21
25

Part
11.
12.
13.
14.
15.
16.

27
27
29
31
32
35
37

4. Hypersurface rings
Complete intersections
Hypersurfaces in algebra
Bimodules and natural endomorphisms of R-modules
Hypersurface ring spectra
s-hypersurface spaces and z-hypersurface spaces
Growth of z-hypersurface resolutions

Part 5. Gorenstein rings
17. The Gorenstein condition
18. Gorenstein duality

37
37
38

I am grateful to the CRM and the Simons Foundation for the opportunity to spend time in the stimulating
environment at the CRM during the IRTATCA programme, and to give these lectures.
1

19. Ascent, descent and arithmetic of shifts
20. Morita invariance of the Gorenstein condition
21. Gorenstein duality for group cohomology
22. Gorenstein duality for rational spaces
23. The ubiquity of Gorenstein ring spectra
Appendix A. Algebraic definitions: Local and Čech cohomology and homology
Appendix B. Spectral analogues of the algebraic definitions
Appendix C. Completion at ideals and Bousfield localization
Appendix D. Localization away from ideals and Bousfield localization
References

41
45
46
49
51
52
56
57
59
60

Part 1. Context
1. Introduction
1.A. The lectures. The purpose of these lectures is to illustrate how powerful it can be
to formulate ideas of commutative algebra in a homotopy invariant form. The point is that
it shows the concepts are robust, in the sense that they are invariant under deformations.
They can then be applied to derived categories of rings, but of course derived categories of
rings are just one example of a homotopy category of a stable model category. In short,
these ideas are powerful in classical algebra, in representation theory of groups, in classical
algebraic topology and elsewhere. We will focus on the fact that this includes many striking
new examples from topology.
Indeed, our principal example will be that arising from a topological space X, which is
to say we will work over the ring R = C ∗ (X; k) of cochains on a space X with coefficients
in a field k. Of course this is a rather old idea, applied in rational homotopy theory to
give a very rich theory and many interesting examples. The key is that R needs to be
commutative: classically, one needs to work over the rationals so that there is a commutative
model for cochains (coming from piecewise polynomial differential forms). It is well known
that there is no natural model for C ∗ (X; k) which is a commutative differential graded algebra
(commutative DGA) if k is not of characteristic 0, since the Steenrod operations (which do
not usually vanish) are built out of the non-commutativity. However, there is a way round
this, since we can relax our requirements for what we consider a model. Instead of requiring
DGAs, we permit R to be a commutative ring spectrum in the sense of homotopy theory
(see Section 3 for a brief introduction). There is then a commutative model for cochains;
we will continue to use the notation C ∗ (X; k) even though it is now a ring spectrum rather
than a DGA.
This may be our principal example, but actually it is a very restricted one. It is like
restricting graded commutative rings to be negatively graded k-algebras. We will hint at a
number of examples coming from derived algebraic geometry.
The main point of the lectures is to give some interesting examples, and the main source
of examples will be modular representation theory and group cohomology. In fact, the focus
2

will be on examples picked out by requiring the ring spectrum to be well behaved in terms of
commutative algebra: we look for regular, complete intersection or Gorenstein ring spectra.
As one expects from commutative algebra, regular ring spectra are very restricted and can
sometimes even be classified. One also expects to be able to parametrise complete intersections in some sense, although our present account just mentions a few isolated examples.
Finally, just as is the case for conventional commutative rings, the class of Gorenstein ring
spectra has proved ubiquitous. We shall see examples from representation theory, from chromatic stable homotopy theory and from rational homotopy theory, and one of the distinctive
contributions is to emphasize duality.
1.B. 54321. It may be worth bearing in mind the following correspondences, which suggest
useful ways to think about the material here.
The pentagon: We may summarize sources examples and the relationship between them
in a diagram. The emphasis here will be on commutative algebra and spaces.
Commutative Algebra
k❱

❱❱❱❱
❱❱❱❱
❱❱❱❱❱
❱❱❱❱ X
❱8

DAG

Chromatic homotopy theory
Representation theory of G 

Spaces and DGAs
over Q
_

/



Topological spaces

The square: It is worth bearing in mind the dual points of view of geometric objects
and rings of functions on them, and the way the global picture is built up out of points. Our
present account focuses on the local rings at the bottom right, but it can be illuminating to
consider the wider context.
Geometry
Global

XO o

Local

Xx o

Algebra

/

?

/

OO X
?

OX,x

C ∗ (X; k)

X

The three classes: our focus is on the following hierarchy of local rings.
Regular 


/

Complete Intersection 


/

Gorenstein

The dual pair: even though our focus is on commutative rings, we make constant use of
the freedom to use Morita theory to transpose properties into the non-commutative context.
Commutative o
/
3

Non-commutative

It is the purpose of the present article to give an account of these objects and points of view
as a
unified whole.
1.C. Organization. The article is organized into five parts. In Part 1 we introduce the
context of ring spectra and modules over them, together with our three main classes of
examples (commutative rings, spaces and representation theory) and the basic finiteness
conditions.
In Part 2 (Sections 6 to 8) we describe the basic Morita equivalences between commutative
and non-commutative contexts, discuss our fundamental finiteness condition and illustrate
its power by considering the richness of exterior algebras.
We then turn to our hierarchy of local rings. In Part 3 (Sections 9 and 10) we consider
regular ring spectra; the principle of considering definitions in three styles (structural, growth
or module theoretic) recurs later, and the good behaviour of modules over regular rings is
used later to give a definition of ‘finitely generated’ modules for many ring spectra.
In Part 4 (Sections 11 to 16) we consider hypersurface ring spectra. We spend a little time
recalling the classical algebraic theory before introducing the definitions for ring spectra,
illustrating it with examples and explaining how the different versions are related.
Finally in Part 5 (Sections 17 to 23) we consider Gorenstein ring spectra, and the duality
properties they often enjoy. We describe the basic tools for Gorenstein ring spectra and
illustrate them by explaining many known examples (especially those from representation
theory and rational homotopy theory). The rich and attractive dualities that appear make
this a highlight.
A series of appendices recalls notation and basic properties of local cohomology and derived
completion.
Each part starts with a more detailed description of its contents.
1.D. Sources. Much of this account comes from joint work [33, 32, 21, 22, 55, 54] and
other conversations with D.J.Benson, W.G.Dwyer, K.Hess, S.B. Iyengar and S. Shamir, and
I would like to thank them for their collaboration and inspiration.
We summarize some relevant background, but commutative algebraists may find the articles [52] and [53] from the 2004 Chicago Workshop useful. General background in topology
may come from [84] and in conventional commutative algebra from [83, 28].
It is worth emphasizing that this is a vast area, and these lectures will just focus on a
tiny part corresponding to local k-algebras. In particular we will not touch on arithmetic or
geometric aspects of the theory, such as the Galois theory of J. Rognes, Brauer groups, or
derived algebraic geometry.
1.E. Conventions. We’ll generally denote rings and ring spectra by letters like, Q, R and S.
Ring homomorphisms will generally go in reverse alphabetical order, as in S −→ R −→ Q.
Modules will be denoted by letters like L, M, N, . . ..
The ring of integers (initial amongst conventional rings) is denoted Z. The sphere spectrum
(initial amongst ring spectra) is denoted S.
4

After the inital sections we will use the same notation for a conventional ring and the
associated Eilenberg-MacLane spectrum. Similarly for modules.
Generally, M ⊗R N will denote the left derived tensor product, and HomR (M, N) the
module of derived homomorphisms. Similarly, fibre sequences, cofibre sequences, pullbacks
and pushouts will be derived.
1.F. Grading conventions. We will have cause to discuss homological and cohomological
gradings. Our experience is that this is a frequent source of confusion, so we adopt the
following conventions. First, we refer to lower gradings as degrees and upper gradings as
codegrees. As usual, one may convert gradings to cogradings via the rule Mn = M −n . Thus
both chain complexes and cochain complexes have differentials of degree −1 (which is to say,
of codegree +1). This much is standard. However, since we need to deal with both homology
and cohomology it is essential to have separate notation for homological suspensions (Σi )
and cohomological suspensions (Σi ): these are defined by
(Σi M)n = Mn−i and (Σi M)n = M n−i .
Thus, for example, with reduced chains and cochains of a based space X, we have
C∗ (Σi X) = Σi C∗ (X) and C ∗ (Σi X) = Σi C ∗ (X).
2. Ring and module spectra I (motivation)
Most of the generalities can take place in any category with suitable formal structure: we
need a symmetric monoidal product so that we can discuss rings and modules over them,
and we need to be able to form tensor products over a commutative ring, and we will want a
homotopy theory which is stable so that we can form a triangulated homotopy category. In
fact we will work with a category of spectra in the sense of homotopy theory; the construction
is sketched in Appendix 3, and the present section gives a brief orientation. A more extensive
introduction designed for commutative algebraists is given in [52].
2.A. Additive structure. We may start from the observation that the homotopy theory
of highly connected spaces is simpler than that of general spaces. By suspending a space we
may steadily simplify the homotopy theory, but because cohomology theories have suspension
isomorphisms, we do not lose any additive cohomological information: spectra capture the
limit of this process. Thus spectra are a sort of abelianization of spaces where behaviour
has a more algebraic formal flavour. Associated to any based space X there is a suspension
spectrum, and arbitrary spectra can be built from those of this form. The other important
source of spectra is as the representing objects for cohomology theories. If E ∗ (X) is a
contravariant functor of a based space X which satisfies the Eilenberg-Steenrod axioms,
then there is a spectrum E so that the equation
E ∗ (X) = [X, E]∗
holds. This has the usual benefits that one can then apply geometric constructions to
cohomology theories and one can argue more easily by universal examples.
5

2.B. Multiplicative structure. Having taken the step of representing cohomology theories
by spectra, one may ask if good formal behaviour of the functor E ∗ (·) is reflected in the
representing spectrum E. For our purposes the most important piece of structure is that of
being a commutative ring, and we would like to say that a cohomology theory whose values
on spaces are commutative rings is represented by a spectrum which is a commutative ring
in the category of spectra. This is true remarkably often.
In order to do homotopy theory we need a Quillen model structure on the category of
spectra, and to have commutative rings in this setting we need a symmetric monoidal smash
product, with unit the sphere spectrum S (the suspension spectrum of the two point space
S 0 ), so that the two structures are compatible in a way elucidated by Schwede and Shipley
[91]. In retrospect it seems strange that such models were not constructed until the 1990s,
but several such models are now known, and they give equivalent theories. We sketch the
construction of symmetric spectra in Section 3.
In this context, it makes sense to ask for a cohomology theory to be represented by a
commutative ring spectrum R (i.e., R comes with a multiplication map µ : R ∧ R −→ R
and a unit map S −→ R making R into a commutative monoid). Many of the important
examples do have this structure. The most obvious example from this point of view is the
sphere spectrum S itself. This is the initial ring in the category of spectra, and the smash
product plays the role of tensor product over S. We will describe a number of examples
below, but for the present we continue with the general formalism just assuming that R is a
commutative ring spectrum.
2.C. Modules. We may consider module spectra over R, and there is a model category
structure on R-modules; furthermore, since R is commutative, there is a tensor product of
R-modules formed in the usual way from the tensor product over the initial ring S (i.e.,
as the coequalizer of the two maps M ⊗S R ⊗S N −→ M ⊗S N). From the good formal
properties of the original category, this category of R-modules is again a model category
with a compatible symmetric monoidal product. This has an associated homotopy category
Ho(R − mod) and will be the context in which we work.
2.D. Reverse approach. Commutative algebraists may approach spectra from the algebraic direction. Traditional commutative algebra considers commutative rings A and modules over them, but some constructions make it natural to extend further to considering
chain complexes of A-modules; the need to consider robust, homotopy invariant properties
leads to the derived category D(A). Once we admit chain complexes, it is natural to consider
the corresponding multiplicative objects, differential graded algebras (DGAs). Although it
may appear inevitable, the real justification for this process of generalization is the array of
naturally occurring examples.
The use of spectra is a natural extension of this process. Shipley has shown [92] that
associated to any DGA A there is a ring spectrum HA, so that the derived category D(A)
is equivalent to the homotopy category of HA-module spectra. Accordingly we can view
ring spectra as generalizations of DGAs and categories of module spectra as flexible generalizations of the derived category. Ring spectra extend the notion of rings, module spectra
6

extend the notion of (chain complexes of) modules over a ring, and the homotopy category
of module spectra extends the derived category. Many ring theoretic constructions extend
to ring spectra, and thus extend the power of commutative algebra to a vast new supply
of naturally occurring examples. Even for traditional rings, the new perspective is often
enlightening, and thinking in terms of spectra makes a number of new tools available. Once
again the only compelling justification for this inexorable process of generalization is the
array of interesting, naturally occurring examples, some of which will be described later in
these lectures.
3. Ring and module spectra II (construction)
The purpose of this section is to outline the construction of symmetric spectra. The details
will not be needed for the lectures, and readers familiar with spectra can comfortably omit
it. The point is to reassure readers that spectra are rather concrete objects.
3.A. Naive spectra. This subsection is designed to explain the idea behind spectra: where
they came from and why they were invented. Those already familiar spectra should skip
directly to Subsection 3.B, which describes symmetric spectra.
The underlying idea is that spectra are just stabilised spaces and the bonus is that they
represent cohomology theories. This definition is perfectly good for additive issues, but it
does not have a symmetric monoidal smash product, so is not adequate for commutative
algebra.
Definition 3.1. A spectrum E is a sequence of based spaces Ek for k ≥ 0 together with
structure maps
σ : ΣEk → Ek+1 ,
where ΣEk = S 1 ∧ Ek is the topological suspension. A map of spectra f : E → F is a
sequence of maps so that the squares
Σf

k
ΣEk −→
ΣFk
↓
↓

fk+1

Ek+1 −→ Fk+1
commute for all k.
Example 3.2. If X is a based space we may define the suspension spectrum Σ∞ X to have
kth term Σk X with the structure maps being the identity.
Remark: It is possible to make a definition of homotopy immediately, but this does not work
very well for arbitrary spectra. Nonetheless it will turn out that for finite CW-complexes K,
maps out of a suspension spectrum can be easily described. We reserve [·, ·] for homotopy
classes of maps between spectra (sometimes called ‘stable maps’), so we write [A, B]un for
homotopy classes of (unstable) maps from a based space A to a based space B. With this
notation, we have
[Σ∞ K, E] = lim [Σk K, Ek ]un .
→ k

7

In particular
πn (E) := [Σ∞ S n , E] = lim [S n+k , Ek ]un .
→ k

∞

For example if E = Σ L for a based space L, we obtain a formula for the stable homotopy
groups of L
πn (Σ∞ L) = lim [Σk S n , Σk L]un ,
→ k

By the Freudenthal suspension theorem, this is the common stable value of the groups
[Σk S n , Σk L]un for large k. Thus spectra have captured stable homotopy groups.
Construction 3.3. We can suspend spectra by any integer r, defining Σr E by
(
Ek−r
k−r ≥0
r
(Σ E)k =
pt
k − r < 0.
Notice that if we ignore the first few terms, Σr is inverse to Σ−r . Homotopy groups
involve a direct limit and therefore do not see these first few terms. Accordingly, once we
invert homotopy isomorphisms, the suspension functor becomes an equivalence of categories.
Because suspension is an equivalence, we say that we have a stable category.
Example 3.4. (Sphere spectra) We write S = Σ∞ S 0 for the 0-sphere because of its special
role, and then for an arbitrary integer r we define
S r = Σr S.
Note that S r now has meaning for a space and a spectrum for r ≥ 0, but since we have an
isomorphism S r ∼
= Σ∞ S r of spectra for r ≥ 0 the ambiguity is not important. We extend
this ambiguity, by often suppressing Σ∞ .
Example 3.5. Eilenberg-MacLane spectra. An Eilenberg-MacLane space of type (M, k)
for an abelian group M and k ≥ 0 is a CW-complex K(M, k) with πk (K(M, k)) = M
and πn (K(M, k)) = 0 for n 6= k; any two such spaces are homotopy equivalent. It is well
known that in each degree ordinary cohomology is represented by an Eilenberg-MacLane
space. Indeed, for any CW-complex X, we have H k (X; )M = [X, K(M, k)]un . In fact, this
sequence of spaces, as k varies, assembles to make a spectrum.
To describe this, first note that the suspension functor Σ is defined by smashing with the
circle S 1 , so it is left adjoint to the loop functor Ω defined by ΩX := map(S 1 , X) (based
loops with the compact-open topology). In fact there is a homeomorphism
map(ΣW, X) = map(W ∧ S 1 , X) ∼
= map(W, map(S 1 , X)) = map(W, ΩX)
This passes to homotopy, so looping shifts homotopy in the sense that πn (ΩX) = πn+1 (X).
We conclude that there is a homotopy equivalence
≃

σ̃ : K(M, k) → ΩK(M, k + 1),
and hence we may obtain a spectrum
HM = {K(M, k)}k≥0
8

where the bonding map
σ : ΣK(M, k) → K(M, k + 1)
is adjoint to σ̃. Thus we find
[Σr Σ∞ X, HM] = lim [Σr Σk X, K(M, k)]un = lim H k (Σr Σk X; M) = H −r (X; M).
→ k

→ k

In particular the Eilenberg-MacLane spectrum has homotopy in a single degree like the
spaces from which it was built:
(
M k=0
πk (HM) =
0 k 6= 0.
3.B. Symmetric spectra [74, 89]. Symmetric spectra give an elementary and combinatorial construction of a symmetric monoidal category of spectra. This is excellent for an immediate access to the formal properties, but to be able to calculate with symmetric spectra
and to relate them to the rest of homotopy theory one needs to understand the construction
of the homotopy category. This is somewhat indirect, and Subsection 3.A was intended as a
motivational substitute.
It is usual to give a fully combinatorial construction of symmetric spectra, by basing them
on simplicial sets rather than on topological spaces.
Definition 3.6. (a) A symmetric sequence is a sequence
E0 , E1 , E2 , . . . ,
of pointed simplicial sets with basepoint preserving action of the symmetric group Σn on En .
(b) We may define a tensor product E ⊗ F of symmetric sequences E and F by
_
(E ⊗ F )n :=
(Σn )+ ∧Σp ×Σq (Xp ∧ Yq ),
p+q=n

where the subscript + indicates the addition of a disjoint basepoint.

It is elementary to check that this has the required formal behaviour.
Lemma 3.7. The product ⊗ is symmetric monoidal with unit
(S 0 , ∗, ∗, ∗, . . . ).
Example 3.8. The sphere is the symmetric sequence S := (S 0 , S 1, S 2 , . . . ). Here S 1 =
∆1 /∆1 is the simplicial circle and the higher simplicial spheres are defined by taking smash
powers, so that S n = (S 1 )∧n ; this also explains the actions of the symmetric groups.
It is elementary to check that the sphere is a commutative monoid in the category of
symmetric sequences.
Definition 3.9. A symmetric spectrum E is a left S-module in symmetric sequences.
Unwrapping the definition, we see that this means E is given by
(1) a sequence E0 , E1 , E2 , . . . of simplicial sets,
(2) maps σ : S 1 ∧ En → En+1 , and
(3) basepoint preserving left actions of Σn on En which are compatible with the actions
in the sense that the composite maps S p ∧ En → En+p are Σp × Σn equivariant.
9

Definition 3.10. The smash product of symmetric spectra is
E ∧S F := coeq(E ⊗ S ⊗ F

//

E ⊗ F ).

Proposition 3.11. The tensor product over S is a symmetric monoidal product on the
category of symmetric spectra.
It is now easy to give the one example most important to commutative algebraists.
Example 3.12. For any abelian group M, we define the Eilenberg-MacLane symmetric
spectra. For a set T we write M ⊗ T for the T -indexed sum of copies of M; this is natural for
maps of sets and therefore extends to an operation on simplicial sets. We may then define
˜ 0 , M ⊗S
˜ 1 , M ⊗S
˜ 2 , . . . ), where
the Eilenberg-MacLane symmetric spectrum HM := (M ⊗S
˜ means the tensor product of an abelian group and a simplicial set with the basepoint
⊗
generator set to zero. It is elementary to check that if R is a commutative ring, then HR
is a monoid in the category of S-modules, and if M is an R-module, HM is a module over
HR.
Next one may define the stable model structure on symmetric spectra; this is done in
several steps (Section 3 of [74]), but we may summarise it by saying that the weak equivalences (“stable equivalences”) are maps f : X −→ Y which induce isomorphisms in all
cohomology theories. The homotopy category of symmetric spectra is obtained by inverting
stable equivalences.
4. The three examples
The point of the present section is to introduce our three basic classes of examples. Classical commutative local Noetherian rings, rational cochains on simply connected spaces and
mod p cochains on classifying spaces of finite groups.
The importance of the category of symmetric spectra [74] is that it admits a symmetric
monoidal smash product compatible with the model structrures. Given this, we can start to
do algebra with spectra: choose a ring spectrum R (i.e., a monoid in the category of spectra),
form the category of R-modules or R-algebras and then pass to homotopy. We may then
attempt to use algebraic methods and intuitions to study R and its modules.
4.A. Classical commutative algebra. We explain why the classical derived category is
covered by the context of spectra.
In Section 3 we described a functorial construction for symmetric spectra taking an abelian
group M and giving the Eilenberg-MacLane spectrum HM, which is characterised up to
homotopy by the property that π∗ (HM) = π0 (HM) = M. For symmetric spectra the construction is lax symmetric monoidal, so that if A is a commutative ring, HA is a commutative
ring spectrum. Furthermore the construction gives a functor A-modules −→ HA-modules.
Passage to homotopy groups gives a functor Ho(HA−mod) → Ho(A-modules) = D(A) and
in fact the model categories are equivalent.
Theorem 4.1. (Shipley [92, 1.1, 2.15]) There is a Quillen equivalence between the category
of differential graded Z-algebras and the category of HZ-algebras in spectra.
10

If we choose a DGA A and the corresponding HZ-algebra HA, there is a Quillen equivalence between the category of A-modules and the category of HA-modules, and hence in
particular a triangulated equivalence
D(A) = Ho(A-modules) ≃ Ho(HA-modules) = D(HA)
of derived categories.
The commutative case is complicated by the fact that there are no model structures on
commutative algebras in general. However, if A is commutative, HA may be taken to
be commutative and the Quillen equivalence between A-modules and HA-modules, tensor
products over A and over HA correspond.
We sometimes use Shipley’s result to excuse the omission of the letter H indicating spectra.
In this translation homology in the classical context of chain complexes corresponds to
homotopy in the context of spectra: H∗ (M) = π∗ (HM).
Now that we can view classical commutative rings as commutative ring spectra, we can
attempt to extend classical notions to the context of spectra. From one point of view, we
should first attempt to understand the analogues of local rings before attempting to look at
more geometrically complicated ones. Accordingly, in most of the lectures we will assume
the commutative ring A is local, with residue field k.
4.B. Cochains on a space. In the category of spectra, we may solve the commutative
cochain problem. More precisely, for any space X and a commutative ring k, we may form
the function spectrum C ∗ (X; k) = map(Σ∞ X+ , Hk). It is obviously an Hk-module, and we
may combine the commutative multiplication on Hk with the cocommutative diagonal on
X+ to see that C ∗ (X; k) is a commutative Hk-algebra. The notation is chosen because it is
a model for the cochains in the sense
π∗ (map(Σ∞ X, Hk)) = H ∗ (X; k).
The commutative algebra of C ∗ (X; k) is one of the main topics for these lectures, and we
will omit the coefficient ring k when it is clear from the context.
We then use algebraic behaviour of this commutative ring to pick out interesting classes
of spaces. In accordance with the principle that C ∗ (X; k) is a sort of ring of functions on
X, we simplify terminology and say that X has a property P over k if the commutative ring
spectrum C ∗ (X; k) has the property P.
We will focus particularly on two special cases.
Example 4.2. (Rational case.) We will refer to the special case k = Q with X simply
connected as the rational case. Indeed this may be treated by classical means with the ThomSullivan construction of piecewise polynomial forms giving a commutative DGA model for
C ∗ (X; Q). There is an enormous literature studying rational homotopy theory by homotopy
invariant commutative algebra methods. The book [42] of Félix, Halperin and Thomas is an
excellent starting point. The ‘Looking glass’ paper [12] expounds the philosophy that algebra
and topology are imperfect reflections of each other and gives numerous profound examples
of it. Because we permit more general ring spectra, we are more restricted in theorems but
have a larger range of examples.
11

Example 4.3. (Modular representation theory.) We will also focus particularly on the case
k = Fp , when X = BG for a finite group G. We recall that the classifying space BG of
principal G-bundles is characterised (when G is finite) by the fact that it has fundamental
group G and all other homotopy groups trivial. The interest in this special case comes from
the fact that its coefficient ring
π∗ (C ∗ (BG; Fp )) = H ∗ (BG; Fp ) = Ext∗Fp G (Fp , Fp )
is the group cohomology ring.
There is an operation of p-completion due to Bousfield-Kan [26] which behaves well for
a large class of spaces (the p-good spaces). In particular, all connected spaces with finite
fundamental group are p-good, which will cover our examples. For p-good spaces C ∗ (X; Fp ) =
C ∗ (Xp∧ ; Fp ), and accordingly we will generally assume that X is p-complete when k = Fp .
The space X = BG is already p-complete if G is a p-group, but in general BG∧p has infinitely
many homotopy groups and its funademental group is the largest p-quotient of G.
5. Finiteness conditions
The point of this section is to introduce a variety of finiteness conditions we may impose.
The essential limitation of all we do is that it is based on local rings in commutative algebra.
We will not discuss the new and interesting features that can arise when there are many
maximal ideals.
Context 5.1. The main input is a map R −→ k of ring spectra with notation suggested by
the case when R is commutative local ring with residue field k.
For the most part, we work in the homotopy category Ho(R-mod) of left R-modules.
5.A. New modules from old. Two construction principles will be important to us. The
terminology comes from Dror-Farjoun [30], but in our stable context the behaviour is rather
simpler.
If M is an R-module we say that X is built from M (and write M ⊢ X) if X can be formed
from M by completing triangles, taking coproducts and retracts (i.e., X is in the localizing
subcategory generated by M). We refer to objects built from M as M-cellular, and write
Cell(R, M) for the resulting full subcategory of Ho(R-mod). An M-cellular approximation of
X is a map CellM (X) −→ X where CellM (X) is M-cellular and the map is an HomR (M, ·)equivalence.
We say that X is finitely built from M (and write M |= X) if only finitely many steps and
finite coproducts are necessary (i.e., X is in the thick subcategory generated by M).
Finally, we say that X is cobuilt from M if X can be formed from M by completing
triangles, taking products and retracts (i.e., X is in the colocalizing subcategory generated
by M).
5.B. Finiteness conditions. We say M is small if the natural map
M
M
[M, Nα ] −→ [M,
Nα ]
α

α

12

is an isomorphism for any set of R-modules Nα . Smallness is equivalent to being finitely
built from R. It is easy to see that any module finitely built from R is small. For the reverse
implication we use the fact that we can build an R-cellular approximation Cell(R, M) −→ M;
this is an equivalence, and by smallness, M is a retract of a finitely built subobject of
Cell(R, M).
We sometimes require that k itself is small, but this is an extremely strong condition on
R and it is important to develop the theory under a much weaker condition.
Definition 5.2. [33] We say that k is proxy-small if there is an object K with the following
properties
• K is small (R |= K)
• K is finitely built from k (k |= K) and
• k is built from K (K ⊢ k).
Remark 5.3. Note that the second and third condition imply that the R-module K generates the same category as k using triangles and coproducts: Cell(R, K) = Cell(R, k).
One of the main messages of [33] is that we may use the condition that k is proxy-small
as a substitute for the Noetherian condition in the conventional setting. This rather weak
condition allows one to develop a very useful theory applicable in a large range of examples.
We can illustrate this by looking at the proxy-small condition in the classical case.
Example 5.4. (Conventional commutative algebra) Take R to be a commutative Noetherian
local ring in degree 0, with maximal ideal m and residue field k.
By the Auslander-Buchsbaum-Serre theorem, k is small if and only if R is a regular local
ring, confirming that the smallness of k is a very strong condition. On the other hand, k
is always proxy-small: we may take K = K(α) to be the Koszul complex for a generating
sequence α for m (see Appendix B).
It is shown in [32] that Cell(R, k) consists of objects whose homology is m-power torsion.
Part 2. Morita equivalences
Section 6 introduces the basic apparatus of the Morita equivalences that concern us, along
with their relation with torsion functors and completion. Section 7 discusses the rather weak
condition that k is proxy-small in our examples, and shows it provides an inclusive framework.
Section 8 illustrates the power of the Morita framework by discussing the classification of
ring spectra and DGAs with coefficient rings exterior on one generator.
6. Morita equivalences
Morita theory studies objects X of a category C by considering maps from a test object k.
More precisely, X is studied by considering Hom(k, X) as a module over the endomorphism
ring End(k). In favourable circumstances this may give rather complete information. This
is an instance of the philosophy that one gains insights by looking at rings of operations.
In the classical situation, C is an abelian category with infinite sums and k is a small
projective generator, and we find C is equivalent to the category of End(k)-modules [14, II
13

Thm 1.3]. We will work with a stable model category rather than in an abelian category,
and k will not necessarily be either small or a generator. The fact that the objects of the
categories are spectra is unimportant except for the formal context it provides. See [88] for
a more extended account from the present point of view.
In fact, two separate Morita equivalences play a role: two separate categories of modules
over a commutative ring are both shown to be equivalent to a category of modules over the
same non-commutative ring.
This section is based on [32], with augmentations from [33].
6.A. First variant. To start with we introduce the ring spectrum E = HomR (k, k) of
(derived) endomorphisms of k. This is usually not a commutative ring. Morita theory
considers the relationship between the categories of left R-modules and of right E-modules.
We have the adjoint pair
E : R−mod

o
/

mod−E : T

defined by
T (X) := X ⊗E k and E(M) := HomR (k, M).
It is clear from the definition that E(M) is an E-module, since E = HomR (k, k) acts on the
right through the factor k in EM = HomR (k, M). By the same token, it is clear that the
ring
R̂ = HomE (k, k)
acts on the left of T X = X ⊗E k through its action on k. To see that this gives an R-module
we note that there is a ring map
R −→ HomE (k, k) = R̂
by ‘right multiplication’ of R on k; thuse T X is an R-module by restriction.
Theorem 6.1. If k is small, this adjunction gives equivalence
Cell(R, k) ≃ mod−E
between the derived category of R-modules built from k and the derived category of E-modules.
Proof: To see the unit X −→ ET X = HomR (k, X ⊗E k) is an equivalence, we note it is
obviously an equivalence for X = E and hence for any X built from E, by smallness of k.
The argument for the counit is similar.


Remark 6.2. If k is not small, the unit of the adjunction may not be an equivalence. For
example if R = Λ(τ ) is exterior on a generator τ of degree 1 then E ≃ k[x] is polynomial
on a generator of degree −2. As an R-module, k is of infinite projective dimension and
hence it is not small. In this case all R-modules are k-cellular, so that Cell(R, k) = R-mod.
Furthermore, the only subcategories of R-modules closed under coproducts and triangles
are the trivial category and the whole category. On the other hand the category of torsion
E-modules is a proper non-trivial subcategory closed under coproducts and triangles.
14

Exchanging roles of the rings, so that R = k[x] and E ≃ Λ(τ ), we see k is small as a
k[x]-module and Cell(k[x], k) consists of torsion modules. Thus we deduce
tors-k[x]-mod ≃ mod-Λ(τ ). 
In fact the counit
T EM = HomR (k, M) ⊗E k −→ M
of the adjunction is of interest much more generally. Notice that any E-module (such as
HomR (k, M)) is built from E, so the domain is k-cellular. We say M is effectively constructible
from k if the counit is an equivalence, because T EM gives a concrete and functorial model
for the cellular approximation to M. Under the much weaker assumption of proxy smallness
we obtain a very useful conclusion linking Morita theory to commutative algebra.
Lemma 6.3. Provided k is proxy-small, the counit
T EM = HomR (k, M) ⊗E k −→ M
is k-cellular approximation, and hence in particular any k-cellular object is effectively constructible from k.
Proof: We observed above that the domain is k-cellular. To see the counit is a HomR (k, ·)equivalence, consider the evaluation map
γ : HomR (k, X) ⊗E HomR (Y, k) −→ HomR (Y, X).
This is an equivalence if Y = k, and hence by proxy-smallness it is an equivalence if Y = K.
This shows that the top horizontal in the diagram
≃

HomR (k, X) ⊗E HomR (K, k) −→ HomR (K, X)
≃↓
↓=
HomR (K, HomR (k, X) ⊗E k) −→ HomR (K, X)
is an equivalence. The left hand-vertical is an equivalence since K is small. Thus the lower
horizontal is an equivalence, which is to say that the counit
T EX = HomR (k, X) ⊗E k −→ X
is a K-equivalence. By proxy-smallness, this counit map is a k-equivalence.



Examples 6.4. (i) If R is a commutative Noetherian local ring, we recall in Appendix B
that the k-cellular approximation of a module M is Γm M = K∞ (m) ⊗R M, where K∞ (m) is
the stable Koszul complex, so we have
T EM ≃ K∞ (m) ⊗R M.
(ii) If R = C ∗ (X; k) it is not easy to say what the k-cellular approximation is in general,
but any bounded below module M is cellular.
15

6.B. Second variant. There is a second adjunction between the derived categories of left
R-modules and of right E-modules. In the first variant, k played a central role as a left
R-module and a left E-module. In this second variant
k # := HomR (k, R)
plays a corresponding role: it is a right R-module and a right E-module. We have the adjoint
pair
/
E ′ : R−mod o
mod−E : C
defined by
E ′ (M) := k # ⊗R M and C(X) := HomE (k # , X).
Remark 6.5. If k is small then
E ′ (M) = HomR (k, R) ⊗R M ≃ HomR (k, M) = EM,
so the two Morita equivalences consider the left and right adjoints of the same functor.
The unit of the adjunction M −→ CE ′ (M) is not very well behaved, and the functor CE ′
is not even idempotent in general.
6.C. Complete modules and torsion modules. Even when we are not interested in
the intermediate category of E-modules, several of the composite functors give interesting
endofunctors of the category of R-modules.
Lemma 6.6. If k is proxy-small then k-cellular approximation is smashing:
Cellk M ≃ (Cellk R) ⊗R M,
so that
T EM = T E ′ M.
Proof: We consider the map
λ : (Cellk R) ⊗R M −→ R ⊗R M = M
and show it has the properties of cellularization.
To start with, since R builds M, it follows that (Cellk R) ⊗R R builds (Cellk R) ⊗R M, and
hence (Cellk R) ⊗R M is k-cellular.
Since k is proxy small, the map λ is k-equivalence if and only if it is a K-equivalence. We
may consider the class of objects M for which λ is a K-equivalence. Since K is small, it is
closed under arbitrary coproducts as well as triangles. Since the class obviously contains R
itself, it contains all modules M.

We therefore see by 6.3 and 6.6 that if k is proxy-small
Cellk (M) = T EM = T E ′ M.
This is the composite of two left adjoints, focusing attention on its right adjoint CEM, and
we note that
CE(M) = HomR (k # , HomR (k, M)) = HomR (T ER, M).
By analogy with Subsection II of Appendix B, we may make the following definition.
16

Definition 6.7. The completion of an R-module M is the map
M −→ HomR (T ER, M) = CEM.
We say that M is complete if the completion map is an equivalence.
Remark 6.8. By 6.6 we see that completion is idempotent.
We adopt the notation
Γk M := T E ′ M
and
Λk M := CEM.
This is by analogy with the case of commutative algebra through the approach of Appendix
C, where Γk = ΓI is the total right derived functor of the I-power torsion functor and
Λk = ΛI is the total left derived functor of the completion functor (see [2, 3] for the context
of commutative rings).
It follows from the adjunctions described earlier in this section that Γk is left adjoint to
k
Λ as endofunctors of the category of R-modules:
HomR (Γk M, N) = HomR (M, Λk N)
for R-modules M and N. Slightly more general is the following observation.
Lemma 6.9. If k is proxy-small, Γk and Λk give an adjoint equivalence
Cell(R, k) ≃ comp−R-mod,
where comp−R-mod is the triangulated subcategory of R−mod consisting of complete modules.
Proof: We have
T E ′ M ≃ T EM ≃ Γk M ≃ ΓK M,
and
CEM ≃ HomR (Γk R, M) ≃ HomR (ΓK R, M),
so it suffices to prove the result when k is small. When k is small the present adjunction is
the composite of two adjoint pairs of equivalences. We have seen this for the first variant,
and the second variant is proved similarly by arguing that the unit and counit are equivalences.


6.D. dc-completeness. We have explained the importance of passing from R to E =
HomR (k, k), and we have also given an example where we then took E as our input ring,
meaning that we need to consider the ring R̂ = HomE (k, k). Furthermore, the double centralizer ring homomorphism
κ : R −→ HomE (k, k) = R̂
played a role at the very start, in defining the R-module structure on T X.
We say that R is dc-complete if κ is an equivalence.
17

7. Proxy-smallness in the examples
We establish the appropriate finiteness and completeness properties in our principal examples.
7.A. Commutative local rings. When R is a conventional commutative local Noetherian
ring, we have seen that k is always proxy-small, and that the Koszul complex for a set of
generators of m provides the small proxy for k.
Next, we note that
π∗ (E) = π∗ (HomR (k, k)) = Ext∗R (k, k),
which is a ring whose importance is very familiar. We will see in Section 8 that as a DGA,
the endormorphisms E = HomR (k, k) contain considerably more information.
We also note that in this case, R is dc-complete if and only if it is m-complete in the usual
sense. Indeed, we calculate
∧
= holim R/ms
Rm
←

s

←

s

= holim HomE (HomR (R/ms , k), k)
= HomE (holim HomR (R/ms , k), k)
→

= HomE (k, k)

s

Here the first equivalence uses the Mittag-Leffler condition on {R/ms }s , and the last condition uses the fact that
holim HomR (R/ms , k) ≃ Γm k ≃ k.
→

s

More generally, if R is a commutative Noetherian ring and I is an ideal, we may consider
R −→ R/I (i.e., replacing the field k by a more complicated ring). It turns out that the
double centralizer map is I-adic completion whenever R/I is proxy-small.
7.B. Cochains on a space. In the setting R = C ∗ (X; k) of cochains on a space, the
Eilenberg-Moore spectral theorem shows that
E = HomC ∗ (X;k) (k, k) ≃ C∗ (ΩX; k), H∗ (E) = H∗ (ΩX; k)
provided that either (Case 0) X is simply connected or (Case p) X is connected, π1 (X) is a
finite p-group k = Fp and X is p-complete [31]. This immediately gives a very rich source of
examples that we will revisit frequently.
Provided we have either Case 0 or Case p, then C ∗ (X) is dc-complete. Indeed, the
Rothenberg-Steenrod equivalence
HomC∗ (ΩX) (k, k) ≃ C ∗ (X)
holds for any connected space X. Accordingly, provided the Eilenberg-Moore equivalence
holds, the double centralizer map κ is an equivalence.
Finally we may consider proxy-smallness.
Lemma 7.1. (i) If dimk H∗ (ΩY ) is finite then k is small over C ∗ (Y ).
(ii) If Y falls under Case 0 or Case p, there is a map X −→ Y with homotopy fibre F , and
dimk H∗ (ΩY ) and dimk H ∗ (F ) are finite, then k is proxy-small over C ∗ (X).
18

Proof: Since dimk H∗ (ΩY ) is finite,
k |= C∗ (ΩY ).
Applying HomC∗ (ΩY ) (·, k) we see
C ∗ (Y ) ≃ HomC∗ (ΩY ) (k, k) |= HomC∗ (ΩY ) (C∗ (ΩY ), k) ≃ k.
This proves Part (i).
For Part (ii), let R = C ∗ (X), S = C ∗ (Y ) and note C ∗ (X) ⊗C ∗ (Y ) k ≃ C ∗ (F ) by the
Eilenberg-Moore theorem. Now take K = C ∗ (F ). We note that k |= K by hypothesis. Since
S |= k by Part (i), we may apply R ⊗S (·) and deduce
R = R ⊗S S |= R ⊗S k = C ∗ (F ).
Finally, C ∗ (F ) builds k by killing homotopy groups, since F is connected.



Corollary 7.2. (Case 0) If X is simply connected and k = Q and if H ∗ (X) is Noetherian
then Q is proxy small over C ∗ (X; Q).
(Case p) If k = Fp and X is the p-completion of BG then Fp is proxy small over C ∗ (X; Fp ).
Proof: For Case 0, since H ∗ (X) is Noetherian, we may choose a polynomial subring P =
Q[V ] on finitely many even degree generators. We have Q[V ] = H ∗ (Y ) where Y = K(V ) is
the corresponding product of even Eilenberg-MacLane spaces. The inclusion P = K[V ] −→
H ∗ (X) is realized by a map X −→ Y . The space ΩY is a product of finitely many
odd Eilenberg-MacLane spaces, and rationally this is a product of spheres, so Part (i) of
Lemma 7.1 applies. Furthermore since H ∗ (X) is a finitely generated P module, it has a
finite resolution by finitely generated projectives and the spectral sequence for calculating
π∗ (C ∗ (X) ⊗C ∗ (Y ) Q) = H ∗ (F ) has finite dimensional E2 term and so the hypotheses of Part
(ii) of Lemma 7.1 hold.
For Case p we note that the p-completion of Y = BU(n) satisfies the conditions of Part
(i) of Lemma 7.1. Now, given G, choose n so that G admits a faithful representation in U(n)
and apply Part (ii) of Lemma 7.1 to the p-completion of the fibration U(n)/G −→ BG −→
BU(n).


8. Exterior algebras
There are many ways to use Morita theory, but there is a very elementary and striking
one which illustrates that it is significant in even in the very simple case when π∗ (E) is an
exterior algebra on one generator.
8.A. Exterior algebras over Fp on a generator of degree −1. To start with, we note
that is easy to see that if E is an Fp -algebra with π∗ (E) = ΛFp (τ ) exterior on one generator,
then E is formal. However if π∗ (E) = ΛFp (τ ) but E itself is only known to be a Z-algebra,
the situation is considerably more complicated.
19

We may use Morita theory to give a classification [36] in the special case that the exterior
generator is in degree −1. We will return to discuss the more general case in Subsection 8.B.
Theorem 8.1. Differential graded algebras E with H∗ (E) exterior over Fp on a single generator of degree −1 (up to quasi-isomoprhism) are in bijective correspondence with complete
discrete valuation rings with residue field Fp (up to isomorphism of rings).
Proof: The idea is to associate to any such E the endomorphism DGA R = HomE (Fp , Fp ).
Evidently the spectral sequence for calculating H∗ (R) collapses at E2 with value Fp [x] for an
element x of total degree 0. This shows R is a filtered ungraded ring with this as associated
graded ring. One argues that it is commutative and complete with residue field Fp . If one
starts with R, its maximal ideal is principal, generated by an element x and we may form
x
a complex Fp = (R −→ R). The DGA E = HomR (Fp , Fp ) has homology exterior on a
generator of degree −1, and the double centralizer completion map
R −→ HomE (Fp , Fp )
is an equivalence.



8.B. General algebras with exterior homotopy. Let us consider ring spectra E with
π∗ (E) = ΛFp (τ ) where τ is of degree d. We have ring maps S −→ Z −→ Z/p, and we have
already observed that if we restrict attention to Z/p-algebras, there is a unique such E. If
d = −1 we classified Z-algebras in Subsection 8.A, and found there were a lot of them. If
d = 0 the answers for S-algebras and Z-algebras are the same by Shipley’s Theorem, and
there is a unique such algebra.
For d ≥ 1 there is an obstruction theory, and the answer is given by Dugger and Shipley
[38]. Indeed, we are considering square zero extensions of Z/p by the bimodule Z/p in degree
d, and hence (with A = S or Z), the A-algebras E are classified by the Hochschild cohomology
group HH d+2(Z/p|A; Z/p), with orbits under Aut(Z/p) giving isomorphic algebras E. In
fact the Hochschild cohomology rings are polynomial and divided power algebras on a single
degree 2 generator:
HH ∗(Z/p|Z; Z/p) = Z/p[xZ2 ] and HH ∗(Z/p|S; Z/p) = ΓZ/p [xS2 ].
We conclude that for any odd d ≥ 1 there is single formal algebra and for any even d ≥ 2 there
are precisely two isomomorphism classes of Z-algebras and precisely two isomomorphism
classes of S-algebras. In each case one of them is formal and one is not.
The really striking phenomenon is that restriction along S −→ Z, does not induce a
bijection of isomorphism types. Indeed, one may check that the generator xZ2 restricts nontrivially (so we may take xS2 to be that restriction). It follows that there is a bijection until
we reach (xZ2 )p , which restricts to zero in Γ(xS2 ). In other words, the two Z-algebras E, E ′ with
d = 2p − 2 become equivalent as S-algebras: these two inequivalent DGAs are topologicially
equivalent. It is hard to be explicit when d is not small, but if p = 2 and d = 2, the DGA
Z[e | de = 2]/(e3 , 2e2 ) is not formal as a Z-algebra but it is formal as an S-algebra. Finally,
the S-algebra E with d = 2p − 2 which is not realizable as a Z-algebra, is the truncation of
the dth Morava K-theory.
20

8.C. Classification of free rational G-spectra. In another direction, working over the
rationals we note that for any compact Lie group G the DGA C∗ (G) has homology H∗ (G)
exterior on odd degree generators. It might not be apparent that it is formal. However, we
may consider R = HomC∗ (G) (k, k) ≃ C ∗ (BG); since this is commutative and has cohomology
which is polynomial on even degree generators, it is formal and hence equivalent to H ∗ (BG).
It follows that C∗ (G) ≃ H∗ (G). This is the starting point for classifying free rational Gspectra [61, 62].

Part 3. Regular rings
We have now set up the basic machinery and the rest of the lectures will investigate
homotopy invariant counterparts of classical definitons in commutative algebra of local rings.
The justification consists of the dual facts that the new definition reduces to the old in the
classical setting and that the new definition covers and illuminates examples in new contexts.
Regular local rings are the most basic and best behaved objects, so it makes sense to start
with these.
Section 9 recalls the three styles of definition from commutative algebra and explains how
to give homotopy invariant versions, and then illustrates them in our main examples. Section
10 explains how we can use this class of ring spectra to give a homotopy invariant counterpart
of the notion of a finitely generated module, at least for ‘normalizable’ ring spectra.
9. Regular ring spectra
In commutative algebra there are three styles for a definition of a regular local ring: ideal
theoretic, in terms of the growth of the Ext algebra and a version for modules. We begin in
Subsection 9.A by recalling the commutative algebra, where the conditions are equivalent.
We then turn to other contexts, where the conditions may differ, and consider which one is
most appropriate.
9.A. Commutative algebra. The following definitions are very familiar; we have introduced a slightly more elaborate terminology to smooth the transition to other contexts. The
prefix s- signifies that the definition is structural, the prefix g- signifies that the definition is
in terms of the growth rate, and the prefix m- signifies that the definition is in terms of the
module category.
Definition 9.1. (i) A local Noetherian ring R is s-regular if the maximal ideal is generated
by a regular sequence.
(ii) A local Noetherian ring R is g-regular if Ext∗R (k, k) is finite dimensional.
(iii) A local Noetherian ring R is m-regular if every finitely generated module is small in
the derived category D(R).
These are equivalent by the Auslander-Buchsbaum-Serre theorem; one might think of this
as the first theorem of homotopy invariant commutative algebra.
21

9.B. Regularity for ring spectra. The one definition that is easy to adapt is g-regularity,
at least when k is a field. This is a basic input to the entire theory. It is also convenient to
have a name for when the coefficient ring is regular.
Definition 9.2. (i) We say that R is c-regular when the coefficient ring π∗ (R) is regular.
(ii) We say that R is g-regular if π∗ (HomR (k, k)) is finite dimensional over k.
It is obvious from the spectral sequence
Ext∗,∗
R∗ (k, k) ⇒ π∗ (HomR (k, k))
that c-regular implies g-regular. The converse is very far from being true, as we shall see
shortly.
It is more subtle to consider s-regular ring spectra.
The s-regularity condition on rings states that m is generated by a regular sequence
x1 , . . . , xr , so that there are short exact sequences
x

1
R −→
R −→ R/(x1 )

x

2
R/(x1 ) −→
R/(x1 ) −→ R/(x1 , x2 )

and
x

r
R/(x1 , . . . , xr−1 ) −→
R/(x1 , . . . , xr−1 ) −→ R/m = k.

In other words, we may start with R, and successively factor out a regular element until we
get to k.
If we now remember the degrees, a single instance is the (additive) exact sequence of
modules
x

Σn R −→ R −→ R/(x).
x

In other words, the ring R/(x) is equivalent to the Koszul complex K(x) = (R −→ R). If
we think multiplicatively this gives a cofibre sequence 1
R −→ K(x) −→ K(x) ⊗R k = Λ(τ )
of rings, where τ is a generator of degree n + 1. The definition is now obtained by iterating
this construction.
Definition 9.3. We say that R is s-regular if there are cofibre sequences of rings
R = R0 −→ R1 −→ Λ1 , R1 −→ R2 −→ Λ2 , · · · , Rr−1 −→ Rr −→ Λr ,
with Rr ≃ k and π∗ (Λi ) exterior over k on one generator.
Lemma 9.4. If R is s-regular then it is also g-regular.
1If

S −→ R is a map of rings and we have a map R −→ k, the cofibre ring is Q = R⊗Q k. This corresponds
to the fact that in algebraic geometry and topology this cofibre ring is often the ring of functions on the
geometric fibre.
22

Proof : We need to work our way along the sequence of cofibrations. Since Rr ≃ k is
obviously g-regular, it suffices to oberve that given a cofibre sequence C −→ B −→ Λ with
B g-regular, then C is also g-regular. Suppose then that HomB (k, k) is finitely built from k.
Since k |= Λ it follows that
k |= HomB (k, k) |= HomB (Λ, k) ≃ Homk (k ⊗B Λ, k).
However
k ⊗B Λ ≃ k ⊗B B ⊗C k ≃ k ⊗C k.
so that
Homk (k ⊗B Λ, k) ≃ Homk (k ⊗C k, k) ≃ HomC (k, k),
showing HomC (k, k) is finitely built by k as required.



However, there is no good notion of m-regularity for ring spectra. The problem is that we
do not have a homotopy invariant definition of finite generation in general. However, we will
turn this around, and in Section 10 we will show that one can use the supposed equivalence
of g-regularity and the putative m-regularity conditions to define finite generation.
9.C. Regularity for rational spaces. We have seen in Subsection 7.B, that for simply
connected rational spaces X, if R = C ∗ (X; Q) we have π∗ (E) = H∗ (ΩX). Accordingly a
g-regular rational space is one with H∗ (ΩX) finite dimensional.
Proposition 9.5. A simply connected rational space X is g-regular if and only if it is a
finite product of even Eilenberg-MacLane spaces. Its cohomology is therefore polynomial on
even degree generators and it is also s-regular.
Proof : To start with, we note that an even Eilenberg-MacLane space X = K(Q, 2n) is
g-regular since its loop space is K(Q, 2n − 1) ≃ S 2n−1 . On the other hand an odd EilenbergMacLane space X = K(Q, 2n + 1) is not g-regular since its loop space is K(Q, 2n) which
has homology polynomial on one generator of degree 2n.
Finally, since ΩX splits as a product of Eilenberg-MacLane space for any rational space,
we see H∗ (ΩX) is finite dimensional if and only if the homotopy groups of X are finite
dimensional and in even degree. Building X from its Postnikov tower we see inductively
that the cohomology of its Postnikov sections are entirely in even degrees (and polynomial).
Since the homotopy of X is in even degrees the k-invariants are in odd degrees and hence
zero. This shows that X is a finite product of even Eilenberg-MacLane spaces.


9.D. g-regularity for p-complete spaces. Of the commutative algebra definitions, the
only one with a straightforward counterpart for C ∗ (X) is g-regularity. We have seen in
Subsection 7.B, that for connected p-complete spaces X with finite fundamental group, if
R = C ∗ (X; Q) we have π∗ (E) = H∗ (ΩX). Accordingly a g-regular rational space is one with
H∗ (ΩX) finite dimensional.
23

Example 9.6. For any finite p-group G, the classifying space X = BG is p-complete, and
hence satisfies our hypotheses without further completion. Thus ΩX is equivalent to the
finite discrete space G, so E ≃ kG and X is g-regular.
On the other hand the coefficient ring H ∗ (BG) is very rarely regular, so this gives many
examples of g-regular ring spectra which are not c-regular.
Example 9.7. Extending this idea, if G is any compact Lie group with component group a
finite p-group we have
Ω(BG∧p ) ≃ (ΩBG)∧p ≃ G∧p ,
so that X = (BG)∧p is again g-regular over Fp .
In fact X = (BG)∧p is g-regular if and only if π0 (G) is p-nilpotent, and we will see explicit
examples later where completed classifying spaces are not g-regular.
In fact this is the starting point of Dwyer and Wilkerson’s project [37] to capture properties
of groups at a single prime homotopically. They define a connected p-complete space X to
be the classifying spaces of a connected p-compact group if H∗ (ΩX; Fp ) is finite dimensional
(i.e., if C ∗ (X; Fp ) is g-regular). In other words, a p-compact group is an Fp -finite loop space
whose classifying space is p-complete and g-regular.
A major programme involving many people has given a classification of connected pcompact groups following the lines of that for compact Lie groups. This starts with the
theorem of Dwyer and Wilkerson that connected p-compact groups have a maximal torus,
and has finally culminated in the classification of connected p-compact groups in terms of
the associated p-adic root data (Anderson, Grodal, Møller and Viruel ([5] for odd primes,
and [4] for p = 2). At the prime 2 there is only one simple 2-compact group which is not
obtained by completing a compact connected Lie group. At odd primes there are many
exotic examples, because of the many p-adic reflection groups. It is remarkable that objects
defined purely in terms of a finiteness condition can be completely classified.
9.E. s-regularity for p-complete spaces. Looking back at the definition of s-regularity
for ring spectra, the basic ingredient is to consider the multiplicative sequence
R −→ K(x) −→ K(x) ⊗R k = Λ(τ )
where τ is a generator of degree n+1. Since we are working with k-algebras, exterior algebras
are formal, so if n ≥ 0, we have Λ(τ ) ≃ C ∗ (S n+1 ). Thus if R = C ∗ (X), the Eilenberg-Moore
theorem shows that the most obvious source of such cofibre sequence is a spherical fibration
X ←− X1 ←− S n+1 .
It is natural when talking about spaces to restrict the cofibrations to be of this type
Definition 9.8. A space X is s-regular if there are k-complete fibrations
X = X0 ←− X1 ←− S n1 , X1 ←− X2 ←− S n2 , . . . , Xr−1 ←− Xr ←− S nr
with Xr ≃ ∗ and ni ≥ 1.
Examples of this type seem very rare, but do arise from the classical infinite families of
compact Lie groups.
24

Example 9.9. X = BU(n) is s-regular, in view of the fibrations
BU(n) ←− BU(n − 1) ←− U(n)/U(n − 1) ∼
= S 2n−1 .
Similarly for BSO(n), BSpin(n), BSp(n).
10. Finite generation
In conventional algebra, finite generation is one of the most important finiteness conditions.
However it is not all obvious how best to translate this into a homotopy invariant context.
In this section we describe an approach we have found useful, which is based on the idea
that finite generation and smallness coincide over regular rings.
10.A. Finiteness conditions. If R is a conventional Noetherian commutative ring and M
is a module over it, there are a number of natural finiteness conditions. If M has a finite
resolution by finitely generated projectives then it is finitely built from R and hence small
in the derived category; the converse is also true, since one may factor the identity map
through a finite truncation of the projective resolution. These two equivalent homotopy
invariant finiteness conditions on M are extremely useful.
On the other hand, it is not so clear how to give a homotopy invariant version of the
notion of being finitely generated. In this section we discuss one useful method. It is based
on the fact that for a regular conventional ring Q finitely generated modules coincide with
small modules.
10.B. Normalizable ring spectra. In commutative algebra, it is natural to assume rings
are Noetherian, and one of the most useful consequences for k-algebras is Noether normalization, stating that a Noetherian k-algebra is a finitely generated module over a polynomial
subring.
Definition 10.1. We will say that a ring spectrum R is g-normalizable, if there is a gregular ring spectrum S with S∗ Noetherian, and a ring map S −→ R making R into small
S-module. In this case S −→ R is called a g-normalization and R ⊗S k is its Noether fibre.
If S can be chosen so that its coefficient ring S∗ is regular, we say R is c-normalizable.
As usual, with coefficient-level conditions, c-normalizations are a bit rigid, but they do
give a template for comparison.
Lemma 10.2. (i) If S∗ is regular then an S-module N is small if and only if N∗ is a finitely
generated S∗ -module.
(ii) If R is c-normalizable then R∗ is Noetherian.
Proof: Part (ii) follows from Part (i), so we prove Part (i).
It is easy to see that we have a cofibre sequence X −→ Y −→ Z of S-modules, if two
terms have finitely generated homotopy, so does the third. Thus any small module has
finitely generated homotopy.
For the converse, we start by noting that projectives are realizable. Next, if P∗ is projective, HomS (P, M) = HomS∗ (P∗ , M∗ ). Now for any M we may choose a projective S∗ -module
mapping onto M∗ and realize it by a map P −→ M with fibre F . If M∗ was not projective
25

to start with, F∗ will be of lower projective dimension. Since S∗ is regular, this process
terminates.

Example 10.3. (Venkov) If G is a compact Lie group (for example a finite group), then
C ∗ (BG) is c-normalizable. Indeed, we may choose a faithful representation G −→ U(n),
giving a fibration U(n)/G −→ BG −→ BU(n).
It is an unpublished consequence of work of Castellana and Ziemianski that every pcompact group has a faithful linear representation, which is to say that if BΓ is regular there
is a map BΓ −→ BSU(n), for some n, whose homotopy fibre is Fp -finite. This means that
every p-compact group is c-normalizable.
10.C. Finitely generated modules. We are now equipped to give our definition.
Definition 10.4. Suppose that R is a commutative ring spectrum and M is an R-module.
If we are given a normalization ν : S −→ R, we say that M is ν-finitely generated if M is
small over S.
If R is g-normalizable, we say that M is finitely generated if M is ν-finitely generated for
every g-normalization ν.
Some elementary consequences follow as in Lemma 10.2.
Lemma 10.5. (i) If R is g-normalizable and M is finitely generated then M∗ is a finitely
generated R∗ -module.
(ii) If ν : S −→ R is a c-normalization, then M is ν-finitely generated if and only if M∗
is finitely generated over R∗ .
Remark 10.6. (a) If R is c-normalizable, it is natural to refer to the class of modules M
for which M∗ if finitely generated over R∗ as c-finitely generated.
(b) This raises the question of whether there are c-finitely generated modules which are
not finitely generated. In other words, if R is a c-normalizable g-regular ring and M is an
R-module with M∗ finitely generated over R∗ does it follow that M is small? It would suffice
to show that R has a c-normalization S which is an S-module retract of R, as happens when
S∗ −→ R∗ is a monomorphism and R∗ is Gorenstein.
Proof: (i) If M is small over S for some normalization, then M∗ is finitely generated over
S∗ and hence over R∗ .
(ii) If M∗ is finitely generated over R∗ it is finitely generated over S∗ . Since S∗ is regular,
this means M is small over S and hence finitely generated.


10.D. Singularity categories. In conventional commutative algebra the Buchweitz singularity category Dsing (R) is defined to be the quotient of the bounded derived category by the
subcategory of perfect complexes.
If we are given a normalization ν of a commutative ring spectrum R, it is evident that
the category of ν-finitely generated modules is a triangulated subcategory of the category
26

of R-modules, and similarly for the finitely generated modules. Evidently for any particular
g-normalization ν we have full and faithful embeddings
Dsmall (R) ⊆ Df g (R) ⊆ Dν−f g (R) ⊆ Dc−f g (R)
of triangulated categories each closed under retracts. We could consider any one of the
quotients, but the most natural is the initial quotient
Dsing (R) = Df g (R)/Dsmall (R).
This has the merit that if R is itself g-regular, the quotient is trivial, and in many cases one
can show that Df g (R) = Dc−f g (R).
The singularity quotients are understood in many algebraic cases, but for the present we
will restrict ourselves to an example where we can see from first principles that the quotient
is non-trivial. See [63] for further discussion.
Example 10.7. If R = C ∗ (BA4 ) with k = F2 then M = C ∗ (BV4 ) is c-finitely generated
since H ∗ (BV4 ) is finitely generated over H ∗ (BA4 ) by Venkov’s Theorem. However if we let
F = fib(BV4 −→ BA4 ) there is a fibre sequence ΩS 3 −→ F −→ SO(3)/V4 which may be
used to check H ∗ (F ) is non-zero in infinitely many degrees. Thus C ∗ (BV4 ) is not small over
C ∗ (BA4 ).
Part 4. Hypersurface rings
This is the second of a series of parts that take particular classes of commutative local
rings, and identifies ways of giving homotopy invariant counterparts of the definitions, which
apply to ring spectra. The justification consists of the dual facts that the new definition
reduces to the old in the classical setting and that the new definition covers and illuminates
examples in new contexts.
Although we restrict attention to hypersurface rings here, we begin in Section 11 with a
brief sketch of relevant facts about complete intersections in general to set the context. In
Section 12 we describe the algebraic theory of hypersurface rings in a bit more detail. In
Section 13 we explain the relevance of bimodules and Hochschild cohomology. In view of
the discussion in Part 3, it is then quite routine in Section 14 to provide the definitions of
ci ring spectra, and we illustrate some of the results with examples. In Sections 15 and 16
we explain how the three homotopy invariant versions of the ci condition are related to each
other.
11. Complete intersections
To understand the significance of hypersurfaces, we should first say a word about complete
intersections. There is a general framework for discussing these in the homotopy invariant
context [55, 22], but there are few examples beyond the hypersurface case. The general
theory is in some sense obtained by iterating the case of hypersurfaces, but there are a
number of different ways of iterating it, and some work better than others.
27

11.A. Classical complete intersections. These lectures will focus on hypersurfaces, but
it is helpful to set the more general context with a brief discussion of complete intersections
in general. Just as for regular rings there are three styles of definition: (s) a structural one (g)
one involving growth and (m) one involving the homological algebra of modules. These all
have counterparts in the homotopy invariant setting which we will introduce in due course.
We start with the structural definition. The best behaved subvarieties of affine space are
those which are specified by the right number of equations: if they are of codimension c
then only c equations are required. On the same basis, a commutative local ring R is a
structurally complete intersection (sci) if its completion is the quotient of a regular local ring
S by a regular sequence, f1 , f2 , . . . , fc (this would normally just be called ‘ci’, but the longer
name eases comparison with the case of ring spectra). We will suppose that R is complete,
so that
R = S/(f1 , . . . , fc ).
The smallest possible value of c (as S and the regular sequence vary) is called the codimension
of R. A hypersurface is the special case when c = 1 so that a single equation is used.
When it comes to growth, if R is ci of codimension c, one may construct a resolution of
any finitely generated module growing like a polynomial of degree c − 1. In particular the
ring Ext∗R (k, k) has polynomial growth (we say that R is gci). Perhaps the most striking
result about ci rings is the theorem of Gulliksen [67] which states that this characterises ci
rings so that the sci and gci conditions are equivalent for local rings.
With a little care, one may construct the resolutions in an eventually multi-periodic fashion: the projective resolution eventually has the pattern of the tensor product of c periodic
exact sequences. In fact the construction is essentially independent of the module and the
calculation can be phrased in terms of the Hochschild cohomology of R. This opens the way
to the theory of support varieties for modules over a ci ring [9].
11.B. Homotopy invariant versions, and Levi’s groups. One may give homotopy invariant versions of all three characterizations of the ci condition:
(sci): the ‘regular ring modulo regular sequence’ condition,
(mci): the ‘modules have eventually multiperiodic resolutions’ and
(gci): polynomial growth of the Ext algebra
We note that the Avramov-Quillen characterization of ci rings in terms of André-Quillen
homology does not work for cochains on a space in the mod p context since Mandell has
shown [80] that the topological André-Quillen cohomology vanishes very generally in this
case.
It involves some work to describe the sci and mci definitions, but if we take R = C ∗ (X)
for a p-complete space Subsection 7.B shows H∗ (HomC ∗ (X) (k, k)) = H∗ (ΩX), so it is easy
to understand the gci condition. Taking X = (BG)∧p we may consider what this means. Of
course if G is a p-group, X = BG so ΩX ≃ G and H∗ (ΩX) is simply the group ring kG in
degree 0 and therefore finite dimensional. More generally, it is known to be of polynomial
growth in certain cases (for instance A4 or M11 in characteristic 2) and R. Levi [75, 76, 77, 78]
has proved there is a dichotomy between small growth and large growth, and given examples
28

where the growth is exponential. Evidently groups whose p-completed classifying spaces
have loop space homology that has exponential growth cannot be spherically resolvable, so
Levi’s groups disproved a conjecture of F.Cohen.
Example 11.1. (a) It is amusing to consider the p-completed classifying space BG∧p for
G = (Cp × Cp ) ⋊ C3 where C3 acts via (1, 0) 7→ (0, 1) 7→ (−1, −1). When p = 3, G is a
p-group so the space is g-regular. When p = 2 the group is the alternating group A4 , which
we will see below is a hypersurface. If p ≥ 5 then Levi shows H∗ (Ω(BG∧p )) has exponential
growth by showing that Ω(S 5 ∪p e6 ) is a retract.
(b) If the reader prefers an example with a purely algebraic treatment, Benson shows in
[15, Example 2.2] that the group (C3 )2 ⋊ C2 has a 3-completed classifying space whose loop
space has exponential growth using the methods sketched in Subsection 14.E below.
12. Hypersurfaces in algebra
In this section we recall some standard constructions for hypersurface algebas. We suppose
R = S/(f ) is a hypersurface ring, where S is a regular ring and f is a nonzero element of
degree d. Thus we have a short exact sequence
f

0 −→ Σd S −→ S −→ R −→ 0
of S-modules for a regular local ring S. There are two basic constructions that we need to
generalize.
12.A. The degree 2 operator. We describe a construction of a cohomological operator
due to Gulliksen [68, 7]. We will do this for a single module, but it is apparent that the
construction is essentially independent of the module, and in fact it lifts to Hochschild
cohomology.
Given an R-module M we may apply (·) ⊗S M to the defining sequence to obtain the short
exact sequence
f

0 −→ TorS1 (R, M) −→ Σd M −→ M −→ R ⊗S M −→ 0.
Since f = 0 in any R-module, we conclude
TorS1 (R, M) ∼
= Σd M, R ⊗S M ∼
= M,
and
TorSi (R, M) = 0 for i ≥ 2.
Next, choose a free S-module F with an epimorphism to M, giving a short exact sequence
0 −→ K −→ F −→ M −→ 0
of S-modules. Applying (·) ⊗S R, we obtain
0 −→ TorS1 (R, M) −→ K −→ F −→ M −→ 0.
Since TorS1 (R, M) ∼
= Σd M, this gives an element
χf ∈ Ext2R (M, Σd M),
29

or a map
χf : M −→ Σd+2 M
in the derived category of R-modules. We sketch below how this construction lifts to give
an element
χf ∈ HH d+2(R|S),
and hence in particular that it gives a natural transformation of the identity functor (i.e.,
an element of the centre ZD(R) of D(R)).
12.B. The eventually periodic resolution. Continuing with the above discussion, we
may show that all modules M have free resolutions over R which are eventually periodic of
period 2.
Indeed, M has a finite free S-resolution
0 −→ Fn −→ Fn−1 −→ · · · −→ F1 −→ F0 −→ M −→ 0.
Adding an extra zero term if necessary, we suppose for convenience that n is even. Now
apply (·) ⊗S R to obtain a complex
0 −→ F n −→ F n−1 −→ · · · −→ F 1 −→ F 0 −→ M −→ 0.
Since TorSi (R, M) = 0 for i ≥ 2, this is exact except in homological degree 1, where it is
TorS1 (R, M) ∼
= Σd M. Splicing in a second copy of the resolution, we obtain a complex
Fn
−→ F n−1 −→ · · · −→ F 2 −→ F 1 −→ F 0 −→ M −→ 0
0
−→
⊕
⊕
⊕
⊕
ր
Σd F n−1 −→ Σd F n−2 −→ Σd F n−3 −→ · · · −→ Σd F 0
which is exact except in the second row, in homological degree 4, where the homology is
again M. We may repeatedly splice in additional rows to obtain a free resolution
. . . −→ G3 −→ G2 −→ G1 −→ G0 −→ M −→ 0
over R. Remembering the convention that n is even, provided the degree is at least n, the
modules in the resolution are (up to suspension by a multiple of d)
G2i = F n ⊕ Σd F n−2 ⊕ · · · ⊕ Σd(n−2)/2 F 2 ⊕ Σdn/2 F 0
in even degrees and
G2i+1 = F n−1 ⊕ Σd F n−3 ⊕ · · · ⊕ F 3 ⊕ Σd(n−2)/2 F 1
in odd degrees.
12.C. Smallness. We may reformulate the eventual periodicity of the previous subsection
in homotopy invariant terms.
Lemma 12.1. If R is a hypersurface R = S/(f ) and M is a finitely generated R-module
then the mapping cone of χf : M −→ Σd+2 M is small.
30

Proof: From the Yoneda interpretation, we notice that
χf : M −→ Σd+2 M
is realized by the quotient map factoring out the first row subcomplex
0 −→ F n −→ F n−1 −→ · · · −→ F 1 −→ F 0 −→ 0.
Thus the short exact sequence
0 −→ F • −→ G• −→ Σd+2 G• −→ 0
of R-free chain complexes realizes the triangle
Σ1 M/χ −→ M −→ Σd+2 M.

12.D. Matrix factorizations. Because of the importance of matrix factorizations and their
prominence in the IRTATCA programme, it is worth a brief subsection to make the connection. We have considered resolutions of R-modules M, and we note that if M is of projective
dimension 1 over S then the S-resolution
A

0 ←− M ←− F0 ←− F1 ←− 0
gives a periodic resolution
0 ←− M ←− F 0 ←− F 1 ←− F 0 ←− F 1 ←− F 0 ←− F 1 ←− · · ·
over R.
Since f = 0 on M, multiplication by f on the S-resolution is null-homotopic and so there
is a diagram
0o

Mo
0

0o



Mo

F0 o

A

F1 o

0

⑥⑥
f ⑥⑥⑥
f
 ~⑥⑥ B 
F0 o
F1 o

0

A

In short we have two maps A : F1 −→ F0 and B : F0 −→ F1 with AB = f · id, BA = f · id.
Since F0 and F1 are free modules, we can choose bases and represent A and B by matrices,
so this structure is known as a matrix factorization.
If we suppose S is of dimension d, R is of dimension d − 1. We note that the homological
dimension of M over S can be expressed as an invariant of M as an R-module. In our case
M is of projective dimension 1 over S and by the Auslander-Buchsbaum formula, it is of
depth d − 1 as an R-module, which is to say it is a maximal Cohen-Macaulay module. For a
module M of depth d − 1 − i (i.e., of projective dimension i + 1 over S) the above discussion
applies to its pth syzygy.
13. Bimodules and natural endomorphisms of R-modules
To describe the m-version of the definition of hypersurface rings, we need to briefly discuss
bimodules.
31

13.A. The centre of the derived category of R-modules. If R is a commutative Noetherian ring and M is a finitely generated R-module with an eventually n-periodic resolution,
there is a map M −→ Σn M in the derived category whose mapping cone is a small R-module.
If R is an ungraded hypersurface ring, all finitely generated modules have such resolutions
with n = 2. The lesson learnt from commutative algebra is that to use this to characterize
hypersurfaces we need to look at all such modules M together, and ask for a natural transformation 1 −→ Σn 1 of the identity functor. By definition the centre ZD(R) is the graded
ring of all such natural transformations. There are various ways of constructing elements
of the centre, and various natural ways to restrict the elements we consider. Some of these
work better than others, and it is the purpose of this section is to introduce these ideas.
13.B. Bimodules. We consider a map S −→ R, where S is regular and R is small over S.
We may then consider Re = R ⊗S R, and Re -modules are (R|S)-bimodules. The Hochschild
cohomology ring is defined by
HH ∗ (R|S) = Ext∗Re (R, R).
If f : X −→ Y is a map of (R|S)-bimodules, for any R-module M we obtain a map
f ⊗ 1 : X ⊗R M −→ Y ⊗R M of (left) R-modules.
The simplest way for us to use this is that if we have isomorphisms X ∼
= Σn R
= R and Y ∼
as R-bimodules, the map f ⊗ 1 : M −→ Σn M is natural in M and therefore gives an element
of codegree n in ZD(R): we obtain a map of rings
HH n (R) = HomRe (R, Σn R) −→ ZD(R)n .
Continuing, if X |=Re Y then X ⊗R M |=R Y ⊗R M. In particular, if X = R builds a
small Re -module Y then
M = R ⊗R M |=R Y ⊗R M =|Re ⊗R M = R ⊗S M.
Thus if M is finitely generated (i.e., small over S), this shows M finitely builds a small
R-module.
It is sometimes useful to restrict the maps permitted in showing that X |=Re Y . If we
restrict to using maps of positive codegree coming from Hochschild cohomology, we write
X |=hh Y . If we permit any maps of positive codegree from the centre ZD(Re ) we write
X |=z Y . Finally, we could relax further and require only that all the maps involved in
building are endomorphisms of non-zero degree for some object and write X |=e Y . It is
this last condition that turns out to be most convenient for complete intersections of larger
codimension.
14. Hypersurface ring spectra
We are now ready to describe the s-, g- and m- versions of the hypersurface condition for
ring spectra. As usual we begin with the template in commutative algebra, go on to describe
it in general and then make it concrete for spaces.
32

14.A. The definition in commutative algebra. In commutative algebra there are three
styles for a definition of a hypersurace ring: ideal theoretic, in terms of the growth of the
Ext algebra and a derived version. See [21] for a more complete discussion.
Definition 14.1. (i) A local Noetherian ring R is an s-hypersurface ring if R = S/(f ) some
regular ring S and some f 6= 0.
(ii) A local Noetherian ring R is a g-hypersurface if the dimensions dimk (ExtnR (k, k)) are
bounded independently of n.
(iii) A local Noetherian ring R is a z-hypersurace if there is an elements z ∈ ZD(R) of
non-zero degree so that M/z is small for all finitely generated modules M. Similarly R is an
hh-hypersurface if the element z can be chosen to come from Hochschild cohomology.
Theorem 14.2. ([7], transcribed into the present language in [21]) For a local Noetherian
ring the s-, z- and g-hypersurface conditions are all equivalent.
14.B. Definitions for ring spectra. The appropriate definition of an s-hypersurface can
be seen from the discussion of s-regular spectra: the point is that regular elements correspond
to maps with exterior cofibres.
Definition 14.3. (i) A ring spectrum R is a c-hypersurface if R∗ is a hypersurface ring.
(ii) The ring spectrum R is an s-hypersurface if there is a normalization S −→ R with
π∗ (R ⊗S k) = Λk (τ ).
(iii) The ring spectrum R is a g-hypersurface if dimk (πn (HomR (k, k))) is bounded independently of n.
(iv) The c-normalizable ring spectrum R is a z-hypersurace if there is an element z ∈ ZD(R)
of non-zero degree so that M/z is small for all finitely generated modules M. Similarly R is
an hh-hypersurface if the element z can be chosen to come from Hochschild cohomology.
One immediate source of examples comes from c-hypersurfaces.
Example 14.4. If R is a c-hypersurface then the spectral sequence
Ext∗,∗
R∗ (k, k) ⇒ π∗ (HomR (k, k))
shows that it is a g-hypersurface.
14.C. Definitions for spaces. In view of the fact that regular elements correspond to
spherical fibrations, adapting the above definitions for spaces is straightforward.
Definition 14.5. (i) A space X is a c-hypersurface if H ∗ (X) is a hypersurface ring.
(ii) A space X is an s-hypersurface (or spherical hypersurface) if it is the total space of a
spherical fibration over a connected g-regular space BΓ: there is a g-regular space BΓ and
a fibration
S n −→ X −→ BΓ
for some n.
(iii) A space X is a g-hypersurface space if H ∗(X) is Noetherian and dimk Hn (ΩX) is
bounded independently of n.
33

(iv) A space X is a z-hypersurface space if X is g-normalizable and there is an element
z ∈ ZD(C ∗ (X)) of non-zero degree so that C ∗ (Y )/z is small for all finitely generated C ∗ (Y ).
It is an hh-hypersurface if z comes from Hochschild cohomology. (The direct transcription
for ring spectra would require that this holds for all finitely generated modules and not just
those of the particular form C ∗ (Y )).
Remark 14.6. Other variants have arisen, such as ωsci where we are permitted to use
loop spaces on spheres rather than spheres. These conditions arose in Levi’s work. This is
evidently a weakening of sci which still implies gci.
For g-normalizable spaces X, we have [55, 22] the implications
s − hypersurf ace ⇒ z − hypersurf ace ⇒ g − hypersurf ace.
Over Fp the final implication may be reversed; the proof is given in [22] and relies on [43].
14.D. An example. To start with we may consider the space BA4 at the prime 2. We will
observe directly that it is a hypersurface according to any one of the definitions.
To start with, we note that
H ∗ (BA4 ) = H ∗ (BV4 )A4 /V4 = k[x2 , y3, z3 ]/(r6 )
where r6 = x32 + y32 + y3 z3 + z32 . This shows that BA4 is actually a c-hypersurface and hence
also a g-hypersurface. Indeed, the Eilenberg-Moore spectral sequence shows that the loop
space homology will eventually have period dividing 4.
In fact we see that BA4 is an s-hypersurface space at 2. The direct symmetries of a
tetrahedron give a homomorphism A4 −→ SO(3) and hence a map BA4 −→ BSO(3). The
fibre is SO(3)/A4, and at the prime 2 this is S 3 , so there is a 2-adic fibration
S 3 −→ BA4 −→ BSO(3).
In Subsection 14.G, we will also describe a representation theoretic approach to showing
that BA4 is a g-hypersurface, which will show that its ultimate period is exactly 4.
14.E. Squeezed homology. Since we are working with groups, it is illuminating to recall
Benson’s purely representation theoretic calculation of the loop space homology H∗ (Ω(BG∧p ))
[15]. In fact he defines the squeezed homology groups HΩ∗ (G; k) algebraically and proves
H∗ (Ω(BG∧p )) ∼
= HΩ∗ (G; k),
In more detail, HΩ∗ (G; k) is the homology of
· · · −→ P3 −→ P2 −→ P1 −→ P0 ,
a so-called squeezed resolution of k. The sequence of projective kG-modules Pi is defined
recursively as follows. To start with P0 = P (k) is the projective cover of k. Now if Pi has
been constructed, take Ni = ker(Pi −→ Pi−1 ) (where we take P−1 = k), and Mi to be the
smallest submodule of Ni so that Ni /Mi is an iterated extension of copies of k. Now take
Pi+1 to be the projective cover of Mi .
34

14.F. Trivial cases. Note that if G is a p-group, we have Ω(BG∧p ) ≃ G so that H∗ (ΩBG) ∼
=
kG and since k is the only simple module, M0 = 0 and we again find HΩ∗ (G) = kG.
We would expect the next best behaviour to be when H ∗ (BG) is a hypersurface. Indeed, if
H ∗ (BG) is a polynomial ring modulo a relation of codegree d, the Eilenberg-Moore spectral
sequence
∧
Ext∗,∗
H ∗ (BG) (k, k) ⇒ H∗ (Ω(BGp ))
shows that there is an ultimate periodicity of period d − 2. The actual period therefore
divides d − 2. We now return to the example of A4 .
14.G. A4 revisited. We described the homotopy theoretic proof that BA4 is an s-hypersurface
space above.
Here we sketch a purely algebraic proof from [15]. To start with, we would like to see
algebraically that H∗ (Ω(BA4 )∧2 ) is eventually periodic.
This case is small enough to be able to compute products in H∗ (ΩBG∧p , k) using squeezed
resolutions, and we get
H∗ (ΩBG∧p , k) = Λ(α) ⊗ khβ, γi/(β 2, γ 2 )
with |α| = 1 and |β| = |γ| = 2. Beware that β and γ do not commute, so that a k-basis for
H∗ (ΩBG∧p , k) is given by alternating words in β and γ (such as βγβ or the empty word),
and α times these alternating words.
There are three simple modules. Indeed, the quotient of A4 by its normal Sylow 2-subgroup
is of order 3; supposing for simplicity that k contains three cube roots of unity 1, ω, ω, the
simples correspond to how a chosen generator acts. The projective covers of the three simple
modules are
k❃

❃

P (k) = ω ❃
❃

ω̄ ,

P (ω) = ω̄

k

⑥⑥
❆❆❆

ω❅

ω̄ ❄❄

❅

ω

⑦⑦⑦

k,

❄

P (ω̄) = k ❃
❃
ω̄

ω.

⑧⑧

With this information to hand, the reader may verify the assertion about the loop space
homology ring by using squeezed resolutions.
15. s-hypersurface spaces and z-hypersurface spaces
In the algebraic setting the remarkable fact is that modules over hypersurfaces have eventually periodic resolutions, and hence that they are hhci of codimension 1. The purpose of
this section is to sketch a similar result for spaces. The argument is given in detail in [22].
Theorem 15.1. If X is an s-hypersurface space with fibre sphere of dimension ≥ 2 then X
is a z-hypersurface space.
15.A. Split spherical fibrations. The key in algebra was to consider bimodules, for which
we consider the (multiplicative) exact sequence
R −→ Re −→ Re ⊗R k,
35

where the first map is a monomorphism split by the map µ along which R acquires its
structure as an Re -module structure. This corresponds to the pullback fibration
X ←− X ×BΓ X ←− S n ,
split by the diagonal
∆ : X −→ X ×BΓ X
along which the cochains on X becomes a bimodule. To simplify notation, we consider a
more general situation: a fibration
B ←− E ←− S n
with section s : B −→ E. The case of immediate interest is B = X, E = X ×BΓ X, where a
C ∗ (E)-module is a C ∗ (X)-bimodule.
Note that by the third isomorphism theorem for fibrations, there is a fibration
s

ΩS n −→ B −→ E.
This gives the required input for the following theorem. The strength of the result is that
the cofibre sequences are of C ∗ (E)-modules.
s

Theorem 15.2. Suppose given a fibration ΩS n −→ B −→ E with n ≥ 2.
(i) If n is odd, then there is a cofibre sequence of C ∗ (E)-modules
Σn−1 C ∗ (B) ←− C ∗ (B) ←− C ∗ (E).
(ii) If n is even, then there are cofibre sequences of C ∗ (E)-modules
C ←− C ∗ (B) ←− C ∗ (E)
and
Σ2n−2 C ∗ (B) ←− C ←− Σn−1 C ∗ (E).
In particular the fibre of the composite
C ∗ (B) −→ C −→ Σ2n−2 C ∗ (B)
is a small C ∗ (E)-module constructed with one cell in codegree 0 and one in codegree n − 1.
Remark 15.3. Note that in either case we obtain a cofibre sequence
K ←− C ∗ (B) ←− Σa C ∗ (B)
of C ∗ (E)-modules with K small.
The strategy is to first prove the counterparts in cohomology by looking at the Serre
spectral sequence of the fibration from Part (i) and then lift the conclusion to the level of
cochains.
36

16. Growth of z-hypersurface resolutions
In this brief section we prove perhaps the simplest implication between the hypersurface
conditions: a z-hypersurface is a g-hypersurface.
Lemma 16.1. If R is a z-hypersurface and k is a field then the vector spaces πn (E) are of
bounded dimension and R is a g-hypersurface.
Proof: Since R is a z-hypersurface, then in particular there is a projective resolution of k
which is eventually periodic. In other words there is a triangle
Σn k −→ k −→ L
with n 6= 0 and L small over R. Applying HomR (·, k) we find a triangle
Σ−n E ←− E ←− HomR (L, k).
Since L is finitely built from R, HomR (L, k) is finite dimensional over k, and hence only
nonzero in a finite range of degrees (say [−N, N]). Outside that range we have πs+n (E) ∼
=
πs (E), so every homotopy group is isomorphic as a k-vector space to one in the range
[−N − n, N + n] and the bound is the largest of these dimensions.


Remark 16.2. Essentially the same argument shows that a cofibre sequence Σn A −→ A −→
B with two terms the same means that the growth rate of A is at most one more than that
of B.
Part 5. Gorenstein rings
This is the final part taking a particular classes of commutative local rings, and giving
homotopy invariant counterparts of the definitions. The justification consists of the dual
facts that the new definition reduces to the old in the classical setting and that the new definition covers and illuminates new examples.The generalization of the Gorenstein condition
is perhaps the most successful of the three, since there are so many Gorenstein ring spectra,
and this approach provides consequences that are both unexpected and very concrete.
In Section 17 we introduce the homotopy invariant version of the Gorenstein condition an
in Section 18 the associated Gorenstein duality property and its implications for coefficients.
We then provide some basic tools for dealing with the Gorenstein condition: ascent and
descent in Section 19 and Morita invariance in Section 20. We then turn to examples in
earnest, with a discussion of Gorenstein duality for group cohomology in Section 21, for
rational homotopy theory in Section 22 and a brief pointer to other examples in Section 23.
17. The Gorenstein condition
In this section we quickly recall the definition of a Gorenstein local ring in a form which
also makes sense for ring spectra with a map to k.
37

17.A. Gorenstein local rings. The usual definition of a Gorenstein local ring is that R
is of finite injective dimension over itself. But it is then proved that in fact it is then of
injective dimension equal to r = Krull dimension(R) and that Ext∗R (k, R) = ExtrR (k, R) = k.
Conversely, if this holds, the ring is Gorenstein. There are various other characterizations
of Gorenstein rings, including a duality statement that we will discuss shortly, but this is
enough to suggest the definition for ring spectra.
17.B. Gorenstein ring spectra. Ultimately, we want to consider duality phenomena modelled on those in commutative algebra of Gorenstein local rings, so we will develop the theory
for spectra in parallel. Corresponding to the Noetherian condition we restrict the class of
ring spectra to those which are proxy-small in the sense of Definition 5.2. We begin with
the core Gorenstein condition and move onto duality in due course. These definitions come
from [33].
17.C. The Gorenstein condition. We say that R −→ k is Gorenstein of shift a (and write
shift(R) = a) if we have an equivalence
HomR (k, R) ≃ Σa k
of R-modules.
Remark 17.1. We will say that it is c-Gorenstein if R∗ −→ k is a Gorenstein local ring. As
usual the spectral sequence
Ext∗,∗
R∗ (k, R∗ ) ⇒ π∗ (HomR (k, R))
shows that a c-Gorenstein ring spectrum is Gorenstein, but we will give many examples of
Gorenstein ring spectra which are not c-Gorenstein.
18. Gorenstein duality
Although the Gorenstein condition itself is convenient to work with, the real reason for
considering it is the duality property that it implies. To formulate this, we use local cohomology in the sense of Grothendieck, and the reader may wish to refer to Appendix A for
the basic definitions.
18.A. Classical Gorenstein duality. In classical local commutative algebra, the Gorenstein duality property is that all local cohomology is in a single cohomological degree, where
it is the injective hull I(k) of the residue field. To give a formula, we write Γm M for the
m-power torsion in an R-module M, and Hm∗ (M) for the local cohomology of M, recalling Grothendieck’s theorem that if R is Noetherian, Hm∗ (M) = R∗ Γm (M). The Gorenstein
duality statement for a local ring of Krull dimension r therefore states
Hm∗ (R) = Hmr (R) = I(k).
If R is a k-algebra, I(k) = R∨ = Γm Homk (R, k).
38

18.B. Gorenstein duality for k-algebra spectra. Turning to ring spectra, we will treat
the case that R is a k-algebra. This simplifies things considerably, and covers many interesting examples. The more general case requires a discussion of Matlis lifts, for which we
refer the reader to [33].
In the case of k-algebras, we may again define R∨ = Cellk (Homk (R, k)) and observe this
has the Matlis lifting property
HomR (T, R∨ ) ≃ Homk (T, k)
for any T built from k.
In particular, if R is Gorenstein of shift a we have equivalences of R-modules
(G)

(M )

HomR (k, Cellk R) ≃ HomR (k, R) ≃ Σa k ≃ HomR (k, Σa R∨ ),
where the equivalence (G) is the Gorenstein property and the equivalence (M) is the Matlis
lifting property. We would like to remove the HomR (k, ·) to deduce
Cellk R ≃ Σa R∨ .
Morita theory (specifically Lemma 6.3) says that if R is proxy-regular we may make this
deduction provided R is orientably Gorenstein in the sense that the right actions of E =
HomR (k, k) on Σa k implied by the two equivalences (G) and (M) agree.
We note that Cellk (R) is a covariant functor of R whilst R∨ is a contravariant functor of
R, so an equivalence between them is a form of duality: when it holds we say R satisfies
Gorenstein duality.
18.C. Automatic orientability. There are a number of important cases where orientability is automatic because E has a unique action on k, and in this case the Gorenstein condition
automatically implies Gorenstein duality.
The first case of this is when R is a classical commutative local ring, although of course we
knew already that in this case the Gorenstein condition is equivalent to Gorenstein duality.
From our present point of view, we see this as a consequence of connectivity: E (whose
homology is Ext∗R (k, k)) has a unique action on k. The same argument applies when the ring
spectrum is both a k-algebra and connected.
Proposition 18.1. Suppose R is a proxy-regular, connected k-algebra and π∗ (R) is Noetherian with π0 (R) = k and maximal ideal m of positive degree elements. If R is Gorenstein of
shift a, then it is automatically orientable and so has Gorenstein duality.
Proof : First we argue that if R is Gorenstein, it is automatically orientable. Indeed, we
show that E has a unique action on k. Since R is a k-algebra, the action of E on k factors
through
E = HomR (k, k) −→ Homk (k, k) = k,
so since k is an Eilenberg-MacLane spectrum, the action is through π0 (E). Now we observe
that since R is connected, ExtsR∗ (k, k) is in degrees ≤ −s, so that the spectral sequence for
calculating π∗ (HomR (k, k)) shows E is coconnective with π0 (E) = k which must act trivially
on k.

39

We may go a little further to the nilpotent case.
Lemma 18.2. If X is connected with π1 (X) a finite p-group and k is of characteristic p
then if C ∗ (X) is Gorenstein it automatically has Gorenstein duality.
Proof: Again we find E has a unique action on k. Since E is a k-algebra, it acts through
π0 (E) = H0 (ΩX) = k[π1 (X)]. By the characteristic assumption, this has a unique action on
k.

18.D. The local cohomology theorem. In many cases (see Remark D.2 of Appendix Dy)
one can give an algebraic description of the k-cellularization and infer algebraic consequences
of Gorenstein duality. For simplicity we restrict to local k-algebras, although the methods
apply more generally.
Lemma 18.3. If R∗ is a Noetherian k-algebra, with maximal ideal m and residue field k,
then k-cellularization coincides with the derived m-power torsion functor. Accordingly, if R
has Gorenstein duality, there is a local cohomology spectral sequence
Hm∗ (R∗ ) ⇒ Σa R∗∨ .
If R has Gorenstein duality, Lemma 18.3 shows that the ring π∗ (R) has very special
properties (even if it falls short of being Gorenstein), studied in [70]. Some of these properties
were first observed by Benson and Carlson [16, 17] for group cohomology (corresponding to
the special case of the ring spectrum R = C ∗ (BG), which we will see below has Gorenstein
duality).
To start with, we note that the spectral sequence collapses if R∗ is Cohen-Macaulay to
show Hmr (R∗ ) ∼
= Σa+r R∗∨ (where r is the Krull dimension of R∗ ). Thus the coefficient ring
R∗ is also Gorenstein.
The spectral sequence also collapses if R∗ is of Cohen-Macaulay defect 1, to give an exact
sequence
0 −→ Hmr (R∗ ) −→ Σa+r R∗∨ −→ ΣHmr−1 (R∗ ) −→ 0.
In general, local duality lets one deduce that the cohomology ring R∗ is always generically
Gorenstein.
The collapse of the local cohomology theorem in the case of Cohen-Macaulay defect ≤ 1
has very concrete consequences in that the Hilbert series of R∗ satisfies a suitable pair of
functional equations.
Corollary 18.4. [56] Suppose R has Gorenstein duality of shift a, that π∗ (R) is Noetherian
P
of Krull dimension r and Hilbert series p(s) = i dimk (Ri )si .
If π∗ (R) is Cohen-Macaulay it is also Gorenstein, and the Hilbert series satisfies
p(1/s) = (−1)r sr−a p(s).

If π∗ (R) is almost Cohen-Macaulay it is also almost Gorenstein, and the Hilbert series
satisfies
p(1/s) − (−1)r sr−a p(s) = (−1)r−1 (1 + s)q(s) and q(1/s) = (−1)r−1 sa−r+1 q(s).
40

In any case π∗ (R) is Gorenstein in codimension 0 and almost Gorenstein in codimension
1.
19. Ascent, descent and arithmetic of shifts
Very commonly we have a a map θ : S −→ R of ring spectra, and we wish to relate
properties of the two rings. With language from the geometric counterpart, a theorem
stating that if R is Gorenstein then S is Gorenstein is called a descent theorem and a theorem
stating that if S is Gorenstein then R is Gorenstein is called an ascent theorem. Typically
the hypotheses are either about relative properties of θ or in terms of the cofibre of θ.
19.A. Relatively Gorenstein maps. We say that θ is relatively Gorenstein of shift a if
HomS (R, S) ≃ Σa R,
and then write a = shift(R|S). This is quite a strong version of the condition, since we have
asked for a single untwisted ineger suspension.
We make the elementary observation that for any ring map θ : S −→ R
HomR (k, HomS (R, S)) ≃ HomR (R ⊗S k, S) ≃ HomS (k, S).
Thus we conclude that if S −→ R is relatively Gorenstein then R is Gorenstein if and only
if S is Gorenstein, and in that case
shift(S) = shift(R) + shift(R|S).
19.B. Two chromatic examples. There are a number of examples where known facts
amount to proving that a map of ring spectra is relatively Gorenstein, and the resulting
descent theorems prove things of great interest. In these examples one shows that θ is
relatively Gorenstein and R is c-Gorenstein; we then reach the interesting conclusion that S
is Gorenstein.
Example 19.1. (Complexification in K-theory) (i) Periodic complex K-theory is represented
by the ring spectrum KU and periodic real K-theory by KO. The coefficient ring of complex
K-theory is KU∗ = Z[v, v −1 ] where v is of degree 2. Complexification gives a ring map
S = KO −→ KU = R
and we observe that it is relatively Gorenstein. Indeed, Wood’s theorem states KO ∧ CP 2 ≃
Σ2 KU. Since
CP 2 = S 2 ∪η e4
we see that there is a cofibre sequence
η

ΣKO −→ KO −→ KU
of KO-modules. It follows by applying HomKO (·, KO) that
HomKO (KU, KO) ≃ Σ−2 KU
so that KO −→ KU is relatively Gorenstein of shift −2.
(ii) We may take connective covers to obtain a ring map
S = ko −→ ku = R.
41

Now ku∗ = Z[v] and killing homotopy groups gives a ring map
ku −→ Z
which is evidently c-Gorenstein (and hence Gorenstein) of shift −3. The connective version
of Wood’s theorem gives a cofibre sequence
η

Σko −→ ko −→ ku
of ko-modules. It follows by applying Homko (·, ko) that
Homko(ku, ko) ≃ Σ−2 ku
so that ko −→ ku is also relatively Gorenstein of shift −2. Hence we deduce that ko −→ Z
is Gorenstein of shift −5. We note that the ring ko∗ = Z[η1 , α4 , β8 ]/(η 3 , ηα, α2 = 4β, 2η) is
fairly complicated, and it is easy to check that ko −→ Z is not c-Gorenstein.
In this discussion we have taken k = Z, which is not a field. If the reader prefers, we can
instead work over the field Fp and use the fact that for any prime p the map ku −→ Fp is
c-Gorenstein of shift −4. Since ko −→ ku is relatively Gorenstein of shift −2 we conclude
ko −→ Fp is Gorenstein of shift −6.

Example 19.2. (Topological modular forms) Precisely similar statements hold for the ring
spectrum tmf of topological modular forms at various primes. This uses results of HopkinsMahowald as proved by Matthew [82] (see [54] for a slightly expanded discussion).
(3) Localized at the prime 3, there is a map tmf −→ tmf0 (2) to the ring spectrum of
topological modular forms with the indicated level structure. The counterpart of Wood’s
theorem is the fact that tmf0 (2) ≃ tmf ∧ (S 0 ∪α1 e4 ∪α1 e8 ), so that
Homtmf (tmf0 (2), tmf ) ≃ Σ−8 tmf0 (2),
and the map is relatively Gorenstein of shift −8. Since tmf0 (2)∗ = Z(3) [c2 , c4 ] (where |ci | =
2i) we see that tmf0 (2) −→ Z(3) is c-Gorenstein (and hence Gorenstein) of shift −14. Hence
we deduce by Gorenstein descent that tmf −→ Z(3) is Gorenstein of shift −22.
(2) Localized at the prime 2, there is a map tmf −→ tmf1 (3) to the ring spectrum of
topological modular forms with the indicated level structure. The Here tmf1 (3) is a form of
BP h2i and tmf1 (3) ≃ tmf ∧ DA(1) so that
Homtmf (tmf1 (3), tmf ) ≃ Σ−12 tmf1 (3),
and the map is relatively Gorenstein of shift −12. Since tmf1 (3)∗ = Z(2) [α1 , α3 ] (where
|αi | = 2i) we see that tmf1 (3) −→ Z(2) is c-Gorenstein (and hence Gorenstein) of shift −10.
Hence we deduce by Gorenstein descent that tmf −→ Z(2) is Gorenstein of shift −22.

Abstracting this slightly, we have
θ

S −→ S −→ R −→ k
and these examples were all very special in that there was an equivalence
R ≃ S ⊗S L
42

for a self-dual finite complex L. This means in turn that the cofibre of θ : S −→ R
R ⊗S k ≃ k ⊗S L,
with homotopy H∗ (L; k) a Poincaré duality algebra. In the next subsection we show that
this weaker condition is often sufficient to give an ascent theorem.
19.C. Gorenstein Ascent. We suppose that S −→ R −→ Q is a cofibre sequence of
commutative algebras with a map to k, and we now consider the Gorenstein ascent question.
When does the fact that S is Gorenstein imply that R is Gorenstein? It is natural to assume
that Q is Gorenstein, but it is known this is not generally sufficient.
In effect the Gorenstein Ascent theorem will state that under suitable hypotheses (see
Section 19.E) there is an equivalence
HomR (k, R) ≃ HomQ (k, HomS (k, S) ⊗k Q).
When this holds, it follows that if S and Q are Gorenstein, so is R and
shift(R) = shift(S) + shift(Q).
19.D. Arithmetic of shifts. We summarize the behaviour of Gorenstein shifts in the ideal
situation when ascent and descent both hold. If all rings and maps are Gorenstein of the
indicated shifts
s µ r λ q
S −→R−→Q
then r = s + q, µ = −q and λ = s
19.E. When does Gorenstein ascent hold? The core of our results about ascent come
from [33]. Indeed, the proof of [33, 8.6] gives a sufficient condition for Gorenstein ascent in
the commutative context.
Lemma 19.3. If S and R are commutative and the natural map ν : HomS (k, S) ⊗S R −→
HomS (k, R) is an equivalence then
HomR (k, R) ≃ HomQ (k, HomS (k, S) ⊗k Q).
In this case, if S and Q are Gorenstein, so is R, and the shifts add up: shift(R) =
shift(S) + shift(Q).

Now that we have a sufficient condition for Gorenstein ascent, we want to identify cases
in which it is satisfied. The map
ν : HomS (k, S) ⊗S M −→ HomS (k, M),
is clearly an equivalence when M = R and hence for any module finitely built from R. This
shows that the hypotheses are satisfied when R is small over S (or equivalently, when Q is
finitely built from k) so that ascent holds in this case. This is already a very useful result.
Example 19.4. If we have a fibration F −→ E −→ B of spaces to which the EilenbergMoore theorem applies in the sense that C ∗ (F ) = C ∗ (E) ⊗C ∗ (B) k, then if B is Gorenstein
and F is an orientable manifold, it follows from Gorenstein Ascent that E is Gorenstein.
43

There are other important cases where ν is han equivalence. Indeed, we can exploit the
fact that the hypothesis on ν in Lemma 19.3 only depends on R as a module over S to show
that ν is an equivalence when R is suitably approximated as an inverse limit. This is a
central ingredient in proving Gorenstein duality for many topological Hochschild homology
spectra [54].
19.F. Local duality. To start with, we clarify terminology. The Gorenstein duality property we have been discussing is a rare and special thing. On the other hand, local duality
(as in the title of this subsection) is a tool available very generally. Local duality is based on
Noether normalization, which means that every well behaved local ring R is finite as a module over a Gorenstein ring S. Local duality is the property inherited by R as a consequence
of the existence of S.
Accordingly, we assume for the rest of this section that we are given a map S −→ R so that
R is a small S-module. Notice that this means that for an R-module M, its k-cellularization
as an R-module is its k-cellularization as an S-module and similarly for k-completions. This
is reflected in our notation. We also note that R∨ = HomS (R, S ∨ ) so that the Matlis lifts
are related by coextension of scalars.
Traditionally, local duality is thought of as saying that Matlis dual of local cohomology
(embodied in HomR (Cellk R, R∨ ) ≃ (R∨ )∧k ) is isomorphic to a completed Ext group (embodied by HomS (R, S)∧k ). Directly translating this into our context we reach a more inscrutable
definition.
Definition 19.5. We say that S −→ R has local duality of shift b if there is an equivalence
of R-modules
HomS (R, S)∧k = Σb (R∨ )∧k .
We now have two properties the map S −→ R may or may not have: the relative Gorenstein property and local duality. We also have Gorenstein duality for S −→ k and for
R −→ k. It is valuable to disentangle the relationships between them.
In fact we have three complete R-modules.
• Rk∧
• (R∨ )∧k
• HomS (R, S)∧k
The equivalence of each of the possible pairs has a name. In the following diagram, the label
“relGor” means “k-completion of relatively Gorenstein”, “locD” means “local duality”, and
“GorD” means “Gorenstein duality”; the superscripts indicate the suspension necessary to
get from the tail of the arrow to the head of the arrow.
HomS (R, S)∧k
Rk∧

c rrr
relGorr
r
r
rr
r
r
y
r

◆◆◆
b
◆◆locD
◆◆◆
◆◆◆
&
/ (R∨ )∧
k

RGorDa

Sk∧ ❊
❊

❊❊SGorDb
❊❊
❊❊
"

(S ∨ )∧k

This makes it clear that any two of relGor, locD and RGorD implies the third, and that
a + c = b.
44

It remains to observe that locD follows from SGorD by coextension of scalars from Smodules to R-modules.
Lemma 19.6. If S has Gorenstein duality of shift b then S −→ R has local duality of shift
b.
Proof: We apply HomS (R, ·) to the equivalence Sk∧ ≃ Σb (S ∨ )∧k and then use the following
lemma to move the completions to the outside.

Lemma 19.7. For any S-module N, we have an equivalence
HomS (R, Nk∧ ) ≃ HomS (R, N)∧k
Proof: This is a formality:
HomS (R, HomS (Cellk S, N)) ≃ HomS (R ⊗S Cellk S, N)) ≃ HomR (Cellk R, HomS (R, N))

This approach can be used to show that Gorenstein duality localizes [20].
20. Morita invariance of the Gorenstein condition
We show that the Gorenstein condition is Morita invariant in many useful cases, provided
R is a k-algebra. This allows us to deduce striking consequences from well-known examples
of Gorenstein rings. For instance we can deduce the local cohomology theorem for finite
p-groups from the fact that kG is a Frobenius algebra.
Theorem 20.1. Suppose R is a k-algebra, and that E and R are Matlis reflexive. Then
HomE (k, E) ≃ HomR (k, R),
and hence
E is Gorenstein ⇐⇒ R is Gorenstein.
Proof: We use the fact that (in the notation of Section 6) E(R∨ ) = k ∨ , so that by Lemma
6.3 we have
R∨ = T E(R∨ ) = T k ∨ = k ∨ ⊗E k.
We also note that
HomR (k ⊗R k ∨ , k) ≃ Homk (k, HomR (k, k)) ≃ E
so that
E ∨ = k ⊗R k ∨ .
Next, note that the expression k ⊗R k ∨ ⊗E k makes sense, where the right E-module
structure on the first two factors comes from k ∨ . The key equality in the proof is simply the
associativity isomorphism
E ∨ ⊗E k = k ⊗R k ∨ ⊗E k = k ⊗R R∨ .
Now we make the following calculation,
45

HomE (k, E) ≃
≃
≃
≃
≃
≃

HomE (k, (E ∨ )∨ )
Homk (E ∨ ⊗E k, k)
Homk (k ⊗R k ∨ ⊗E k, k)
Homk (k ⊗R R∨ , k)
HomR (k, (R∨ )∨ )
HomR (k, R)


21. Gorenstein duality for group cohomology
This section describes the key example. The first sign of this duality was in Benson-Carlson
duality [16, 17], which in particular shows that the Hilbert series of the group cohomology
ring H ∗ (BG) satisfies a functional equation if it is Cohen-Macaulay or a pair of functional
equations if it is almost Cohen-Macaulay. An algebraic construction of the local cohomology
spectral sequence was given in [49]; this was inspired by the topological construction using
equivariant topology in [47], and a proof using structured equivariant spectra first appears
in [18]. The method described here comes from [33].
21.A. p-groups. If G is a p-group and k is of characteristic p we note that BG is p-complete
and therefore Ω(BG∧p ) ≃ G and the Morita pair is
R = C ∗ (BG; k) and E = C∗ (ΩBG) = kG.
Since kG is a Frobenius algebra, it is Gorenstein of shift 0, and so by Morita invariance of
the Gorenstein condition (Theorem 20.1), C ∗ (BG) is also Gorenstein of shift 0.
21.B. General finite groups. Now if G is an arbitrary finite group, we may choose a
faithful representation ρ : G −→ SU(n) for some n and consider the fibration
BSU(n) ←− BG ←− SU(n)/G.
Since BSU(n) is simply connected, the Eilenberg-Moore theorem gives a cofibre sequence
C ∗ (BSU(n)) −→ C ∗ (BG) −→ C ∗ (SU(n)/G).
Now note that H ∗ (BSU(n)) is polynomial on c2 , . . . , cn and therefore C ∗ (BSU(n)) is cGorenstein and therefore Gorenstein (with shift 2(2 + 3 + · · · + n) − (n − 1) = dim(SU(n))).
On the other hand SU(n)/G is an orientable manifold of the same dimension as SU(n) and
therefore C ∗ (SU(n)/G) is Gorenstein. By Gorenstein Ascent (Example 19.4), C ∗ (BG) is
Gorenstein of shift 0 as required.
21.C. The local cohomology theorem. As described in Lemma 18.3 we thus obtain the
local cohomology theorem
Hm∗ (H ∗ BG) ⇒ H∗ (BG)
for group cohomology.
46

As described in Corollary 18.4, we then obtain functional equations in many cases. We
warn that t is of codegree 1 (unlike s in the corollary, which was of degree 1). If H ∗ (BG) is
Cohen-Macaulay, it is Gorenstein and its Hilbert series satisfies
p(1/t) = (−1)r tr p(t).
If H ∗ (BG) is almost Cohen-Macaulay it is also almost Gorenstein, and the Hilbert series
satisfies
p(1/t) − (−1)r tr p(t) = (−1)r−1 (1 + t)q(t) and q(1/t) = (−1)r−1 t−r+1 q(t).
In any case H ∗ (BG) is Gorenstein in codimension 0 and almost Gorenstein in codimension
1.
We will describe a number of 2-group examples with k of characteristic 2.
21.D. The elementary abelian group of rank r. The group of order 2 may be viewed
as a subgroup of the non-zero real numbers. It therefore acts diagonally on nR = R ⊕ · · · ⊕ R
and freely on the unit sphere S(nR). Hence
BC2 = S(∞R)/C2 = RP ∞ .
Similarly, if G ∼
= C2 × · · · × C2 is of rank r we see that
BG = RP ∞ × · · · × RP ∞ ,
and
H ∗ (BG) = k[x1 , . . . , xr ].
This is visibly of dimension r and depth r and
p(t) =

1
.
(1 − t)r

The functional equation is easily checked, and the reader may wish to check directly that
the local cohomology of H ∗ (BG) is H∗ (BG) (up to a shift).
21.E. The quaternion group of order 8. If G = Q8 is quaternion of order 8 we note that
it acts freely on the unit 3-sphere in the quaternion algebra S(H), and in fact H ∗ (S(H)/G) =
k[x, y]/(x3 , x2 + xy + y 2, y 3). It is then clear that G acts freely on the contractible space
S(∞H) and that
H ∗ (BG) = H ∗ (S(H)/G)[z]
where z is of codegree 4. This is visibly of dimension 1 and depth 1 and
1 + 2t + 2t2 + t3
.
1 − t4
The functional equation is easily checked. It is also easy to check directly that the local
cohomology of H ∗ (BG) is H∗ (BG) (up to a shift).
Although there are many other groups for which we could calculate the cohomology it is
convenient to simply refer to the invaluable Jena database [45] for the cohomology of small
p-groups.
p(t) =

47

21.F. The dihedral group of order 8. If G = D8 is dihedral of order 8
H ∗ (BG) = k[x1 , y1 , z2 ]/(xy).
It is quick to check that this is of dimension 2 and depth 2 and
1
p(t) =
.
(1 − t)2
The functional equation is easily checked. It is an easy exercise to check directly that the
local cohomology of H ∗ (BG) is H∗ (BG) (up to a shift).
21.G. The semi-dihedral group of order 16. If G = SD16 is the semi-dihedral group of
order 16
H ∗ (BG) = k[x1 , y1 , z3 , t4 ]/(xy, x3 , xz, z 2 + ty 2 ).
One may check that this is of dimension 2 and depth 1 and is included as the first example
which is not Cohen-Macaulay. Its Hilbert series is
1
p(t) =
,
2
(1 − t) (1 + t2 )
and one may check that the almost Cohen-Macaulay functional equations are satisfied with
shift 0. It is presumably a coincidence that it also satisfies the functional equation of a
Cohen-Macaulay graded ring of dimension 2 with (homological) shift 2.
21.H. Group Number 7 of order 32. The 7th group in the Small Groups library list
of the 51 groups of order 32 is the only one whose cohomology is neither Cohen-Macaulay
nor almost Cohen-Macaulay. The ring has a minimal presentation with 8 generators and 18
relations, so it won’t be recorded here. The important facts for us are that it is of dimension
3 and depth 1 and has Hilbert series
1 − t + t2
.
(1 − t)3 (1 + t2 )
By coincidence this satisfies the functional equation for a Gorenstein graded ring with shift
0.
Taking the description of its cohomology given in [86] one may easily calculate its local
cohomology. In fact it has a polynomial subgring P = k[z1 , x2 , s4 ] over which it is a direct
sum of 5 submodules, namely P ⊕ Σ3 P ⊕ Σ4 P ⊕ M ⊕ N where
p(t) =

{x,z}

M = cok(Σ4 P −→ Σ2 P ⊕ Σ3 P )
and
N = Σ1 P/(x, z).
The free submodule is of depth 3, M is of depth 2. Finally
Hm1 (H ∗ (BG)) = Hm1 (N)
is of dimension 1 over k in degrees 3, 7, 11, 15, · · · . Knowing the dimensions of Hn (BG) from
p(t) we see that the differential
d2 : Hm1 (H ∗ (BG)) −→ Σ−1 Hm3 (H ∗ BG))
48

is a monomorphism (and so non-zero in infinitely many degrees).
21.I. Other classes of groups. We have described the fact that C ∗ (BG) is Gorenstein
for finite groups G. It is shown in [33] that C ∗ (BG) is Gorenstein of shift equal to dim(G)
whenever G is a compact Lie group, provided that either k is of characteristic 2 or the group
of components is of odd order. In general there is a twisting by the representation H g (G),
which is trivial in the aforementioned cases.
If G is a virtual duality group of dimension n there is a form of Gorenstein duality with
shift −n for C ∗ (BG). Now there is a twisting by H n (G; kG), which is usually of infinite
dimension. The algebraic proof is given in [19], along with a topological proof for arithmetic
groups using equivariant topology. A proof along the present lines can be given for these
groups as follows. We choose a normal subgroup N of finite index in G which is a duality
group, and a contractible space X on which G acts with finite isotropy. Now N acts freely
on X so X/N is a manifold with boundary. Now let Q = G/N, and consider the fibration
BQ ←− BG ←− X/N,
which we may obtain from the equivalence
BG ≃ EQ ×Q (X/N).
We attempt to apply Gorenstein Ascent. In the situation that X/N has empty boundary
(i.e., G is a virtual Poincaré duality group) we infer C ∗ (BG) is Gorenstein as required.
22. Gorenstein duality for rational spaces
This section discusses Gorenstein duality for rational spaces. Félix-Halperin-Thomas [42]
have considered the Gorenstein condition in depth, so the distinctive feature here is the
concentration on Gorenstein duality as in [33].
For spaces with finite dimensional cohomology X is Gorenstein if and only if H ∗ (X) is
Gorenstein, but in general there are Gorenstein spaces for which H ∗ (X) is not Gorenstein
and we make explicit the local cohomology theorem and its consequences for H ∗ (X).
22.A. Fundamentals. We specialize some of the above results to C ∗ (X; Q), beginning with
the zero dimensional case.
Lemma 22.1. [42, 3.6] If H ∗ (A) is finite dimensional then A is Gorenstein if and only if
H ∗ (A) is a Poincaré duality algebra.
Proof: If H ∗ (A) is a Poincaré duality algebra of formal dimension n then it is a zero dimensional Gorenstein ring with a-invariant −n, so A is Gorenstein with shift −n by the previous
corollary.
Conversely, if A is Gorenstein of shift a, we have a Gorenstein duality spectral sequence.
Since H ∗ (A) is finite dimensional, it is all torsion. Accordingly, Hm∗ (H ∗ (A)) = H ∗ (A), and
the spectral sequence reads
H ∗ (A) = Σa H ∗ (A)∨
and H ∗ (A) is a Poincaré duality algebra of formal dimension −a.

49

By applying Gorenstein Ascent (Example 19.4) one may use these to construct other
examples which are Gorenstein but not c-Gorenstein.
Proposition 22.2. [42, 4.3] Suppose we have a fibration F −→ E −→ B with F finite. If
F and B are Gorenstein with shifts f and b then E is Gorenstein with shift e = f + b. 
Lemma 22.3. If X is a simply connected rational space with H ∗ (X) Noetherian then if
C ∗ (X; Q) is Gorenstein of shift a, then it is automatically orientable and so has Gorenstein
duality of shift a
Proof: We see that Q is proxy-small by Corollary 7.2. We may now apply the same argument as for Proposition 18.1 to see there is a unique action of C∗ (ΩX; Q) on Q and deduce
automatic Gorenstein duality.

22.B. Examples. The basic results of the previous subsection allow us to construct innumerable examples. For example any finite Postnikov system is Gorenstein [42, 3.4], so that
in particular any sci space is Gorenstein. A simple example will illustrate the duality.
Example 22.4. We construct a rational space X in a fibration
S 3 × S 3 −→ X −→ CP ∞ × CP ∞ ,
so that X is Gorenstein. We will calculate H ∗(X) and observe that it is not Gorenstein.
Let V be a graded vector space with two generators u, v in degree 2, and let W be a
graded vector space with two generators in degree 4. The two 4-dimensional cohomology
classes u2 , uv in H ∗(KV ) = Q[u, v] define a map KV −→ KW , and we let X be the fibre,
so we have a fibration
S 3 × S 3 −→ X −→ KV
as required. By [33], this is Gorenstein with shift −4 (being the sum of the shift (viz −6) of
S 3 × S 3 and the shift (viz 2) of KV ).
It is amusing to calculate the cohomology ring of X. It is Q[u, v, p]/(u2, uv, up, p2) where
u, v and p have degrees 2, 2 and 5. The dimensions of its graded components are 1, 0, 2, 0, 1, 1, 1, 1, 1, . . .
(i.e., its Hilbert series is pX (t) = (1 + t5 )/(1 − t2 ) + t2 , where t p
is of codegree 1).
In calculating local cohomology it is useful to note that m = (v). The local cohomology
is Hm0 (H ∗ (X)) = Σ2 Q in degree 0 (so that H ∗ (X) is not Cohen-Macaulay) and as a Q[v]module Hm1 (H ∗ (X)) is Q[v]∨ ⊗ (Σ−3 Q ⊕ Σ2 Q). Since there is no higher local cohomology the
local cohomology spectral sequence necessarily collapses, and the resulting exact sequence
0 −→ Hm1 (H ∗ (X)) −→ Σ−4 H ∗ (A)∨ −→ Σ−2 Q −→ 0
is consistent.
Since the Cohen-Macaulay defect here is 1, we have a pair of functional equations
pX (1/t) − (−t)t−4 pX (t) = (1 + t)δ(t)
and
δ(1/t) = t4 δ(t).
50

Indeed, the first equation gives δ(t) = t−2 , which is indeed the Hilbert series of Hm0 (H ∗ (X))∨ ,
and it obviously satisfies the second equation.

23. The ubiquity of Gorenstein ring spectra
We have considered a number of examples, in some cases giving rather complete proofs.
This short section points out that the ideas can be extended rather easily. In fact there is
a sense in which all the examples come from the first three by using Gorenstein Ascent and
Morita invariance of the Gorenstein condition.
• Gorenstein commutative local rings R (shift −Krulldim(R)).
• C ∗ (M) for closed manifolds M (orientable if M is orientable; shift − dim(M)).
• C∗ (G) for compact Lie groups G (orientable if G acts trivially on Hg (G); shift
dim(G)).
• C ∗ (BG) for compact Lie groups G (orientable if G acts trivially on Hg (G); shift
dim(G)).
• C ∗ (BG) for virtual duality groups G (dualizing module H∗ (G; kG); shift −formal-dim(G)).
• C ∗ (EG×G M) Borel construction on a G-manifold M m for Gg compact Lie (orientable
if G, M and the action are; shift g − m). An amusing instance of this arises from
toric geometry; if K is a simplicial complex one may construct the so-called moment
angle complex ZK which has an action of a torus G whose Borel cohomology is the
Stanley-Reisner ring k[K]. If K is a simplicial sphere ZK is a manifold and k[K] is
Gorenstein. See [29] for definitions and proofs.
• Chromatic examples. The coefficient ring R (or ring spectrum) is contravariant in the
geometric object making it like cochains, but the ring spectrum R is often connective
(unlike cochains). With this caveat, the examples are parallel to the C ∗ (BG) example
with the compact Lie group G replaced by an algebraic group G, so that R plays
the role of the ring spectrum of functions on G. The Morita counterpart of R = OG
would be the ring of operations C∗ (G; k) = HomR (k, k).
• Hochschild homology. In [54] several classes of examples are identified where the
Hochschild homology with field coefficients inherits Gorenstein properties. The context is that we are given maps S −→ R −→ k of commutative rings, so that we can
define the Hochschild homology
HH•(R|S; k) = R ⊗R⊗S R k,
and it is a ring spectrum with a map to k. The results then say that (under substantial
additional hypotheses) if R is Gorenstein of shift a and HH• (k|S; k) is Gorenstein
of shift b then HH• (R|S; k) is Gorenstein of shift b − a. The proof comes out of
Gorenstein Ascent, with the hypotheses designed to allow the application of Lemma
19.3.
51

Appendix A. Algebraic definitions: Local and Čech cohomology and
homology
Related surveys are given in [59, 60]. The material in this section is based on [66, 58, 48].
Background in commutative algebra can be found in [83, 28].
I. The functors. Suppose to begin with that R is a commutative Noetherian ring and
that I = (α1 , . . . , αn ) is an ideal in R. We shall be concerned especially with two naturally
occurring functors on R-modules: the I-power torsion functor and the I-adic completion
functor.
The I-power torsion functor ΓI is defined by
M 7−→ ΓI (M) = {x ∈ M | I k x = 0 for k >> 0}.
We say that M is an I-power torsion module if M = ΓI M. It is easy to check that the
functor ΓI is left exact.
The I-adic completion functor is defined by
M 7−→ MI∧ = lim M/I k M.
← k

The Artin-Rees lemma implies that I-adic completion is exact on finitely generated modules,
but it is neither right nor left exact in general.
II. The stable Koszul complex. We begin with a sequence α1 , . . . , αn of elements of R
and define various chain complexes. In Subsection III we explain why the chain complexes
only depend on the radical of the ideal I = (α1 , . . . , αn ) generated by the sequence, in
Subsection IV we define associated homology groups, and in Subsection V we give conceptual
interpretations of this homology under Noetherian hypotheses.
We begin with a single element α ∈ R, and an integer s ≥ 0, and define the sth unstable
Koszul complex by
Ks• (α) = (αs : R −→ R)
where the non-zero modules are in cohomological degrees 0 and 1. These complexes form a
direct system as s varies,
α
K1• (α) = ( R −→ R )
↓
=↓
↓α
α2

K2• (α) = ( R −→ R )
↓
=↓
↓α
α3

K3• (α) = ( R −→ R )
↓
=↓
↓α
and the direct limit is the flat stable Koszul complex
•
K∞
(α) = (R −→ R[1/α]) .
•
When defining local cohomology, it is usual to use the complex K∞
(α) of flat modules.
However, we shall need a complex of projective R-modules to define the dual local homology
•
modules. Accordingly, we take a particularly convenient projective approximation P K∞
(α)
•
•
to K∞ (α). Instead of taking the direct limit of the Ks (α), we take their homotopy direct

52

limit. This makes the translation to the topological context straightforward. More concretely,
•
our model for P K∞
(α) is displayed as the upper row in the homology isomorphism
P K • (α)

=

( R ⊕ R[x]

h1,αx−1i

/

R[x] )
g

h1,0i



•
K∞
(α)

=

(



R
/



R[1/α] ) ,

•
•
where g(xi ) = 1/αi . Like K∞
(α), this choice of P K∞
(α) is non-zero only in cohomological
degrees 0 and 1.
The stable Koszul cochain complex for a sequence α = (α1 , . . . , αn ) is obtained by tensoring together the complexes for the elements, so that
•
•
•
K∞
(α) = K∞
(α1 ) ⊗R · · · ⊗R K∞
(αn ),
•
and similarly for the projective complex P K∞
(α).

III. Invariance statements. We list some basic properties of the stable Koszul complex,
leaving proofs to the reader.
•
Lemma A.1. If β is in the ideal I = (α1 , α2 , . . . , αn ), then K∞
(α)[1/β] is exact.

Note that, by construction, we have an augmentation map
•
ε : K∞
(α) −→ R.

Using this to compare different stable Koszul complexes and Lemma A.1 to see when they
are equivalences we deduce an important invariance statement.
•
Corollary A.2. Up to quasi-isomorphism, the complex K∞
(α) depends only on the radical
of the ideal I.
•
•
•
In view of Corollary A.2 it is reasonable to write K∞
(I) for K∞
(α). Since P K∞
(α) is a
•
projective approximation to K∞ (α), it too depends only on the radical of I. We also write
Ks• (I) = Ks• (α1 ) ⊗ · · · ⊗ Ks• (αn ), but this is an abuse of notation since even its homology
groups do depend on the choice of generators.

IV. Local homology and cohomology. The local cohomology and homology of an Rmodule M are then defined by
•
HI∗ (R; M) = H ∗ (P K∞
(I) ⊗ M)

and
•
H∗I (R; M) = H∗ (Hom(P K∞
(I), M).
Note that we could equally well use the flat stable Koszul complex in the definition of local
cohomology, as is more usual. Lemma A.1 shows that HI∗ (M)[1/β] = 0 if β ∈ I, so HI∗ (M)
is an I-power torsion module and supported over I.
It is immediate from the definitions that local cohomology and local homology are related
by a third quadrant universal coefficient spectral sequence

(1)

I
E2s,t = ExtsR (HI−t (R), M) =⇒ H−t−s
(R; M),

53

with differentials dr : Ers,t −→ Ers+r,t−r+1 .
V. Derived functors. We gave our definitions in terms of specific chain complexes. The
meaning of the definitions appears in the following two theorems.
Theorem A.3 (Grothendieck [66]). If R is Noetherian, then the local cohomology groups
calculate the right derived functors of the left exact functor M 7−→ ΓI (M). In symbols,
HIn (R; M) = (Rn ΓI )(M).



This result may be used to give an explicit expression for local cohomology in familiar
terms. Indeed, since ΓI (M) = lim Hom(R/I r , M), and the right derived functors of the
→ r

right-hand side are obvious, we have
(Rn ΓI )(M) ∼
= lim ExtnR (R/I r , M).
→ r

The description in terms of the stable Koszul complex is usually more practical.
Theorem A.4 (Greenlees-May [58]). If R is Noetherian, then the local homology groups
calculate the left derived functors of the (not usually right exact) I-adic completion functor
M 7−→ MI∧ . Writing LIn for the left derived functors of I-adic completion, this gives
HnI (R; M) = LIn (M).



The conclusions of Theorem A.3 and A.4 are true under much weaker hypotheses [58, 87].
VI. The shape of local cohomology. One is used to the idea that I-adic completion is
often exact, so that LI0 is the most significant of the left derived functors. However, it is the
top non-vanishing right derived functor of ΓI that is the most significant. Some idea of the
shape of these derived functors can be obtained from the following result. Observe that the
•
complex P K∞
(α) is non-zero only in cohomological degrees between 0 and n, so that local
homology and cohomology are zero above dimension n. A result of Grothendieck’s usually
gives a much better bound. We write dim(R) for the Krull dimension of R and depthI (M)
for the I-depth of a module M (the length of the longest M-regular sequence from I).
Theorem A.5 (Grothendieck [65]). If R is Noetherian of Krull dimension d, then
HIi (M) = 0

and

HiI (M) = 0 if i > d.

If e = depthI (M) then

HIi (M) = 0 if i < e.
If R is Noetherian, M is finitely generated, and IM 6= M, then
HIe (M) 6= 0.



Grothendieck’s proof of vanishing begins by noting that local cohomology is sheaf cohomology with support. It then proceeds by induction on the Krull dimension and reduction
to the irreducible case. The statement about depth is elementary, and proved by induction
on the length of the I-sequence (see [83, 16.8]).
The Universal Coefficient Theorem gives a useful consequence for local homology.
54

Corollary A.6. If R is Noetherian and depthI (R) = dim(R) = d, then
d
LIs M = Extd−s
R (HI (R), M).



∗
1
For example if R = Z and I = (p), then H(p)
(Z) = H(p)
(Z) = Z/p∞ . Therefore the
corollary states that
(p)

L0 M = ExtZ (Z/p∞ , M)

and

(p)

L1 M = HomZ (Z/p∞ , M),

as was observed in Bousfield-Kan [26, VI.2.1].
VII. Čech homology and cohomology. We have motivated local cohomology in terms
of I-power torsion, and it is natural to consider the difference between the torsion and the
original module. In geometry this difference would be more fundamental than the torsion
itself, and local cohomology would then arise by considering functions with support.
•
To construct a good model for this difference, observe that ε : K∞
(α) −→ R is an
•
isomorphism in degree zero and define the flat Čech complex Č (I) to be the complex
Σ(ker ε). Thus, if i ≥ 0, then Č i (I) = K i+1 (I). For example, if I = (α, β), then
Č • (I) = ( R[1/α] ⊕ R[1/β] −→ R[1/(αβ)] ) .
The differential K 0 (I) −→ K 1 (I) specifies a chain map R −→ Č • (I) whose fibre is exactly
•
K∞
(I). Thus we have a fibre sequence
•
K∞
(I) −→ R −→ Č • (I).

We define the projective version P Č • (I) similarly, using the kernel of the composite of ε and
•
•
the quasi-isomorphism P K∞
(I) −→ K∞
(I); note that P Č • (I) is non-zero in cohomological
degree −1.
The Čech cohomology of an R-module M is then defined by
ČHI∗ (R; M) = H ∗ (Č • (I) ⊗ M).
VIII. Čech cohomology and Čech covers. To explain why Č • (I) is called the Čech
complex, we describe how it arises by using the Čech construction to calculate cohomology
from a suitable open cover. More precisely, let Y be the closed subscheme of X = Spec(R)
determined by I. The space V (I) = {℘|℘ ⊃ I} decomposes as V (I) = V (α1 ) ∩ . . . ∩ V (αn ),
and there results an open cover of the open subscheme X −Y as the union of the complements
X − Yi of the closed subschemes Yi determined by the principal ideals (αi ). However, X −
Yi is isomorphic to the affine scheme Spec(R[1/αi ]). Since affine schemes have no higher
cohomology,
H ∗ (Spec(R[1/αi ]); M̃ ) = H 0 (Spec(R[1/αi ]); M̃) = M[1/αi ],
where M̃ is the sheaf associated to the R-module M. Thus the E1 term of the Mayer-Vietoris
spectral sequence for this cover collapses to the chain complex Č • (I), and
H ∗ (X − Y ; M̃ ) ∼
= ČHI∗ (M).
55

Appendix B. Spectral analogues of the algebraic definitions
We now transpose the algebra from Appendix A into the context of spectra. It is convenient
to note that it is routine to extend the algebra to graded rings, and we will use this without
further comment below. We assume the reader is already comfortable working with ring
spectra, but there is an introduction in Sections 2 and 3, and one at greater length in [52].
We replace the standing assumption that R is a commutative Z-algebra by the assumption
that it is a commutative S-algebra, where S is the sphere spectrum. The category of Rmodules is now the category of R-module spectra. Since the derived category of a ring R is
equivalent to the derived category of the associated Eilenberg-MacLane spectrum [92], the
work of Appendix A can be reinterpreted in the new context. To emphasize the algebraic
analogy, we write ⊗R and HomR for the smash product over R and function spectrum of Rmaps and 0 for the trivial module. In particular X⊗S Y = X∧Y and HomS (X, Y ) = F (X, Y ).
This section is based on [47, 48].
I. Koszul spectra. For α ∈ π∗ R, we define the stable Koszul spectrum K∞ (α) by the fibre
sequence
K∞ (α) −→ R −→ R[1/α],
α

α

where R[1/α] = holim(R −→ R −→ . . .). Analogous to the filtration by degree in chain
→

complexes, we obtain a filtration of the R-module K∞ (α) by viewing it as
Σ−1 (R[1/α] ∪ CR).
Next we define the stable Koszul spectrum for the sequence α1 , . . . , αn by
K∞ (α1 , . . . , αn ) = K∞ (α1 ) ⊗R · · · ⊗R K∞ (αn ),
and give it the tensor product filtration.
The topological analogue of Lemma A.1 states that if β ∈ I then
K∞ (α1 , . . . , αn )[1/β] ≃ 0;
this follows from Lemma A.1 and the spectral sequence (3) below. We may now use precisely
the same proof as in the algebraic case to conclude that the homotopy type of K∞ (α1 , . . . , αn )
depends only on the radical of the ideal I = (α1 , · · · , αn ). We therefore write K∞ (I) for
K∞ (α1 , . . . , αn ).
II. Localization and completion. With motivation from Theorems A.3 and A.4, we define
the homotopical I-power torsion (or local cohomology) and homotopical completion (or local
homology) modules associated to an R-module M by
(2)

ΓI (M) = K∞ (I) ⊗R M

and

ΛI (M) = MI∧ = HomR (K∞ (I), M).

In particular, ΓI (R) = K∞ (I).
Because the construction follows the algebra so precisely, it is easy give methods of calculation for the homotopy groups of these R-modules. We use the product of the filtrations of
the K∞ (αi ) given above and obtain spectral sequences
(3)

2
Es,t
= HI−s,−t(R∗ ; M∗ ) ⇒ πs+t (ΓI M)

56

r
r
with differentials dr : Es,t
→ Es−r,t+r−1
and

(4)

I
E2s,t = H−s,−t
(R∗ ; M ∗ ) ⇒ π−(s+t) (MI∧ )

with differentials dr : Ers,t → Ers+r,t−r+1 .
III. The Čech spectra. Similarly, we define the Čech spectrum by the cofibre sequence
(5)

K∞ (I) −→ R −→ Č(I).

We define the homotopical localization (or Čech cohomology) and Čech homology modules
associated to an R-module M by
(6)

M[I −1 ] = Č(I) ⊗R M

and

∆I (M) = HomR (Č(I), M).

In particular, R[I −1 ] = Č(I). Once again, we have spectral sequences for calculating their
homotopy groups from the analogous algebraic constructions.
IV. Basic properties. We can now give topological analogues of some basic pieces of alge•
bra that we used in Section A. Recall that the algebraic Koszul complex K∞
(I) is a direct
•
limit of unstable complexes Ks (I) that are finite complexes of free modules with homology
annihilated by a power of I. We say that an R-module M is a I-power torsion module if its
R∗ -module M∗ of homotopy groups is a I-power torsion module; equivalently, M∗ must have
support over I.
Lemma B.1. The R-module K∞ (I) is a homotopy direct limit of finite R-modules Ks (I),
each of which has homotopy groups annihilated by some power of I. Therefore K∞ (I) is a
I-power torsion module.
The following lemma is an analogue of the fact that Č • (I) is a chain complex which is a
finite sum of modules R[1/α] for α ∈ I.
Lemma B.2. The R-module Č(I) has a finite filtration by R-submodules with subquotients
that are suspensions of modules of the form R[1/α] with α ∈ I.
These lemmas are useful in combination.
Corollary B.3. If M is a I-power torsion module then M ⊗R Č(I) ≃ 0; in particular
K∞ (I) ⊗R Č(I) ≃ 0.
Proof: Since M[1/α] ≃ 0 for α ∈ I, Lemma B.2 gives the conclusion for M.



Appendix C. Completion at ideals and Bousfield localization
Bousfield localizations include both completions at ideals and localizations at multiplicatively closed sets, but one may view these Bousfield localizations as falling into the types
typified by completion at p and localization away from p. Thinking in terms of Spec(R∗ ),
this is best viewed as the distinction between localization at a closed set and localization at
the complementary open subset. In this section we deal with the closed sets and with the
open sets in Section D. This appendix is based on [57, 58, 48].
57

I. Homotopical completion. As observed in the proof of Lemma B.1, we have K∞ (α) =
holim Σ−1 R/αs and therefore
→

s

∧
M(α)
= HomR (holim Σ−1 R/αs , M) ≃ holim M/αs .
→

←

s

s

If I = (α, β), then
MI∧ = HomR (K∞ (α) ⊗R K∞ (β), M)
= HomR (K∞ (α), HomR (K∞ (β), M))
∧ ∧
= (M(β)
)(α) ,
and so on inductively. This should help justify the notation MI∧ = HomR (K∞ (I), M).
When R = S is the sphere spectrum and p ∈ Z ∼
= π0 (S), K∞ (p) is a Moore spectrum for
Z/p∞ in degree −1 and we recover the usual definition
Xp∧ = F (Σ−1 S/p∞ , X)
of p-completions of spectra as a special case, where F (A, B) = HomS (A, B) is the function
spectrum. The standard short exact sequence for the calculation of the homotopy groups of
Xp∧ in terms of ‘Ext completion’ and ‘Hom completion’ follows directly from Corollary A.6.
Since p-completion has long been understood to be an example of a Bousfield localization,
our next task is to show that completion at I is a Bousfield localization in general.
II. Bousfield’s terminology. Fix an R-module E. A spectrum A is E-acyclic if A ⊗R E ≃
0; a map f : X −→ Y is an E-equivalence if its cofibre is E-acyclic. An R-module M
is E-local if E ⊗R T ≃ 0 implies HomR (T, M) ≃ 0. A map Y −→ LE Y is a Bousfield Elocalization of Y if it is an E-equivalence and LE Y is E-local. This means that Y −→ LE Y
is terminal among E-equivalences with domain Y , and the Bousfield localization is therefore
unique if it exists. Similarly, we may replace the single spectrum E by a class E of objects
E, and require the conditions hold for all such E
The following is a specialization of a change of rings result to the ring map S −→ R.
Lemma C.1. Let E be a class of R-modules. If an R-module N is E-local as an R-module,
then it is E-local as an S-module.
Proof: If E ∧ T = E ⊗S T ≃ ∗ for all E, then E ⊗R (R ⊗S T ) ≃ 0 for all E and therefore
F (T, N) = HomS (T, N) ≃ HomR (R ⊗S T, N) ≃ 0.

III. Homotopical completion is a Bousfield localization. The class that will concern
us most is the class I-Tors of finite I-power torsion R-modules M. Thus M must be a
finite cell R-module, and its R∗ -module M∗ of homotopy groups must be a I-power torsion
module.
Theorem C.2. For any finitely generated ideal I of R∗ the map M −→ MI∧ is Bousfield
localization in the category of R-modules in each of the following equivalent senses:
(i) with respect to the R-module ΓI (R) = K∞ (I).
(ii) with respect to the class I-Tors of finite I-power torsion R-modules.
(iii) with respect to the R-module Ks (I) for any s ≥ 1.
58

Furthermore, the homotopy groups of the completion are related to local homology groups by
a spectral sequence
I
2
Es,t
= Hs,t
(M∗ ) =⇒ πs+t (MI∧ ).
If R∗ is Noetherian, the E 2 term consists of the left derived functors of I-adic completion:
HsI (M∗ ) = LIs (M∗ ).
Proof: We begin with (i). Since
HomR (T, MI∧ ) ≃ HomR (T ⊗R K∞ (I), M),
it is immediate that MI∧ is K∞ (I)-local. We must prove that the map M −→ MI∧ is a
K∞ (I)-equivalence. The fibre of this map is HomR (Č(I), M), so we must show that
HomR (Č(I), M) ⊗R K∞ (I) ≃ 0.
By Lemma B.1, K∞ (I) is a homotopy direct limit of terms Ks (I). Each Ks (I) is in I-Tors,
and we see by their definition in terms of cofibre sequences and smash products that their
duals DKs (I) are also in I-Tors, where DM = HomR (M, R). Since Ks (I) is a finite cell
R-module,
HomR (Č(I), M) ⊗R Ks (I) = HomR (Č(I) ⊗R DKs (I), M),
and Č(I) ⊗R DKs (I) ≃ 0 by Corollary B.3. Parts (ii) and (iii) are similar but simpler. For
(iii), observe that we have a cofibre sequence R/αs −→ R/α2s −→ R/αs , so that all of the
Kjs (I) may be constructed from Ks (I) using a finite number of cofibre sequences.


Appendix D. Localization away from ideals and Bousfield localization
In this section we turn to localization away from the closed set defined by an ideal I. First,
observe that, when I = (α), M[I −1 ] is just R[α−1 ] ⊗R M = M[α−1 ]. However, the higher
Čech cohomology groups give the construction for general finitely generated ideals a quite
different algebraic flavour, and M[I −1 ] is rarely a localization of M at a multiplicatively
closed subset of R∗ . This appendix is based on [48].
I. The Čech complex as a Bousfield localization. To characterize this construction as
a Bousfield localization, we consider the class I-Inv of R-modules M for which there is an
element α ∈ I such that α : M −→ M is an equivalence.
Theorem D.1. For any finitely generated ideal I = (α1 , . . . , αn ) of R∗ , the map M −→
M[I −1 ] is Bousfield localization in the category of R-modules in each of the following equivalent senses:
(i) with respect to the R-module R[I −1 ] = Č(I).
(ii) with respect to the class I-Inv.
(iii) with respect to the set {R[1/α1 ], . . . , R[1/αn ]}.
Furthermore, the homotopy groups of the localization are related to Čech cohomology groups
by a spectral sequence
2
Es,t
= ČHI−s,−t(M∗ ) =⇒ πs+t (M[I −1 ]).
59

If R∗ is Noetherian, the E 2 term can be viewed as the cohomology of Spec(R∗ ) \ V (I) with
coefficients in the sheaf associated to M∗ .
Remark D.2. One may also characterize the map ΓI (M) −→ M by a universal property
analogous to that of the cellular approximation in spaces: it is the K1 (I)-cellularization of
M.
Indeed, on the one hand, ΓI (M) is constructed from K1 (I) by B.1, and on the other hand,
the map induces an equivalence of HomR (K1 (I), ·) since, by Lemma B.2, HomR (K1 (I), Č(I)) ≃
0.
References
[1] J.F. Adams “Stable homotopy and generalized homology.” Chicago University Press 1974.
[2] L.Alonso Tarrio, A.Jeremias Lopez and J. Lipman “Local homology and cohomology on schemes.”
Ann.Scient. Ec.Norm.Sup. 30 (1997) 1-39
[3] L.Alonso Tarrio, A.Jeremias Lopez and J. Lipman “Studies in duality on Noetherian formal schemes
and non-Noetherian ordinary schemes” Cont. Math. 244 AMS (1999) x+126
[4] K.K.S.Andersen and J.Grodal “The classification of 2-compact groups” J American Math Soc 22
(2009), 387-436
[5] K.K.S.Andersen, J.Grodal, J.M.Møller and M.Viruel “The classification of p-compact groups for p
odd” Annals of Maths, 167 (2008), 95-210
[6] L.L.Avramov “Modules of finite virtual projective dimension.” Invent. Math. 96 (1989), no. 1, 71–101.
[7] L.L.Avramov “Infinite free resolutions.” Six lectures on commutative algebra (Bellaterra, 1996), 1–118,
Progr. Math., 166, Birkhuser, Basel, 1998.
[8] L.L. Avramov “Locally complete intersection homomorphisms and a conjecture of Quillen on the
vanishing of cotangent homology.” Ann. of Math. (2) 150 (1999), no. 2, 455–487.
[9] L.L.Avramov and R.-O. Buchweitz “Support varieties and cohomology over complete intersections.”
Invent. Math. 142 (2000), no. 2, 285–318.
[10] L.L. Avramov and H.-B. Foxby “Locally Gorenstein homomorphisms.” American J. Math. 114 (1992)
1007-1047
[11] L.L. Avramov and H.-B. Foxby “Ring homomorphism and finite Gorenstein dimension” PLMS 75
(1997) 241-270
[12] L.L.Avramov and S. Halperin “Through the looking glass: a dictionary between rational homotopy
theory and local algebra.” Algebra, algebraic topology and their interactions (Stockholm, 1983), 1-27,
Lecture Notes in Math., 1183, Springer, Berlin, 1986.
[13] H.Bass “On the ubiquity of Gorenstein rings” Math. Z. 82 1963 8–28.
[14] H.Bass “Algebraic K-theory.” Benjamin (1968) xx+762pp
[15] D.J.Benson “An algebraic model for chains on ΩBG∧
p ” Trans. Amer. Math. Soc. 361 (2009), no. 4,
2225-2242.
[16] D.J.Benson and J.F.Carlson “Projective resolutions and Poincaré duality complexes. ” Trans. American
Math. Soc. 342 (1994) 447-488
[17] D.J.Benson and J.F.Carlson “Functional equations for Poincaré series in group cohomology.” Bull.
London Math. Soc. 26 (1994) 438-448.
[18] D.J.Benson and J.P.C.Greenlees “Commutative algebra for the cohomology of classifying spaces of
compact Lie groups.” J.Pure and Applied Algebra 122 (1997) 41-53
[19] D.J.Benson and J.P.C.Greenlees “Commutative algebra in the cohomology of virtual duality groups.”
J. Algebra 192 (1997) 678-700.
[20] D.J.Benson and J.P.C.Greenlees “Localization and duality in topology and modular representation
theory.” J. Pure Appl. Algebra 212 (2008), no. 7, 17161743.
[21] D.J.Benson and J.P.C.Greenlees “Complete intersections and derived categories.” Preprint (2009)
17pp.
60

[22] D.J.Benson, J.P.C.Greenlees and S.Shamir “Complete intersections and mod p cochains.” AGT 13
(2013) 61-114, DOI 10.2140/agt.2013.13.61, arXiv:1104.4244
[23] J.M. Boardman “Stable homotopy theory” Mimeographed notes 1966–1970.
[24] A.K. Bousfield. “The localization of spaces with respect to homology.” Topology 14 (1975), 133-150.
[25] A.K. Bousfield. “The localization of spectra with respect to homology.” Topology 18 (1979), 257-281.
[26] A.K. Bousfield and D.M. Kan. “Homotopy limits, completions and localizations.” Springer Lecture
notes in mathematics Vol. 304. 1972.
[27] E.H. Brown “Abstract homotopy theory.” Trans. Amer. Math. Soc. 119 (1965) 79–85.
[28] W.Bruns and Herzog “Cohen-Macaulay rings.” Cambridge Studies in Advanced Mathematics, 39.
Cambridge University Press, Cambridge, 1993. xii+403 pp.
[29] V.Buchstaber and T.Panov “Torus actions and their applications in topology and combinatorics” AMS
(2002)
[30] E. Dror-Farjoun “Cellular spaces, null spaces and homotopy localization.” Lecture Notes in Mathematics, 1622. Springer-Verlag, Berlin, 1996. xiv+199 pp.
[31] W.G.Dwyer “Strong convergence of the Eilenberg-Moore spectral sequence” Topology 13 (1974) 255265
[32] W.G.Dwyer and J.P.C.Greenlees “Complete modules and torsion modules” American J. Math. 124
(2002) 199-220
[33] W.G.Dwyer, J.P.C.Greenlees and S.B.Iyengar “Duality in algebra and topology.” Advances in Maths
200 (2006) 357-402
[34] W.G.Dwyer and J.P.C.Greenlees and S.B.Iyengar “Finiteness conditions in derived categories of local
rings.” Comm. Math. Helv. 81 (2006) 383-432
[35] W.G.Dwyer and J.P.C.Greenlees and S.B.Iyengar “Gross-Hopkins duality and the Gorenstein condition”. J. K-Theory 8 (2011), no. 1, 107133.
[36] W.G.Dwyer and J.P.C.Greenlees and S.B.Iyengar “DG algebras with exterior homology.” Bull. Lond.
Math. Soc. 45 (2013), no. 6, 12351245.
[37] W.G.Dwyer and C.Wilkerson “Homotopy fixed-point methods for Lie groups and finite loop spaces”
Ann. Math. 139 (1994) 395-442
[38] D.Dugger and B.E.Shipley “K-theory and derived equivalences.” Duke Math. J. 124 (2004), no. 3,
587–617
[39] A.D. Elmendorf, J.P.C. Greenlees, I. Kriz and J.P. May. “Commutative algebra in stable homotopy
theory and a completion theorem.” Math. Res. Letters 1 (1994) 225-239.
[40] A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May. “Rings, Modules and Algebras in Stable
Homotopy Theory”, Volume 47 of Amer. Math. Soc. Surveys and Monographs. American Mathematical
Society, 1996.
[41] A. D. Elmendorf, and J. P. May “Algebras over equivariant sphere spectra” J. Pure and Applied
Algebra 116 (1997) 139-149
[42] Y. Félix, S. Halperin and J.-C. Thomas “Gorenstein spaces” Advances in Mathematics, 71, (1988)
92-112
[43] Yves Félix, Stephen Halperin, and Jean-Claude Thomas, “Elliptic Hopf algebras”, J. London Math.
Soc. (2) 43 (1991), no. 3, 545–555.
[44] P.G.Goerss and J.F.Jardine “Simplicial homotopy theory.” Progress in Mathematics, 174. Birkhauser
Verlag, Basel, 1999. xvi+510 pp. ISBN: 3-7643-6064-X
[45] D.J.Green and S.King “The cohomology of finite p-groups” http://users.minet.uni-jena.de/cohomology
[46] J.P.C.Greenlees “Commutative algebra in group cohomology.” J.Pure and Applied Algebra 98 (1995)
151-162
[47] J.P.C.Greenlees “K-homology of universal spaces and local cohomology of the representation ring”
Topology 32 (1993) 295-308.
[48] J.P.C.Greenlees “Tate cohomology in commutative algebra.” J. Pure Appl. Algebra 94 (1994), no. 1,
59–83.
[49] J.P.C.Greenlees “Commutative algebra for group cohomology.” JPAA 98 (1995) 151-162
[50] J.P.C.Greenlees “Tate cohomology in axiomatic stable homotopy theory.” Cohomological methods in
homotopy theory (Bellaterra, 1998), 149–176, Progr. Math., 196, Birkhuser, Basel, 2001.
61

[51] J.P.C.Greenlees “Local cohomology in equivariant topology.” Local cohomology and its applications
(Guanajuato, 1999), 1–38, Lecture Notes in Pure and Appl. Math., 226, Dekker, New York, 2002.
[52] J.P.C.Greenlees “Spectra for commutative algebraists.” Proceedings of the 2004 Chicago Summer
School Contemporary Mathematics 436 (2007) 149-173, arXiv:math/0609452
[53] J.P.C.Greenlees “First steps in brave new commutative algebra” Proceedings of the 2004 Chicago
Summer School Contemporary Mathematics, 436 (2007) 239-275, arXiv:math/0609453
[54] J.P.C.Greenlees “Ausoni-Bökstedt duality for topological Hochschild homology” Journal of Pure and
Applied Algebra 220 (2016), pp. 1382-1402
[55] J.P.C.Greenlees, K.Hess and S.Shamir “Complete intersections in rational homotopy theory.” JPAA
217 (2013) 636-663, arXiv:0906.3247
[56] J.P.C.Greenlees and G.Lyubeznik “Rings with a local cohomology theorem with applications to cohomology rings of groups.” JPAA 149 (2000) 267-285
[57] J.P.C. Greenlees and J.P. May. “Completions of G-spectra at ideals of the Burnside ring.” Proc. Adams
Memorial Symposium, Volume II, CUP (1992), 145-178.
[58] J.P.C. Greenlees and J.P. May. “Derived functors of I-adic completion and local homology.” J. Algebra
149 (1992), 438-453.
[59] J.P.C.Greenlees and J.P. May “Equivariant stable homotopy theory”. Handbook of algebraic topology,
277–323, North-Holland, Amsterdam, 1995.
[60] J.P.C.Greenlees and J.P. May “Completions in algebra and topology.” Handbook of algebraic topology,
255–276, North-Holland, Amsterdam, 1995.
[61] J.P.C.Greenlees and B.E.Shipley “An algebraic model for free rational G-spectra for compact connected
Lie groups G.” Math Z 269 (2011) 373-400, DOI 10.1007/s00209-010-0741-2
[62] J.P.C.Greenlees and B.E.Shipley “An algebraic model for free rational G-spectra.” Bull. LMS 46 (2014)
133-142, DOI 10.1112/blms/bdt066, arXiv:1101.4818
[63] J.P.C.Greenlees and G.Stevenson “Morita theory and singularity categories” In preparation (2015)
17pp
[64] J.P.C.Greenlees and V.Stojanoska “Local and global duality in chromatic homotopy theory.” In preparation (2015) 37pp
[65] A. Grothendieck. “Sur quelques points d’algèbre homologique”. Tohoku Mathematical Journal 9
(1957), 119-221.
[66] A. Grothendieck (notes by R. Hartshorne). “Local cohomology.” Springer Lecture notes in mathematics
Vol. 41. 1967.
[67] T.H. Gulliksen “A homological characterization of local complete intersections.” Compositio Math. 23
(1971), 251–255.
[68] T.H.Gulliksen “A change of ring theorem with applications to Poincaré series and intersection multiplicity.” Math. Scand. 34 (1974), 167–183.
[69] T.H. Gulliksen “On the deviations of a local ring.” Math Scand 47 (1980) 5-20
[70] T.H.Gulliksen and G.Levin “Homology of local rings.” Queen’s Paper in Pure and Applied Mathematics, No. 20 Queen’s University, Kingston, Ont. 1969 x+192 pp.
[71] R. Hartshorne. “Algebraic Geometry”. Springer-Verlag. 1977.
[72] M.J. Hopkins. “Global methods in homotopy theory.” Proc. of the 1985 LMS Symposium on Homotopy
Theory. London Math. Soc. 1987, 73-96.
[73] M.Hovey “Model categories.” Mathematical Surveys and Monographs, 63. American Mathematical
Society, Providence, RI, 1999. xii+209 pp. ISBN: 0-8218-1359-5
[74] M. Hovey, B.E.Shipley and Jeff Smith “Symmetric spectra.” J. Amer. Math. Soc. 13 (2000), no. 1,
149–208.
[75] R.Levi “On finite groups and homotopy theory.” Mem. Amer. Math. Soc. 118 (1995), no. 567, xiv+100
pp.
[76] R.Levi “A counter-example to a conjecture of Cohen.” Algebraic topology: new trends in localization
and periodicity (Sant Feliu de Guxols, 1994), 261–269, Progr. Math., 136, Birkhuser, Basel, 1996.
[77] R.Levi “On homological rate of growth and the homotopy type of ΩBG∧
p .” Math. Z. 226 (1997), no.
3, 429–444.
62

[78] R.Levi “On p-completed classifying spaces of discrete groups and finite complexes.” J. London Math.
Soc. (2) 59 (1999), no. 3, 1064–1080.
[79] L.G.Lewis, J.P.May and M.Steinberger (with contributions by J.E.McClure) “Equivariant stable homotopy theory” Lecture notes in mathematics 1213, Springer-Verlag (1986)
[80] M.A.Mandell “E∞ algebras and p-adic homotopy theory.” Topology 40 (2001), no. 1, 43–94.
[81] M.A.Mandell, J.P.May, S.Schwede, and B.E.Shipley “Model categories of diagram spectra.” Proc.
London Math. Soc. (3) 82 (2001), no. 2, 441–512.
[82] A. Mathew “The homology of tmf” Homology, Homotopy and Applications 18 (2016) (to appear)
arXiv:1305.6100
[83] H. Matsumura. “Commutative ring theory.” Cambridge Univ. Press. 1986.
[84] J.P.May “A concise course in algebraic topology.” University of Chicago Press, Chicago, IL, 1999.
x+243 pp. ISBN: 0-226-51182-0; 0-226-51183-9
[85] J.Rognes “Galois extensions of structured ring spectra. Stably dualizable groups.” Mem. Amer. Math.
Soc. 192 (2008), no. 898, viii+137 pp.
[86] D.J. Rusin “The cohomology of the groups of order 32.” Math. Comp. 53 (1989), no. 187, 359385.
[87] P. Schenzel “Proregular sequences, local cohomology, and completion.” Math. Scand. 92 (2003), no. 2,
161–180.
[88] S. Schwede, “Morita theory in abelian, derived and stable model categories.” Structured ring spectra,
33–86, London Math. Soc. Lecture Note Ser., 315, Cambridge Univ. Press, Cambridge, 2004.
[89] S. Schwede “Symmetric spectra” Book in preparation, available from author’s webpage.
[90] S. Schwede and B.E.Shipley “Stable model categories are categories of modules.” Topology 42 (2003),
no. 1, 103–153.
[91] S. Schwede and B.E.Shipley “Algebras and modules in monoidal model categories.” Proc. London
Math. Soc. (3) 80 (2000), no. 2, 491-511.
[92] B.E.Shipley “HZ-algebra spectra are differential graded algebras.” American J. Math 129 (2007) 351379
[93] E.H.Spanier and J.H.C.Whitehead “A first approximation to homotopy theory.” Proc. Nat.Acad. Sci.
U. S. A. 39, (1953). 655–660
The University of Sheffield, Sheffield, S3 7RH UK
E-mail address: j.greenlees@sheffield.ac.uk

63

