arXiv:1311.7123v3 [math.AT] 12 Sep 2015

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY
TOBIAS BARTHEL AND MARTIN FRANKLAND
Abstract. We construct and study an algebraic theory which closely approximates the theory of power operations for Morava E-theory, extending previous
work of Charles Rezk in a way that takes completions into account. These algebraic structures are made explicit in the case of K-theory. Methodologically,
we emphasize the utility of flat modules in this context, and prove a general
version of Lazard’s flatness criterion for module spectra over associative ring
spectra.

Contents
1. Introduction
Organization
Notation and conventions
Acknowledgments
2. Preliminaries and Lazard’s theorem
2.1. Free commutative algebras
2.2. Lazard’s theorem for flat module spectra
3. Algebraic approximation functors
3.1. Rezk’s algebraic approximation functors
3.2. Completed algebraic approximation functors
3.3. A word about applications
4. Proof of the main theorem
4.1. Reduction to the key property
4.2. Proof of the key property
5. Algebraic structures and completion
5.1. Completed monads and their algebras
5.2. Completed rings and their modules
5.3. λ- and θ-rings
5.4. Completions and base change of λ-rings
6. Operations on p-complete K-theory
6.1. The Milnor sequence for completed E-homology
6.2. The operation Q
6.3. K-theory of H∞ -ring spectra
7. The height 1 case
7.1. Computations in λ-rings
7.2. From λ-rings to θ-rings
Appendix A. L-completion
A.1. m-adic completion and its derived functors
A.2. The category of L-complete modules
A.3. Flat modules
Appendix B. Representation theory
B.1. A few examples
B.2. The general result
Date: September 15, 2015.
1

2
3
3
4
4
4
6
8
8
11
14
15
15
17
19
19
21
23
24
26
27
28
32
34
35
38
39
39
41
42
44
44
46

2

TOBIAS BARTHEL AND MARTIN FRANKLAND

References

47

1. Introduction
If E is a commutative ring spectrum, then the homotopy groups of any commutative E-algebra A carry important extra structure known as power operations.
Historically, one of the first instances of power operations are the Dyer-Lashof operations, acting on the mod p homology of infinite loop spaces, and more generally
on the homotopy of any commutative HFp -algebra A. The structure present on
π∗ A is captured by a monad on graded Fp -vector spaces, which can be described
explicitly [BMMS86, §IX.2]. This provides an algebraic theory of power operations
for HFp .
A central object of study in the chromatic approach to stable homotopy theory
is Morava E-theory E = Eh , which is a commutative ring spectrum associated with
a universal deformation of a height h formal group law over the field Fph . Since
Ando’s thesis [And95], power operations for Morava E-theory have found various
applications in chromatic homotopy theory and it is an important problem to better
understand this structure. Generalizing the work of McClure and Bousfield for pcomplete K-theory E1 = Kp∧ , Rezk [Rez09] constructs for any height h a monad
T : ModE∗ → ModE∗ which approximates the structure of power operations on the
homotopy of commutative Eh -algebras.
Using this functor, the ring of (additive) power operations for Morava E-theory
is defined as


M
M
Γ = End(U : AlgT → Ab) ∼
coker 
E0∧ B(Σj × Σpk −j ) → E0∧ BΣpk 
=
k≥0

0<j<pk

where U denotes the degree 0 part of the forgetful functor, E ∧ is completed Morava
E-homology, and the maps are induced by the inclusions Σj × Σpk −j → Σpk . Rezk
then proves that Γ is Koszul in an appropriate sense, which allows for the construction of small algebraic resolutions of Γ-modules.
However, the algebraic approximation functor T ignores an important piece of
structure present on the homotopy groups of commutative E-algebras: In order
to get a well-behaved theory of algebras, one has to work with K(h)-local algebras
throughout, as we shall explain in more detail in Section 2.1. The homotopy groups
of a K(h)-local commutative E-algebra then naturally take values not merely in
[ E∗ of L-complete E∗ -modules.
ModE∗ , but rather in the subcategory Mod
Motivated by this observation, our first goal in this paper is to construct, in a
universal way, an improved version of the algebraic approximation functor
[ E∗
[ E∗ → Mod
T̂ : Mod
that takes completions into account. It comes with a comparison map
α : T̂π∗ LK M → π∗ LK PM
for any E-module M , which is an isomorphism if M is flat as an E-module. This
should be contrasted with the fact that the uncompleted comparison map is an
isomorphism when M is finitely generated and free, but rarely otherwise.
As our main theorem (Theorem 3.19), we prove that the completed algebraic
approximation functor gives rise to an algebraic theory of completed power operations.
dE
d E → Mod
Theorem. The completed algebraic approximation functor T̂ : Mod
∗
∗
admits a natural monad structure, compatible with the one on LK P.

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

3

This result is important for our understanding of the theory of power operations
for Morava E-theory. Some of the potential applications are discussed in Section
3.3.
Interestingly, the proof of monadicity of the uncompleted functor T does not
[ E∗ . Since the
carry over to this setting, due to some peculiar properties of Mod
proof relies heavily on the algebraic and homological structure of this category, we
survey the theory of L-complete modules in an appendix, see Appendix A. This
section also contains a number of new results which are of independent interest, and
[ E∗ is a very natural category appearing
our hope is to convince the reader that Mod
in algebraic topology. One technical novelty of our approach is the emphasis on
flat modules in the study of L-complete modules, for which we provide several
equivalent characterizations. On the topological side, we prove a general version of
Lazard’s theorem for flat module spectra over associative ring spectra, generalizing
previous work by Lurie and Rezk.
Our second main objective is to make the structure on the completed algebraic
approximation functor explicit in the height 1 case, i.e., for p-complete K-theory.
At height 1, the explicit structure of the power operations is understood, by earlier
work of McClure [BMMS86, §IX] and Bousfield [Bou96]. In contrast, few explicit
formulas are known at higher heights. The height 2 case has been calculated by Rezk
at the prime 2 [Rez08] and Zhu at the prime 3 [Zhu14]; this seems to be the state of
the art as of this writing. In Section 7, we present an alternate, formula-based proof
of the height 1 case, resting on the identification of the algebraic approximation
functors in Section 6.
Theorem. At height h = 1, the monad T : ModE∗ → ModE∗ is the free Z/2-graded
θ-ring over the ground θ-ring Zp .
We then illustrate how one can take completions into account when doing computations with the functors Tn , and in particular how the non-linearity of Tn comes
into play. The point of view in Section 7 is complemented by a representation
theoretic interpretation in Appendix B.
Organization. We start in Section 2 with a brief recollection of free algebras over
a commutative ring spectrum in general, and then explain what is special in the
case of K(h)-local commutative E-algebras, where E denotes Morava E-theory.
After that, we prove a general version of Lazard’s characterization of flat module
spectra over arbitrary E1 -ring spectra. In Section 3, we introduce Rezk’s algebraic
approximation functors and construct our completed analogues, studying some of
their properties along the way. We formulate our main theorem, the proof of which
is the subject of Section 4, and mention some of the future applications.
Section 5 serves as an intermediate discussion of the compatibility between Lcompletions and certain algebraic structures. In particular, we recall facts about
λ- and θ-rings, which play an important role in the following two sections. Sections
6 and 7 contain the alternative proof of the main theorem at height 1, based on
explicit formulas.
There are two appendices. Appendix A describes the construction and essential
properties of L-completion and the associated category of L-complete modules,
summarizing and extending [HS99, Appendix A]. Finally, we return to the height
1 case in Appendix B, where we give a representation theoretic interpretation of
and argument for the proof of the main theorem.
Notation and conventions. For a fixed prime p and an integer h > 0, height h
Morava E-theory Eh is a K(h)-local Landweber exact ring spectrum with coefficients E∗ = W Fph Ju1 , . . . , uh−1 K[u, u−1 ], where W Fph is the ring of (p-typical) Witt

4

TOBIAS BARTHEL AND MARTIN FRANKLAND

vectors on Fph , ui is in degree 0 for all i, and u has degree 2. Note that E0 is a complete Noetherian regular local ring with maximal ideal m = (p, u1 , . . . , uh−1 ), where
we write u0 = p for notational convenience. By a theorem of Goerss, Hopkins, and
Miller, Morava E-theory has the structure of an E∞ -ring spectrum. For simplicity,
the letter E will always denote this theory. Furthermore, for an E-module M (or in
fact any spectrum), denote the K(h)-localization map by j : M → LK M , writing
LK for Bousfield localization with respect to Morava K-theory K(h). Note that,
for any E-module M , LK M is equivalent to the Bousfield localization of M with
respect to K(h) internal to ModE , see [Hov08, 2.2].
Let Σ : ModE → ModE be the usual suspension functor ΣX = S 1 ∧ X. Let
Σ : ModE∗ → ModE∗ denote the corresponding algebraic suspension functor ΣM :=
E∗ (S 1 ) ⊗E∗ M , which satisfies π∗ (ΣX) ∼
= Σ(π∗ X). Although E is a 2-periodic
cohomology theory, periodicity will not play an essential role in this paper. Therefore, we will not use the Z/2-graded formalism proposed in [Rez09, §1.5, §2.6], but
rather view E∗ as a Z-graded ring and all E∗ -modules as Z-graded as well. As
in [Rez12, §3], we will keep track of suspensions whenever necessary.
Throughout this paper, we will be mostly working on the level of homotopy
categories, and all our homotopical constructions are understood to be derived.
In case we have to carry out actual point-set level constructions, we can either
work with S-modules as given [EKMM97] or within the ∞-category of spectra as
developed in [Lur14].
Moreover, we often abbreviate notation by omitting the subscripts of smash
products, tensor products, and so on when the base ring (spectrum) is understood.
Acknowledgments. We are very grateful to Charles Rezk for introducing us to
the problem that motivated this paper and thank him for many insightful conversations. Furthermore, we would like to thank Omar Antolı́n Camarena, Andy Baker,
Dan Christensen, Paul Goerss, Frank Gounelas, Mike Hopkins, Mark Hovey, Jim
McClure, Nat Stapleton, and Donald Yau for helpful discussions on the subject
matter of this paper. We also thank the referee for several useful comments.
The first author was partially supported by an ERP scholarship and Harvard
University. The second author was partially supported by an FQRNT Postdoctoral
Research Scholarship, held at the University of Illinois at Urbana-Champaign under
the supervision of Charles Rezk.
2. Preliminaries and Lazard’s theorem
We will need the analogues in topology of familiar notions from algebra. For
R an associative ring spectrum, we introduce various categories of R-modules and,
if R is also commutative, commutative R-algebras, recall the construction of free
commutative R-algebras, and then specialize to Morava E-theory. In Section 2.2,
we prove Lazard’s characterization of flat modules in the setting of module spectra
over an arbitrary E1 -ring spectrum.
2.1. Free commutative algebras. Consider an E∞ -ring spectrum R.
Notation 2.1. Let ModR denote the category of R-modules, which is symmetric
monoidal with respect to the smash product ∧R ; if the base ring is clear from
context, we simply write ∧. Let AlgR denote the category of commutative Ralgebra, i.e., commutative monoid objects in (ModR , ∧R ).
The forgetful functor AlgR → ModR has a left adjoint
W P : ModR → AlgR , the
free commutative R-algebra functor, given by P(M ) = n≥0 (M ∧R n )/Σn . We also
denote the associated forget-of-free monad by P : ModR → ModR . We write P = PR

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

5

to specify the base ring spectrum R if needed. The adjunction is monadic; in fact,
the category AlgR is isomorphic to the category of P-algebras in ModR .
To describe the homotopical behavior of P, let us recall some facts about the
EKMM model of S-modules. First, E∞ -ring spectra and their modules can be
functorially replaced by weakly equivalent commutative S-algebras and their modules [EKMM97, II.3.6]. A commutative S-algebra R can be replaced by a weakly
equivalent q-cofibrant commutative S-algebra, with an equivalent derived category
hModR [EKMM97, III.4.2]. If R is a q-cofibrant commutative S-algebra, and M
is a cell R-module, then extended powers agree with symmetric powers: the map
(M ∧n )hΣn → (M ∧n )/Σn is a homotopy equivalence [EKMM97, III.5.1], motivating
the following definition.
Definition 2.2. Let n ≥ 0 be a non-negative integer and M an R-module. The
nth extended power of M is the R-module
n times

z
}|
{
Pn M = (M ∧R . . . ∧R M )hΣn

where the symmetric group Σn acts on the n-fold smash product by permuting
the factors, and the subscript denotes the homotopy orbit. This homotopy colimit
can be computed as Pn M = (EΣn )+ ∧Σn M ∧R n , where EΣn denotes the standard
contractible space with a free right Σn -action [BMMS86, I §2].
Extended powers form a functor Pn : ModR → ModR , which moreover passes to
the homotopy category. The symmetric algebra functor P : ModR → ModR induces
a total left derived functor, also denoted P : hModR → hModR , which is given by
_
_
PM =
Pn M =
(M ∧R n )hΣn .
n≥0

n≥0

This functor defines a monad on the homotopy category of R-modules. An
algebra structure on a spectrum Y for the monad P : hModR → hModR is an H∞ Ralgebra structure; the corresponding structure maps are denoted by ξn : Pn Y → Y .
Any commutative R-algebra naturally becomes (upon passing to the homotopy
category hModR ) an algebra for the monad P.
Definition 2.3. An R-module M is called finitely generated if π∗ M is a finitely
generated R∗ -module. The module M is called finitely generated and free, or
finite free for short, if π∗ M is a finitely generated free R∗ -module. This holds if
W
and only if M is equivalent to a finite wedge ki=1 Σdi R. Let ModffR denote the full
subcategory of ModR consisting of finite free R-modules, and hModffR its homotopy
category, viewed as a full subcategory of hModR .
In general, Pn does not preserve finite free modules, but we will see shortly a
version of it which does, for the ring spectrum of interest here, Morava E-theory.
Recall from the introduction that we are going to fix a height h for the remainder
of the paper and agree to write E = Eh .
Proposition 2.4. [Rez09, 3.8] The functor Pn : hModE → hModE preserves
K(h)-homology isomorphisms. In particular, the natural transformation
LK Pn (j) : LK Pn → LK Pn LK
is an isomorphism. The functor P̂ = LK P : hModE → hModE admits a unique
monad structure with the property that j : P → LK P is a map of monads.
In the context of E-modules, this completed free algebra functor P̂ is better
behaved than its uncompleted analogue, as the next proposition demonstrates.

6

TOBIAS BARTHEL AND MARTIN FRANKLAND

Proposition 2.5. [Rez09, 3.9] If M is a finite free E-module, then LK Pn (M ) is
also finite free, for any n ≥ 0.
Remark 2.6. Proposition 2.5 would fail without the completion. That is, if M is a
finite free E-module, then Pn (M ) need not be finite free.
2.2. Lazard’s theorem for flat module spectra. The goal of this section is
to generalize Lazard’s characterization of flat modules to module spectra over an
arbitrary E1 -ring spectrum, inspired by conversations with Sam Raskin and Charles
Rezk. All the modules and module spectra will be left modules, unless otherwise
stated.
First, recall Lazard’s theorem for ordinary rings.
Theorem 2.7 (Lazard’s theorem for flat modules). Let R be a unital and associative ring, then the following conditions are equivalent for an R-module M :
(1) M is flat, i.e., the functor − ⊗R M from right R-modules to abelian groups
is exact.
(2) Every map C → M with C finitely presented factors through some finitely
generated free left R-module F .
(3) M can be written as a filtered colimit of finitely generated free R-modules.
For the rest of this section, let R be an E1 -ring spectrum, and denote by ModR
the category of left R-module spectra. For technical convenience, in this subsection
only, we will freely use concepts from the theory of ∞-categories, modeled as quasicategories as developed in [Joy02] and [Lur09]. In particular, all constructions are
considered to be taking place within the setting of ∞-categories, so that limits and
colimits are automatically derived and diagrams commute only up to homotopies
witnessed by higher simplices.
Recall that an ∞-category C is filtered if and only if every map f : K → C from
a finite simplicial set K admits a cocone extension f¯: K ⊲ → C.
Lemma 2.8. Suppose p : D ֒→ C is a full subcategory of a filtered ∞-category C.
For any c ∈ C, let Dc/ be the comma ∞-category constructed as the pullback
Dc/

D

/ Cc/

p


/ C.

If for every c ∈ C there exists a map f : c → d with d ∈ D, then Dc/ is filtered.
Proof. Let g : K → Dc/ be a finite diagram, which is the same as a diagram g : K →
Cc/ with all vertices in D. By adjunction, this is equivalent to a diagram h : ⊳ K → C
with initial vertex c and all but the initial vertices in D. Since C is filtered, h admits
an extension h̄′ : ⊳ K ⊲ → C with final vertex c′ ∈ C. The assumption implies the
existence of c′ → d with d ∈ D, giving another extension h̄ : ⊳ K ⊲ → C with final
vertex d. Using adjunction again, we get the desired extension ḡ : K ⊲ → Dc/ of the
given diagram g.

The category Modperf
of perfect modules is by definition the smallest full stable
R
subcategory of ModR which contains R and is closed under retracts. By [Lur14,
8.2.5.2], it can be identified with the full subcategory of compact objects, and
IndModperf
= ModR
R
i.e., every M ∈ M odR is equivalent to the colimit of the canonical filtered diagram (Modperf
R )/M → ModR . Moreover, [Lur14, 8.2.5.7] exhibits a perfect pairing

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

7

between perfect left R-modules and perfect right R-modules,
−∧ −

Ω∞

LModperf
× RModperf
−−−R−→ Sp −−→ Top;
R
R
perf
in particular, if C ∈ Modperf
R , we denote its dual by Hom(C, R) ∈ ModR , viewed
as a right R-module.

Theorem 2.9 (Lazard’s theorem for flat module spectra). For M ∈ ModR , the
following conditions are equivalent:
(1) π∗ M is flat as a graded π∗ R-module.
(2) Every map C → M with C ∈ Modperf
factors through some F ∈ ModffR .
R
(3) M can be written as a filtered colimit of finite free R-modules.
Note that conditions (2) and (3) are interpreted within the ∞-category ModR .
The following argument provides, with the obvious modifications, also a proof
of Theorem 2.7.
Proof. (1) =⇒ (2). Since every perfect module C is a retract of a finite cell Rmodule, it follows by induction on the number of cells that the natural map of
spectra
Hom(C, R) ∧ M → Hom(C, M )
is an equivalence for any M ∈ ModR . Assuming M satisfies (1), we claim that, for
every C ∈ Modperf
R , the natural map
π∗ Hom(C, R) ⊗π∗ R π∗ M → π∗ Hom(C, M )
is an isomorphism; this immediately implies (2). Because perfect modules are
dualizable, taking P = Hom(C, R), this is equivalent to the claim that f∗ : π∗ P ⊗π∗ R
π∗ M → π∗ (P ∧ M ) is an isomorphism for any P ∈ Modperf
R .
Denote by P the full subcategory of ModR on those perfect right modules P
for which f∗ is an isomorphism. It is clear that P contains R and is closed under
finite coproducts, shifts, and retracts, so it suffices to show that it is closed under
extensions. To this end, let P ′ → P → P ′′ be a fiber sequence of R-modules with
P ′ , P ′′ ∈ P. Since π∗ M is flat over π∗ R, we get a map between 5-term exact
sequences of π∗ R-modules
π∗+1 P ′′ ⊗π∗ R π∗ M
∼


π∗+1 (P ′′ ∧ M )

/ π∗ P ′ ⊗π∗ R π∗ M

/ π∗ P ⊗π∗ R π∗ M

∼

/ π∗ P ′′ ⊗π∗ R π∗ M

∴ ∼


/ π∗ (P ′ ∧ M )


/ π∗ (P ∧ M )

∼


/ π∗ (P ′′ ∧ M )

/ π∗−1 P ′ ⊗π∗ R π∗ M
∼


/ π∗−1 (P ′ ∧ M )

and the five lemma gives the claim.
(2) =⇒ (3). We will show that the canonical diagram (ModffR )/M → ModR is
filtered and has colimit M . Every finitely generated free R-module is compact, so
there is an inclusion as a full subcategory
p : (ModffR )/M ֒→ (Modperf
R )/M.
Assumption (2) corresponds precisely to the condition in Lemma 2.8, so the comma
∞-category ((ModffR )/M )N/ is filtered for every N ∈ (Modperf
R )/M , hence weakly
contractible by [Lur09, 5.3.1.18]. Therefore, [Lur09, 4.1.3.1] shows that p is final,
thus the colimit of
p

(ModffR )/M −
→ (Modperf
R )/M → ModR
is M . Moreover, applying Lemma 2.8 to the special case N = 0 gives that this
diagram is filtered.
(3) =⇒ (1). It is obvious that (1) is true for M = R, so the claim follows since
homotopy groups commute with filtered colimits.


8

TOBIAS BARTHEL AND MARTIN FRANKLAND

Definition 2.10. An E-module M is called flat if it satisfies the equivalent conditions of Theorem 2.9. The full subcategory on the flat E-modules is denoted by
Mod♭E .
Remark 2.11. Theorem 2.9 is a generalization of both Lurie’s version of Lazard’s
theorem for connective modules over a connective associative ring spectrum R
[Lur14, 8.2.2.15], and Rezk’s result [Rez09, 3.7], which is the special case of the
above for Morava E-theory. Note, however, that Lurie’s definition of flatness differs slightly from ours, in that he defines, for R connective, a flat module to be an
R-module M with π0 M flat over π0 R and such that the extra condition
π∗ R ⊗π0 R π0 M

≃

/ π∗ M

holds. The proof given above can be adapted to this case as well.
3. Algebraic approximation functors
After a brief review of Rezk’s algebraic approximation functors, we study their
completed analogues and state our main theorem. At the end of this section, we
discuss some future applications.
3.1. Rezk’s algebraic approximation functors. We recall Rezk’s construction
of algebraic approximation functors in [Rez09, §4], along with their main properties.
For this, we will make frequent use of:
Proposition 3.1. [Rez09, 3.6] The functor π∗ : hModffE → ModffE∗ is an equivalence of categories.
The algebraic approximation functors Tn : ModE∗ → ModE∗ are constructed so
as to capture the algebraic structure present on π∗ LK Pn . In particular, they will
satisfy Tn (π∗ E) ∼
= π∗ LK Pn (E) and a similar formula for finitely generated free
E∗ -modules.
Consider the diagram of categories
(1)

hModffE

i

LK Pn

/ hModE

π∗

π∗ ∼


ModffE∗

/ hModE

j

π∗



/ ModE∗ ❴ ❴ ❴/ ModE∗
Tn

where the left-hand square commutes (strictly), the functors i and j are inclusions
of full subcategories, and the downward arrow π∗ on the left is an equivalence of
categories, by Proposition 3.1. Note that the functor Tn constructed below does
not make the right-hand square commute.
In order to define the algebraic approximations functor T we have to briefly
recall the concept of (left) Kan extension, see [ML98, § X.3] or [Rie14, 1.1]. Let
F : C → E and K : C → D be functors. The left Kan extension of K by F consists,
if it exists, of a functor LanK F : D → E together with a natural transformation
η : F → LanK F ◦ K, which is the initial such pair:
F
/E
C❅
⑦>
❅❅
❅❅ ⇓ η ⑦
⑦
❅❅
K
⑦ LanK F
D.

Universality is in the following sense: If (G : D → E, θ : F → G ◦ K) is another pair
as above, then there exists a unique natural transformation ω : LanK F → G such

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

9

that θ = ωK ◦ η. In other words, if E D = Fun(D, E) and similarly for E C , then
universality gives a bijection
E D (LanK F, G) = E C (F, GK)
for any G ∈ E D .
Assuming that C is essentially small and E is cocomplete, the left Kan extension
of F along K always exists and can be computed pointwise using the following
formula:
Z
c∈C

LanK F (d) =

HomD (Kc, d) · F c.

Here, the integral sign denotes the coend and

(− · −) : Set × E → E, (S, e) 7→

a

e

S

is the copower. Note that, if E is cocomplete and K is fully faithful, then η is a
natural isomorphism, so LanK F ◦ K = F .
Definition 3.2. [Rez09, §4.2] For every n ≥ 0, the algebraic approximation
functor Tn : ModE∗ → ModE∗ is defined as
Tn = Lanπ∗ i (π∗ LK Pn i)
i.e., the left Kan extension of the functor π∗ LK Pn i : hModffE → ModE∗ along the
functor π∗ i = jπ∗ : hModffE → ModE∗ .
We define the functor T : ModE∗ → ModE∗ as the direct sum T = ⊕n≥0 Tn .
Note that this left Kan extension exists, so that Tn is well defined. Indeed,
the category hModffE is essentially small, being equivalent to the essentially small
category ModffE∗ , and the target category ModE∗ is cocomplete.
Notation 3.3. Using the universal property of left Kan extensions and Hom(iM, N )
= Hom(π∗ iM, π∗ N ) for M ∈ hModffE and N ∈ hModE , one obtains a natural
transformation
αn : Tn (π∗ M ) → π∗ (LK Pn M ),
called the approximation map in [Rez09, §4.3], and likewise
α = ⊕n≥0 αn : T(π∗ M ) → π∗ (LK PM ).
Warning 3.4. In [Rez12, 3.2], the approximation map is defined as a natural transformation T(π∗ LK M ) → π∗ (LK PM ) for all E-module M . We denote this version
of the approximation map by α̃ instead, to avoid ambiguity. However, α̃ can be
thought of as a special case of α, namely for the E-module LK M , using the natural
∼
equivalence LK P −
→ LK PLK , as illustrated in the commutative diagram:
α̃M

/ π∗ LK PM
T (π∗ LK M )
PPP
PPP
PP
∼
=
αLK M PPP
P(

π∗ LK PLK M.
Remark 3.5. The comparison map α̃ : Tπ∗ LK → π∗ LK P induces a lifting of π∗ LK :
hModE → ModE∗ to a functor
π∗ L K
hAlgP ❴ ❴ ❴ ❴/ AlgT
U

U


hModE

π∗ L K


/ ModE∗ ,

10

TOBIAS BARTHEL AND MARTIN FRANKLAND

where the arrows labelled U are the natural forgetful functors. This allows the
study of power operations through the category of T-algebras.
Proposition 3.6. [Rez09, 4.4] If M is a finite free E-module, then the map
αn : Tn (π∗ M ) → π∗ (LK Pn M ) is an isomorphism.
Recall that a small category I is called sifted if colimits over I commute in
Set with finite products. A sifted colimit is a colimit of a diagram over a sifted
category. For example, filtered colimits and reflexive coequalizers are sifted colimits.
Theorem 3.7. [Rez09, 4.5] The functor T : ModE∗ → ModE∗ defined in Definition 3.2 admits the structure of a monad, compatible with that of LK P.
Proof. By definition, for any M ∈ ModE∗ ,
Z F ∈hModffE
Hom(π∗ i(F ), M ) · π∗ LK Pn i(F )
Tn (M ) = Lanπ∗ i π∗ LK Pn i(M ) =

because the left Kan extension can be constructed pointwise. Since any F ∈ hModffE
is small and projective in ModE∗ , Hom(π∗ iF, −) commutes with sifted colimits in
ModE∗ , or equivalently, it commutes with filtered colimits and reflexive coequalizers; see [ARV10, 2.1]. This implies that the left Kan extension Tn also commutes
with sifted colimits. Therefore, the monad structure on T = ⊕n≥0 Tn is determined
by its restriction to hModffE , where Tn coincides with π∗ LK Pn by Proposition 3.6.
By virtue of Proposition 2.4 and Proposition 2.5, the claim follows.

Moreover, T has the structure of a graded exponential monad. Roughly speaking,
a monad M on a category C is exponential, if it is symmetric monoidal with respect
to two symmetric monoidal
structures on C. If, additionally, the monad admits a
L
decomposition M = n≥0 Mn into endofunctors Mn that is compatible with the
symmetric monoidal structure, then M is called graded exponential. The reader
interested in the precise definition is referred to [Rez12, 2.2]; for our purposes, the
following result will be sufficient.
Theorem 3.8. [Rez09, 4.8] The monad T : (ModE∗ , ⊕, 0) → (ModE∗ , ⊗, E∗ ) is
graded exponential. In particular, if M, N ∈ ModE∗ and n ≥ 0, then there is a
natural isomorphism
M
∼
=
Ti (M ) ⊗ Tj (N ) −
→ Tn (M ⊕ N )
i+j=n

where the coproduct is taken over all pairs (i, j) of non-negative integers which sum
to n.
The properties of the monad T imply that it preserves various subcategories of
ModE∗ , which will become important in Section 4.

Proposition 3.9. [Rez09, 3.9, 4.4, 4.6] The algebraic approximation functor Tn
preserves the categories ModffE∗ and Mod♭E∗ of finite free modules and flat modules,
respectively.
Corollary 3.10. If F ∈ ModE∗ is free, then so is T(F ). In particular, Tn (F ) is
projective for all n ≥ 0.
Proof. A pointed module is a pair (M, f ) consisting of a module M together with
a morphism f : E∗ → M . If M is free and f is a split monomorphism (which
implies that coker f is free, since E∗ is local), then (M, f ) is called pointed free.
Let Mi = (Mi , fi ) be a set of pointed free modules indexed by I, and consider
O
O
Mi
Mi := colim
i∈I

i∈I fin

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

11

where the colimit diagram is indexed by the finite subsets I fin ⊂ I, and the maps
in the diagram are defined by inserting basepoints fi : E∗ → Mi . If {bi,j | j ∈ Si } is
jt ∈ Sit } is a
a basis ofNcoker fi , then {bi1 ,j1 ⊗ · · · ⊗ bik ,jk | k ≥ 0, it ∈ I are distinct,
N
basis of i∈I Mi , which is therefore also free. In other words, i∈I Mi is pointed
free on the weak product of the pointed sets Si ∪ {∗}. Taking F = colimI Fi a free
E∗ -module written as a filtered colimit of finite free modules, then we get
L
T(F ) = T(colim Li∈I fin E∗ )
= colim N
T( i∈I fin E∗ )
= N
colim i∈I fin T(E∗ )
=
I T(E∗ ),
N
using that T(M ) is naturally pointed by E∗ = T(0) → T(M ). Since I T(E∗ ) is
free by the above argument, the claim follows.

Remark 3.11. The construction and basic properties of T as well as the existence
of the approximation map α are entirely formal. In fact, one can consider a functor
on a category of monads with certain finiteness conditions
Lanπ∗ i π∗ (−)i : Monads(hModR ) → Monads(ModR∗ ),
which exists for any appropriate ring spectrum R. Assuming R is E∞ and satisfies
an analogue of Proposition 2.5, applying this functor to the free commutative Ralgebra monad PR we obtain an algebraic approximation TR for the theory of power
operations on R, together with an approximation map
αR : TR (π∗ M ) → π∗ (PR M )
satisfying the analogue of Proposition 3.6. In particular, this formalism can be
applied to the (Koszul dual) free Lie-algebra monad L : ModE → ModE to obtain algebraic approximation functors TL and a ring of additive Lie-type power
operations ΓL .
3.2. Completed algebraic approximation functors. In this subsection, we
[ E∗ which better approximates the al[ E∗ → Mod
construct an endofunctor T̂ : Mod
gebraic structure found on π∗ LK P. More specifically, T̂ takes into account the fact
that π∗ LK PM is L-complete.
To begin, note that E∗ is L-complete, since E is K(h)-local, and thus all finite
free E∗ -modules are L-complete. In other words, the functor π∗ i = jπ∗ : hModffE →
[ E∗ . Likewise, we will see in CorolModE∗ lands in the full subcategory Mod
lary 3.14 that π∗ LK Pn M is L-complete for any E-module M , and so the functor
[ E∗ as well.
π∗ LK Pn : hModE → ModE∗ takes values in Mod
Proposition 3.12. [Hov08, 2.3] For any E-module M ∈ ModE , there exists a
natural, conditional and strongly convergent spectral sequence of E∗ -modules
2
Es,t
= (Ls π∗ M )t ⇒ πs+t LK M

with E2s,t = 0 if s > h.
Remark 3.13. For any spectrum X, the completed E-homology of X is defined
as
E∗∧ X : = π∗ LK (E ∧ X).
The spectral sequence Proposition 3.12 for the E-module M = E ∧ X can then be
written as
2
∧
Es,t
= (Ls E∗ X)t ⇒ Es+t
X.
Note that E∗∧ is not technically a homology theory, as it fails to preserve coproducts
and filtered homotopy colimits. Hovey shows in [Hov08, 1.1, 2.4] how this failure

12

TOBIAS BARTHEL AND MARTIN FRANKLAND

can be measured by the higher derived functors Ls for 1 ≤ s ≤ h. Informally speaking, completed Morava E-theory is h derived functors away from being a homology
theory.
Corollary 3.14. An E-module M is K(h)-local if and only if π∗ M is an L-complete
dE ,
E∗ -module. In particular, the functor π∗ LK Pn factors through Mod
∗
hMod
✤ E
✤
✤

d
ModE∗

LK Pn

/ hModE
π∗


/ ModE∗ .

ι

Proof. For the “only if” direction, the E 2 -term of Proposition 3.12 consists of Lcomplete modules, by Proposition A.6. Therefore the abutment is also L-complete,
since L-complete modules form an abelian subcategory of ModE∗ , by Theorem A.10.
Since π∗ (LK M ) is L-complete, the map π∗ M → π∗ (LK M ) uniquely factors as
η

π∗ M −
→ L0 (π∗ M ) → π∗ (LK M )
where the second map is the (left) edge morphism in the spectral sequence. If π∗ M
is L-complete, then by Proposition A.6 we have Ls π∗ M = 0 for all s > 0 and thus
the spectral sequence collapses to the isomorphism L0 (π∗ M ) ∼
= π∗ (LK M ). This
proves the “if” direction.

Remark 3.15. The special case where M is of the form E ∧ X for some spectrum
X is proved in [HS99, 8.4(a)] using a different argument.
Hence the construction of Tn as a left Kan extension in Definition 3.2 can be
refined as follows. Consider the following diagram of categories, in which only the
diagram of solid arrows is commutative:
(2)

LK Pn
/ hModE
/ hModE
■■
■■ π L P
■■∗ K n
■■
■$
[ E∗
[ E∗
π∗ ∼
π∗
π∗
Mod
Mod
■■
■■ ❨ ❭ ❴ ❜ ❡ 3
✉:
■
■
✉
■■
■■
✉
T̂n
■
■
✉✉
ι ■■■
ι ■■■
✉✉ j ′
✉
■$ 
■$ 
 ✉
/ ModE ❴ ❴ ❴ ❴ ❴ ❴ ❴ ❴ ❴/ ModE .
ModffE∗
∗
∗

hModffE
■■
■■
■■
■■
■$

i

Tn

j

Definition 3.16. For every n ≥ 0, the completed algebraic approximation
[ E∗ is defined as
[ E∗ → Mod
functor T̂n : Mod
T̂n = Lanj ′ π∗ (π∗ LK Pn i)
[ E∗ along the
i.e., the left Kan extension of the functor π∗ LK Pn i : hModffE → Mod
ff
′
[ E∗ , as illustrated in the diagram (2).
functor j π∗ : hModE → Mod
As in Definition 3.2, this Kan extension exists since hModffE is essentially small
[ E∗ is cocomplete.
and Mod
[ E∗ , the functor (π∗ LK Pn ) :
[ E∗ → Mod
Using the natural isomorphism L0 ι = id : Mod
[
hModE → ModE∗ can be written as the composite
L P

π

L

0
∗
n
[ E∗
Mod
ModE∗ −−→
hModE −→
hModE −−K−−→

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

13

[ E∗
and likewise for the functor j ′ π∗ : hModffE → Mod
j ′ π∗ = L0 ιj ′ π∗
= L0 jπ∗ .
Hence, the diagram defining T̂n can be rewritten as
hModffE

i

/ hModE

/ hModE

π∗

∼ π∗


ModffE∗

LK Pn

j

π∗



/ ModE∗ ❴ ❴ ❴/ ModE∗
Tn

L0

L0



[ E∗
[ E∗ ❴ ❴ ❴/ Mod
Mod
T̂n

which yields the following alternate description of T̂n .
Proposition 3.17. The completed algebraic approximation functor satisfies T̂n =
dE .
d E → Mod
L0 Tn ι : Mod
∗
∗
Proof. Recalling that L0 is left adjoint to ι, we obtain natural isomorphisms:
T̂n = Lanj ′ π∗ (π∗ LK Pn i)
= LanL0 jπ∗ (L0 π∗ LK Pn i)
= LanL0 Lanjπ∗ (L0 π∗ LK Pn i)
= Lanjπ∗ (L0 π∗ LK Pn i) ι
= L0 Lanjπ∗ (π∗ LK Pn i) ι
= L0 Tn ι.



The completed algebraic approximation functor T̂n resembles the structure present
on the homotopy groups of K(h)-local commutative E-algebras more closely than
Tn , as can be seen by comparing the next lemma with Proposition 3.6; see also
Proposition A.15.
Proposition 3.18. [Rez09, 4.9] If M is a flat E-module, then the natural map
T̂n π∗ M → π∗ LK Pn M is an isomorphism for any n.
We are now ready to state the main theorem of this paper, which will be proved
in Section 4.
Theorem 3.19. The functor T : ModE∗ → ModE∗ preserves L0 -equivalences, which
means that the natural map
L0 Tη

L0 T(M ) −−−→ L0 TL0 (M )
is an isomorphism for all E∗ -module M .
By Theorem 3.19 and Theorem 5.1(5), we obtain the following.
dE →
Corollary 3.20. The completed algebraic approximation functor T̂ = L0 Tι : Mod
∗
d E admits a natural monad structure, inherited from that of T.
Mod
∗

Remark 3.21. Note that the argument given in the proof of Theorem 3.7 does not
work to show that the completed algebraic approximation functors T̂ form a monad.

14

TOBIAS BARTHEL AND MARTIN FRANKLAND

[ E∗ via L0 π∗ i,
Indeed, F ∈ hModffE is not small when viewed as an object of Mod
see Remark A.12. Thus
[ E∗ → Set
Hom(π∗ iF, −) : Mod
does not preserve filtered colimits, so we cannot reduce to finite free modules as
before. Instead, it is a consequence of our main theorem that T̂ commutes with
sifted colimits.
Corollary 3.22. The functor T̂n commutes with sifted colimits.
Proof. We need to show that T̂n commutes with reflexive coequalizers and filtered
colimits. The first part of the statement follows from the construction, since finite
[ E∗ , by Proposition A.15.
free E∗ -modules are complete and hence projective in Mod
[ E∗ and denote by
For the second claim, consider a filtered diagram D : C → Mod
colim ιD the colimit of the corresponding diagram (via ι) in ModE∗ ; then we have
[D
T̂n colim

=
=
=
=
=

L0 Tn ιL0 colim ιD
L0 Tn colim ιD
L0 colim Tn ιD
L0 colim ιL0 Tn ιD
[ T̂n D
colim

by Theorem 3.19.



In view of Theorem 3.19 and Theorem 5.1(8), the homotopy of K(h)-local commutative E-algebras takes values in T̂-algebras, yielding the functor:
d → Alg
d ∼
π∗ : Alg
E
T = AlgT̂ .

In [Rez09, 4.12], it is shown that the forgetful functor U : AlgT → AlgE∗ is
plethyistic, i.e., it reflects isomorphisms and has both a left adjoint and a right
adjoint. The analogous statement in the completed setting also holds.
d is plethyistic.
Proposition 3.23. The forgetful functor Û : AlgT̂ → Alg
E∗

Proof. This is proven exactly as in [Rez09, 4.12], using Proposition A.13 to assure
that the adjoint functor theorem is applicable.


3.3. A word about applications. The usefulness of Theorem 3.19 becomes apparent in recent work of Rezk [Rez13b], where calculations of power operations are
carried out. Completion can now be dealt with systematically, as it is built into the
structure of T̂-algebras, unlike T-algebras. Moreover, the fact that T̂ is a monad
allows the use of standard categorical and homological machinery for algebras over
monads, such as simplicial resolutions of T̂-algebras.
One application is the computation of π∗ P̂M . The monad T : ModE∗ → ModE∗
was constructed to encode the algebraic structure present in π∗ LK PM = π∗ P̂M for
any E-module M (which is K(h)-local, without loss of generality). The completed
[ E∗ provides a better approximation. As noted
[ E∗ → Mod
monad T̂ = L0 Tι : Mod
in Proposition 3.18, the comparison map T̂(π∗ M ) → π∗ P̂M is an isomorphism
whenever M is a flat E-module. However, the problem of describing the algebraic
structure of π∗ P̂M for any M remains difficult.
There is a spectral sequence roughly of the form


2
Es,t
= (Ls T̂)(π∗ M ) ⇒ πs+t P̂M
t

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

15

[ E∗ denotes the sth left derived functor of the non[ E∗ → Mod
where Ls T̂ : Mod
additive functor T̂, and the comparison map T̂(π∗ M ) → π∗ P̂M is an edge morphism. We hope that working with the completed monad T̂ instead of T will
facilitate the construction of this spectral sequence and its calculation.
At height h = 1, McClure provided an explicit description of π∗ P̂(K ∧S X) for
any spectrum X in terms of K-homology operations for X [BMMS86, IX §3]. It
would be interesting to relate those results to our proposed calculation.
Another application is in computing topological André-Quillen (co)homology of
(augmented) K(h)-local commutative E-algebras. This (co)homology appears notably in work of Behrens and Rezk on the Bousfield-Kuhn functors [BR12]. Topological André-Quillen homology of a commutative E-algebra A is the E-module
TAQ(A) of “indecomposables” of A, in some suitable derived sense. When working
K(h)-locally, the object of interest is LK TAQ(A). At the algebraic level, there is a
corresponding “indecomposables” functor F : AlgT → ModE∗ and an L-completed
[ E∗ . There is a spectral sequence roughly of the
version F̂ = L0 F ι : AlgT̂ → Mod
form


2
Es,t
= (Ls F̂ )(π∗ A) ⇒ πs+t LK TAQ(A)
t

where the E 2 term can be thought of as André-Quillen homology for T̂-algebras. At
height h = 1, T̂-algebras are sometimes referred to as θ-algebras, and their AndréQuillen (co)homology played an important role in work of Goerss and Hopkins
[GH03, §2] [GH04].

Remark 3.24. There are other approaches for computing topological André-Quillen
homology from (algebraic) André-Quillen homology [Ric02].
4. Proof of the main theorem
The goal of this section is to give a proof of our main Theorem 3.19, for any
prime p and height h. An alternative, more explicit argument in the height 1 case
will be the subject of Section 7.
4.1. Reduction to the key property. Let n be a fixed non-negative integer.
The following result, the proof of which is deferred to the next subsection, is the
key technical property of the functors Tn .
Proposition 4.1. There exists a positive integer k = k(n) such that for all m ≤ n
and all q ∈ Z, the natural map
E∗ /m ⊗ Tm (Σq E∗ ) −
→ E∗ /m ⊗ Tm (Σq E∗ /mk )
is an isomorphism. Note that if this holds, then the same conclusion holds for any
integer k ′ ≥ k(n) in place of k.
Note that, if the functors Tm and E∗ /m ⊗ − commute, the proposition would be
automatic, in which case we could take any k. This holds if m < p, since then the
homotopy orbit spectral sequence collapses at the E 2 -page. However, as we will see
in Section 7, it is wrong in general, so that Proposition 4.1 has content and we do
need k > 1; see Remark 7.9.
Corollary 4.2. There exists a positive integer k = k(n) such that for all m ≤ n
and M ∈ ModE∗ the natural map
E∗ /m ⊗ Tm (M ) −
→ E∗ /m ⊗ Tm (E∗ /mk ⊗ M )
is an isomorphism.

16

TOBIAS BARTHEL AND MARTIN FRANKLAND

Proof. First, let us assume M = Σq1 E∗ ⊕ · · · ⊕ Σqr E∗ is a finite free module of
rank r. Then, using that T is an exponential monad (Theorem 3.8) and since
E∗ /m ⊗ E∗ /m ∼
= E∗ /m, we get
M
(E∗ /m ⊗ Ti1 (Σq1 E∗ )) ⊗ · · · ⊗ (E∗ /m ⊗ Tir (Σqr E∗ ))
E∗ /m ⊗ Tn (M ) ∼
=
i1 +···+ir =n

where the direct sum is indexed by all r-tuples of non-negative integers (i1 , . . . , ir )
summing to n. By Proposition 4.1, this is isomorphic to
M


E∗ /m ⊗ Ti1 (Σq1 E∗ /mk ) ⊗ · · · ⊗ (E∗ /m ⊗ Tir Σqr E∗ /mk )
i1 +···+ir =n

∼
=E∗ /m ⊗ Tn Σq1 E∗ /mk ⊕ · · · ⊕ Σqr E∗ /mk
∼
=E∗ /m ⊗ Tn (E∗ /mk ⊗ M )



where the first isomorphism uses the exponential monad structure again. By
Lazard’s theorem, we can write any M ∈ Mod♭E∗ as a filtered colimit of finite
free modules Fj , M = colimJ Fj , thus
E∗ /m ⊗ Tn (M ) ∼
= colimJ (E∗ /m ⊗ Tn (Fj ))
∼
= colimJ (E∗ /m ⊗ Tn (E∗ /mk ⊗ Fj ))
∼
= E∗ /m ⊗ Tn (E∗ /mk ⊗ M )
as both tensor products and Tn commute with filtered colimits. Here, the second
isomorphism uses the claim for finite free modules proven above. Finally, any
module can be written as a reflexive coequalizer of free modules, so the result
follows.

We are now ready to prove our main result (Theorem 3.19).
Theorem 4.3. The algebraic approximation functor T : ModE∗ → ModE∗ preserves L0 -equivalences.
L
Proof. Since T = n≥0 Tn is a coproduct of the functors Tn , it suffices to show
that each Tn preserves L0 -equivalences. The statement then immediately translates
≃
→ L0 Tn ιL0 is an
into the following claim: The natural transformation L0 Tn −
isomorphism. Because Tn , L0 , and ι all preserve reflexive coequalizers, we are
reduced to showing this for free modules.
Let M be a free E∗ -module and let k be as in Corollary 4.2. We have a commutative diagram1
/ L0 M
M

M/mk

≃


/ L0 M/mk

where the vertical arrows are the canonical quotient maps and the bottom one is
the induced isomorphism. Applying the functor E∗ /m ⊗ Tn (−) to this square, we
obtain
/ E∗ /m ⊗ Tn (L0 M )
E∗ /m ⊗ Tn (M )

E∗ /m ⊗ Tn (M/mk )


/ E∗ /m ⊗ Tn (L0 M/mk ).

1Note that, by Proposition A.6, (L M )/mk = M/mk = L (M/mk ), so the notation L M/mk
0
0
0
is unambiguous.

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

17

The bottom horizontal map is still an isomorphism, while the two vertical arrows
are so by Corollary 4.2. Therefore, the top horizontal map is an isomorphism as
well. Since Tn L0 M is flat by Proposition A.15 and Proposition 3.9, this furnishes
the result by Lemma A.8.

4.2. Proof of the key property. We are left with the verification of Proposition 4.1. To this end, we will use an observation from homotopy theory (Lemma 4.4),
which is the only non-algebraic input to the proof of our theorem. The notation is
as before; in particular, all smash products are taken to be in ModE unless otherwise stated, and we will denote a morphism of spectra by the same symbol as the
induced map on homotopy groups. We have fixed a non-negative integer n and let
m ≤ n.
Recall that any element ν ∈ πi E gives rise to a multiplication by ν map,
ν : Σi M → M , for every M ∈ ModE , defined as the composite
ν∧1

µM

S i ∧ M −−→ E ∧ M −−→ M,
which can be inverted by forming the sequential colimit
Σ−i ν

Σ−2i ν

ν −1 M = colim M −−−→ Σ−i M −−−−→ Σ−2i M → · · · .
To simplify notation, we will omit these suspensions from now on.
Lemma 4.4. Let ν ∈ π∗ E and m ≥ 1, and let M be an E-module. If ν acts
invertibly on M , then ν acts invertibly on π∗ LK Pm (M ). This applies in particular
to M = ν −1 Σq E for any q ∈ Z.
Proof. To start with, we show that ν acts invertibly on π∗ Pm (M ). To see this,
note that ν acts invertibly on M ∈ ModE if and only if the natural map M =
E ∧ M → ν −1 E ∧ M = ν −1 M is an equivalence. Since smash products commute
with homotopy colimits, the property of ν acting invertibly is therefore preserved
under homotopy colimits. Moreover, the equivalence (ν −1 E)∧2 = ν −1 E implies
(ν −1 X) ∧ (ν −1 Y ) = ν −1 (X ∧ Y ) for any E-modules X and Y . Therefore, the
property of ν acting invertibly is preserved under finite smash products. It follows
that ν acts invertibly on the extended power Pm (M ) = (M ∧m )hΣm .
Now recall that Proposition 3.12 and Theorem A.4 say that, for any N ∈ ModE ,
there exists a strongly convergent spectral sequence of E∗ -modules
2
Es,t
= Ls (π∗ N )t ⇒ πs+t LK N

with E2s,t = 0 if s > h. Taking N = Pm (M ), the previous step implies that the
E 2 -term of the spectral sequence consists of E∗ -modules on which ν acts invertibly.
Since this property is closed under kernels, cokernels, and extensions, the claim
follows.

As a consequence, we can show that elements in the maximal ideal of E∗ have
to act nilpotently on Tm (F ) mod m for any finite free E∗ -module F .
Corollary 4.5. Let ν ∈ m ⊂ E∗ , m ≥ 1, and fix F ∈ ModffE∗ , then there exists a
positive integer λ = λ(ν, m) such that the map
Tm (ν) : Tm (F ) → Tm (F )
satisfies Tm (ν)λ ≡ 0 mod m.
ν

Proof. Write F = π∗ M for some finite free E-module M . Since ν −1 M = colim (M −
→
ν
M −
→ · · · ) and the functor Tm ◦ π∗ preserves filtered colimits and finite free
modules by Proposition 3.9, both ν −1 M and Tm π∗ (ν −1 M ) are flat by Lazard’s

18

TOBIAS BARTHEL AND MARTIN FRANKLAND

theorem. Therefore, Proposition 3.18 gives an isomorphism L0 Tm π∗ (ν −1 M ) ∼
=
π∗ LK Pm (ν −1 M ). Putting this together with Proposition A.6(2), we get that
T π ν

T π ν

m ∗
m ∗
E∗ /m ⊗ colim (Tm π∗ M −−
−−→ Tm π∗ M −−
−−→ · · · )

is equivalent to
ν

ν

E∗ /m ⊗ Tm π∗ (colim M −
→M −
→ ···) =

E∗ /m ⊗ L0 Tm π∗ (ν −1 M )

=

E∗ /m ⊗ π∗ LK Pm (ν −1 M )

=

0,

where the last equality follows from Lemma 4.4. Since Tm (π∗ M ) has finite rank by
Proposition 3.9, Tm (ν) is nilpotent mod m.

Remark 4.6. Note that the integer λ = λ(ν, m) in the above corollary depends on
the module F .
We are now ready to prove Proposition 4.1, which we restate for convenience.
Proposition 4.1. There exists a positive integer k = k(n) such that for all m ≤ n
and all q ∈ Z, the natural map
E∗ /m ⊗ Tm (Σq E∗ ) −
→ E∗ /m ⊗ Tm (Σq E∗ /mk )
is an isomorphism for all.
Proof. First we claim that it suffices to prove that, for fixed q ∈ Z, there exists a
positive integer k = k(n, q) such that for all m ≤ n the map E∗ /m ⊗ Tm (Σq E∗ ) −
→
E∗ /m ⊗ Tm (Σq E∗ /mk ) is an isomorphism. Indeed, because E is 2-periodic, taking
k(n) = max (k(n, 0), k(n, 1)) then works for all q. Since the argument below is the
same for any q, we will assume q = 0 from now on.
The statement is clear for m = 0, so let us assume m ≥ 1. With notation as in Corollary 4.5, taking the finite free E∗ -module F = E∗ , let λ(ν) =
Ph−1
max{λ(ν, 1), . . . , λ(ν, n)} and set k = i=0 λ(ui ), the ui being the standard gen
erators of m. Let r(k) = h+k−1
, the number of generators of mk , and define
k
k−1
Ik = {g1 = uk0 , g2 = u0 u1 , . . . , gr(k) = ukh−1 } to be the set of standard generators
Q
li
for this ideal, such that gi = h−1
i=0 ui where, by choice of k, li ≥ λ(ui ) for at least
one i.
We can write E∗ /mk as a reflexive coequalizer
⊕r(k)

E∗ ⊕ E∗

(1,0,...,0)

−−−−−−−−−→ E → E /mk → 0
∗
−−−−−−−−−→ ∗
(1,g1 ,...,gr(k) )

where the upper arrow is projection onto the first factor. Note that the extra copy
of E∗ is added only to make the coequalizer reflexive. By naturality, we obtain a
commutative diagram
L
≃ /
⊕r(k)
Tm (E∗ ⊕ E∗
)
Ti0 (E∗ ) ⊗ Ti1 (E∗ ) ⊗ · · · ⊗ Tir(k) (E∗ )
i0 +...+ir(k) =m

Tm (1,g1 ,...,gr(k) )


Tm (E∗ )

=

L

Ti0 (1)⊗Ti1 (g1 )⊗···⊗Tir(k) (gr(k) )


/ Tm (E∗ )

Observe that, by our choice of k and Corollary 4.5, for each summand of the right
vertical map we get
(
1 if i0 = m, i1 = . . . = ir(k) = 0
Ti0 (1) ⊗ Ti1 (g1 ) ⊗ · · · ⊗ Tir(k) (gr(k) ) ≡
m
0 otherwise.

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

19

On the one hand, the colimit of the diagram
⊕r(k)

E∗ /m ⊗ Tm (E∗ ⊕ E∗

E∗ /m⊗Tm (1,0,...,0)

−−−−−−−−−−−−−−−→
)−
−−−−−−−−−−−−−−−−→ E∗ /m ⊗ Tm (E∗ )
E∗ /m⊗Tm (1,g1 ,...,gr(k) )

k

computes E∗ /m ⊗ Tm (E∗ /m ). On the other hand, by the argument just given,
this diagram is equivalent to
M
Ti0 (E∗ ) ⊗ Ti1 (E∗ ) ⊗ · · · ⊗ Tir(k) (E∗ ) ⇒ E∗ /m ⊗ Tm (E∗ )
E∗ /m ⊗
i0 +···+ir(k) =m

where on each summand both maps are either the identity, namely precisely if i0 =
m, or both 0; hence its colimit is E∗ /m⊗Tm (E∗ ). Therefore, E∗ /m⊗Tm (E∗ /mk ) ∼
=
E∗ /m ⊗ Tm (E∗ ). The situation is summarized in the following diagram:
⊕r(k)

E∗ /m ⊗ Tm (E∗ ⊕ E∗

)

/
/ E∗ /m ⊗ Tm (E∗ )
=

≃

E∗ /m ⊗

L

i0 +···+ir(k) =m



Ti0 (E∗ ) ⊗ · · · ⊗ Tir(k) (E∗ )

/ E∗ /m ⊗ Tm (E∗ /mk )

/



/ E∗ /m ⊗ Tm (E∗ )

/0

∴ ≃


/ E∗ /m ⊗ Tm (E∗ )

/ 0.
′

For any integer k ′ ≥ k(n), the map E∗ /m ⊗ Tm (Σq E∗ ) → E∗ /m ⊗ Tm (Σq E∗ /mk )
is also an isomorphism for all m ≤ n and q ∈ Z. Indeed, it is an epimorphism since
Tm and E∗ /m ⊗ − preserve epimorphisms, and it is a monomorphism because of
′
the factorization M → M/mk → M/mk(n) and the assumption on k(n).

Remark 4.7. The method used in the proof to turn a coequalizer into a reflexive
coequalizer works in any category with finite coproducts. Thus, a functor between
such categories which preserves reflexive coequalizers automatically preserves regular epimorphisms, i.e., maps which are the coequalizer of some parallel pair. In particular, the functor Tn : ModE∗ → ModE∗ preserves regular epimorphisms, which
in ModE∗ are precisely the surjective maps.
5. Algebraic structures and completion
In this section, we consider the compatibility of various algebraic structures with
L-completion. After stating the general result in §5.1, we specialize to the familiar
context of rings and modules in §5.2. The example of interest for this paper are the
categories of λ- and θ-rings introduced and discussed in §5.3 and §5.4, which are
used to give an alternative proof of the height 1 case of Theorem 3.19 in Section 7.
5.1. Completed monads and their algebras. Categories of algebras for a monad
transform nicely under the application of the completion functor L0 , which will become relevant in our discussion of the completed algebraic approximation functors
at height 1 in the next section.
Theorem 5.1. Let C be a category and ι : C0 → C the inclusion of a reflective full
subcategory, with reflector L : C → C0 , and unit η : 1 → ιL.
(1) If a map of diagrams in C is objectwise an L-equivalence, then the map
induced on colimits (if they exist) is an L-equivalence.
(2) A retract of an L-equivalence is also an L-equivalence.
Let D be another category and ι : D0 → D the inclusion of a reflective full subcategory, with reflector L : D → D0 (by abuse of notation).
(3) Let F : C → D be a functor obtained as a colimit of a diagram of functors
Fi : C → D. If each Fi preserves L-equivalences, then so does F .
(4) If a functor F : C → D preserves L-equivalences, then any retract of F also
preserves L-equivalences.

20

TOBIAS BARTHEL AND MARTIN FRANKLAND

Let M : C → C be a monad which preserves L-equivalences. Then the following
holds.
(5) M̂ = LMι : C0 → C0 naturally inherits a monad structure from that of M.
(6) Given an M̂-algebra Y with structure map ψ : M̂Y → Y , the composite
η

ψ

MY −
→ LMY −
→ Y naturally makes Y into an M-algebra. This defines a
d . Here Alg denotes the category of M̂-algebras, and
functor AlgM̂ → Alg
M
M̂
d
AlgM denotes the full subcategory of AlgM consisting of M-algebras whose
underlying object is in C0 .
(7) Let X be an M-algebra. Then LX is naturally an M̂-algebra, in a unique
way that is compatible with the M-algebra structure of X, in the sense that
η : X → LX is a map of M-algebras. This defines a functor L : AlgM →
AlgM̂ .
∼
= d
→ AlgM is an equivalence of categories, with inverse
(8) The functor AlgM̂ −
equivalence the composite
ι

d
Alg
M

/ AlgM

L

/ Alg .
M̂

Proof. Parts (1)-(4) are straightforward.
(5) Consider the category Fun(C, C) of endofunctors of C, which is monoidal with
respect to composition of functors. Let Funwe (C, C) denote the full subcategory of
Fun(C, C) consisting of functors that preserve L-equivalences; this is a monoidal
subcategory.
One readily checks that the functor L♯ ι♯ = ι♯ L♯ : Funwe (C, C) → Fun(C0 , C0 ),
which associates to an endofunctor F : C → C the endofunctor LF ι : C0 → C0 , is
strong monoidal, with structure map
∼
=

(LF η)−1 Gι : (LF ι)(LGι) −
→ L(F G)ι.
Hence, a monad M on C, i.e., a monoid in Fun(C, C), is naturally sent to a monoid
L♯ ι♯ (M) = LMι in Fun(C0 , C0 ).
(6) Straightforward.
(7) Let ϕ : MX → X be the structure map of X as M-algebra, then the composite
LMLX o

LMη
∼
=

LMX

Lϕ

/ LX

naturally makes LX into an M̂-algebra.
Now we argue the compatibility and uniqueness claims. We are looking for a
map ϕ1 : M(LX) → LX satisfying ϕ1 ◦ (Mη) = η ◦ ϕ, i.e., making the square in
Mη

MX❍
❍❍
❍❍ η
❍❍
❍❍
❍$
ϕ
L(MX)
▲

X

η

/ M(LX)
✤ ▲▲▲
▲▲▲η
✤
▲▲▲
✤
▲%
LMη ✤
/ L(MLX)
∼
✤
=
r
▲
r
✤ ϕ1
▲
rϕ2
ϕ3 ▲
✤
▲%  xr r
/ LX

commute. Since LX is L-complete, a map ϕ1 making the square commute corresponds to a map ϕ2 : L(MLX) → LX making the outer pentagram commute.
By naturality of η, the upper parallelogram commutes, i.e., η ◦ (Mη) = (LMη) ◦ η
holds. Moreover, LMη is an isomorphism by assumption. Therefore ϕ2 makes the
outer pentagram commute if and only if the corresponding map ϕ3 = ϕ2 ◦ LMη
makes the lower left triangle commute.

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

21

Since LX is L-complete, such maps ϕ3 correspond to maps MX → LX that are
equal to η ◦ ϕ. In other words, there exists a unique such ϕ3 , and it is ϕ3 = Lϕ.
(8) This is a straightforward consequence of parts (6) and (7).

5.2. Completed rings and their modules. Now we specialize to the case of
[ R of L-complete modules. Here R is a
ModR with its reflective subcategory Mod
commutative Noetherian ring (not assumed to be local) with a chosen ideal m ⊂ R.
All tensor products will be over R unless otherwise noted.
First, note that R itself might not be L-complete as an R-module. However, we
will see that replacing R by L0 R is harmless.
Proposition 5.2.
(1) L0 R admits a unique R-algebra structure compatible with
that of R, in the sense that η : R → L0 R is a map of R-algebras. Moreover,
said R-algebra structure on L0 R is natural in R, and is commutative.
(2) Let M be an R-module. Then L0 M admits a unique L0 R-module structure
such that its restriction along η : R → L0 R is the original R-module structure on L0 M . Moreover, said L0 R-module structure on L0 M is natural in
R and M .
(3) Let A be an R-algebra. Then L0 A admits a unique L0 R-algebra structure
compatible with the R-algebra structure of A. Moreover, said algebra structure is natural in A and R. The algebra L0 A is commutative if A is.
Proof. In all three cases, the induced structure maps arise from applying L0 to
[ R is strong
the original structure maps, and using the fact that L0 : ModR → Mod
monoidal, i.e., the natural isomorphism
∼

=
ˆ 0 N.
L0 (η ⊗ η) : L0 (M ⊗ N ) −
→ L0 (L0 M ⊗ L0 N ) = L0 M ⊗L

The compatibility claim follows from naturality of η : M → L0 M . The uniqueness
claim is proved as in Theorem 5.1 (7).
Let us add some details about each point.
(1) Since R is a commutative monoid in (ModR , ⊗), L0 R is naturally a commu[ R , ⊗).
ˆ Since L0 R is L-complete, this structure is the same
tative monoid in (Mod
as that of a commutative R-algebra.
(2) Since M is a module object over the monoid object R in (ModR , ⊗), L0 M
[ R , ⊗).
ˆ
is naturally a module object over the monoid object L0 R in (Mod
[
(3) Statement (2) defines a functor L0 : ModR → ModL0 R , which is still strong
monoidal, since η : R → L0 R induces a natural isomorphism
∼
=

L0 (L0 N ⊗R L0 N ′ ) −
→ L0 (L0 N ⊗L0 R L0 N ′ ).
Hence this functor sends monoids (resp. commutative monoids) in (ModR , ⊗) to
[ L0 R , ⊗).
ˆ
monoids (resp. commutative monoids) in (Mod

[ L0 R denotes the full subcategory of ModL0 R
In the proof of Proposition 5.2, Mod
consisting of L0 R-modules which are L-complete when viewed as R-modules. We
now check that the other possible interpretation of the notation is in fact the same.
Lemma 5.3. The diagram
ModL0 R

L̂0

η∗


ModR

/ ModL0 R
η∗

L0


/ ModR

22

TOBIAS BARTHEL AND MARTIN FRANKLAND

commutes (up to natural isomorphism), where the top horizontal functor L̂0 is Lcompletion with respect to the ideal m̂ := (η(m)) ⊆ L0 R.
In particular, an L0 R-module M is L-complete with respect to the ideal m̂ ⊆ L0 R
if and only if the underlying R-module η ∗ M is L-complete with respect to the ideal
m ⊆ R.
Proof. Since the restriction functor η ∗ : ModL0 R → ModR is exact, the composite
∗
η ∗ L̂0 is the 0th left derived functor of η ∗ (−)∧
m̂ and likewise, the composite L0 η is
th
∧ ∗
∗
∧ ∼
the 0 left derived functor of (−)m η . It therefore suffices to show that η (−)m̂ =
∗
(−)∧
m η is a natural isomorphism.
Let M be an L0 R-module. By exactness of η ∗ , we have


∧
η ∗ (Mm̂
) = η ∗ lim M/m̂k M
k

∗
= lim η M/m̂k M
k

= lim (η ∗ M )/(η ∗ (m̂k M ))
k

(η

∗

M )∧
m

= lim (η ∗ M )/mk (η ∗ M )
k

and those two towers of R-modules are in fact equal, given the equality of Rsubmodules mk (η ∗ M ) = η ∗ (m̂k M ).

Proposition 5.4.
(1) The restriction functor η ∗ : ModL0 R → ModR induces
an equivalence of categories
∼
= d
dL R−
η ∗ : Mod
→ Mod
R.
0

(2) The restriction functor η ∗ : AlgL0 R → AlgR induces an equivalence of categories
∼
= d
d
η ∗ : Alg
→ Alg
L0 R −
R.

Proof. (1) Consider the commutative diagram of adjoint pairs
ModO R o
L0

L0 R⊗R −

/

η

∗

ι

ModL0 R
O
ι

L0


[
ModR o

η∗


/[
ModL0 R

where the right adjoints commute (on the nose) and therefore the left adjoints
commute (up to natural isomorphism). In other words, the functor L0 : ModR →
[ L0 R coming from Proposition 5.2 is naturally isomorphic to the composite
Mod
ModR

L0 R⊗R −

L0

/ ModL0 R

/ Mod
[ L0 R .

One readily checks that the composite
[R
Mod

ι

/ ModR

L0

is an inverse equivalence to η ∗ .
(2) Similar proof, using Proposition 5.2 (3).

/ Mod
[ L0 R


COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

23

5.3. λ- and θ-rings.
Definition 5.5. [Yau10, §1.2] A λ-ring R is a commutative ring equipped with
operations λi : R → R for all i ≥ 0, satisfying the following equations:
(1) λ0 (x) = 1 for all x ∈ R.
(2) λ1 (x) = x for all x ∈ R.
(3) λi (1) = 0 forP
all i ≥ 2.
(4) λn (x + y) = i+j=n λi (x)λj (y) for all x, y ∈ R.
(5) λn (xy) = Pn (λ1 (x), . . . , λn (x); λ1 (y), . . . , λn (y)) for all x, y ∈ R.
(6) λm (λn (x)) = Pm,n (λ1 (x), . . . , λmn (x)) for all x ∈ R.
Here Pn and Pm,n are certain polynomials with integer coefficients in 2n and
mn variables respectively, defined using elementary symmetric polynomials as in
[Yau10, §1.1, 1.2]; the precise formulas will play no role in this paper. From the
structure of λ-ring, one can construct for all i ≥ 1 Adams operations ψ i : R → R,
which are λ-ring homomorphisms, natural in R; see [Yau10, §3.1] for details.
Let R be a λ-ring. An R-λ-algebra S is a commutative R-algebra which is also
a λ-ring, such that the two structures are compatible. The compatibility condition
can be equivalently defined as the R-algebra structure map R → S being a map of
λ-rings, or by allowing x and y in the product formula (5) to be either in R or S.

Example 5.6. The integers Z, endowed with operations λi (n) = ni , form a λring. The Adams operations ψ i : Z → Z are all trivial, that is, ψ i (n) = n holds for
all n ∈ Z and i ≥ 1 [Yau10, 3.4].
Example 5.7. The complex K-theory K 0 (X) of a paracompact Hausdorff space
X is naturally a λ-ring, where the operation λi is induced by the ith exterior power
of vector bundles. In this case, the Adams operations ψ i are the classical operations
introduced by Adams.
In particular, the K-theory of a point K 0 (pt) ∼
= Z is the λ-ring described in
Example 5.6.
Notation 5.8. For a ground λ-ring R, let λAlgR denote the category of R-λ-algebras.
In particular, λAlgZ is the category of λ-rings.
Definition 5.9. [Bou96, 2.1] Let p be a prime. A θp -ring (or just θ-ring if the
prime p is understood) R is a commutative ring together with a function θp : R → R
(also denoted θ) satisfying:

Pp−1
(1) θ(x + y) = θx + θy − i=1 p1 pi xi y p−i
(2) θ(xy) = (θx)y p + xp (θy) + p(θx)(θy)
(3) θ(1) = 0.
Let R be a θ-ring. An R-θ-algebra S is a commutative R-algebra which is also
a θ-ring, such that the two structures are compatible.
Notation 5.10. Let p be a prime. For a ground θ-ring R, let θAlgR denote the
category of R-θ-algebras. In particular, θAlgZ is the category of θ-rings.
For any prime p, any λ-ring has an underlying θp -ring structure [Bou96, 2.5],
in which the equation ψ p (x) = xp + pθp (x) holds for all elements x. In light of
this, given a θp -ring R, one defines the associated Adams operation ψ p : R → R by
ψ p (x) := xp + pθp (x).
The underlying θp -ring structure defines a forgetful functor λAlgZ → θAlg Z , and
more generally:
Lemma 5.11. For any ground λ-ring R, there is a forgetful functor λAlgR →
θAlgR .

24

TOBIAS BARTHEL AND MARTIN FRANKLAND

Example 5.12. The underlying θp -ring of the λ-ring Z described in Example 5.6
p
is equipped with the operation θp (x) = x−x
p .
For any λ-ring R, the forgetful functor URλ : λAlgR → ModR from R-λ-algebras to
R-modules has a left adjoint FRλ : ModR → λAlgR . In fact, both forgetful steps, first
λAlgR → AlgR to commutative R-algebras and then AlgR → ModR to R-modules,
have left adjoints. Denote by TRλ := URλ FRλ : ModR → ModR the associated forgetof-free
monad, which naturally comes with a decomposition TRλ =
L∞ R-λ-algebra
λ
n=0 TR,n .
Likewise, for a θ-ring R, let TRθ : ModR → ModR denote the associated forgetof-free R-θ-algebra monad.
By [ARV11, Chapters 2, 3], filtered colimits and reflexive coequalizers in λAlgR
are computed in Set, or equivalently in the intermediate categories ModR or AlgR .
This implies the following result.
Proposition 5.13. The forgetful functor URλ : λAlgR → ModR preserves sifted
colimits, and so does the composite TRλ = URλ FRλ : ModR → ModR .
5.4. Completions and base change of λ-rings.
Proposition 5.14. Let R be a λ-ring.
(1) L0 R is naturally a λ-ring, in a unique way that is compatible with the λ-ring
structure of R, in the sense that η : R → L0 R is a map of λ-rings.
(2) Let A be an R-λ-algebra. Then L0 A is naturally an L0 R-λ-algebra, in a
unique way that is compatible with the R-λ-algebra structure of A.
Proof. (1) Since the structure of λ-ring is monadic over ModZ , the statement follows
from Theorem 5.1 (7) and Theorem 7.8.
(2) Similar to Proposition 5.2.

Remark 5.15. Proposition 5.14 is closely related to [Yau10, 3.62, 3.63]. The latter
considers metric completions of λ-rings. When restricted to the p-adic topology,
the former statement is more general.
Proposition 5.16. Let R be λ-ring. Then the restriction functor η ∗ : λAlgL0 R →
λAlgR induces an equivalence of categories
d
d
η ∗ : λAlg
L0 R → λAlg R .

Proof. Similar to Proposition 5.4.



We want to obtain a result over the ground λ-ring Zp starting from an analogous
result over the ground λ-ring Z. Let us discuss change of λ-rings more generally.
As for ordinary commutative algebras, if R is any ground λ-ring, and A and B
are R-λ-algebras, then their tensor product A⊗R B is naturally an R-λ-algebra, and
this construction makes the tensor product ⊗R into the coproduct of R-λ-algebras.
Indeed, the forgetful functor from R-λ-algebras to R-algebras is comonadic [Yau10,
2.26] and thus creates colimits; this holds more generally for any plethory [BW05,
1.10]. As a consequence, one can restrict or extend scalars just as for commutative
rings. Let f : R → S be a map of λ-rings. Then extension of scalars f! = S ⊗R −
is left adjoint to restriction of scalars f ∗ at the level of modules, commutative

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

25

algebras, and λ-algebras. More precisely, there is a diagram of adjoint pairs
(3)

λAlg R o
O

S⊗R −
f

/

λAlgS
O

∗


AlgR o
O

S⊗R −


ModR o

S⊗R −

f∗

/

f

∗

/


AlgS
O


ModS

where the downward maps are forgetful functors, and the upward maps are their
left adjoint (“free” functors). In each square, the right adjoints commute (on the
nose), and thus the left adjoints commute (up to natural isomorphism).
Consider the associated free λ-algebra monads TR := TRλ : ModR → ModR and
TS := TSλ : ModS → ModS respectively. The map f : R → S induces a natural
comparison map
Tf : TR f ∗ → f ∗ TS
of functors ModS → ModR .
Proposition 5.17. Let R be a λ-ring and assume TR preserves L0 -equivalences.
Let f : R → S be a map of λ-rings.
(1) If the natural transformation Tf is an L0 -equivalence, then TS preserves
L0 -equivalences.
(2) If the unit of the adjunction f! ⊣ f ∗ is an L0 -equivalence, i.e., if for all
R-module M the natural map
M = R ⊗R M → S ⊗R M = f ∗ (S ⊗R M )
is an L0 -equivalence, then Tf is an L0 -equivalence, and therefore TS preserves L0 -equivalences.
Proof. (1) Let M be an S-module. Applying the natural transformation Tf to the
map η : M → L0 M and then applying L0 yields a commutative diagram
L0 TR η
∼
=
L0 TR f ∗ η

/ L0 TR (f ∗ L0 M )

L0 TR (f ∗ M )
L0 Tf

∼
= L0 Tf

∼
=


L0 f ∗ TS M

f ∗ L0 TS M

&
L0 TR (L0 f ∗ M )

∗


/ L0 f ∗ TS (L0 M )

L0 f TS η

∴∼
=

/ f ∗ L0 TS (L0 M )

f ∗ L0 TS η

[ R . The top map is an isomorphism, since TR preserves L0 -equivalences, and
in Mod
the downward maps are isomorphisms, since Tf is an L0 -equivalence. Hence the
bottom map f ∗ L0 TS η is an isomorphism, and so is L0 TS η (since the restriction
functor f ∗ reflects isomorphisms).
(2) First, let us show that Tf is an L0 -equivalence when applied to extended
S-modules, i.e., those of the form N = S ⊗R M for some R-module M .

26

TOBIAS BARTHEL AND MARTIN FRANKLAND

By the commutativity of left adjoints in the diagram (3), for any R-module M ,
we have
TS (S ⊗R M ) = US FS (S ⊗R M )
= US (S ⊗R FR M )
= S ⊗R UR FR M
= S ⊗R TR M.
Let N = S ⊗R M be an extended S-module. Applying L0 to Tf yields the natural
map
L0 TR (f ∗ N ) → L0 f ∗ TS N
whose right-hand side is
L0 f ∗ TS N = L0 f ∗ TS (S ⊗R M )
∼
= L0 f ∗ (S ⊗R TR M )
∼
= L0 TR M
since the unit map TR M → f ∗ (S ⊗R TR M ) is an L0 -equivalence by assumption.
Consider the unit map M → f ∗ (S ⊗R M ) = f ∗ N and apply L0 TR to obtain the
isomorphism
∼
=

L0 TR M −
→ L0 TR (f ∗ N ).
One readily checks that this is the desired inverse of the map
L0 TR (f ∗ N ) → L0 f ∗ TS N ∼
= L0 TR M.
Now, note that free S-modules are extended from R-modules. Moreover, the func[ R preserve all colimits, while the
tors f ∗ : ModS → ModR and L0 : ModR → Mod
functors TR and TS preserve reflexive coequalizers and filtered colimits. Hence, the
collection of S-modules for which Tf is an L0 -equivalence is closed under reflexive
coequalizers and filtered colimits. Since every S-module is a reflexive coequalizer
of free S-modules, it follows that Tf is an L0 -equivalence for all S-modules.

Corollary 5.18. Let R be a λ-ring. If TRλ preserves L0 -equivalences, then TLλ0 R
also preserves L0 -equivalences.
Proof. The coaugmentation η : R → L0 R is a map of λ-rings, by Proposition 5.14.
By Proposition 5.4, the unit and counit of the adjunction η! ⊣ η ∗
M → η ∗ (L0 R ⊗R M )
L0 R ⊗R (η ∗ N ) → N
are L0 -equivalences and thus Proposition 5.17 applies.



6. Operations on p-complete K-theory
The main goal of this section is to show that at height 1, the monad T : ModE∗ →
ModE∗ is the free Z/2-graded Zp -θ-algebra monad (Theorem 6.14). This result is
certainly known to experts, see e.g., [Hop14], and follows from work of McClure
[BMMS86, IX], as mentioned for instance in [Rez09, 1.1]. We claim no novelty in
that respect. What we do provide is a detailed proof, based on a careful study
of the power operation Q introduced by McClure, and how this relates to work of
Bousfield [Bou96].

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

27

6.1. The Milnor sequence for completed E-homology. Recall that the periodicity theorem [HS98] allows the construction of generalized Moore spectra MI of
type h for certain sequences of positive integers I = (i0 , . . . , ih−1 ), which are finite
spectra of type h with
i

h−1
).
BP∗ (MI ) = BP∗ /(pi0 , . . . , vh−1

pr

These generalize the ordinary Moore spectra M (pr ) = cofib(S 0 −→ S 0 ). Moreover,
by choosing appropriate cofinal sequences Ij of length n, one obtains a tower of
type n generalized Moore spectra
· · · → MIj+1 → MIj → · · ·
with the property that
LK X = lim MIj ∧ Lh X
Ij

for any spectrum X. In the following, we will fix such a tower and simplify notation
by omitting the index j.
Let X be spectrum. By smashing the tower (MI )I with E ∧ X, the resulting
tower gives rise to a Milnor sequence
0

/ lim1I E∗+1 (X ∧ MI )

/ E∗∧ (X)

/ limI E∗ (X ∧ MI )

/ 0,

where Kh,∗ (X) = limI E∗ (X ∧ MI ) is also known as the Morava module of X, as
introduced in [HMS94]. Some authors, e.g., [GHMR05], use completed E-homology
in the outer terms of the Milnor sequence; that this makes no difference is the
content of the next result.
Lemma 6.1. If MI is a type h generalized Moore spectrum, then
LK (X ∧ MI ) = Ln (X ∧ MI )
holds for any spectrum X. In particular: E∗∧ (X ∧ MI ) = E∗ (X ∧ MI ).
Proof. Consider the chromatic pullback square for X ∧ MI :
Ln (X ∧ MI )

/ LK (X ∧ MI )


Lh−1 (X ∧ MI )


/ Lh−1 LK (X ∧ MI ).

Since MI is Eh−1 -acyclic, the lower left corner is contractible and it suffices to show
the same for LK (X ∧ MI ). To this end, note that by exactness every localization
functor preserves smashing with a finite spectrum, thus LK (X∧MI ) = LK (X)∧MI .
This is clearly Eh−1 -acyclic, so the claim follows.

In fact, the lim1 term in the Milnor sequence vanishes in many cases, as has been
observed for example in [Str00, GHMR05].
Proposition 6.2. The lim1 term in the Milnor sequence for the completed Ehomology of a spectrum X vanishes, i.e., lim1I E∗+1 (X ∧ MI ) = 0, if X satisfies one
of the following conditions.
(1) E∗∧ (X) is pro-free. In particular, this holds if K∗ (X) is evenly concentrated.
(2) X is dualizable in the K-local category.
Proof. Since the references quoted above do not provide a proof, we sketch the argument, based on [HS99]. For (1), if E∗∧ (X) is pro-free, the sequence (p, . . . , uh−1 )
ih−1
) for any I = (i0 , . . . , ih−1 ). Conseacts regularly on it, and so does (pi0 , . . . , uh−1
quently, we get
ih−1
).
E∗∧ (X ∧ MI ) = E∗∧ (X)/(pi0 , . . . , uh−1

28

TOBIAS BARTHEL AND MARTIN FRANKLAND

This implies that the tower E∗ (X ∧ MI ) satisfies the Mittag-Leffler condition, so
lim1I E∗+1 (X ∧ MI ) = 0. Furthermore, if K∗ (X) is concentrated in even degrees,
[HS99, 8.4(f)] shows that E∗∧ (X) is pro-free.
In case (2), note that E∗∧ (X ∧ MI ) is finite as an abelian group for all indices I,
by [HS99, 8.6] and an inductive argument. Hence the tower is Mittag-Leffler and
the claim follows.

W
Remark 6.3. As Strickland remarks at the end of [Str00], for X = I MI we get
lim1I E∗+1 (X ∧ MI ) 6= 0. Taking PX and considering the degree 1 part gives an
H∞ -ring spectrum counterexample.
6.2. The operation Q. We now specialize to height 1 for the rest of the section.
Recall that at height h = 1, Morava E-theory is p-completed complex K-theory:
E1 = Kp∧ . Its coefficient ring is E∗ = Zp [u± ] with |u| = 2, where Zp denotes the
p-adic integers. The maximal ideal is m = (p) ⊂ E∗ . Completed E-homology at
height 1 is given by
E∗∧ (X) = π∗ LK(1) (Kp∧ ∧ X)
∧
= π∗ Kp∧ ∧ X p
∧

= π∗ (K ∧ X)p .

We will compare Rezk’s construction of T to the work of McClure, a seminal reference for explicit computations at height 1. To use his results, we start with his
operation Q on the K-homology (with coefficients) of H∞ -ring spectra, and turn it
into an operation on the homotopy of p-complete H∞ K-algebras (Proposition 6.8).
Let Y be an H∞ -ring spectrum. We use the notation Kr := K ∧ M (pr ) and
K∗ (Y ; Z/pr ) = π∗ (Kr ∧ Y ). The operations Q : K∗ (Y ; Z/pr ) → K∗ (Y ; Z/pr−1 )
described in [BMMS86, IX 3.3] are compatible with the natural projection maps,
i.e., the following diagram commutes
Q

K∗ (Y ; Z/pr+1 )

/ K(Y ; Z/pr )

π


K∗ (Y ; Z/pr )

π

Q


/ K∗ (Y ; Z/pr−1 );

hence they induce natural operations on inverse limits and lim1 terms as illustrated
in the diagram
(4)

0

/ lim1r K∗+1 (Y ; Z/pr )
Q



0

/ lim1r K∗+1 (Y ; Z/pr )

/ K∗∧ (Y )
✤
✤
?
✤

/ K∗∧ (Y )

/ limr K∗ (Y ; Z/pr )

/0

Q


/ limr K∗ (Y ; Z/pr )

/0

where each row is the Milnor sequence for Y . We will show below that Q induces
a natural operation Q : K∗∧ (Y ) → K∗∧ (Y ) making the right-hand square of the
diagram (4) commute. Said operation will be constructed using universal examples,
namely, extended powers of spheres.
As a warm-up, assume that Y is an H∞ -ring spectrum satisfying one of the
conditions of Proposition 6.2. The Milnor sequence for the p-complete K-theory of

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

29

Y then simplifies to yield a commutative square
K∗∧ (Y )
✤
✤
Q
✤
K∗∧ (Y )

≃

/ limr K∗ (Y ; Z/pr )

≃


/ limr K∗ (Y ; Z/pr ),

Q

where the left vertical arrow is the induced morphism.
Corollary 6.4. For Y as above, there exists a unique operation Q : K∗∧ (Y ) →
K∗∧ (Y ) compatible with McClure’s operation Q.
To treat the case of an arbitrary H∞ -ring spectrum Y , we require the following
result, whose proof was provided by Jim McClure. By abuse of notation, we use the
same name for a class and its image under the natural map K∗∧ (Y ) → K∗ (Y ; Z/pr ).

Proposition 6.5. Let j = 0 or 1, and let x ∈ Kj∧ PS (S j ) be the fundamental

class, i.e., the image of the generator x ∈ Kj∧ S j = Zp under the unit map
S j = PS1 (S j ) → PS (S j ). For any integer r ≥ 1, K∗ (PS (S 0 ); Z/pr ) is the free
strictly2 commutative Z/2-graded algebra over Z/pr on generators {Qi x | i ≥ 0}.
Explicitly: For an even degree generator, we obtain the Z/2-graded polynomial
algebra

K∗ PS (S 0 ); Z/pr = Z/pr [x, Qx, Q2 x, . . .]
while for an odd degree generator, we obtain the Z/2-graded exterior algebra

K∗ PS (S 1 ); Z/pr = ΛZ/pr [x, Qx, Q2 x, . . .].


Note that the elements Qi x are well defined here, since x ∈ Kj PS (S j ); Z/pr is
defined as the image of x ∈ limr Kj PS (S j ); Z/pr .

Proof. First consider j = 0. In the notation of [BMMS86, IX §2], our PS (S j ) corresponds to C(S 0 ∨ S j ), and [BMMS86, IX 3.10] provides the desired isomorphism

K∗ PS (S 0 ); Z/p = Z/p[x, Qx, Q2 x, . . .]
for r = 1. The K-homology Bockstein spectral sequence for PS (S 0 ), with E 1 term

Es1 = Ks PS (S 0 ); Z/p

r
and differentials dr : Esr → Es−1
collapses at E 1 , since the E 1 term is concentrated
in even degrees. Therefore each K∗ PS (S 0 ); Z/pr is a free Z/pr -module. Moreover,
the generators of Z/pr [x, Qx, Q2 x, . . .] map to a basis of the E r term, which implies
the desired isomorphism

K∗ PS (S 0 ); Z/pr = Z/pr [x, Qx, Q2 x, . . .]

of algebras.
The proof is similar for PS (S 1 ), again using [BMMS86, IX 3.3]. The collapsing
of the Bockstein spectral
sequence in that case follows from part (v). The fact that

K∗ PS (S 1 ); Z/pr is strictly graded commutative follows from part (x).

Corollary 6.6. There is an isomorphism


K∗∧ PS (S 0 ) = L0 Zp [x, Qx, Q2 x, . . .]
and similarly for a generator in odd degree.

2A graded ring R is called strictly commutative if x2 = 0 holds for all x of odd degree,
which is not automatic if R has 2-torsion.

30

TOBIAS BARTHEL AND MARTIN FRANKLAND

Proof. We have


∧
K ∧ PS (S 0 ) p = limr Kr ∧ PS (S 0 )

and the homotopy
tower is K-homology with coefficients
 of each stage of this

π∗ Kr ∧ PS (S 0 ) = K∗ PS (S 0 ); Z/pr . We now invoke Proposition 6.5 to prove
the corollary. Indeed, the tower:

{K∗ PS (S 0 ); Z/pr }r
satisfies the Mittag-Leffler condition, so that the lim1 term in the Milnor exact
sequence vanishes, yielding the isomorphism


K∗∧ PS (S 0 ) = lim K∗ PS (S 0 ); Z/pr
r

= lim Z/pr [x, Qx, Q2 x, . . .]
r

= Zp [x, Qx, Q2 x, . . .]∧
p


= L0 Zp [x, Qx, Q2 x, . . .] .

which gives the claim.



We now prove the claims made at the beginning of this section.
∧
∧
Lemma 6.7. Let ϕ : K ∧ PS (S j ) p → K ∧ PS (S k ) p be an H∞ K-algebra map.
Then ϕ is compatible with the operation Q, in the sense that the diagram
 πi ϕ

/ K ∧ PS (S k )
Ki∧ PS (S j )
i
Q

Ki∧
commutes.

Q


PS (S j )


πi ϕ



/ K ∧ PS (S k )
i

Proof. Let F be an H∞ -ring spectrum and e ∈ Fm (PSq (S n )). Consider the (internal)
Dyer-Lashof operation Qe : Fn Y → Fm Y on the F -homology of H∞ ring spectra
Y constructed in [BMMS86, IX 1.1]. It follows from the construction that Qe is
natural with respect to H∞ F -algebra maps.
Next the construction of these operations readily adapts to completed homology. This follows from the fact that smash products and extended powers preserve
homology isomorphisms
 theory. To conclude, note that the oper for any homology
taking
ation Q : Ki∧ PS (S k ) → Ki∧ PS (S k ) is an instance of this construction,


F = Kp∧ , n = m = i, q = p, and the class e = Qx ∈ Ki∧ PSp (S i ) .
Proposition 6.8. There is a unique operation Q : π∗ A → π∗ A acting on the homotopy of any p-complete H∞ K-algebra A such that Q is natural with respect to
H∞ K-algebra maps and agrees with the operation


Q : K∗∧ PS (S k ) → K∗∧ PS (S k )
∧
from the proof of Corollary 6.6 in the case A = K ∧ PS (S k ) p .
In particular, Q induces an operation Q : K∗∧ (Y ) → K∗∧ (Y ) on the completed
K-homology of any H∞ -ring spectrum Y , natural with respect to H∞ K-algebra
∧
∧
maps (K ∧ Y )p → (K ∧ Y ′ )p .

Proof. Note that a p-complete K-algebra is the same as a p-complete Kp∧ -algebra.
∧
The result follows from the fact that K ∧ PS (S j ) p is the free p-complete H∞
K-algebra on one generator in degree j.

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

31

Explicitly: Let A be a p-complete H∞ K-algebra and a ∈ πj A be represented by
a map f : S j → A. Then there is a unique (up to homotopy) H∞ K-algebra map
f˜ making the diagram
Sj

f

/
♥⑥6✟> DA
♥
♥ ⑥
♥ ♥ ⑥✟✟
♥
⑥

♥
⑥ ✟
PS (S j )
⑥ ✟
✟
⑥
✟
⑥
ηK ∧1
✟˜
⑥
 ⑥
✟ f
✟
PK (Σj K) = K ∧ PS (S j )
✟
✟
✟
 ✟ 
∧
S
K ∧ P (S j ) p
commute (up to homotopy). Here ηK : S 0 → K denotes the unit map. By construction, the map induced on homotopy
∧
π∗ (f˜) : π∗ K ∧ PS (S j ) p → π∗ A
sends the fundamental class x (represented

by the downward composite on the left)
to a ∈ πj A. Setting Q(a) = Q π∗ (f˜)(x) := π∗ (f˜)(Qx) constructs the desired
operation Q, which
∧ moreover is determined by its effect on the universal examples
π∗ K ∧ PS (S j ) p .
∧
This operation agrees with the original Q when A is of the form K ∧ PS (S k ) p ,
by naturality of the original Q with respect to H∞ K-algebra maps.

Remark 6.9. Hopkins [Hop14] gives a direct construction of the operation Q : π∗ A →
π∗ A for any K(1)-local H∞ -ring spectrum A, using the K(1)-local splitting Σ∞
+ BΣp =
S 0 ∨ S 0 and the total power operation. By Proposition 6.8, his operation coincides
with ours by uniqueness.
Proposition 6.10. The operation Q : K∗∧ (Y ) → K∗∧ (Y ) on the completed Khomology of H∞ -ring spectra Y constructed in Proposition 6.8 is compatible with
reduction of coefficients, in the sense that the diagram on the left
K∗∧ (Y )

Q

/ K∗∧ (Y )

K∗∧ (Y )

Q

/ K∗∧ (Y )


K∗ (Y ; Z/pr )

Q


/ K∗ (Y ; Z/pr−1 )


limr K∗ (Y ; Z/pr )

Q


/ limr K∗ (Y ; Z/pr )

commutes for all r ≥ 2. Consequently, the diagram on the right also commutes.
∧
∧
K ∧ PS (S j ) p → (K ∧ Y )p be an H∞ Kalgebra map as in the proof of Proposition 6.8, satisfying πj (f˜)(x) = y, where
Proof. Let y ∈ Kj∧ (Y ) and let f˜:

32

TOBIAS BARTHEL AND MARTIN FRANKLAND


x ∈ Kj∧ PS (S j ) is the fundamental class. Consider the cube:

Kj∧

Kj

♠♠6
f˜∗ ♠♠♠♠
♠
♠♠♠
♠♠♠
PS (S j )

Q

Kj∧ (Y )

Q


Kj (Y ; Z/pr )
6
♠♠
f˜∗ ♠♠♠♠
♠
♠
♠
♠
♠♠♠ 

Q
S
j
r
P (S ); Z/p

/ K∧
j

/ K ∧ (Y )
❦5 j
❦
❦
f˜∗ ❦❦❦❦
❦❦
❦❦❦
❦
❦
❦
PS (S j )


/ Kj (Y ; Z/pr−1 )
5
❦❦
f˜∗ ❦❦❦❦
❦❦
❦
❦
❦

❦❦❦ 
S
j
r−1
P (S ); Z/p
.
Q

/ Kj

The left and right faces commute, by naturality of reduction of coefficients, induced by the natural map Xp∧ → X/pr for any spectrum X. The top and bottom faces commute, by naturality of Q with respect to H∞ K-algebra maps.

The front face commutes, because of the natural isomorphism Kj∧ PS (S j ) =

limr Kj PS (S j ); Z/pr , in other words, the lim1 term vanishes in this case. Therefore the back face commutes when restricted to the image of πj (f˜).

Remark 6.11. It seems likely, though not obvious, that the operation Q : K∗∧ (Y ) →
K∗∧ (Y ) constructed in Proposition 6.8 would also be compatible with the lim1 term
of the Milnor sequence, i.e., make the left-hand square of the diagram (4) commute.
We leave this as a question to the reader.
6.3. K-theory of H∞ -ring spectra. Applying the results of the previous section,
we now turn to the description of the structure found on the completed K-theory
of any H∞ -ring spectrum Y .
Definition 6.12. [Bou96, 2.3] Let p be a prime. A Z/2-graded θ-ring is a strictly
commutative Z/2-graded ring R equipped with an operation θ : R0 → R0 making
R0 into a θ-ring, and a group homomorphism ψ : R1 → R1 , such that the following
conditions hold:
(1) ψ(ax) = ψ(a)ψ(x) for all a ∈ R0 and x ∈ R1 .
(2) θ(xy) = ψ(x)ψ(y) for all x, y ∈ R1 .
Here, ψ : R0 → R0 denotes the associated Adams operation ψ(a) = ap + pθ(a).
Lemma 6.13. Let Y be an H∞ -ring spectrum. Then the operations
θ := Q : K0∧ (Y ) → K0∧ (Y )
ψ := Q : K1∧ (Y ) → K1∧ (Y )
make K∗∧ (Y ) into a Z/2-graded θ-ring, in fact a Z/2-graded Zp -θ-algebra.
Proof. The statement follows from [BMMS86, IX 3.3]; we will refer to its parts
numbered in lowercase Roman numerals (i)-(x).
We first check that θ makes K0∧ (Y ) into a θ-ring. That θ satisfies the three
conditions in Definition 5.9 follows from parts (vi), (vii), and (ii), respectively.
Note that this holds also for p = 2.
K∗∧ (Y ) is a commutative Z/2-graded ring, and strict commutativity follows from
part (x). By part (vi), ψ : K1∧ (Y ) → K1∧ (Y ) is a group homomorphism.
For a ∈ K0∧ (Y ) and x ∈ K1∧ (Y ), part (vii) yields
ψ(ax) = ap ψ(x) + pθ(a)ψ(x)
= (ap + pθ(a)) ψ(x)
= ψ(a)ψ(x).

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

33

For x, y ∈ K1∧ (Y ), the condition θ(xy) = ψ(x)ψ(y) also follows from part (vii).
The structure map of K0∧ (Y ) as Zp -algebra is
Zp = K0∧ (S 0 )

e∗

/ K0∧ (Y )

where e : S 0 → Y denotes the unit map of Y , which is an H∞ map [BMMS86, I
3.4(i)]. By part (i), Q is natural with respect to H∞ maps and thus e∗ commutes
with Q. It remains to check that Q induces the usual θ-ring structure on K0∧ (S 0 ) =
Zp . Let u ∈ K0∧ (S 0 ) be the unit. For any k ∈ Z, parts (vi) and (ii) yield:
1
Q(ku) = kQ(u) − (k p − k)up
p
1 p
= − (k − k)u
p
k − kp
=
u
p
as in Example 5.12.



Finally, we are ready to identify the monad T at height 1, where Morava E-theory
is E = Kp∧ .
Theorem 6.14. At height h = 1, the monad T : ModE∗ → ModE∗ is the free Z/2graded θ-ring over the ground θ-ring Zp , as defined in [Bou96, 2.3]. In particular,
the degree 0 part of T is the free Zp -θ-algebra monad TZθp : ModZp → ModZp .
Proof. Let gTZθp : ModE∗ → ModE∗ denote the free Z/2-graded Zp -θ-algebra monad.
Since both T and gTZθp preserve filtered colimits and reflexive coequalizers, it suffices to show that they agree on the subcategory ModffE∗ of finite free E∗ -modules.
Moreover, both functors send finite direct sums to tensor products, hence it suffices
to show that they agree on E∗ and ΣE∗ , the free E∗ -modules on one generator, in a
way that is compatible with the respective unit maps of the two monads 1 → gTZθp
and 1 → T.
By [Bou96, 2.6, 3.1], the free Z/2-graded Zp -θ-algebra on one generator x in
degree 0 is the Z/2-graded polynomial ring
gTZθp (E∗ ) = Zp [x, θx, θ2 x, . . .],
whereas on one generator y in degree 1, we get the Z/2-graded exterior algebra
gTZθp (ΣE∗ ) = ΛZp [y, ψ p y, (ψ p )2 y, . . .].
We omit the Z/2-grading from the notation.
Let us focus on the case of a generator in degree 0. Starting from the definition
of the functor T, one obtains:
M
T(E∗ ) =
π∗ LK(1) PE
n (E)
n≥0

=

M

π∗ LK(1) (E ∧S BΣn+ )

n≥0

=

M

n≥0

and similarly for T (ΣE∗ ).

π∗ (K ∧S BΣn+ )∧
p

34

TOBIAS BARTHEL AND MARTIN FRANKLAND

Note that although Tn (E∗ ) ∼
= π∗ LK Pn (E) holds for each n, T(E∗ ) becomes
π∗ LK P(E) only after applying L-completion:


M
π∗ LK P(E) ∼
Tn (E∗ ) ,
= L0 T(E∗ ) = L0 
n≥0

in which m-adically decaying infinite sums are allowed.
Each Tn (E∗ ) picks up the elements of weight n, where x has weight 1 and Qi x
has weight pi . In particular, Tn (E∗ ) is a finitely generated free Zp -module. For
example:
T0 (E∗ ) = Zp h1i
T1 (E∗ ) = Zp hxi
...
Tp−1 (E∗ ) = Zp xp−1
Tp (E∗ ) = Zp hxp , Qxi .
Therefore, T(E∗ ) is the uncompleted Z/2-graded polynomial algebra
T(E∗ ) = Zp [x, Qx, Q2 x, . . .],
using Corollary 6.6. The case of T(ΣE∗ ) is proved similarly.



Remark 6.15. At the prime p = 2, the statement is alsoW
found in [Lau03, 2.1], where
the free H∞ -ring spectrum on one generator PS (S 0 ) = n≥0 BΣn+ is denoted T S 0 .
7. The height 1 case
The main result of this section is that the monad T, identified as the free Z/2graded Zp -θ-algebra monad in Theorem 6.14, preserves L0 -equivalences. Since the
2-periodic grading does not play a crucial role here, we will focus on the degree 0
part, which coincides with the free Zp -θ-algebra monad TZθp : ModZp → ModZp .
While this can be viewed as the height 1 case of Theorem 3.19, the methods in
this section make the structure present on the completed algebraic approximation
functors explicit for p-complete K-theory.
We first prove the analogous result for λ-rings over Z (Theorem 7.8), using the
combinatorics of λ-rings. Then we obtain the result for λ-rings over Zp (Corollary 7.10) by a change of λ-rings argument (Corollary 5.18). From there we deduce
the result for θ-rings over Zp .
In this section, the ground ring will usually be Z with maximal ideal m = (p) ⊂ Z.
In that case, L0 can be described as “Ext-p-completion” of abelian groups, given
by
L0 M = Ext1Z (Z/p∞ , M )
as explained in Theorem A.4 or [BK72, VI, §2], or as “analytic p-completion”, given
by
L0 M = M JxK/(x − p)M JxK
as described in Remark A.5 or [Rez13a]. Analogous descriptions also hold for the
ground ring Zp with its maximal ideal m = (p) ⊂ Zp . For more details on Lcompletion, see Appendix A.

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

35

7.1. Computations in λ-rings. Since the notion of θ-ring depends on the choice
of a prime p, it will be more convenient to work with λ-rings, whose definition does
not involve a chosen prime. Recall that a λ-ring has underlying θp -rings for all
primes p (Lemma 5.11).
Proposition 7.1. The free lambda-ring on generators {ei }i∈I indexed by a set I
is the polynomial ring
FZλ (Z hei | i ∈ Ii) = Z[λk (ei ) | i ∈ I, k ≥ 1].
In particular, its underlying abelian group TZλ (Z hei | i ∈ Ii) is a free abelian group.
λ
TZ,n
picks up the weight n piece, where elements are weighted by |λk (x)| = k.
Proof. The case of one generator is explained in [Yau10, §1.3]. The general case
follows from the fact that the free λ-ring functor Set → λAlgZ preserves coproducts,
and coproducts of λ-rings are computed as in commutative rings.

λ
Example 7.2. Applying TZ,n
to a free abelian group on one generator e yields the
free abelian group with basis described as follows:
λ
TZ,n
(Ze) = Z λk1 (e)λk2 (e) . . . λkj (e) | k1 ≥ k2 ≥ . . . ≥ kj and k1 + . . . + kj = n .

For example, we have
λ
TZ,1
(Ze) = Z λ1 (e)
λ
TZ,2
(Ze) = Z λ2 (e), λ1 (e)λ1 (e)
λ
TZ,3
(Ze) = Z λ3 (e), λ2 (e)λ1 (e), λ1 (e)λ1 (e)λ1 (e)
λ
and more generally, the rank of TZ,n
(Z) is the number of partitions of n.

Remark 7.3. The formulas
λ
TR,n
(M ⊕ N ) ∼
=

M

λ
λ
TR,i
M ⊗R TR,j
N

i+j=n

FRλ :

come from the fact that
ModR → λAlgR preserves colimits, thus (finite) coproducts, which in λAlgR are the usual tensor products. In fact, TRλ is exponential
and in particular satisfies:
T λ (M ⊕ N ) ∼
= T λ M ⊗R T λ N.
R

R

R

λ
Proposition 7.4. Let M be an abelian group. Then TZ,2
M can be expressed in
terms of generators and relations as
λ
TZ,n
M = Z λk1 (x1 )λk2 (x2 ) . . . λkj (xj ) | xi ∈ M and k1 + . . . + kj = n / ∼

where the relations ∼ are generated by the following:
• Terms λk1 (x1 )λk2 (x2 ) . . . λkj (xj ) that differ by a permutation of the factors
are the same, e.g., λ1 (x)λ1 (y) = λ1 (y)λ1 (x).
P
′
′′
• Using λk (x + y) = k′ +k′′ =k λk (x)λk (y) and formally multiplying by factors so that the total degree is n, e.g., λ1 (x + x′ )λ1 (y) = λ1 (x)λ1 (y) +
λ1 (x′ )λ1 (y).
Example 7.5.
λ
TZ,2
M = Z λ2 (x), λ1 (y)λ1 (z) | x, y, z ∈ M / ∼

λ2 (x + y) = λ2 (x) + λ1 (x)λ1 (y) + λ2 (y)
λ1 (x)λ1 (y) is bilinear and symmetric.
Lemma 7.6. In the notation of Proposition 7.4, the following equalities hold.
(1) λk (0) = 0 for all k ≥ 1.

36

TOBIAS BARTHEL AND MARTIN FRANKLAND

(2) For any n ∈ Z and x ∈ M , we have
 
n 1
2
2
λ (nx) = nλ (x) +
λ (x)λ1 (x)
2

with the convention n2 = n(n−1)
in the case n < 0.
2

Proof. (1) The equality λ1 (0) = 0 holds since λ1 (x) is linear in x. The general case
follows from
X
′
′′
λk (0 + 0) =
λk (0)λk (0)
k′ +k′′ =k

= λk (0) + λk (0).

(2) The formula clearly holds for n = 1. The equality
λ2 ((n + 1)x) = λ2 (nx) + λ1 (nx)λ1 (x) + λ2 (x)
and induction on n yields the result for n ≥ 1. The equality λ2 (0) = 0 is the case
n = 0 of the formula. For negative integers, the equality
0 = λ2 (0)
= λ2 (nx − nx)
= λ2 (nx) + λ1 (nx)λ1 (−nx) + λ2 (−nx)
gives the result.



Proposition 7.7. Let m be a positive integer. Then we have
(
Z/m ⊕ Z/m
if m is odd
λ
TZ,2 (Z/m) ≃
Z/2m ⊕ Z/(m/2) if m is even.
When m is odd, the generators can be taken to be λ1 (1)λ1 (1) and λ2 (1). When m is
even, the generators can be taken to be λ2 (1) and λ1 (1)λ1 (1) + 2λ2 (1), respectively.
Proof. Consider the exact sequence
Z

m

/Z

/ / Z/m

/0

and turn it into the reflexive coequalizer diagram
d0 =(1,0)

/

Z⊕Z o

/Z

/ / Z/m.

d1 =(1,m)

λ
Applying T2 := TZ,2
yields the (reflexive) coequalizer diagram

T2 (Z ⊕ Z)

T2 d0
T2 d1

/
/Z

/ / T2 (Z/m).

Let a = (1, 0) and b = (0, 1) be the generators of Z ⊕ Z. Then T2 (Z ⊕ Z) is the free
abelian group
T2 (Z ⊕ Z) ∼
= Z λ1 (a)λ1 (a), λ1 (a)λ1 (b), λ1 (b)λ1 (b), λ2 (a), λ2 (b)
∼ Z λ1 (1)λ1 (1), λ2 (1) is free on two generators. The equality
whereas T2 Z =
d0 (a) = d1 (a) = 1 implies that the maps T2 d0 and T2 d1 agree on generators involving only a but not b, yielding no relations in T2 (Z/m). The remaining generators

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

37

are sent to the following values:
(T2 d0 )λ1 (a)λ1 (b) = λ1 (d0 a)λ1 (d0 b) = λ1 (1)λ1 (0) = 0
(T2 d1 )λ1 (a)λ1 (b) = λ1 (d1 a)λ1 (d1 b) = λ1 (1)λ1 (m) = mλ1 (1)λ1 (1)
(T2 d0 )λ1 (b)λ1 (b) = λ1 (d0 b)λ1 (d0 b) = λ1 (0)λ1 (0) = 0
(T2 d1 )λ1 (b)λ1 (b) = λ1 (d1 b)λ1 (d1 b) = λ1 (m)λ1 (m) = m2 λ1 (1)λ1 (1)
(T2 d0 )λ2 (b) = λ2 (d0 b) = λ2 (0) = 0
(T2 d1 )λ2 (b) = λ2 (d1 b) = λ2 (m)
which implies


T2 (Z/m) = Z λ1 (1)λ1 (1), λ2 (1) / mλ1 (1)λ1 (1) = 0, λ2 (m) = 0 .
 1
1
Using λ2 (m) = mλ2 (1) + m
2 λ (1)λ (1), we can rewrite this as

 

m 1
T2 (Z/m) = Z λ1 (1)λ1 (1), λ2 (1) / mλ1 (1)λ1 (1) = 0, mλ2 (1) = −
λ (1)λ1 (1) .
2
We now distinguish two cases.

m(m−1)
is a multiple of m, so that the relation on
Case m odd. Then m
2
2 =
2
2
λ (1) is mλ (1) = 0 and we conclude
∼ Z/m ⊕ Z/m
T2 (Z/m) =
with generators λ1 (1)λ1 (1) and λ2 (1).
2
Case m even. Then m
2 is a multiple of m − 1 and the relation on λ (1) is
 
m 1
mλ2 (1) = −
λ (1)λ1 (1)
2
m
= (1 − m)λ1 (1)λ1 (1)
2
m 1
= λ (1)λ1 (1)
2
2
which implies that λ (1) has order 2m. Note that λ1 (1)λ1 (1) + 2λ2 (1) has order
m
2 . One readily checks that the map
Z/2m ⊕ Z/(m/2) ։ T2 (Z/m)
(1, 0) 7→ λ2 (1)
(0, 1) 7→ λ1 (1)λ1 (1) + 2λ2 (1)
is an isomorphism.



Theorem 7.8. The functor TZλ : ModZ → ModZ preserves L0 -equivalences.
λ
Proof. By Theorem 5.1 (3), it suffices to show that each functor TZ,n
: ModZ →
ModZ preserves L0 -equivalences.
Note that TZλ satisfies the same formal properties as T, namely it is a graded
exponential monad which preserves filtered colimits and reflexive coequalizers, and
sends finite free modules to finite free modules. Hence, the reduction step in the
proof of Theorem 4.3 holds, and it suffices to show the analogue of Proposition 4.1
for TZλ . Explicitly: there exists a positive integer k = k(n) such that the natural
map

(5)

λ
λ
Z/p ⊗ TZ,n
(Z) −
→ Z/p ⊗ TZ,n
(Z/pk )

is an isomorphism.
The cases n = 0 and n = 1 are trivial; one may take k(0) = 1 and k(1) = 1.
λ
Moreover, surjectivity is automatic, since both TZ,n
and Z/p ⊗ − preserve surjectivity, by Remark 4.7.

38

TOBIAS BARTHEL AND MARTIN FRANKLAND

To illustrate the main ideas, we focus on the special case n = 2; the general
result is proved similarly.
λ
Case n=2. Let us show that k(2) = 2 works. Writing T2 := TZ,2
, the domain
of (5) is
Z/p ⊗ T2 Z = Z/p λ2 (1) ⊕ Z/p λ1 (1)λ1 (1)
whereas the target is computed using Proposition 7.7. If p is odd, we have:

Z/p ⊗ T2 (Z/p2 ) = Z/p ⊗ Z/p2 λ2 (1) ⊕ Z/p2 λ1 (1)λ1 (1)
= Z/p λ2 (1) ⊕ Z/p λ1 (1)λ1 (1)

and in the case p = 2, we have:
Z/2 ⊗ T2 (Z/4) = Z/2 ⊗ Z/8 λ2 (1) ⊕ Z/2 λ1 (1)λ1 (1) + 2λ2 (1)
= Z/2 λ2 (1) ⊕ Z/2 λ1 (1)λ1 (1) .



The map (5) sends the generators where their names suggest, and is in particular
an isomorphism of 2-dimensional Z/p-vector spaces.

Remark 7.9. The previous proof shows that k(2) must be greater than 1, hence
that Tn does not commute with E∗ /m ⊗ − in general. Furthermore, the results of
Appendix B imply that k(n) can be taken to be p(n), the number of partitions of a
set with n elements, independent of the chosen prime. More generally, at height h,
k(n) is bounded above by the rank of E 0 (BΣn ) as computed by Strickland [Str98].
Taking R = Z, Theorem 7.8 and Corollary 5.18 yield the following.
Corollary 7.10. The functor TZλp : ModZp → ModZp preserves L0 -equivalences.
7.2. From λ-rings to θ-rings.
Proposition 7.11. Let R be a λ-ring. Consider the monads TRθ and TRλ on ModR ,
and the natural transformation ϕ : TRθ → TRλ . If R is p-local, then ϕ is a split
monomorphism, i.e., admits a retraction.
λ
λ
Proof. Let UAlg
: λAlg R → AlgR denote the forgetful functor, FAlg
its left adjoint,
λ
and GAlg its right adjoint.To show the claim, it suffices to show that the canonical
map
θ
θ
θ
λ
λ
λ
TAlg
:= UAlg
FAlg
→ UAlg
FAlg
=: TAlg

of monads on AlgR is a split monomorphism. By adjunction, such natural transθ
λ
correspond to maps
→ TAlg
formations TAlg
λ
θ
UAlg
GλAlg → UAlg
GθAlg

i.e., natural transformations C λ → C θ of the comonads, in the reverse direction.
θ
λ
Under that correspondence, a map TAlg
→ TAlg
is a split monomorphism if and only
λ
θ
if the corresponding map C → C is a split epimorphism, i.e., admits a section.
λ
The comonad C λ = UAlg
GλAlg : AlgR → AlgR associated to λ-rings is naturally
isomorphic to the Witt vectors comonad W [Yau10, 4.16], while the comonad C θ =
θ
UAlg
GθAlg associated to θ-rings is naturally isomorphic to the p-typical Witt vectors
comonad Wp [BW05, 2.13, 3.3].
Since R is p-local, any R-algebra A is p-local and in that case the canonical map
W(A) → Wp (A) admits a section
sn

Wp (A) −→ W(A)

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

39

for each natural number n coprime to p, i.e., (n, p) = 1, as explained in [AH94, 4.4.9,
4.4.10] and also in [Dem86, Chapter III]. Taken together, these sections exhibit a
natural isomorphism of rings
Y
Wp (A),
W(A) ∼
=
(n,p)=1

λ

θ

and hence a splitting of C → C .
Theorem 7.12. The free Zp -θ-algebra monad
L0 -equivalences.


TZθp :

ModZp → ModZp preserves

Proof. By Corollary 7.10, the monad TZλp : ModZp → ModZp preserves L0 -equivalences. By Proposition 7.11, TZθp is a retract of TZλp since Zp is p-local. By Theorem 5.1 (4), TZθp preserves L0 -equivalences.

Appendix A. L-completion
For the convenience of the reader, we survey the essential structural features of
the category of complete modules we are working with. Our exposition is inspired
by and extends the treatments in [HS99, Appendix A], [Hov08], and [Hov04], as well
as the original source [GM92]. More recently, Rezk [Rez13a] has offered a different
perspective on completion, extending the theory to simplicial modules and algebras.
A.1. m-adic completion and its derived functors. Most statements in this
section hold true for a noetherian commutative ring R and an ideal I ⊂ R which
is generated by a regular sequence or, more generally, non-noetherian rings with
some weaker finiteness conditions with respect to I, cf. [GM92]. For simplicity and
with an eye towards our applications, however, we will restrict ourselves to the case
of a regular local noetherian ring R and take I = m, the maximal ideal of R. The
number of generators of I will be denoted by h. In the special case R = E∗ , this is
consistent with our earlier convention.
∧
For M any R-module, completion with respect to m is defined to be Mm
=
k
∧
lim M/m , and M is called m-complete if the canonical map M → Mm is an
←−
isomorphism. By the Artin-Rees Lemma, m-adic completion (−)∧
m is an exact
functor on the full subcategory of ModR of finitely generated modules, and the m∧
adic completion of a finitely generated module M can be constructed as Rm
⊗ M.
∧
In particular, Rm is flat over R. However, viewed as a functor on all of ModR , (−)∧
m
is badly behaved homologically: In general, it is neither left nor right exact. This
can be used to show that the full subcategory of m-complete modules is not abelian;
in fact, because the coimage is not necessarily complete, there exists an example
[Sta14, 74.6.1.] of a map f between complete modules with im(f ) ≇ coim(f ).
Since the modules coming from topology are often not finitely generated, Greenlees and May [GM92] propose to work with the zeroth left derived functor of m-adic
completion instead.
Definition A.1. Let Ls be the s-th left3 derived functor of the m-adic completion
∧
functor (−)∧
m , where s ≥ 0. For any M ∈ ModR , the natural map M → Mm
ηM
∧
factors canonically as M −−→ L0 M → Mm
, and M is called L-complete if ηM is
an isomorphism.
In [GM92], Greenlees and May initiated the study of these functors. In particular, they establish a duality between the Ls and Grothendieck’s local cohomology,
and prove their basic properties. To start with, derived completion can be related
to ordinary completion via higher Tor-functors, as follows.
3The right derived functors of m-adic completion can be shown to vanish, see [GM92].

40

TOBIAS BARTHEL AND MARTIN FRANKLAND

Proposition A.2. For any s ≥ 0 and M ∈ ModR there is a short exact sequence
k
k
0 → lim1k TorR
TorR
s+1 (R/m , M ) → Ls M → lim
s (R/m , M ) → 0.
←−
←−k
Remark A.3. In fact [GM92, 1.1], this result is true for any commutative ring R
and the left derived functors of I-adic completion for any ideal I ⊂ R; it does not
rely on the identification of Ls with local homology.

Theorem A.4 (Greenlees-May duality). The s-th left-derived functor of m-adic
completion can be computed by local cohomology, i.e., for M ∈ ModR ,
h
Ls M = Exth−s
R (Hm (R), M )
i
where Hm
(R) ∼
= R/m∞ non-canonically if i = h, and 0 otherwise. In particular,
Ls = 0 if s > h.

Remark A.5. In [Rez13a], Rezk gives a different model for L-completion with respect to a maximal ideal m generated by elements u1 , . . . , uh . He shows that the
L-completion of a module M ∈ ModR can be identified with analytic completion,
L0 M = M Jx1 , . . . , xh K/(x1 − u1 , . . . , xh − uh ).
The properties of L-complete modules can then be developed in this context as
well, and this other point of view turns out to be useful in many situations.
We can now list the salient features of the derived completion functors Ls that
are relevant for our applications, see [HS99, A.4, A.6].
Proposition A.6. Let M ∈ ModR .
∧
or Ls N for s ≥ 0, then the natural map M →
(1) If M is of the form Nm
L0 M is an isomorphism and Lt M = 0 for all t > 0. In particular, L0 is
idempotent.
(2) The natural map
R/mk ⊗ M → R/mk ⊗ L0 M
is an isomorphism.
(3) L0 M = 0 if and only if R/m ⊗ M = 0.
Remark A.7. Both I-adic and derived completion are idempotent for noetherian
rings [Yek11, 3.6] [Rez13a]. However, I-adic completion need not be idempotent in
general [Yek11]. We do not know whether the zeroth derived functor L0 is always
idempotent.
We end this section with a useful criterion for when a morphism between Lcomplete modules is an isomorphism. Since we do not know of a published reference
for this probably well-known fact, we include a proof.
Lemma A.8. Suppose f : M → N is a map of R-modules with N flat. If R/m ⊗ f
is an isomorphism, then so is L0 f : L0 M → L0 N .
f

Proof. We first prove surjectivity. To this end, consider the exact sequence M −
→
L0 f
N → C → 0. Since L0 is right exact, L0 M −−→ L0 N → L0 C → 0 is also exact.
Reducing mod m yields the exact sequence
R/m⊗f

R/m ⊗ M −−−−−→ R/m ⊗ N → R/m ⊗ C → 0.
So, by assumption, R/m ⊗ C = 0, which implies L0 C = 0 by Proposition A.6. The
claim follows.
Injectivity is proved similarly: Let K be the kernel of L0 f ; using the first part
of the lemma, we get an exact sequence
0 → K → L0 M → L0 N → 0.

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

41

Since N is flat, so is L0 N by Proposition A.15 and hence TorR
1 (L0 N, R/m) = 0.
Therefore, tensoring with R/m yields the exact sequence
0 → R/m ⊗ K → R/m ⊗ M → R/m ⊗ N → 0
and we get R/m ⊗ K = 0 by assumption. Since K is L-complete, Proposition A.6
implies K = 0.

A.2. The category of L-complete modules. The category of L-complete E∗ modules plays a pivotal role in the algebraic theory of power operations for Morava
E-theory, since it is the natural target of completed E-homology; see Corollary 3.14.
As it turns out this category has many good and some exotic properties, which we
review in this section.
For simplicity, let R be a regular noetherian ring with a fixed maximal ideal m,
usually assumed to be m-complete.
[ R denote the full subcategory of ModR consisting of LNotation A.9. Let Mod
[ R ֒→ ModR .
complete modules, with the natural embedding ι : Mod
[ R , which is also its leftThe embedding ι has left adjoint L0 : ModR → Mod
inverse, i.e., L0 ◦ ι = id. It follows from this and the properties (Proposition A.6) of
[ R is bicomplete: while limits are computed in
the completion functor L0 that Mod
[
[ are constructed as L0 colim, the
ModR via ι, colimits in ModR , denoted by colim,
latter colimit being taken in ModR .
[ R is an abelian subcategory of
Unlike the category of m-complete modules, Mod
∗
ModR closed under extensions and ExtR , see [HS99, A.6]. In particular, HomR (M, N )
is L-complete for L-complete modules M and N , as are all extensions between M
ˆ = L0 (−⊗−),
and N . Using this and defining the L-completed tensor product −⊗−
[
ˆ Furthermore,
it is easy to verify that ModR is closed symmetric monoidal under ⊗.
[
Proposition A.15 implies that ModR has enough projectives, although no non-zero
[ R be injective. Applying
injective objects. To see the latter claim, let I ∈ Mod
Hom(−, I) to the monomorphism
x

0→R−
→R
for any x ∈ m shows that mI = I and hence I = 0 by Proposition A.6(3). In
summary:
d R is a bicomplete closed
Theorem A.10. The category of L-complete modules Mod
symmetric monoidal category with enough projectives. The adjunction
d R: ι
L0 : ModR ⇄ Mod

exhibits the category of L-complete modules as a full abelian subcategory of all Rmodules, closed under limits and extensions.
[ R is the best reflective
Remark A.11. In fact, in the language of [Sal10], Mod
abelian approximation to the category of m-complete R-modules.
As a consequence, we note that ι preserves reflexive coequalizers; this will become important in the proof of our main theorem. To show this, recall that the
coequalizer of a pair (f, g) : A ⇒ B in an abelian category can be computed as the
f

cokernel of f − g. Conversely, every cokernel diagram A −
→ B → C → 0 can be
written as a coequalizer diagram (f + idB , idB ) : A ⊕ B ⇒ B → C → 0, which is

42

TOBIAS BARTHEL AND MARTIN FRANKLAND

[ R is an
reflexive4 with the natural inclusion s : B → A ⊕ B as section. Since Mod
abelian subcategory of ModR , ι preserves cokernels and thus reflexive coequalizers.
As mentioned above, colimits of complete modules in ModR are not necessarily
complete and thus need to be completed. But L0 is not exact, whence neither are
[ R , so Mod
[ R is not a Grothendieck abelian
direct sums5 and filtered colimits in Mod
category. However, Hovey [Hov08, 1.1] shows that for D a discrete or filtered
[ D is given by Ls colimD . Moreover, if
diagram, the s-th left derived functor of colim
D is discrete, then Lh colimD = 0.
[ R is its lack of small objects: Since
Remark A.12. Another noticeable feature of Mod
[R.
R itself is L-complete, so are all finite free modules, but these are not small in Mod
Indeed, if R⊕r was small for some finite r > 0, the Freyd-Mitchell theorem would
[ R ≃ ModEnd(R⊕r )op ≃ ModR , since R⊕r ∈ Mod
[ R is a
produce an equivalence Mod
projective generator.
This remark should be compared with the following result that informally speak[ R , while not being small, is not too large either.
ing states that R ∈ Mod
d R is κ-presentable for κ any regular cardinal
Proposition A.13. The category Mod
larger than ℵ0 .

Proof. Let κ be a regular cardinal larger than ℵ0 , then it suffices to show that R is
κ-small. To this end, we use Rezk’s construction of the L-completion of M ∈ ModR ,
L0 M = M Jx1 , . . . , xh K/(x1 − u1 , . . . , xh − uh ),
as in Remark A.5. Since κ-filtered colimits commute with limits of size κ′ < κ
in Set, the same holds in ModR . In particular, countable products commute with
κ-filtered colimits, hence L0 preserves κ-filtered colimits. Therefore, for a κ-filtered
[ R , we get
colimit diagram M : I → Mod
[
HomMod
[ R (R, colim Mi ) =

This gives the claim.

HomR (R, L0 colim Mi )

=
=

HomR (R, colim Mi )
colim HomR (R, Mi )

=

colim HomMod
[ R (R, Mi ).


Remark A.14. Using Proposition A.13 and [Rez13a, 9.3(1)], one can show that
[ R ) of (unbounded) chain complexes
Rezk’s model structure on the category Ch(Mod
of L-complete R-modules coincides with the one created from the Quillen model
structure on Ch(ModR ) through ι. Consequently, this model structure is cofibrantly
generated and monoidal. The associated derived category of L-complete modules
has been studied independently in recent work of Valenzuela [Val15].
A.3. Flat modules. Let Mod♭R be the full subcategory of ModR on the flat Rmodules. By Lazard’s Theorem 2.7, M ∈ ModR is flat if and only if the comma
category (ModffR )/M is filtered, which implies that M can be written canonically as
a filtered colimit of finite free modules. We will use this fact frequently throughout
this document.
While flat modules are not necessarily complete, as for example R⊕ω , there is
the following characterization of flat and L-complete R-modules.
4In fact, every coequalizer diagram in a category with direct sums is equivalent to a reflexive
one, by simply adding an extra copy of the codomain to the domain and using the obvious
morphisms; see Remark 4.7.
5For a natural example, see [Hov08, 1.3].

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

43

Proposition A.15. The following properties of an L-complete R-module M are
equivalent:
d R.
(1) M is projective in Mod
(2) M is pro-free, i.e., it is of the form L0 F for some free F ∈ ModR .
(3) M is flat as an object in ModR .
Furthermore, if N ∈ Mod♭R , then L0 N is pro-free and hence flat as an R-module.
Proof. The equivalence of (1) and (2) is [HS99, A.9]. Now assume (2) and
Q let
M = R⊕I be a free module. ByQ
[HS99, A.13], the canonical map L0 (R⊕I ) → I R
exhibits L0 M as a retract of I R. Because R
Q is noetherian, products of flat
modules are flat, which in particular applies to I R, so (3) follows. Conversely,
assume M is flat, then TorR
s (R/m, M ) = 0 for all s > 0. Applying [HS99, A.9] once
more gives (2).
The last assertion is due to Hovey and can be found in his unpublished notes
[Hov04, 1.2]; for completeness, we sketch the argument. By [HS99, A.9], it suffices
to show that TorR
1 (R/m, L0 N ) = 0 for all s > 0. To this end, let F• → R/m → 0
be a resolution of R/m by finite free modules. Using [HS99, A.4], the claim then
reduces to Hs L0 (F• ⊗ N ) = 0. Denoting the image of Fi in Fi−1 by Ki , flatness of
N yields short exact sequences
0 → Ki ⊗ N → Fi ⊗ N → Ki−1 ⊗ N → 0.
Therefore, again using flatness of N , we get for s > 0 and all i
Ls+1 (Ki−1 ⊗ N ) ∼
= Ls (Ki ⊗ N )
as well as an exact sequence
0 → L1 (Ki−1 ⊗ N ) → L0 (Ki ⊗ N ) → L0 (Fi−1 ⊗ N ) → L0 (Ki−1 ⊗ N ) → 0.
Note that K0 ⊗ N = R/m ⊗ N is m-complete, hence L-complete, and thus satisfies
Ls (K0 ⊗ N ) = 0 for s > 0. It follows inductively that Ls (Ki ⊗ N ) = 0 holds for all
s > 0 and all i, yielding the short exact sequence
0 → L0 (Ki ⊗ N ) → L0 (Fi−1 ⊗ N ) → L0 (Ki−1 ⊗ N ) → 0,
hence Hs L0 (F• ⊗ N ) = 0 for s > 0.



[ R . In
An L-complete module M is said to be L-flat if it is a flat object in Mod
contrast to the previous result, there are very few L-flat modules.
d R is L-flat if and only
Proposition A.16. If R has dimension 1, then M ∈ Mod
if it is pro-free. If dim R ≥ 2, then being L-flat is equivalent to being finite free.

d 1 (M, −) be the first left derived functor of M ⊗−;
ˆ
Proof. Let Tor
on finitely generated modules, this functor agrees with the usual Tor functor. Since M is L-flat and
R/m is finitely generated, we obtain
R

d 1 (M, R/m) = TorR
0 = Tor
1 (M, R/m),

so M is pro-free by [HS99, A.9]. If dim R = 1, the converse holds since coproducts
[ R in this case.
are exact on Mod
If dim R ≥ 2, consider the monomorphism of L-complete modules
Y
M
f: K =
(uk1 , . . . , ukh ) ֒→ (
R)∧
m = N.
k≥1

k≥1

If M is an L-flat module, it is pro-free by the above, so we can write M = L0 (⊕I R)
ˆ to f gives the morphism L0 (⊕I K) →
for some indexing set I. Applying M ⊗−
L0 (⊕I N ) which we will show to be injective if and only if I is finite. Finiteness is
clearly sufficient. For the converse it is enough to consider the case of countable

44

TOBIAS BARTHEL AND MARTIN FRANKLAND

infinite I, because retracts of flat objects are flat. It is then easy to check that
the argument given in [Bak09, Appendix B] generalizes to dim R ≥ 2, giving that
L1 (N/K) 6= 0. Therefore, M = L0 (⊕I R) cannot be L-flat for infinite I.

[R,
Remark A.17. Consequently, projective objects are generally not flat in Mod
ˆ
which implies that the derived functors of ⊗ are not balanced; this issue is discussed
further in [Hov04, §1.5].
In fact, the last part of Proposition A.15 shows that ιL0 restricts to an endofunctor of Mod♭R . Informally speaking, passage to L-complete modules has the effect of
identifying the free R-modules with the flat ones.
Corollary A.18. When restricted to Mod♭R , L0 coincides with m-adic completion,
and Ls = 0 for s > 0.
Proof. This is an immediate consequence of Proposition A.2.



The situation is summarized in the following commutative diagram, in which the
superscript proj indicates the full subcategory of projective objects:
ModffR 


/ Ind ModffR

Mod♭R 
O
L0 =(−)∧
m

∼


ff 
[
ModR 



ι


proj 
/ Mod
[R 

/ ModR
O
L0

ι


/ Mod
[ R.

Appendix B. Representation theory
In this appendix, we prove a representation-theoretic integral analogue of Corollary 4.5 at height h = 1, one of the key ingredients to our main theorem. We
include this curious result not only because it provided some motivation for the
general proof, but also because it might shed some additional light on the inner
workings of the algebraic approximation functors Tn .
To this end, note that the multiplication by p map can be lifted to homotopy
theory as
p
_
∇
∆
S 0 −→ S 0
S 0 −→
i=1

where ∆ is the diagonal and ∇ is the fold map. Applying K(EΣm+ ∧Σm −) to this
diagram yields the map
M
Ind
Res
Rep(Σi1 × · · · × Σim ) −−→ Rep(Σm )
t(m, p) : Rep(Σm ) −−→
i1 +···+ip =m

which is an integral version of Tm (p) : K(BΣm ) → K(BΣm ). Here, Res and Ind
denote the direct sums of restriction and induction for the corresponding subgroups,
respectively.
Remark B.1. We will keep the notation from before, but emphasize that the parameter p does not have to be a prime in this section. Therefore, Proposition B.5
is a generalization of Corollary 4.5.
B.1. A few examples. Before we discuss the general result in the next section,
we give three explicit examples.
Example B.2. For all integers p, the map t(2, p) : Rep(Σ2 ) → Rep(Σ2 ) is nilpotent
mod p.

COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

45

Proof. Note that the cases p > 2 or p = 1 are straightforward, so let us consider
p = 2.
Recall that Rep(Σ2 ) = Z[σ]/(σ 2 − 1), where σ the sign representation; also, if
ρ denotes the regular representation, ρ = 1 + σ. Now Ind on the three factors
is either the identity or induction from the trivial group, i.e., ρ ⊗ −. After these
recollections, we are now ready to compute the composite Ind ◦ Res on the basis
elements 1, σ of the representation ring:
Ind ◦ Res(1) = Ind(1Σ2 + 1Σ1 + 1Σ2 ) = 1 + ρ + 1 = 1 + 1 + σ + 1 = 3 + σ
and
Ind ◦ Res(σ) = Ind(σ + 1Σ1 + σ) = σ + ρ + σ = σ + 1 + σ + σ = 1 + 3σ.
Therefore, the matrix corresponding to t(2, 2)

3
t(2, 2) =
1

in terms of the basis (1, σ) is

1
3

with characteristic polynomial χt(2,2) (x) = (x − 2)(x − 4) ≡2 x2 . Thus t(2, 2)2 ≡ 0
mod 2.

Example B.3. Likewise, using the basis of Rep(Σ3 ) given by the irreducible
representations 1, σ, V with V the standard representation, one computes that
t(3, 3) : Rep(Σ3 ) → Rep(Σ3 ) is given by the matrix


10 1 8
t(3, 3) =  1 10 8  .
8 8 19
Therefore, χt(3,3) (x) = (x − 27)(x − 9)(x − 3) ≡3 x3 , so t(3, 3) is nilpotent mod 3.
The remaining cases of t(3, p) for p 6= 3 are easy.

Finally, to convince the reader that our proof below works for positive integers
p that are not prime, we give one more example.
Example B.4. The representation ring Rep(Σ4 ) has a basis of irreducible representations (1, σ, T, V, W ), where V is the standard representation, W = V ⊗ σ,
and T is the irreducible 2-dimensional representation coming from the standard
representation of Σ3 via the exact sequence
0 → Z/2 × Z/2 → Σ4 → Σ3 → 0.
With respect to this basis,


35
1

t(4, 4) = 
20
45
15

which has characteristic polynomial

1
35
20
15
45


20 45 15
20 15 45 

56 60 60 

60 115 81 
60 81 115

χt(4,4) (x) = (x − 44 )(x − 43 )(x − 42 )(x − 42 )(x − 4).
Consequently, t(4, 4)5 ≡ 0 mod 4.

46

TOBIAS BARTHEL AND MARTIN FRANKLAND

B.2. The general result. In this section we give a proof of the following claim,
which generalizes Corollary 4.5 in the height 1 case.
Proposition B.5. For any pair of positive integers m and p, the map
M
Ind
Res
Rep(Σi1 × · · · × Σip ) −−→ Rep(Σm )
t = t(m, p) : Rep(Σm ) −−→
i1 +···+ip =m

is nilpotent mod p.

Proof. Let Λ be the free Z-module on the basis given by characteristic functions on
the conjugacy classes of Σm . Since all characters of symmetric groups are integervalued, we get an injection
Rep(Σm ) ֒→ Λ
which sends a representation to its character. We can therefore extend the map t
to an endomorphism of Q ⊗ Λ which stabilizes the lattices Λ and Rep(Σm ) inside
of it. It follows that the characteristic polynomial χt of t can be computed mod p
with respect to either Λ or Rep(Σm ), since both are of maximal rank in Q ⊗ Λ. In
other words, it is enough to show that χt restricted to the lattice Λ is χt (x) ≡ xp(m)
mod p, where p(m) denotes the number of partitions of m.
To this end, let δc be the characteristic function on the conjugacy class c of Σm ,
determined by a specific cycle class Cc with type k = k(c) = (k1 , . . . , kl ). Fix an
ordered p-tuple i1 , . . . , ip with i1 + · · · + ip = m, let H = Σi1 × · · · × Σip denote
Σm
m
the corresponding subgroup of Σm , and consider IndΣ
H ◦ ResH . In general, the
formula
for inducing a class function f from a subgroup K ⊂ G is IndG
K (f )(g) =
P
−1
f
(s
gs)
where
is
f
(x)
=
f
(x)
for
x
∈
K
and
0
otherwise.
Specializing
0
s∈K\G 0
to our situation we see that
Σm
m
IndΣ
H ◦ ResH (δc ) = mc (H) · δc

where mc (H) is some non-negative integer. It follows from this description that
X
X
Σm
m
mc (Σi1 × · · · × Σip ) · δc
IndΣ
Σi ×···×Σip ◦ ResΣi ×···×Σip (δc ) =
i1 +···+ip =m

1

1

i1 +···+ip =m

so the matrix of t on Λ with respect to the basis given by characteristic
functions
P
on the conjugacy classes is diagonal with eigenvalues mc = i1 +···+ip =m mc (Σi1 ×
· · · × Σip ). We claim that, if the cycle type of c is k = (k1 , . . . , kl ), then mc = pl .
The proposition follows immediately.
So let us prove this claim. In fact, we will identify mc with the number of
functions from a set Kc with l elements to {1, . . . , p}. To this end, note that it
is enough to evaluate the above formula on a fixed element g ∈ c = cg . If H =
−1
m
gs) 6= 0 if and only if
Σi1 ×· · ·×Σip , then any element s ∈ H\Σm has ResΣ
H (δc )(s
it permutes the cycles in the cycle representation of cg such that they are compatible
with the cycle structure of H = Σi1 × · · · × Σip . Therefore, we can label the cycles
in the cycle representation of cg by the numbers j ∈ {1, . . . , p} corresponding to
which factor Σij of H they belong to after conjugation
P by s. This induces a bijection
between pairs (H, s ∈ H\Σm ) that contribute to i1 +···+ip =m mc (Σi1 × · · · × Σip ),
i.e., such that
−1
m
ResΣ
gs) 6= 0,
H (δc )(s
and all possible labelings of the l cycles in cg by numbers {1, . . . , p}, i.e., functions
from Kc to {1, . . . , p}: Surjectivity is clear, while injectivity uses the fact that the
ordered tuple (i1 , . . . , ip ) is determined by the labeling, and the coset representative s can be recovered from the given permutation of the cycles in the cycle
representation of c, up to conjugation in H = Σi1 × · · · × Σip . This completes the
proof.


COMPLETED POWER OPERATIONS FOR MORAVA E-THEORY

47

Remark B.6. In fact, the argument shows more, namely that the eigenvalues of
t = t(m, p), thought of as an endomorphism of Rep(Σm ) or Λ, are precisely all the
plc where c runs through the conjugacy classes of Σm and lc denotes the length of
the cycle representation of c.
Alternative proof of Proposition B.5. We sketch another argument, due to Charles
Rezk, which is closer to the perspective in Section 7. Define Am = Hom(Rep(Σm ), Z),
then
M
Am = Λ[x],
m

the free λ-ring on one generator x of degree 1; note that the map
M
t(p) =
t(m, p) : Λ[x] → Λ[x]
m

is given by x 7→ px. Let xk = ψk (x), where ψk ’s are the Adams operations,
and consider the subring A = Z[x1 , x2 , . . .] ⊂ Λ[x] with xk of degree k. Since
A⊗Q ∼
= Λ[x] ⊗ Q, we can compute the eigenvalues of t(p) in terms of the monomial
basis given by the xk :
t(p)(xk1 · · · xkn ) =
=
=

ψk1 (px) · · · ψkn (px)
pn ψk1 (x) · · · ψkn (x)
pn xk1 · · · xkn .

So the monomial basis in the xk ’s provides a basis of eigenvectors for t(p), with the
eigenvalues as above.

References
[AH94]

Matthew Ando and Michael J. Hopkins. Notes on formal groups. Unpublished notes
based on a course taught by Michael Hopkins at MIT in the spring of 1990., 1994.
[And95]
Matthew Ando. Isogenies of formal group laws and power operations in the cohomology theories En . Duke Math. J., 79(2):423–485, 1995.
[ARV10]
J. Adámek, J. Rosický, and E. M. Vitale. What are sifted colimits? Theory Appl.
Categ., 23:No. 13, 251–260, 2010.
[ARV11]
J. Adámek, J. Rosický, and E. M. Vitale. Algebraic theories, volume 184 of Cambridge
Tracts in Mathematics. Cambridge University Press, Cambridge, 2011. A categorical
introduction to general algebra, With a foreword by F. W. Lawvere.
[Bak09]
Andrew Baker. L-complete Hopf algebroids and their comodules. In Alpine perspectives on algebraic topology, volume 504 of Contemp. Math., pages 1–22. Amer. Math.
Soc., Providence, RI, 2009.
[BK72]
A. K. Bousfield and D. M. Kan. Homotopy limits, completions and localizations.
Lecture Notes in Mathematics, Vol. 304. Springer-Verlag, Berlin, 1972.
[BMMS86] R. R. Bruner, J. P. May, J. E. McClure, and M. Steinberger. H∞ ring spectra and
their applications, volume 1176 of Lecture Notes in Mathematics. Springer-Verlag,
Berlin, 1986.
[Bou96]
A. K. Bousfield. On λ-rings and the K-theory of infinite loop spaces. K-Theory,
10(1):1–30, 1996.
[BR12]
Mark Behrens and Charles Rezk. The Bousfield-Kuhn functor and topological AndréQuillen cohomology. Preprint, 2012.
[BW05]
James Borger and Ben Wieland. Plethystic algebra. Adv. Math., 194(2):246–283, 2005.
[Dem86]
Michel Demazure. Lectures on p-divisible groups, volume 302 of Lecture Notes in
Mathematics. Springer-Verlag, Berlin, 1986. Reprint of the 1972 original.
[EKMM97] A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May. Rings, modules, and algebras
in stable homotopy theory, volume 47 of Mathematical Surveys and Monographs.
American Mathematical Society, Providence, RI, 1997. With an appendix by M. Cole.
[GH03]
P. G. Goerss and M. J. Hopkins. Moduli problems for structured ring spectra.
Preprint, 2003.
[GH04]
P. G. Goerss and M. J. Hopkins. Moduli spaces of commutative ring spectra. In
Structured ring spectra, volume 315 of London Math. Soc. Lecture Note Ser., pages
151–200. Cambridge Univ. Press, Cambridge, 2004.

48

TOBIAS BARTHEL AND MARTIN FRANKLAND

[GHMR05] P. Goerss, H.-W. Henn, M. Mahowald, and C. Rezk. A resolution of the K(2)-local
sphere at the prime 3. Ann. of Math. (2), 162(2):777–822, 2005.
[GM92]
J. P. C. Greenlees and J. P. May. Derived functors of I-adic completion and local
homology. J. Algebra, 149(2):438–453, 1992.
[HMS94]
Michael J. Hopkins, Mark Mahowald, and Hal Sadofsky. Constructions of elements in
Picard groups. In Topology and representation theory (Evanston, IL, 1992), volume
158 of Contemp. Math., pages 89–126. Amer. Math. Soc., Providence, RI, 1994.
[Hop14]
Michael J. Hopkins. K(1)-local E∞ -ring spectra. In Topological modular forms, volume 201 of Math. Surveys Monogr., pages 287–302. Amer. Math. Soc., Providence,
RI, 2014.
[Hov04]
Mark Hovey. Some spectral sequences in Morava E-theory. , 2004.
[Hov08]
Mark Hovey. Morava E-theory of filtered colimits. Trans. Amer. Math. Soc.,
360(1):369–382 (electronic), 2008.
[HS98]
Michael J. Hopkins and Jeffrey H. Smith. Nilpotence and stable homotopy theory. II.
Ann. of Math. (2), 148(1):1–49, 1998.
[HS99]
Mark Hovey and Neil P. Strickland. Morava K-theories and localisation. Mem. Amer.
Math. Soc., 139(666):viii+100, 1999.
[Joy02]
A. Joyal. Quasi-categories and Kan complexes. J. Pure Appl. Algebra, 175(1-3):207–
222, 2002. Special volume celebrating the 70th birthday of Professor Max Kelly.
[Lau03]
Gerd Laures. An E∞ splitting of spin bordism. Amer. J. Math., 125(5):977–1027,
2003.
[Lur09]
Jacob Lurie. Higher topos theory, volume 170 of Annals of Mathematics Studies.
Princeton University Press, Princeton, NJ, 2009.
[Lur14]
Jacob Lurie. Higher algebra. Preprint, 2014.
[ML98]
Saunders Mac Lane. Categories for the working mathematician, volume 5 of Graduate
Texts in Mathematics. Springer-Verlag, New York, second edition, 1998.
[Rez08]
Charles Rezk. Power operations for Morava E-theory of height 2 at the prime 2.
Preprint, 2008.
[Rez09]
Charles Rezk. The congruence criterion for power operations in Morava E-theory.
Homology, Homotopy Appl., 11(2):327–379, 2009.
[Rez12]
Charles Rezk. Rings of power operations for Morava E-theories are Koszul. Preprint,
2012.
[Rez13a]
Charles Rezk. Analytic completion. Preprint, 2013.
[Rez13b]
Charles Rezk. Power operations in morava e-theory: structure and calculations.
Preprint, 2013.
[Ric02]
Birgit Richter. An Atiyah-Hirzebruch spectral sequence for topological André-Quillen
homology. J. Pure Appl. Algebra, 171(1):59–66, 2002.
[Rie14]
Emily Riehl. Categorical homotopy theory, volume 24 of New Mathematical Monographs. Cambridge University Press, Cambridge, 2014.
[Sal10]
Andrew Salch. Approximation of subcategories by abelian subcategories. Preprint,
2010.
[Sta14]
Stacks Project Authors. Stacks project. http://stacks.math.columbia.edu, 2014.
[Str98]
N. P. Strickland. Morava E-theory of symmetric groups. Topology, 37(4):757–779,
1998.
[Str00]
N. P. Strickland. Gross-Hopkins duality. Topology, 39(5):1021–1033, 2000.
[Val15]
Gabriel Valenzuela. Homological algebra of complete and torsion modules. 2015. Thesis (Ph.D.)–Wesleyan University.
[Yau10]
Donald Yau. Lambda-rings. World Scientific Publishing Co. Pte. Ltd., Hackensack,
NJ, 2010.
[Yek11]
Amnon Yekutieli. On flatness and completion for infinitely generated modules over
Noetherian rings. Comm. Algebra, 39(11):4221–4245, 2011.
[Zhu14]
Yifei Zhu. The power operation structure on Morava E-theory of height 2 at the prime
3. Algebr. Geom. Topol., 14(2):953–977, 2014.

