Michael Joseph Andrews - UCLA Department of Mathematicsmath.ucla.edu/~mjandr/Thesis.pdfThe...
Transcript of Michael Joseph Andrews - UCLA Department of Mathematicsmath.ucla.edu/~mjandr/Thesis.pdfThe...
The π£1-periodic part of the Adams spectral sequenceat an odd prime
by
Michael Joseph Andrews
MMath, University of Oxford (2009)
Submitted to the Department of Mathematicsin partial fulfillment of the requirements for the degree of
Doctor of Philosophy
at the
MASSACHUSETTS INSTITUTE OF TECHNOLOGY
June 2015
c Massachusetts Institute of Technology 2015. All rights reserved.
Author . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Department of Mathematics
April 29, 2015
Certified by. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Haynes Miller
Professor of MathematicsThesis Supervisor
Accepted by . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .William Minicozzi
Chairman, Department Committee on Graduate Students
2
The π£1-periodic part of the Adams spectral sequence at an
odd prime
by
Michael Joseph Andrews
Submitted to the Department of Mathematicson April 29, 2015, in partial fulfillment of the
requirements for the degree ofDoctor of Philosophy
Abstract
We tell the story of the stable homotopy groups of spheres for odd primes at chromaticheight 1 through the lens of the Adams spectral sequence. We find the βdancers to adiscordant system.β
We calculate a Bockstein spectral sequence which converges to the 1-line of thechromatic spectral sequence for the odd primary Adams πΈ2-page. Furthermore, wecalculate the associated algebraic Novikov spectral sequence converging to the 1-lineof the π΅π chromatic spectral sequence. This result is also viewed as the calculationof a direct limit of localized modified Adams spectral sequences converging to thehomotopy of the π£1-periodic sphere spectrum.
As a consequence of this work, we obtain a thorough understanding of a collectionof π0-towers on the Adams πΈ2-page and we obtain information about the differentialsbetween these towers. Moreover, above a line of slope 1/(π2βπβ1) we can completelydescribe the πΈ2 and πΈ3-pages of the mod π Adams spectral sequence, which accountsfor almost all the spectral sequence in this range.
Thesis Supervisor: Haynes MillerTitle: Professor of Mathematics
3
4
Acknowledgments
Without the support of my mother and my advisor, Haynes, I have no doubt that
this thesis would have ceased to exist.
There are many things I would like to thank my mother for. Most relevant is the
time she dragged me to Oxford. I had decided, at sixteen years of age, that I was not
interested in going to Oxbridge for undergraduate study but she knew better. Upon
visiting Oxford, I experienced for the first time the wonder of being able to speak to
others who love maths as much as I do. My time there was mathematically fulfilling
and the friends I made, I hope, will be lifelong. Secondly, it was her who encouraged
me to apply to MIT for grad school. Thereβs no other way to put it, I was terrified
of moving abroad and away from the friends I had made. I would come to be the
happiest I could ever have been at MIT. Cambridge is a beautiful place to live and
the energy of the faculty and students at MIT is untouched by many institutes. Her
support during my first year away, during the struggle of qualifying exams, from over
3, 000 miles away, and throughout the rest of my life is never forgotten.
Haynes picked up the pieces many times during my first year at MIT. His emotional
support and kindness in those moments are the reasons I chose him to be my advisor.
He has always been a pleasure to talk with and I am particularly appreciative of
how he adapted to my requirements, always giving me the level of detail he knows
I need, while holding back enough so that our conversations remain exciting. His
mathematical influence is evident throughout this thesis. In particular, theorem 1.4.4
was his conjecture and the results of this thesis build on his work in [10] and [11].
It has been a pleasure to collaborate with him in subsequent work [2]. On the other
hand, it is wonderful to have an advisor that I consider a friend and who I can talk
to about things other than math. I will always remember him giving me strict orders
to go out and buy a guitar amp when he could tell I was suffering without. Thank
you, Haynes.
There are many friends to thank for their support during my time at MIT. I am
grateful to Michael, Dana, Jiayong, and Saul, particularly for their support during
5
my first year at MIT. I am grateful to Rosa, Stuart, Pat and Nate for putting up with
me as a roommate. Thank you, Nisa. I have been a better person since knowing you.
Thank you, Alex, for letting me talk your ear off about permanent cycles for months
and months, and for being the best friend one could hope for.
The weeks I spent collaborating with Will as he coded up spectral sequence charts
were some of my most enjoyable as a mathematician. Before Willβs work, no-one had
seen a trigraded spectral sequence plotted in 3D with rotation capability, or a 70 term
cocycle representative for π0. His programs made for a particularly memorable thesis
defense and will be useful for topologists for a long time, I am sure. Thank you, Will.
There are three courses I feel very lucky to have been a part of during my time at
MIT. They were taught by Haynes, Mark Behrens and Emily Riehl. Haynesβ course
on the Adams spectral sequence was the birthplace for this thesis.
Mark taught the best introductory algebraic topology course that you can imagine.
It was inspiring for my development as a topologist and a teacher. I wish to thank
him for the advice he gave me during the microteaching workshop, the conversations
we have had about topology and for the energy he brings to everything he is involved
in. I hope we will work together more in the future.
Emily made sure that I finally learned some categorical homotopy theory. Each
one of her classes was like watching Usain Bolt run the 100m over and over again for
an hour. They were incredible. I thank her for her rigour, her energy and for showing
me that abstract nonsense done right is beautiful. Although, the final version of this
thesis contains less categorical homotopy theory than the draft, her course gave me
the tools I needed to prove proposition 8.1.9.
Finally, I wish to thank Jessica Barton for her support, John Wilson who made it
possible for me to take my GRE exams, and Yan Zhang who helped me plot pictures
of my spectral sequences, which inspired the proof of proposition 5.4.5.
6
Contents
1 Introduction 11
1.1 The stable homotopy groups of spheres . . . . . . . . . . . . . . . . . 11
1.2 Calculational tools in homotopy theory . . . . . . . . . . . . . . . . . 12
1.3 Some π΅π*π΅π -comodules and the corresponding π -comodules . . . . 14
1.4 Main results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5 Outline of thesis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2 Spectral sequence terminology 25
2.1 A correspondence approach . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3 Bockstein spectral sequences 33
3.1 The Hopf algebra π and some π -comodules . . . . . . . . . . . . . . 33
3.2 The π-Bockstein spectral sequence (π-BSS) . . . . . . . . . . . . . . 35
3.3 The πβ0 -Bockstein spectral sequence (πβ0 -BSS) . . . . . . . . . . . . . 38
3.4 The π-BSS and the πβ0 -BSS: a relationship . . . . . . . . . . . . . . . 39
3.5 The πβ11 -Bockstein spectral sequence (πβ1
1 -BSS) . . . . . . . . . . . . 41
3.6 Multiplicativity of the BSSs . . . . . . . . . . . . . . . . . . . . . . . 43
4 Vanishing lines and localization 47
4.1 Vanishing lines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.2 The localization map: the trigraded perspective . . . . . . . . . . . . 49
4.3 The localization map: the bigraded perspective . . . . . . . . . . . . 50
7
5 Calculating the 1-line of the π-CSS; its image in π»*(π΄) 53
5.1 The πΈ1-page of the πβ11 -BSS . . . . . . . . . . . . . . . . . . . . . . . 53
5.2 The first family of differentials, principal towers . . . . . . . . . . . . 55
5.2.1 Main results . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.2.2 Quick proofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.2.3 The proof of proposition 5.2.2.1 . . . . . . . . . . . . . . . . . 56
5.3 The second family of differentials, side towers . . . . . . . . . . . . . 64
5.3.1 Main results . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
5.3.2 Quick proofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
5.3.3 A Kudo transgression theorem . . . . . . . . . . . . . . . . . . 65
5.3.4 Completing the proof of proposition 5.3.1.2 . . . . . . . . . . . 72
5.4 The πΈβ-page of the πβ11 -BSS . . . . . . . . . . . . . . . . . . . . . . . 74
5.5 Summary of main results . . . . . . . . . . . . . . . . . . . . . . . . . 79
6 The localized algebraic Novikov spectral sequence 81
6.1 Algebraic Novikov spectral sequences . . . . . . . . . . . . . . . . . . 81
6.2 Evidence for the main result . . . . . . . . . . . . . . . . . . . . . . . 82
6.3 The filtration spectral sequence (π0-FILT) . . . . . . . . . . . . . . . 84
6.4 The πΈβ-page of the loc.alg.NSS . . . . . . . . . . . . . . . . . . . . . 88
7 Some permanent cycles in the ASS 91
7.1 Maps between stunted projective spaces . . . . . . . . . . . . . . . . 91
7.2 Homotopy and cohomotopy classes in stunted projective spaces . . . . 98
7.3 A permanent cycle in the ASS . . . . . . . . . . . . . . . . . . . . . . 102
8 Adams spectral sequences 105
8.1 Towers and their spectral sequences . . . . . . . . . . . . . . . . . . . 105
8.2 The modified Adams spectral sequence for π/ππ . . . . . . . . . . . . 112
8.3 The modified Adams spectral sequence for π/πβ . . . . . . . . . . . . 115
8.4 A permanent cycle in the MASS-(π+ 1) . . . . . . . . . . . . . . . . 116
8.5 The localized Adams spectral sequences . . . . . . . . . . . . . . . . . 117
8
8.6 Calculating the LASS-β . . . . . . . . . . . . . . . . . . . . . . . . . 118
8.7 The Adams spectral sequence . . . . . . . . . . . . . . . . . . . . . . 120
A Maps of spectral sequences 123
B Convergence of spectral sequences 129
9
THIS PAGE INTENTIONALLY LEFT BLANK
10
Chapter 1
Introduction
1.1 The stable homotopy groups of spheres
Algebraic topologists are interested in the class of spaces which can be built from
spheres. For this reason, when one tries to understand the continuous maps between
two spaces up to homotopy, it is natural to restrict attention to the maps between
spheres first. The groups of interest
ππ+π(ππ) = homotopy classes of maps ππ+π ββ ππ
are called the homotopy groups of spheres.
Topologists soon realized that it is easier to work in a stable setting. Instead,
one asks about the stable homotopy groups of spheres or, equivalently, the homotopy
groups of the sphere spectrum
ππ(π0) = colimπ ππ+π(ππ).
Calculating all of these groups is an impossible task but one can ask for partial
information. In particular, one can try to understand the global structure of these
groups by proving the existence of recurring patterns. These patterns are clearly
visible in spectral sequence charts for calculating π*(π0) and this thesis came about
11
because of the authorβs desire to understand the mystery behind these powerful dots
and lines, which others in the field appeared so in awe of. It tells the story of the
stable homotopy groups of spheres for odd primes at chromatic height 1, through the
lens of the Adams spectral sequence.
1.2 Calculational tools in homotopy theory
The Adams spectral sequence (ASS) and the Adams-Novikov spectral sequence (ANSS)
are useful tools for homotopy theorists. Theoretically, they enable a calculation of the
stable homotopy groups but they have broader utility than this. Much of contempo-
rary homotopy theory has been inspired by analyzing the structure of these spectral
sequences.
The ASS has πΈ2-page given by the cohomology of the dual Steenrod algebra π»*(π΄)
and it converges π-adically to π*(π0). The ANSS has as its πΈ2-page the cohomology
of the Hopf algebroid π΅π*π΅π given to us by the π-typical factor of complex cobordism
and it converges π-locally to π*(π0).
The ANSS has the advantage that elements constructed using non-nilpotent self
maps occur in low filtration. This means that the classes they represent are less likely
to be hit by differentials in the spectral sequence and so proving such elements are
nontrivial in homotopy often comes down to an algebraic calculation of the πΈ2-page.
The ASS has the advantage that such elements have higher filtration and, therefore,
less indeterminacy in the spectral sequence. For this reason, among others, arguing
with both spectral sequences is fruitful.
π»*(π ;π) CESS +3
alg.NSS
π»*(π΄)
ASS
π»*(π΅π*π΅π ) ANSS +3 π*(π
0)
(1.2.1)
The relationship between the two spectral sequences is strengthened by the exis-
tence of an algebra π»*(π ;π), which serves as the πΈ2-page for two spectral sequences:
12
the Cartan-Eilenberg spectral sequence (CESS) which converges to π»*(π΄), and the
algebraic Novikov spectral sequence (alg.NSS) converging to π»*(π΅π*π΅π ). We will
say more about the algebra π»*(π ;π) shortly. For now it will be a black box and we
will give the relevant definitions in the next section.
Continuing our comparison of the two spectral sequences for calculating π*(π0),
we note that the ASS has the advantage that its πΈ2-page can be calculated, in a
range, efficiently with the aid of a computer. The algebra required to calculate the
πΈ2-page of the ANSS is more difficult. For this reason, the chromatic spectral sequence
(π£-CSS) was developed in [12] to calculate the 1 and 2-line.
β¨πβ₯0π»
*(π ; πβ1π π/(πβ0 , . . . , π
βπβ1))
π-CSS +3
alg.NSS
π»*(π ;π)
alg.NSS
β¨πβ₯0π»
*(π΅π*π΅π ; π£β1π π΅π*/(π
β, . . . , π£βπβ1))π£-CSS +3 π»*(π΅π*π΅π )
In [10, Β§5], Miller sets up a chromatic spectral sequence for computing π»*(π ;π).
To distinguish this spectral sequence from the more frequently used chromatic spectral
sequence of [12], we call it the π-CSS. At odd primes, Miller [10, Β§4] shows that the
πΈ2-page of the ASS can be identified with π»*(π ;π) and so he compares the π-CSS
and the π£-CSS to explain some differences between the Adams and Adams-Novikov
πΈ2-terms. He also observes that it is almost trivial to calculate the 1-line in the π΅π
case ([12, Β§4]), but notes that it is more difficult to calculate the 1-line of the π-CSS.
The main result of this thesis is a calculation of the 1-line of the π-CSS, that is, of
π»*(π ; πβ11 π/πβ0 ).
The most interesting application of this work is a calculation of the ASS, at odd
primes, above a line of slope 1/(π2 β π β 1). We note that as the prime tends to
infinity, the fraction of the ASS described tends to 1. As a consequence of this work,
we are able to describe, for the first time, differentials of arbitrarily long length in the
ASS.
13
1.3 Some π΅π*π΅π -comodules and the corresponding
π -comodules
Our main result is the calculation of a Bockstein spectral sequence converging to
π»*(π ; πβ11 π/πβ0 ), the 1-line of the chromatic spectral sequence for π»*(π ;π). First,
we recall how π , π and related π -comodules are defined. They come from mimicking
constructions used in the chromatic spectral sequence for π»*(π΅π*π΅π ) and so we also
recall some relevant π΅π*π΅π -comodules. π is an odd prime throughout this thesis.
Recall that the coefficient ring of the Brown-Peterson spectrum π΅π is a polynomial
algebra Z(π)[π£1, π£2, π£3, . . .] on the Hazewinkel generators.
π β π΅π* and π£ππβ1
1 β π΅π*/ππ
are π΅π*π΅π -comodule primitives and so we have π΅π*π΅π -comodules π£β11 π΅π*/π,
π΅π*/πβ = colim(. . . ββ π΅π*/π
π πββ π΅π*/ππ+1 ββ . . .), and
π£β11 π΅π*/π
β = colim(. . . ββ (π£ππβ1
1 )β1π΅π*/ππ πββ (π£π
π
1 )β1π΅π*/ππ+1 ββ . . .).
By filtering the π΅π cobar construction by powers of the kernel of the augmentation
π΅π* ββ Fπ we obtain the algebraic Novikov spectral sequence
π»*(π ;π) =β π»*(π΅π*π΅π ).
π = Fπ[π1, π2, π3, . . .] is the polynomial sub Hopf algebra of the dual Steenrod algebra
π΄ and
π = gr*π΅π* = Fπ[π0, π1, π2, . . .]
is the associated graded of π΅π*; ππ denotes the class of π£π. Similarly to above, we
have π -comodules πβ11 π/π0, π/πβ0 and πβ1
1 π/πβ0 and there are appropriate algebraic
Novikov spectral sequences (the first three vertical spectral sequences in figure 1-2).
14
1.4 Main results
We have a Bockstein spectral sequence, the πβ11 -Bockstein spectral sequence (πβ1
1 -BSS)
coming from π0-multiplication:
[π»*(π ; πβ1
1 π/π0)[π0
]]/πβ0 =β π»*(π ; πβ1
1 π/πβ0 ).
Our main theorem is the complete calculation of this spectral sequence, and this, as
we shall describe, tells us a lot about the Adams πΈ2-page.
The key input for the calculation is a result of Miller, which we recall presently.
Theorem 1.4.1 (Miller, [10, 3.6]).
π»*(π ; πβ11 π/π0) = Fπ[πΒ±1
1 ]β πΈ[βπ,0 : π β₯ 1]β Fπ[ππ,0 : π β₯ 1].
Here βπ,0 and ππ,0 are elements which can be written down explicitly, though their
formulae are not important for the current discussion. To state the main theorem in
a clear way we change these exterior and polynomial generators by units.
Notation 1.4.2. For π β₯ 1, let π[π] = ππβ1πβ1
, ππ = πβπ[π]
1 βπ,0, and ππ = π1βπ[π+1]
1 ππ,0.
We have π»*(π ; πβ11 π/π0) = Fπ[πΒ±1
1 ]β πΈ[ππ : π β₯ 1]β Fπ[ππ : π β₯ 1].
We introduce some convenient notation for differentials in the πβ11 -BSS.
Notation 1.4.3. Suppose π₯, π¦ β π»*(π ; πβ11 π/π0). We write πππ₯ = π¦ to mean that
for all π£ β Z, ππ£0π₯ and ππ£+π0 π¦ survive until the πΈπ-page and that ππππ£0π₯ = ππ£+π0 π¦. In this
case, notice that ππ£0π₯ is a permanent cycle for π£ β₯ βπ.
π»*(π ; πβ11 π/π0) is an algebra and with the notation just introduced differentials
are derivations, i.e. from differentials πππ₯ = π¦ and πππ₯β² = π¦β² we deduce that ππ(π₯π₯β²) =
π¦π₯β² + (β1)|π₯|π₯π¦β².
Using .= to denote equality up to multiplication by an element in FΓ
π , we are now
ready to state the main theorem.
15
Theorem 1.4.4. In the πβ11 -BSS we have two families of differentials. For π β₯ 1,
1. ππ[π]ππππβ1
1.
= ππππβ1
1 ππ, whenever π β Zβ πZ;
2. πππβ1ππππ
1 ππ.
= ππππ
1 ππ, whenever π β Z.
Together with the fact that ππ1 = 0 for π β₯ 1, these two families of differentials
determine the πβ11 -BSS.
We describe the significance of this theorem in terms of the Adams spectral se-
quence πΈ2-page. To do so, we need to recall how the 1-line of the chromatic spectral se-
quence manifests itself in π»*(π΄). In the following zig-zag, πΏ is the natural localization
map, π is the boundary map coming from the short exact sequence of π -comodules
0 ββ π ββ πβ10 π ββ π/πβ0 ββ 0, and the isomorphism π»*(π ;π) βΌ= π»*(π΄) is the
one given by Miller in [10, Β§4].
π»*(π ; πβ11 π/πβ0 ) π»*(π ;π/πβ0 )πΏoo π // π»*(π ;π) π»*(π΄)
βΌ=oo (1.4.5)
If an element of π»*(π ; πβ11 π/πβ0 ) is a permanent cycle in the π-CSS, then we can
lift it under πΏ and map via π (and the isomorphism) to π»*(π΄). If there is no lift of
an element of π»*(π ; πβ11 π/πβ0 ) under πΏ then it must support a nontrivial chromatic
differential.
We now turn to figure 1-1. Recall that π0 is the class detecting multiplication by π
in the ASS. Figure 1-1 displays selected βπ0-towersβ in the ASS at the prime 3; most
of these are visible in the charts of Nassau [14]. In the range displayed, we see that
there are βprincipal towersβ in topological degrees which are one less than a multiple
of 2πβ 2 and βside towersβ in topological degrees which are two less than a multiple
of π(2π β 2). Under the zig-zag of (1.4.5) (lifting uniquely under π and applying πΏ)
we obtain π0-towers in π»*(π ; πβ11 π/πβ0 ). The principal towers are sent to π0-towers
which correspond to differentials in the first family of 1.4.4. The side towers are sent
to π0-towers which correspond to differentials in the second family of 1.4.4. In the
ASS, in the range plotted, there are as many differentials as possible between each
16
180 185 190 195 200 205 210 21510
15
20
25
30
35
40
45
50
55
π‘β π
π
π451 π2
π451 π2
π451
π451 π3
π461
π471
π481 π1
π481 π1
π481
π481 π2
π511
π511 π2
π541 π3
π541 π3
π541
π541 π4
Figure 1-1: The relevant part of π»π ,π‘(π΄) when π = 3, in the range 175 < π‘β π < 218,with a line of slope 1/(π2β πβ 1) = 1/5 drawn. Vertical black lines indicate multipli-cation by π0. The top and bottom of selected π0-towers are labelled by the source andtarget, respectively, of the corresponding Bockstein differential. Red arrows indicateAdams differentials up to higher Cartan-Eilenberg filtration.
17
principal tower and its side towers. Some permanent cycles are left at the top of each
principal tower. They detect π£1-periodic elements in the given dimension.
Almost all of what we have described about figure 1-1 is true in general.
In each positive dimension π· which is one less than a multiple of 2πβ 2 there is a
βprincipal tower.β As long as π = (π·+ 1)/(2πβ 2) is not a power of π, the principal
tower maps under the zig-zag (1.4.5) to the π0-tower corresponding to the Bockstein
differential on ππ1 . If π = (π·+1)/(2πβ2) is a power of π, so that π· = ππ(2πβ2)β1
where π β₯ 0, the principal tower has length ππ and it starts on the 1-line at β1,π.
This is a statement about the existence of chromatic differentials: for π β₯ 1, there
are chromatic differentials on the π0-tower corresponding to the Bockstein differential
on πππ
1 .
In each positive dimension π· which is two less than a multiple of π(2πβ 2) there
are βside towers.β If ππ is the highest power of π dividing π = (π·+ 2)/(2πβ 2), then
there are π side towers. In most cases, the πth side tower (we order from higher Adams
filtration to lower Adams filtration) maps under the zig-zag (1.4.5) to the π0-tower
corresponding to the Bockstein differential on ππ1 ππ. However, if π = (π·+2)/(2πβ2)
is a power of π so that π· = ππ(2πβ 2)β 2 where π β₯ 1, the πth side tower has length
ππβπ[π] and it starts on the 2-line at π1,πβ1; for π β₯ 2, there are chromatic differentials
on the π0-tower corresponding to the Bockstein differential on πππ
1 ππ.
To make the assertions above we have to calculate some differentials in a Bockstein
spectral sequence for π»*(π ;π). We omit stating the relevant result here.
We have not described all the elements in π»*(π ; πβ11 π/πβ0 ). The remaining ele-
ments line up in a convenient way but to be more precise we must talk about the
localized algebraic Novikov spectral sequence (loc.alg.NSS)
π»*(π ; πβ11 π/πβ0 ) =β π»*(π΅π*π΅π ; π£β1
1 π΅π*/πβ).
This is also important if we are to address the Adams differentials between principal
towers and their side towers.
Theorem 1.4.4 allows us to understand the associated graded of the πΈ2-page of the
18
loc.alg.NSS with respect to the Bockstein filtration. Since the Bockstein filtration is
respected by πloc.alg.NSS2 : π»π ,π’(π ; [πβ1
1 π/πβ0 ]π‘) ββ π»π +1,π’(π ; [πβ11 π/πβ0 ]π‘+1) we have a
filtration spectral sequence (π0-FILT)
πΈ0(π0-FILT) = πΈβ(πβ11 -BSS) =β πΈ3(loc.alg.NSS).
Theorem 1.4.4 enables us to write down some obvious permanent cycles in the πβ11 -
BSS. The next theorem tells us that they are the only elements which appear on the
πΈ1-page of the π0-FILT.
Theorem 1.4.6. πΈ1(π0-FILT) has an Fπ-basis given by the following elements.
ππ£0 : π£ < 0
βͺππ£0π
πππβ1
1 : π β₯ 1, π β Zβ πZ, βπ[π] β€ π£ < 0
βͺππ£0π
πππ
1 ππ : π β₯ 1, π β Z, 1β ππ β€ π£ < 0
This theorem tells us that the π2 differentials in the loc.alg.NSS which do not
increase Bockstein filtration kill all the π0-towers except those corresponding to the
differentials of theorem 1.4.4. This is precisely what we meant when we said that βthe
remaining elements line up in a convenient way.β Once theorem 1.4.6 is proved, the
calculation of the remainder of the loc.alg.NSS is straightforward because one knows
π»*(π΅π*π΅π ; π£β11 π΅π*/π
β) by [12, Β§4].
We now turn to the Adams differentials between principal towers and their side
towers, which is the motivation for drawing figure 1-2. In [11], Miller uses the square
analogous to (1.2.1) for the mod π Moore spectrum to deduce Adams differentials
(up to higher Cartan-Eilenberg filtration) from algebraic Novikov differentials. The
algebraic Novikov spectral sequence he calculates is precisely the one labelled as the
π£1-alg.NSS in figure 1-2 and this is the key input to proving theorem 1.4.6. We can use
the same techniques to deduce Adams differentials for the sphere from differentials in
the alg.NSS. We make this statement precise (see also, [2, S8]).
19
π»*(π ; πβ11 π/π0)
π£1-alg.NSS
// π»*(π ; πβ11 π/πβ0 )
loc.alg.NSS
π»*(π ;π/πβ0 )
πΏoo π // π»*(π ;π)
alg.NSS
CESS +3 π»*(π΄)
ASS
βΌ=xx
π»*(π΅π*π΅π ; π£β11 π΅π*/π) // π»*(π΅π*π΅π ; π£β1
1 π΅π*/πβ) π»*(π΅π*π΅π ;π΅π*/π
β)πΏoo π // π»*(π΅π*π΅π ) ANSS +3 π*(π0)
Figure 1-2: Obtaining information about the Adams spectral sequence from the Millerβs π£1-algebraic Novikov spectral sequence.Having calculated the πβ1
1 -BSS, Millerβs calculation of the π£1-alg.NSS allows us to calculate the loc.alg.NSS. Above a line ofslope 1/(π2 β π β 1) the πΈ2-page of the loc.alg.NSS is isomorphic to the πΈ2-page of the alg.NSS. Thus, our localized algebraicNovikov differentials allow us to deduce unlocalized ones, which can, in turn, be used to deduce Adams π2 differentials up tohigher Cartan-Eilenberg filtration.
20
Theorem 1.4.7 (Miller, [11, 6.1]). Suppose π₯ β π»π ,π’(π ;ππ‘). Use the identification
π»*(π΄) = π»*(π ;π) to view π₯ as lying in π»π +π‘,π’+π‘(π΄). Then we have
πASS2 π₯ β
π‘+1β¨πβ₯0
π»π +π+1,π’+π(π ;ππ‘βπ+1) β π»π +π‘+2,π’+π‘+1(π΄),
where the zero-th coordinate is πalg.NSS2 π₯ β π»π +1,π’(π ;ππ‘+1).
Moreover, the map π : π»*(π ;π/πβ0 ) ββ π»*(π ;π) is an isomorphism away from
low topological degrees, since π»*(π ; πβ10 π) = Fπ[πΒ±1
0 ] and we have the following result
concerning the localization map L.
Proposition 1.4.8. The localization map
πΏ : π»π ,π’(π ; [π/πβ0 ]π‘) ββ π»π ,π’(π ; [πβ11 π/πβ0 ]π‘)
is an isomorphism if (π’+ π‘) < π(πβ 1)(π + π‘)β 2. In particular, the localization map
is an isomorphism above a line of slope 1/(π2 β πβ 1) when we plot elements in the
(π’β π , π + π‘)-plane, the plane that corresponds to the usual way of drawing the Adams
spectral sequence.
The upshot of all of this is that as long as we are above a particular line of
slope 1/(π2 β π β 1), the π2 differentials in the loc.alg.NSS can be transferred to π2
differentials in the unlocalized spectral sequence (the alg.NSS), and using theorem
1.4.7 we obtain π2 differentials in the Adams spectral sequence. In fact, we can do
even better. Proposition 1.4.8 states the isomorphism range which one proves when
one chooses to use the bigrading (π, π) = (π + π‘, π’ + π‘). We can also prove a version
which makes full use of the trigrading (π , π‘, π’) and this allows one to obtain more
information. In particular, it allows one to show that the bottom of a principal tower
in the Adams spectral sequence always supports π2 differentials which map to the last
side tower.
To complete the story we discuss the higher Adams differentials between principal
towers and their side towers. Looking at figure 1-1 one would hope to prove that if a
21
principal tower has π side towers, then the πth side tower is the target for nontrivial
ππβπ+2 differentials. We have just addressed the case when π = π and one finds that in
the loc.alg.NSS everything goes as expected. The issue is that theorem 1.4.7 does not
exist for higher differentials. For instance, πalg.NSS2 π₯ = 0, simply says that πASS
2 π₯ has
higher Cartan-Eilenberg filtration. In this case πalg.NSS3 π₯ lives in the wrong trigrading
to give any more information about πASS2 π₯. Instead, we set up and calculate a spectral
sequence which converges to the homotopy of the π£1-periodic sphere spectrum
π£β11 π/πβ = hocolim(. . . ββ (π£π
πβ1
1 )β1π/πππββ (π£π
π
1 )β1π/ππ+1 ββ . . .).
This is the localized Adams spectral sequence for the π£1-periodic sphere (LASS-β)
π»*(π ; πβ11 π/πβ0 ) =β π*(π£
β11 π/πβ).
This spectral sequence behaves as one would like with respect to differentials between
principal towers and their side towers (i.e. in the same way as the loc.alg.NSS) and
moreover, the zig-zag of (1.4.5) consists of maps of spectral sequences, which enables
a comparison with the Adams spectral sequence. It is this calculation that allows
us to describe differentials of arbitrarily long length in the ASS. They come from
differentials between primary towers and side towers. We find such differentials in
the LASS-β, sufficiently far above the line of slope 1/(π2β πβ 1), and transfer them
across to the ASS.
In order to set up the LASS-β we prove an odd primary analog of a result of
Davis and Mahowald, which appears in [6]. This is of interest in its own right and we
state it below.
In [1] Adams shows that there is a CW spectrum π΅ with one cell in each positive
dimension congruent to 0 or β1 modulo π = 2π β 2 such that π΅ β (Ξ£βπ΅Ξ£π)(π).
Denote the skeletal filtration by a superscript in square brackets. We use the following
notation.
Notation 1.4.9. For 1 β€ π β€ π let π΅ππ = π΅[ππ]/π΅[(πβ1)π].
22
The following theorem allows a very particular construction of a π£1 self-map for
π/ππ+1.
Theorem 1.4.10. The element πππβπβ1
0 β1,π β π»ππβπ,ππ(π+1)βπβ1(π΄) is a permanent
cycle in the Adams spectral sequence represented by a map
πΌ : ππππβ1 π // π΅ππ
ππβππ // π΅ππβ1
ππβπβ1// . . . // π΅π+2
2
π // π΅π+11
π‘ // π0.
Here, π comes from the fact that the top cell of π΅[πππβ1]/π΅[(ππβπβ1)πβ1] splits off, π‘
is obtained from the transfer map π΅β1 ββ π0, and each π is got by factoring a
multiplication-by-π map.
Moreover, there is an element β ππππ(π/ππ+1) whose image in π΅ππππ(π/π) is
π£ππ
1 , and whose desuspension maps to πΌ under
ππππβ1(Ξ£β1π/ππ+1) ββ ππππβ1(π
0).
1.5 Outline of thesis
Chapter 2 is an expository chapter on spectral sequences. A correspondence approach
is presented, terminology is defined, and we say what it means for a spectral sequence
to converge. In chapter 3 we introduce all the Bockstein spectral sequences that we
use and prove their important properties, namely, that differentials in the π-BSS and
the πβ0 -BSS coincide, and that the differentials in the πβ11 -BSS are derivations.
Chapter 4 contains our first important result. After finding some vanishing lines
we examine the range in which the localization mapπ»*(π ;π/πβ0 )β π»*(π ; πβ11 π/πβ0 )
is an isomorphism. We do this from a trigraded and a bigraded perspective.
Chapter 5 contains our main results. We calculate the πβ11 -BSS and find some
differentials in the π-BSS. We address the family of differentials corresponding to the
principal towers using an explicit argument with cocycles. The family of differentials
corresponding to the side towers is obtained using a Kudo transgression theorem. A
combinatorial argument gives the πΈβ-page of the πβ11 -BSS.
23
Chapter 6 contains the calculation of the localized algebraic Novikov spectral se-
quence. The key ingredients for the calculation are the combinatorics used to describe
the πΈβ-page of the πβ11 -BSS and Millerβs calculation of the π£1-algebraic Novikov spec-
tral sequence.
In chapter 7 we construct representatives for some permanent cycles in the Adams
spectral sequence using the geometry of stunted projective spaces and the transfer
map.
In chapter 8 we set up the localized Adams spectral sequence for the π£1-periodic
sphere (LASS-β), calculate it, and demonstrate the consequences the calculation
has for the Adams spectral sequence for the sphere. Along the way we construct
a modified Adams spectral sequence for the mod ππ Moore spectrum and the PrΓΌfer
sphere. We lift the permanent cycles of the previous chapter to permanent cycles in
these spectral sequences and we complete the proof of the last theorem stated in the
introduction.
In the appendices we construct various maps of spectral sequences and check the
convergence of our spectral sequences.
24
Chapter 2
Spectral sequence terminology
Spectral sequences are used in abundance throughout this thesis. Graduate students
in topology often live in fear of spectral sequences and so we take this opportunity to
give a presentation of spectral sequences, which, we hope, shows that they are not all
that bad. We also fix the terminology which is used throughout the rest of the thesis.
All of this chapter is expository. Everything we say is surely documented in [3].
2.1 A correspondence approach
The reader is probably familiar with the notion of an exact couple which is one of the
most common ways in which a spectral sequence arises.
Definition 2.1.1. An exact couple consists of abelian groups π΄ and πΈ together with
homomorphisms π, π and π such that the following triangle is exact.
π΄
π
π΄πoo
πΈ
π
;;
Given an exact couple, one can form the associated derived exact couple. Iterating
this process gives rise to a spectral sequence. Experience has led the author to
conclude that, although this inductive definition is slick, it disguises some of the
25
important features that spectral sequences have and which are familiar to those who
work with them on a daily basis. Various properties become buried in the induction
and the author feels that first time users should not have to struggle for long periods
of time to discover these properties however rewarding that process might be.
An alternative approach exploits correspondences. A correspondence π : πΊ1 ββ
πΊ2 is a subgroup π β πΊ1 Γ πΊ2. The images of π under the projection maps are the
domain dom(π) and the image im(π) of the correspondence. We can also define the
kernel of a correspondence ker (π) β dom(π).
We will find that the picture becomes clearer, especially once gradings are intro-
duced, when we spread out the exact couple:
. . . π΄oo
π΄oo . . .πoo π΄πoo
π
. . .oo
πΈ
π
;;
πΈ
Let π : πΈΓπ΄Γπ΄ΓπΈ ββ πΈΓπΈ be the projection map. Then we make the following
definitions.
Definition 2.1.2. For each π β₯ 1 let
ππ = (π₯, , π¦, π¦) β πΈ Γ π΄Γ π΄Γ πΈ : ππ₯ = = ππβ1π¦ and ππ¦ = π¦
and ππ = π( ππ). Let π0 = πΈ Γ 0 β πΈ Γ πΈ.
. . .πoo π¦πoo_
π
π₯
8π
;;
π¦
Since π, π, π and π are homomorphisms of abelian groups ππ and ππ are subgroups of
πΈΓπ΄Γπ΄ΓπΈ and πΈΓπΈ, respectively. In particular, ππ : πΈ ββ πΈ is a correspondence.
We note that π0 is the zero homomorphism and that π1 = ππ.
26
Notation 2.1.3. We write πππ₯ = π¦ if (π₯, π¦) β ππ.
We have the following useful observations.
Lemma 2.1.4.
1. For π β₯ 1, πππ₯ is defined if and only if ππβ1π₯ = 0, i.e.
(π₯, 0) β ππβ1 ββ βπ¦ : (π₯, π¦) β ππ.
2. For π β₯ 1, ππ0 = π¦ if and only if there exists an π₯ with ππβ1π₯ = π¦, i.e.
(0, π¦) β ππ ββ βπ₯ : (π₯, π¦) β ππβ1.
We note that the first part of the lemma says that dom(ππ) = ker (ππβ1) for π β₯ 1.
The second part of the lemma has the following corollary.
Corollary 2.1.5. For π β₯ 1, the following conditions are equivalent:
1. πππ₯ = π¦ and πππ₯ = π¦β²;
2. πππ₯ = π¦ and there exists an π₯β² with ππβ1π₯β² = π¦β² β π¦.
It is also immediate from the definitions that the following lemma holds.
Lemma 2.1.6. Suppose π β₯ 1 and that πππ₯ = π¦. Then ππ π¦ = 0 for any π β₯ 1.
Spectral sequences consist of pages.
Definition 2.1.7. For π β₯ 1, let πΈπ = ker ππβ1/ im ππβ1. This is the πth page of the
spectral sequence.
One is often taught that a spectral sequence begins with an πΈ1 or πΈ2-page and
that one obtains successive pages by calculating differentials and taking homology.
We relate our correspondence approach to this one presently.
27
We have a surjection πΈπ ββ ker ππβ1/βπ im ππ , an injection
βπ ker ππ / im ππβ1 ββ
πΈπ, and the preceding lemmas show that ππ defines a homomorphism allowing us to
form the following composite which, for now, we call πΏπ.
πΈπ ββ ker ππβ1/βπ
im ππ βββπ
ker ππ / im ππβ1 ββ πΈπ.
We have an identification of the πΈπ+1-page as the homology of the πΈπ-page with
respect to the differential πΏπ. We will blur the distinction between the correspondence
ππ and the differential πΏπ, calling them both ππ.
We note that the πΈ1 page is πΈ. Our Bockstein spectral sequences have convenient
descriptions from the πΈ1-page and so we use the correspondence approach. Conse-
quently, all our differentials will be written in terms of elements on the πΈ1-page. Our
topological spectral sequences have better descriptions from the πΈ2-page. The corre-
spondence approach also allows us to write all our formulae in terms of elements of
the πΈ2-pages.
Here is some terminology that we will use freely throughout this thesis.
Definition 2.1.8. Suppose πππ₯ = π¦. Then π₯ is said to survive to the πΈπ-page and
support a ππ differential. π¦ is said to be the target of a ππ differential, to be hit by a
ππ differential, and to be a boundary. If, in addition, π¦ /β im ππβ1, then the differential
is said to be nontrivial and π₯ is said to support a nontrivial differential.
Definition 2.1.9. Elements ofβπ ker ππ are called permanent cycles.
We write πΈβ forβπ ker ππ /
βπ im ππ , permanent cycles modulo boundaries, the
πΈβ-page of the spectral sequence.
Note that lemma 2.1.6 says that targets of differentials are permanent cycles or,
said another way, elements that are hit by a differential survive to all pages of the
spectral sequence. In particular, note that we use the word hit, not kill.
28
2.2 Convergence
The purpose of a spectral sequence is to give a procedure to calculate an abelian
group of interest π . This procedure can be viewed as having three steps, which we
outline below, but first, we give some terminology.
Definition 2.2.1. A filtration of an abelian group π is a sequence of subgroups
π β . . . β πΉ π β1π β πΉ π π β πΉ π +1π β . . . β 0, π β Z.
The associated graded abelian group corresponding to this filtration is the graded
abelian groupβ¨
π βZ πΉπ π/πΉ π +1π .
The πΈβ-page of a spectral sequence should tell us about the associated graded of
an abelian group π we are trying to calculate. In particular, the πΈβ-page should be
Z-graded, so we consider the story described in the previous section, with the added
assumption that π΄ and πΈ have a Z-grading π , that π : π΄π +1 ββ π΄π , π : π΄π ββ πΈπ
and π : πΈπ ββ π΄π +1. We can redraw the exact couple as follows.
. . . π΄π oo
π΄π +1oo . . .
πoo π΄π +ππoo
π
. . .oo
πΈπ
π
::
πΈπ +π
We see that ππ has degree π and so πΈβ becomes Z-graded. In all the cases we consider
in the thesis the abelian group π we are trying to calculate will be either the limit
or colimit of the directed system π΄π π βZ.
We now describe the way in which a spectral sequence can be used to calculate
an abelian group π .
1. Define a filtration of π and an identification πΈπ β = πΉ π π/πΉ π +1π between the
πΈβ-page of the spectral sequence and the associated graded of π .
2. Resolve extension problems. Depending on circumstances this will give us either
πΉ π π for each π or π/πΉ π π for each π .
29
3. Recover π . Depending on circumstances this will either be via an isomorphism
π ββ limπ π/πΉ π π or an isomorphism colimπ πΉπ π ββπ .
In all the cases we consider, π will be graded and the filtration will respect this
grading. Thus, the associated graded will be bigraded. Correspondingly, the exact
couple will be bigraded. There are three cases which arise for us. We highlight how
each affects the procedure above.
1. Each case is determined by the way in which the filtration behaves.
(a) πΉ 0π = π andβπΉ π π = 0.
(b) πΉ 0π = 0 andβπΉ π π = π .
(c)βπΉ π π = π and keeping track of the additional gradings the identifica-
tion in the first part of the procedure becomes πΈπ ,π‘β = πΉ π ππ‘βπ /πΉ
π +1ππ‘βπ ;
moreover, for each π’ there exists an π such that πΉ π ππ’ = 0.
2. The way in which we would go about resolving extension problems varies ac-
cording to which case we are in.
(a) π/πΉ 0π = 0 so suppose that we know π/πΉ π π where π β₯ 0. The first
part of the procedure gives us πΉ π π/πΉ π +1π and so resolving an extension
problem gives π/πΉ π +1π . By induction, we know π/πΉ π π for all π .
(b) πΉ 0π = 0 so suppose that we know πΉ π +1π where π < 0. The first part of
the procedure gives us πΉ π π/πΉ π +1π and so resolving an extension problem
gives πΉ π π . By induction, we know πΉ π π for all π .
(c) This is similar to (2b). Fixing π’, there exists an π 0 with πΉ π 0ππ’ = 0. Sup-
pose that we know πΉ π +1ππ’ where π < π 0. The first part of the procedure
gives us πΉ π ππ’/πΉπ +1ππ’ and so resolving an extension problem gives πΉ π ππ’.
By induction, we know πΉ π ππ’ for all π . We can now vary π’.
3. In case (π) we need an isomorphism π ββ limπ π/πΉ π π . In cases (π) and (π)
we have an isomorphism colimπ πΉπ π ββπ .
30
When we say that our spectral sequences converge we ignore whether or not we
can resolve the extension problems. This is paralleled by the fact that, when making
such a statement, we ignore whether or not it is possible to calculate the differentials
in the spectral sequence. The point is, that theoretically, both of these issues can be
overcome even if it is extremely difficult to do so in practice. We conclude that the
important statements for convergence are given in stages (1) and (3) of our procedure
and we make the requisite definition.
Definition 2.2.2. Suppose given a graded abelian group π and a spectral sequence
πΈ** . Suppose that π is filtered, that we have an identification πΈπ
β = πΉ π π/πΉ π +1π
and that one of the following conditions holds.
1. πΉ 0π = π ,βπΉ π π = 0 and the natural map π β limπ π/πΉ π π is an isomor-
phism.
2. πΉ 0π = 0 andβπΉ π π = π .
3.βπΉ π π = π , if we keep track of the additional gradings then we have πΈπ ,π‘
β =
πΉ π ππ‘βπ /πΉπ +1ππ‘βπ , and for each π’ there exists an π such that πΉ π ππ’ = 0.
Then the spectral sequence is said to converge and we write πΈπ 1
π =β π or πΈπ
2π
=β π
depending on which page of the spectral sequence has the more concise description.
It would appear that the notation πΈπ 1
π =β π is over the top since π appears twice,
but once other gradings are recorded it is the π above the β =β β that indicates the
filtration degree.
Suppose that πΈπ 1
π =β π (or equivalently πΈπ
2π
=β π). We have some terminol-
ogy to describe the relationship between permanent cycles and elements of π .
Definition 2.2.3. Suppose that π₯ is a permanent cycle defined in πΈπ π (usually π = 1
or π = 2) and π§ β πΉ π π . Then we say that π₯ detects π§ or that π§ represents π₯, to mean
that the image of π₯ in πΈπ β and the image of π§ in πΉ π π/πΉ π +1π correspond under the
given identification πΈπ β = πΉ π π/πΉ π +1π .
Suppose that π₯ β πΈπ π detects π§ β πΉ π π . Notice that π₯ is a boundary if and only
if π§ β πΉ π +1π .
31
THIS PAGE INTENTIONALLY LEFT BLANK
32
Chapter 3
Bockstein spectral sequences
In this chapter, we set up all the Bockstein spectral sequences used in this thesis and
prove the properties that we require of them.
3.1 The Hopf algebra π and some π -comodules
Throughout this thesis π is an odd prime.
Definition 3.1.1. Let π denote the polynomial algebra over Fπ on the Milnor gen-
erators ππ : π β₯ 1 where |ππ| = 2ππ β 2. π is a Hopf algebra when equipped with
the Milnor diagonal
π ββ π β π, ππ β¦ββπβπ=0
πππ
πβπ β ππ, (π0 = 1).
Definition 3.1.2. Let π denote the polynomial algebra over Fπ on the generators
ππ : π β₯ 0 where |ππ| = 2ππ β 2. π is an algebra in π -comodules when equipped
with the coaction map
π ββ π βπ, ππ β¦ββπβπ=0
πππ
πβπ β ππ.
We write ππ‘ for the sub-π -comodule consisting of monomials of length π‘.
Note that the multiplication on π is commutative, which is the same as graded
33
commutative since everything lives in even degrees. We shall see later that π‘ is the
Novikov weight. Miller [10] also refers to π‘ as the Cartan degree.
π0 is a π -comodule primitive and so π/π0 and πβ10 π are π -comodules.
Definition 3.1.3. Defineπ/πβ0 by the following short exact sequence of π -comodules.
0 // π // πβ10 π // π/πβ0 // 0
π/πβ0 is a π-module in π -comodules.
We find that π1 β π/π0 is a comodule primitive so we may define πβ11 π/π0 which
is an algebra in π -comodules. We may also define πβ11 π/πβ0 , a π-module in π -
comodules, but this requires a more sophisticated construction, which we now outline.
Definition 3.1.4. For π β₯ 1, ππ is the sub-π -comodule of π/πβ0 defined by the
following short exact sequence of π -comodules. ππ is a π-module in π -comodules.
0 // π // πβ¨πβπ0 β© //ππ// 0.
Lemma 3.1.5. πππβ1
1 : ππ ββππ is a homomorphism of π-modules in π -comodules.
Definition 3.1.6. For each π β₯ 0 let ππ(π) = ππ. πβ11 ππ is defined to be the
colimit of the following diagram.
ππ(0)ππ
πβ1
1 //ππ(1)ππ
πβ1
1 //ππ(2)ππ
πβ1
1 //ππ(3)ππ
πβ1
1 // . . .
Definition 3.1.7. We have homomorphisms πβ11 ππ ββ πβ1
1 ππ+1 induced by the
inclusions ππ ββππ+1. πβ11 π/πβ0 is defined to be the colimit of following diagram.
πβ11 π1
// πβ11 π2
// πβ11 π3
// πβ11 π4
// . . .
Notation 3.1.8. If Q is a π -comodule then we write Ξ©*(π ;Q) for the cobar con-
struction on π with coefficients in Q. In particular, we have
Ξ©π (π ;Q) = πβπ βQ
34
where π = Fπ β π as Fπ-modules. We write [π1| . . . |ππ ]π for π1 β . . .β ππ β π. We set
Ξ©*π = Ξ©*(π ;Fπ).
We recall (see [10, pg. 75]) that the differentials are given by an alternating sum
making use of the diagonal and coaction maps. We also recall that if Q is an algebra in
π -comodules then Ξ©*(π ;Q) is a DG-Fπ-algebra; if Qβ² is a Q-module in π -comodules
then Ξ©*(π ;Qβ²) is a DG-Ξ©*(π ;Q)-module.
Definition 3.1.9. If Q is a π -comodule thenπ»*(π ;Q) is the cohomology of Ξ©*(π ;Q).
We remark that in our setting π»*(π ;Q) will always have three gradings. There
is the cohomological grading π . π and its comodules are graded and so we have an
internal degree π’. The Novikov weight π‘ on π persists to π/π0, πβ10 π, π/πβ0 , πβ1
1 π/π0,
and πβ11 π/πβ0 .
Later on, we will use an algebraic Novikov spectral sequence. From this point of
view, right π -comodules are more natural (see [2], for instance). However, Millerβs
paper [10] is such a strong source of guidance for this work that we choose to use left
π -comodules as he does there.
3.2 The π-Bockstein spectral sequence (π-BSS)
Applying π»*(π ;β) to the short exact sequence of π -comodules
0 // ππ0 // π // π/π0 // 0
gives a long exact sequence. We also have a trivial long exact sequence consisting of
the zero group every three terms and π»*(π ;π) elsewhere. Intertwining these long
exact sequences gives an exact couple, the nontrivial part, of which, looks as follows
35
(π£ β₯ 0).
π»π ,π’(π ;ππ‘βπ£)
π»π ,π’(π ;ππ‘βπ£β1)oo . . .π0oo π»π ,π’(π ;ππ‘βπ£βπ)
π0oo
π»π ,π’(π ; [π/π0]
π‘βπ£)β¨ππ£0β©
π
66
π»π ,π’(π ; [π/π0]π‘βπ£βπ)β¨ππ£+π0 β©
Here π raises the degree of π by one relative to what is indicated and the powers
of π0 are used to distinguish copies of π»*(π ;π/π0) from one another.
Definition 3.2.1. The spectral sequence arising from this exact couple is called the
π-Bockstein spectral sequence (π-BSS). It has πΈ1-page given by
πΈπ ,π‘,π’,π£1 (π-BSS) =
β§βͺβ¨βͺβ©π»π ,π’(π ; [π/π0]
π‘βπ£)β¨ππ£0β© if π£ β₯ 0
0 if π£ < 0
and ππ has degree (1, 0, 0, π).
The spectral sequence converges to π»*(π ;π) and the filtration degree is given by
π£. In particular, we have an identification
πΈπ ,π‘,π’,π£β (π-BSS) = πΉ π£π»π ,π’(π ;ππ‘)/πΉ π£+1π»π ,π’(π ;ππ‘)
where πΉ π£π»*(π ;π) = im(ππ£0 : π»*(π ;π) ββ π»*(π ;π)) for π£ β₯ 0. The identification
is given by lifting an element of πΉ π£π»*(π ;π) to the π£th copy of π»*(π ;π) and mapping
this lift down to π»*(π ;π/π0)β¨ππ£0β© to give a permanent cycle.
Remark 3.2.2. One can describe the πΈ1-page of the π-BSS more concisely as the
algebra π»*(π ;π/π0)[π0]. The first three gradings (π , π‘, π’) are obtained from the grad-
ings on the elements of π»*(π ;π/π0) and π0; the adjoined polynomial generator π0 has
π£-grading 1, whereas elements of π»*(π ;π/π0) have π£-grading 0.
Notation 3.2.3. Suppose π₯, π¦ β π»*(π ;π/π0). We write πππ₯ = π¦ to mean that for
every π£ β₯ 0, ππ£0π₯ survives to the πΈπ-page, ππ£0π¦ is a permanent cycle, and ππππ£0π₯ =
36
ππ£+π0 π¦. In this case, π₯ is said to support a ππ differential. If one of the differentials
ππππ£0π₯ = ππ£+π0 π¦ is nontrivial, then π₯ is said to support a nontrivial differential.
Lemma 3.2.4. Suppose π₯, π¦ β π»*(π ;π/π0). Then πππ₯ = π¦ in the π-BSS if and only
if there exist π and π in Ξ©*(π ;π) with ππ = ππ0π such that their images in Ξ©*(π ;π/π0)
are cocycles representing π₯ and π¦, respectively.
Proof. Suppose that πππ₯ = π¦ in the π-BSS. By definition 2.1.2 there exist and π¦
fitting into the following diagram.
π»π +1,π’(π ;ππ‘β1) . . .π0oo π»π +1,π’(π ;ππ‘βπ)
π0oo
π»π ,π’(π ; [π/π0]
π‘))
π
77
π»π +1,π’(π ; [π/π0]π‘βπ)
. . .π0oo π¦π0oo_
π₯
.
π
66
π¦
Let π΄ β Ξ©*(π ;π/π0) be a representative for π₯ and π΅ β Ξ©*(π ;π) be a representative
for π¦. There exists an π΄ β Ξ©*(π ;π) representing , and an πβ² and πΌβ² fitting into the
following diagram.
Ξ©*(π ;π)π0 //
Ξ©*(π ;π) //
π
Ξ©*(π ;π/π0)
Ξ©*(π ;π)
π0 // Ξ©*(π ;π) // Ξ©*(π ;π/π0)
πβ² //_
π΄_
π΄ // πΌβ² // 0
Moreover, there exists πΆ β Ξ©*(π ;π) such that π΄ = ππβ10π΅ + π πΆ. Let π = πβ² β π0 πΆ.
37
We see that π, like πβ², gives a lift of π΄, and that
ππ = πΌβ² β π0π πΆ = π0( π΄β π πΆ) = π0(ππβ10π΅) = ππ0 π΅.
Taking π = π΅ completes the βonly ifβ direction.
The βifβ direction is clear.
3.3 The πβ0 -Bockstein spectral sequence (πβ0 -BSS)
Applying π»*(π ;β) to the short exact sequence of π -comodules
0 // π/π0 // π/πβ0π0 // π/πβ0 // 0
gives a long exact sequence. We also have a trivial long exact sequence consisting
of the zero group every three terms and π»*(π ;π/πβ0 ) elsewhere. Intertwining these
long exact sequences gives an exact couple, the nontrivial part, of which, looks as
follows (π£ < 0).
π»π ,π’(π ; [π/πβ0 ]π‘βπ£+π)
π»π ,π’(π ; [π/πβ0 ]π‘βπ£+πβ1)oo . . .π0oo π»π ,π’(π ; [π/πβ0 ]π‘βπ£)
π0oo
π
π»π ,π’(π ; [π/π0]
π‘βπ£+π)β¨ππ£βπ0 β©
66
π»π ,π’(π ; [π/π0]π‘βπ£)β¨ππ£0β©
Here π raises the degree of π by one relative to what is indicated and the powers of
π0 are used to distinguish copies of π»*(π ;π/π0) from one another.
Definition 3.3.1. The spectral sequence arising from this exact couple is called the
πβ0 -Bockstein spectral sequence (πβ0 -BSS). It has πΈ1-page given by
πΈπ ,π‘,π’,π£1 (πβ0 -BSS) =
β§βͺβ¨βͺβ©π»π ,π’(π ; [π/π0]
π‘βπ£)β¨ππ£0β© if π£ < 0
0 if π£ β₯ 0
and ππ has degree (1, 0, 0, π). The spectral sequence converges to π»*(π ;π/πβ0 ) and
38
the filtration degree is given by π£. In particular, we have an identification
πΈπ ,π‘,π’,π£β (πβ0 -BSS) = πΉ π£π»π ,π’(π ; [π/πβ0 ]π‘)/πΉ π£+1π»π ,π’(π ; [π/πβ0 ]π‘)
where πΉ π£π»*(π ;π/πβ0 ) = ker (πβπ£0 : π»*(π ;π/πβ0 ) ββ π»*(π ;π/πβ0 )) for π£ β€ 0. The
identification is given by taking a permanent cycle in π»*(π ;π/π0)β¨ππ£0β©, mapping it
up to π»*(π ;π/πβ0 ) and pulling this element back to the 0th copy of π»*(π ;π/πβ0 ).
Remark 3.3.2. One can describe the πΈ1-page of the πβ0 -BSS more concisely as the
π»*(π ;π/π0)[π0]-module [π»*(π ;π/π0)
[π0
]]/πβ0 .
Notation 3.3.3. Suppose π₯, π¦ β π»*(π ;π/π0). We write πππ₯ = π¦ to mean that for
all π£ β Z, ππ£0π₯ and ππ£0π¦ survive until the πΈπ-page and that ππππ£0π₯ = ππ£+π0 π¦. In this case,
notice that ππ£0π₯ is a permanent cycle for π£ β₯ βπ and that ππ£0π¦ is a permanent cycle
for all π£ β Z.
Again, π₯ is said to support a ππ differential. If one of the differentials ππππ£0π₯ = ππ£+π0 π¦
is nontrivial, then π₯ is said to support a nontrivial differential.
3.4 The π-BSS and the πβ0 -BSS: a relationship
Suppose that π₯ β π»π ,π’(π ; [π/π0]π‘), π¦ β π»π +1,π’(π ; [π/π0]
π‘βπ). 3.2.3 and 3.3.3 give
meanings to the equation πππ₯ = π¦ in the π-BSS and the πβ0 -BSS, respectively. It
appears, a priori, that the truth of the equation πππ₯ = π¦ depends on which spectral
sequence we are working in. The following lemma shows that this is not the case.
Lemma 3.4.1. Suppose π₯, π¦ β π»*(π ;π/π0). Then πππ₯ = π¦ in the π-BSS if and only
if πππ₯ = π¦ in the πβ0 -BSS.
Proof. Suppose that πππ₯ = π¦ in the π-BSS. By lemma 3.2.4, we find that there
exist π and π in Ξ©*(π ;π) with ππ = ππ0π such that their images in Ξ©*(π ;π/π0) are
cocycles representing π₯ and π¦, respectively. Let π and π be the images of π and π in
Ξ©*(π ;π/π0), respectively.
39
Then we have
Ξ©*(π ;π/π0) //
Ξ©*(π ;π/πβ0 )π0 //
π
Ξ©*(π ;π/πβ0 )
Ξ©*(π ;π/π0) // Ξ©*(π ;π/πβ0 )
π0 // Ξ©*(π ;π/πβ0 )
π/ππ+10
//_
π/ππ0_
π // π/π0
// 0
and so
π»*(π ;π/πβ0 ) . . .π0oo π»*(π ;π/πβ0 )
π0oo
π
π»*(π ;π/π0)
55
π»*(π ;π/π0)
π/π0 . . .π0oo π/ππ0
π0oo
π
π₯ = π
55
π¦ = π
giving πππ₯ = π¦ in the πβ0 -BSS.
We prove the converse using induction on π. The result is clear for π = 0 since,
by convention, π0 is zero for both spectral sequences. For π β₯ 1 we have
πππ₯ = π¦ in the πβ0 -BSS
=β ππβ1π₯ = 0 in the πβ0 -BSS (Lemma 2.1.4)
=β ππβ1π₯ = 0 in the π-BSS (Induction)
=β πππ₯ = π¦β² in the π-BSS for some π¦β² (Lemma 2.1.4)
=β πππ₯ = π¦β² in the πβ0 -BSS (1st half of proof)
=β ππβ1π₯β² = π¦β² β π¦ in the πβ0 -BSS for some π₯β² (Corollary 2.1.5)
=β ππβ1π₯β² = π¦β² β π¦ in the π-BSS (Induction)
=β πππ₯ = π¦ in the π-BSS (Corollary 2.1.5)
40
which completes the proof.
3.5 The πβ11 -Bockstein spectral sequence (πβ1
1 -BSS)
We can mimic the construction of the πβ0 -BSS using the following short exact sequence
of π -comodules.
0 // πβ11 π/π0 // πβ1
1 π/πβ0π0 // πβ1
1 π/πβ0 // 0 (3.5.1)
Definition 3.5.2. The spectral sequence arising from this exact couple is called the
πβ11 -Bockstein spectral sequence (πβ1
1 -BSS). It has πΈ1-page given by
πΈ1(πβ11 -BSS) =
[π»*(π ; πβ1
1 π/π0)[π0
]]/πβ0
and ππ has degree (1, 0, 0, π). The spectral sequence converges to π»*(π ; πβ11 π/πβ0 )
and the filtration degree is given by π£. In particular, we have an identification
πΈπ ,π‘,π’,π£β (πβ1
1 -BSS) = πΉ π£π»π ,π’(π ; [πβ11 π/πβ0 ]π‘)/πΉ π£+1π»π ,π’(π ; [πβ1
1 π/πβ0 ]π‘)
where, as in the πβ0 -BSS, πΉ π£ = ker πβπ£0 for π£ β€ 0. The identification is given by
taking a permanent cycle in π»*(π ; πβ11 π/π0)β¨ππ£0β©, mapping it up to π»*(π ; πβ1
1 π/πβ0 )
and pulling this element back to the 0th copy of π»*(π ; πβ11 π/πβ0 ).
We follow the notational conventions in 3.3.3.
We notice, that as a consequence of lemma 3.4.1, a ππ-differential in the πβ0 -BSS
can be validated using only elements in Ξ©*(π ;ππ+1) (see definition 3.1.4). The same
can be said of the πβ11 -BSS and the proof is similar. The following lemma statement
makes use of the connecting homomorphism in the long exact sequence coming from
the short exact sequence of π -comodules
0 // πβ11 π/π0 // πβ1
1 ππ+1π0 // πβ1
1 ππ// 0.
41
Lemma 3.5.3. Suppose that π₯, π¦ β π»*(πβ11 π/π0) and that πππ₯ = π¦ in the πβ1
1 -BSS.
Then there exist β π»*(π ; πβ11 π1) and π¦ β π»*(π ; πβ1
1 ππ) with the properties that
= ππβ10 π¦, and under the maps
π»*(π ; πβ11 π/π0)
βΌ=ββ π»*(π ; πβ11 π1), π : π»*(π ; πβ1
1 ππ) ββ π»*(πβ11 π/π0),
π₯ is mapped to , and π¦ is mapped to π¦, respectively. We summarize this situation by
saying that πππ₯ = π¦ in the ππ+1-zig-zag.
Proof. The result is clear for π = 1 and so we proceed by induction on π. For π > 1
we have
πππ₯ = π¦ in the πβ11 -BSS
=β ππβ1π₯ = 0 in the πβ11 -BSS (Lemma 2.1.4)
=β ππβ1π₯ = 0 in the ππ-zig-zag (Induction)
=β πππ₯ = π¦β² in the ππ+1-zig-zag for some π¦β² (Lemma 2.1.4)
=β πππ₯ = π¦β² in the πβ11 -BSS
=β ππβ1π₯β² = π¦β² β π¦ in the πβ1
1 -BSS for some π₯β² (Corollary 2.1.5)
=β ππβ1π₯β² = π¦β² β π¦ in the ππ-zig-zag (Induction)
=β πππ₯ = π¦ in the ππ+1-zig-zag (Corollary 2.1.5)
which completes the proof.
We note the following simple result.
Lemma 3.5.4. In the πβ11 -BSS we have πππβ1π
Β±ππ1 = 0.
Proof. One sees that πΒ±ππ
1 /πππ
0 β Ξ©*(π ; πβ11 π/πβ0 ) is a cocycle.
We have an evident map of spectral sequences
πΈ*,*,*,** (πβ0 -BSS) ββ πΈ*,*,*,*
* (πβ11 -BSS).
42
3.6 Multiplicativity of the BSSs
The π-BSS is multiplicative because Ξ©*(π ;π) ββ Ξ©*(π ;π/π0) is a map of DG
algebras.
Lemma 3.6.1. Suppose π₯, π₯β², π¦, π¦β² β π»*(π ;π/π0) and that πππ₯ = π¦ and πππ₯β² = π¦β² in
the π-BSS. Then
ππ(π₯π₯β²) = π¦π₯β² + (β1)|π₯|π₯π¦β².
Here |π₯| and |π¦| denote the cohomological gradings of π₯ and π¦, respectively, since
every element of π , π and π/π0 has even π’ grading.
Proof. Suppose πππ₯ = π¦ and πππ₯β² = π¦β².
Lemma 3.2.4 tells us that there exist π, πβ², π, πβ² β Ξ©*(π ;π) such that their images
in Ξ©*(π ;π/π0) represent π₯, π₯β², π¦, π¦β², respectively, and such that ππ = ππ0π, ππβ² = ππ0πβ².
The image of ππβ² β Ξ©*(π ;π) in Ξ©*(π ;π/π0) represents π₯π₯β² and the image of
ππβ² + (β1)|π|ππβ² β Ξ©*(π ;π)
in Ξ©*(π ;π/π0) represents π¦π₯β² + (β1)|π₯|π₯π¦β². Since π(ππβ²) = ππ0(ππβ² + (β1)|π|ππβ²), lemma
3.2.4 completes the proof.
Corollary 3.6.2. We have a multiplication
πΈπ ,π‘,π’,π£1 (π-BSS)β πΈπ β²,π‘β²,π’β²,π£β²
1 (π-BSS) ββ πΈπ +π β²,π‘+π‘β²,π’+π’β²,π£+π£β²
1 (π-BSS)
restricting to the following maps.
ker ππ β im ππ //
im ππ
βπ ker ππ β
βπ im ππ //
βπ im ππ
ker ππ β ker ππ // ker ππ
βπ ker ππ β
βπ ker ππ //
βπ ker ππ
im ππ β ker ππ //
OO
im ππ
OO
βπ im ππ β
βπ ker ππ //
OO
βπ im ππ
OO
43
Thus we have induced maps
πΈπ ,π‘,π’,π£π (π-BSS)β πΈπ β²,π‘β²,π’β²,π£β²
π (π-BSS) ββ πΈπ +π β²,π‘+π‘β²,π’+π’β²,π£+π£β²
π (π-BSS)
for 1 β€ π β€ β. Moreover,
πΈπ ,π‘,π’,*β (π-BSS)β πΈπ β²,π‘β²,π’β²,*
β (π-BSS) ββ πΈπ +π β²,π‘+π‘β²,π’+π’β²,*β (π-BSS)
is the associated graded of the map
π»π ,π’(π ;ππ‘)βπ»π β²,π’β²(π ;ππ‘β²) ββ π»π +π β²,π’+π’β²(π ;ππ‘+π‘β²).
Lemma 3.4.1 means that we have the following corollary to the previous lemma.
Corollary 3.6.3. Suppose π₯, π₯β², π¦, π¦β² β π»*(π ;π/π0) and that πππ₯ = π¦ and πππ₯β² = π¦β²
in the πβ0 -BSS. Then
ππ(π₯π₯β²) = π¦π₯β² + (β1)|π₯|π₯π¦β².
The πβ0 -BSS is not multiplicative in the sense that we do not have a strict analogue
of corollary 3.6.2. This is unsurprising becauseπ»*(π ;π/πβ0 ) does not have an obvious
algebra structure. However, we do have a pairing between the π-BSS and the πβ0 -BSS
converging to the π»*(π ;π)-module structure map of π»*(π ;π/πβ0 ).
An identical result to lemma 3.6.1 holds for the πβ11 -BSS.
Lemma 3.6.4. Suppose π₯, π₯β², π¦, π¦β² β π»*(π ; πβ11 π/π0) and that πππ₯ = π¦ and πππ₯β² = π¦β²
in the πβ11 -BSS. Then
ππ(π₯π₯β²) = π¦π₯β² + (β1)|π₯|π₯π¦β².
Proof. Suppose that πππ₯ = π¦ in the πβ11 -BSS. We claim that for large enough π the
elements ππππ
1 π₯ and ππππ
1 π¦ lift to elements π and π in π»*(π ;π/π0) with the property
that πππ = π in the πβ0 -BSS.
By lemma 3.5.3, we have and π¦ demonstrating that πππ₯ = π¦ in the ππ+1-zig-zag.
Using definition 3.1.6 and the fact that filtered colimits commute with tensor products
and homology, we can find a π such that ππππ
1 π₯ and ππππ
1 π¦ lift to π β π»*(π ;π/π0) and
44
π β π»*(π ;ππ), respectively, and such that their images in π»*(π ;π1) coincide. Let
π β π»*(π ;π/π0) be the image of π . Then π lifts ππππ
1 π¦ and πππ = π in the πβ0 -BSS,
proving the claim.
Suppose that πππ₯ = π¦ and πππ₯β² = π¦β² in the πβ11 -BSS. For large enough π, we obtain
elements π, π β², π and π β² lifting ππππ
1 π₯, ππππ
1 π₯β², ππππ
1 π¦ and ππππ
1 π¦β², respectively, and
differentials πππ = π and πππ β² = π β² in the πβ0 -BSS. The previous corollary gives
ππ(ππβ²) = π π β² + (β1)|π|ππ β².
Mapping into the πβ11 -BSS and using lemma 3.5.3 we obtain
ππ(π2πππ
1 (π₯π₯β²)) = π2πππ
1 (π¦π₯β² + (β1)|π₯|π₯π¦β²)
in the ππ+1-zig-zag. Dividing through by π2πππ
1 completes the proof.
45
THIS PAGE INTENTIONALLY LEFT BLANK
46
Chapter 4
Vanishing lines and localization
In this chapter we prove some vanishing lines for π»*(π ;Q) with various choices of Q.
We also analyze the localization map π»*(π ;π/πβ0 ) ββ π»*(π ; πβ11 π/πβ0 ).
4.1 Vanishing lines
We make note of vanishing lines for π»*(π ;Q) in the cases (see section 3.1 for defini-
tions)
Q = π/π0, πβ11 π/π0, ππ, π
β11 ππ, π/π
β0 , π
β11 π/πβ0 .
Notation 4.1.1. We write π for |π1| = 2πβ 2.
Definition 4.1.2. For π β Zβ₯0 let π(2π ) = πππ and π(2π + 1) = πππ + π and write
π(β1) =β.
In [10] Miller uses the following result.
Lemma 4.1.3. π»π ,π’(π ; [π/π0]π‘) = 0 when π’ < π(π ) + ππ‘.
Since π1 has (π‘, π’) bigrading (1, π) we obtain the following corollary.
Corollary 4.1.4. π»π ,π’(π ; [πβ11 π/π0]
π‘) = 0 when π’ < π(π ) + ππ‘.
Lemma 4.1.5. For each π β₯ 1, π»π ,π’(π ; [ππ]π‘) = 0 whenever π’ < π(π ) + π(π‘+ 1).
47
Proof. We proceed by induction on π.
The previous corollary together with the isomorphism π»*(π ;π/π0) βΌ= π»*(π ;π1)
gives the base case.
The long exact sequence associated to the short exact sequence of π -comodules
0 ββ π1 ββ ππ+1π0ββ ππ ββ 0 shows π»π ,π’(π ; [ππ+1]
π‘) is zero provided that
π»π ,π’(π ; [π1]π‘) and π»π ,π’([ππ]π‘+1) are zero. Since π’ < π(π ) + π(π‘ + 1) implies that
π’ < π(π ) + π((π‘+ 1) + 1) the inductive step is complete.
Corollary 4.1.6. For Q = ππ, πβ11 ππ, π/π
β0 , or πβ1
1 π/πβ0 we have
π»π ,π’(π ;Qπ‘) = 0 whenever π’ < π(π ) + π(π‘+ 1).
Notation 4.1.7. We write (π, π) for (π + π‘, π’+ π‘).
Since (π + 1)π β 1 β€ π(π ) we have the following corollaries.
Corollary 4.1.8. For Q = π/π0 or πβ11 π/π0 we have
π»π ,π’(π ;Qπ‘) = 0 whenever πβ π < ππ β 1.
Corollary 4.1.9. For Q = ππ, π/πβ0 , π
β11 ππ, or πβ1
1 π/πβ0 we have
π»π ,π’(π ;Qπ‘) = 0 whenever πβ π < π(π + 1)β 1.
Lemma 4.1.10. For π β₯ 1, π»π ,π’(π ; [ππ]π‘) ββ π»π ,π’(π ; [π/πβ0 ]π‘) is
1. surjective when πβ π = ππβ1π and π β₯ ππβ1 β π.
2. injective when πβ π = ππβ1π β 1 and π β₯ ππβ1 β π+ 1;
Proof. The previous corollary tells us that π»π ,π’(π ; [π/πβ0 ]π‘) = 0 when πβ π = ππβ1π
and π β₯ ππβ1. The following exact sequence completes the proof.
π»π β1,π’(π ; [π/πβ0 ]π‘+π) // π»π ,π’(π ; [ππ]π‘) // π»π ,π’(π ; [π/πβ0 ]π‘) // π»π ,π’(π ; [π/πβ0 ]π‘+π)
48
4.2 The localization map: the trigraded perspective
In this section we analyze the map π»*(π ;π/πβ0 ) ββ π»*(π ; πβ11 π/πβ0 ). In particular,
we find a range in which it is an isomorphism. The result which allows us to do this
follows. Throughout this section π β₯ 0. Recall definition 4.1.2.
Proposition 4.2.1 ([10, pg. 81]). The localization map
π»π ,π’(π ; [π/π0]π‘) ββ π»π ,π’(π ; [πβ1
1 π/π0]π‘)
1. is injective if π’ < π(π β 1) + (2π2 β 2)(π‘+ 1)β π;
2. is surjective if π’ < π(π ) + (2π2 β 2)(π‘+ 1)β π.
This allows us to prove the following lemma which explains how we can transfer
differentials between the πβ0 -BSS and the πβ11 -BSS.
Lemma 4.2.2. Suppose π’ < π(π )+(2π2β2)(π‘+2)βπ so that proposition 4.2.1 gives a
surjection πΈπ ,π‘,π’,*1 (πβ0 -BSS)β πΈπ ,π‘,π’,*
1 (πβ11 -BSS) and an injection πΈπ +1,π‘,π’,*
1 (πβ0 -BSS)β
πΈπ +1,π‘,π’,*1 (πβ1
1 -BSS).
Suppose π₯ β πΈπ ,π‘,π’,*1 (πβ0 -BSS) maps to π₯ β πΈπ ,π‘,π’,*
1 (πβ11 -BSS) and that πππ₯ = π¦ in
the πβ11 -BSS. Then, in fact, π¦ lies in πΈπ +1,π‘,π’,*
1 (πβ0 -BSS) and πππ₯ = π¦ in the πβ0 -BSS.
Proof. We proceed by induction on π. The result is true in the case π = 0 where
π0 = 0 and the case π = 1 where ππ is a function. Suppose π > 1. Then
πππ₯ = π¦ in the πβ11 -BSS
=β ππβ1π₯ = 0 in the πβ11 -BSS (Lemma 2.1.4)
=β ππβ1π₯ = 0 in the πβ0 -BSS (Induction)
=β πππ₯ = π¦β² in the πβ0 -BSS for some π¦β² (Lemma 2.1.4)
=β πππ₯ = π¦β² in the πβ11 -BSS (Map of SSs)
=β ππβ1π₯β² = π¦β² β π¦ in the πβ1
1 -BSS for some π₯β² (Corollary 2.1.5)
=β ππβ1π₯β² = π¦β² β π¦ in the πβ0 -BSS (Induction)
=β πππ₯ = π¦ in the πβ0 -BSS (Corollary 2.1.5)
49
We remark that the statement about π¦ lying in πΈπ +1,π‘,π’,*1 (πβ0 ) is actually trivial: the
map πΈπ +1,π‘,π’,*1 (πβ0 -BSS) ββ πΈπ +1,π‘,π’,*
1 (πβ11 -BSS) is an isomorphism since π β₯ 0 implies
π(π ) < π(π + 1).
Corollary 4.2.3. πΈπ ,π‘,π’,*β (πβ0 -BSS) ββ πΈπ ,π‘,π’,*
β (πβ11 -BSS) is
1. injective if π’ < π(π β 1) + (2π2 β 2)(π‘+ 2)β π;
2. surjective if π’ < π(π ) + (2π2 β 2)(π‘+ 2)β π.
Proof. Suppose π’ < π(π ) + (2π2β 2)(π‘+ 2)β π and that π¦ β πΈπ +1,π‘,π’,*β (πβ0 -BSS) maps
to zero in πΈπ +1,π‘,π’,*β (πβ1
1 -BSS). This says that πππ₯ = π¦ for some π₯ in πΈπ ,π‘,π’,*1 (πβ0 -BSS).
By the previous lemma πππ₯ = π¦, which says that π¦ is zero in πΈπ +1,π‘,π’,*β (πβ0 -BSS). This
proves the first statement when π > 0. For π = 0, the result is clear since it holds at
the πΈ1-page and the only boundary is zero.
Suppose π’ < π(π )+(2π2β2)(π‘+2)βπ and we have an element of πΈπ ,π‘,π’,*β (πβ1
1 -BSS).
We can write this element as π₯ for π₯ β πΈπ ,π‘,π’,*1 (πβ0 -BSS). Moreover, since πππ₯ = 0 for
each π the previous lemma tells us that each πππ₯ = 0 for each π, i.e. π₯ is a permanent
cycle, as is required to prove the second statement.
Proposition 4.2.4. The localization map
π»π ,π’(π ; [π/πβ0 ]π‘) ββ π»π ,π’(π ; [πβ11 π/πβ0 ]π‘)
1. is injective if π’ < π(π β 1) + (2π2 β 2)(π‘+ 2)β π;
2. is surjective if π’ < π(π ) + (2π2 β 2)(π‘+ 2)β π.
Proof. We have π»*(π ;Q) =βπ£ πΉ
π£π»*(π ;Q) and πΉ 0π»*(π ;Q) = 0 when Q = π/πβ0
or πβ11 π/πβ0 and so the result follows from the previous corollary.
4.3 The localization map: the bigraded perspective
Recall the bigrading (π, π) of definition 4.1.7. We prove the analogues of the results
of the last section with respect to this bigrading.
50
Proposition 4.3.1 ([10, 4.7(π)]). The localization map
π»π ,π’(π ; [π/π0]π‘) ββ π»π ,π’(π ; [πβ1
1 π/π0]π‘)
1. is a surjection if π β₯ 0 and π < π(π + 1)β π β 1;
2. is an isomorphism if π β₯ 0 and π < π(π)β π β 1.
Corollary 4.3.2. The localization map
π»π ,π’(π ; [π/π0]π‘) ββ π»π ,π’(π ; [πβ1
1 π/π0]π‘)
1. is a surjection if π < π(πβ 1)π β 1, i.e. πβ π < (π2 β πβ 1)π β 1;
2. is an isomorphism if π < π(πβ 1)(π β 1)β 1,
i.e. πβ π < (π2 β πβ 1)(π β 1)β 2.
Proof. Consider π(π) = π(πβ 1)π β π(π) for π β₯ 0. We have π(1) = π(πβ 3) + 2 β₯
0 = π(0) and π(π + 2) = π(π). Thus π(πβ 1)π β π(π) β€ π(πβ 3) + 2 and so
π(πβ 1)(π β 1)β 1 β€[π(π) + π(πβ 3) + 2
]β π(πβ 1)β 1 = π(π)β π β 1.
Together with the previous proposition, this proves the claim for π β₯ 0.
When π < 0, π»π ,π’(π ; [π/π0]π‘) = 0 and so the localization map is injective. We
just need to prove that π»π ,π’(π ; [πβ11 π/π0]
π‘) = 0 whenever πβ π < (π2 β πβ 1)π β 1
and π < 0. We can only have [(πβ π) + 1]/(π2 β πβ 1) < π < 0 if (πβ π) + 1 < 0.
But then [(π β π) + 1]/π < π < 0 and the vanishing line of corollary 4.1.8 gives the
result.
This allows us to prove bigraded versions of all the results of the previous subsec-
tion. In particular, we have the following proposition.
51
Proposition 4.3.3. The localization map
π»π ,π’(π ; [π/πβ0 ]π‘) ββ π»π ,π’(π ; [πβ11 π/πβ0 ]π‘)
1. is a surjection if π < π(πβ 1)(π + 1)β 2, i.e. πβ π < (π2 β πβ 1)(π + 1)β 1;
2. is an isomorphism if π < π(πβ 1)π β 2, i.e. πβ π < (π2 β πβ 1)π β 2.
52
Chapter 5
Calculating the 1-line of the π-CSS;
its image in π»*(π΄)
This chapter contains our main result. We calculate the πβ11 -BSS
[π»*(π ; πβ1
1 π/π0)[π0
]]/πβ0
π£=β π»*(π ; πβ1
1 π/πβ0 ).
In the introduction we discussed βprincipal towersβ and their βside towers.β Our
presentation of the results is divided up in this way, too.
5.1 The πΈ1-page of the πβ11 -BSS
Our starting place for the calculation of the πβ11 -BSS is a result of Miller in [10] which
gives a description of πΈ1(πβ11 -BSS).
Definition 5.1.1. Denote by π β² the Hopf algebra obtained from π by quotienting
out the ideal generated by the image of the π-th power map π ββ π , π β¦ββ ππ.
We can make Fπ[π1] into an algebra in π β²-comodules by defining π1 to be a comod-
ule primitive. The map π/π0 ββ π/(π0, π2, π3, . . .) = Fπ[π1] is an algebra map over
the Hopf algebra map π ββ π β². Thus, we have the following induced map.
Ξ©*(π ; πβ11 π/π0) ββ Ξ©*(π β²;Fπ[πΒ±1
1 ]) (5.1.2)
53
Theorem 5.1.3 (Miller, [10, 4.4]). The map π»*(π ; πβ11 π/π0) ββ π»*(π β²;Fπ[πΒ±1
1 ]) is
an isomorphism.
[ππ] andβπβ1
π=1(β1)πβ1
π[πππ|ππβππ ] are cocycles in Ξ©*(π β²) and so they define elements
βπ,0 and ππ,0 in π»*(π β²;Fπ). The cohomology of a primitively generated Hopf algebra
is well understood and the following lemma is a consequence.
Lemma 5.1.4. π»*(π β²;Fπ) = πΈ[βπ,0 : π β₯ 1]β Fπ[ππ,0 : π β₯ 1].
Corollary 5.1.5. π»*(π ; πβ11 π/π0) = Fπ[πΒ±1
1 ]βπΈ[βπ,0 : π β₯ 1]β Fπ[ππ,0 : π β₯ 1]. The
(π , π‘, π’) trigradings are as follows.
|π1| = (0, 1, 2πβ 2), |βπ,0| = (1, 0, 2ππ β 2), |ππ,0| = (2, 0, π(2ππ β 2)).
For our work it is convenient to change these exterior and polynomial generators
by units.
Notation 5.1.6. For π β₯ 1, let π[π] = ππβ1πβ1
, ππ = πβπ[π]
1 βπ,0, and ππ = πβπΒ·π[π]
1 ππ,0.
Let π[0] = 0 and note that we have π[π+1] = ππ + π[π] = π Β· π[π] + 1 for π β₯ 0.
Corollary 5.1.7. π»*(π ; πβ11 π/π0) = Fπ[πΒ±1
1 ] β πΈ[ππ : π β₯ 1] β Fπ[ππ : π β₯ 1]. The
(π , π‘, π’) trigradings are as follows.
|π1| = (0, 1, 2πβ 2), |ππ| = (1,βπ[π], 0), |ππ| = (2, 1β π[π+1], 0).
We make note of some elements that lift uniquely to π»*(π ;π/π0).
Lemma 5.1.8. The elements
1, π2ππβ1
1 ππ, π1,0 = ππ1π1, π2ππ
1 ππ β π»*(π ; πβ11 π/π0)
have unique lifts to π»*(π ;π/π0). The same is true after multiplying by ππ1 as long as
π β₯ 0.
54
Proof. We use proposition 4.2.1. The (π , π‘, π’) trigradings of the elements in the lemma
are
(0, 0, 0), (1, 2ππβ1 β π[π], 2πππβ1), (2, 0, ππ), (2, 2ππ β π[π+1] + 1, 2πππ),
respectively. In each case (π , π‘, π’) satisfies π’ < π(π β 1) + (2π2 β 2)(π‘ + 1) β π and
π’ < π(π ) + (2π2 β 2)(π‘+ 1)β π; the key inequalities one needs are π < 2π2 β 2 and
2πππβ1 < (2π2 β 2)(2ππβ1 β π[π] + 1)β π. (5.1.9)
The latter inequality is equivalent to (π + 1)π[π] < 2ππ + π, which holds because
π β₯ 3. Since π < 2π2 β 2 multiplication by a positive power of π1 only makes things
better.
5.2 The first family of differentials, principal towers
5.2.1 Main results
Notation 5.2.1.1. We write .= to denote equality up to multiplication by an element
in FΓπ .
The main results of this section are as follows. The first concerns the πβ11 -BSS
and the second gives the corresponding result in the π-BSS.
Proposition 5.2.1.2. For π β₯ 1 and π β Z β πZ we have the following differential
in the πβ11 -BSS.
ππ[π]ππππβ1
1.
= ππππβ1
1 ππ
Proposition 5.2.1.3. Let π β₯ 1. We have the following differential in the π-BSS.
πππβ1πππβ1
1.
= β1,πβ1
Moreover, if π β Zβ πZ and π > 1, ππ[π]ππππβ1
1 is defined in the π-BSS.
55
5.2.2 Quick proofs
The differentials in the πβ11 -BSS are derivations (lemma 3.6.4) and ππ[π]π
βππ1 = 0
(lemma 3.5.4). This means that proposition 5.2.1.2 follows quickly from the following
sub-proposition.
Proposition 5.2.2.1. For π β₯ 1 we have the following differential in the πβ11 -BSS.
ππ[π]πππβ1
1.
= πππβ1
1 ππ
This is the consuming calculation of the section. Supposing this result for now,
we prove proposition 5.2.1.3.
Proof of proposition 5.2.1.3. The formula π(
[ ]πππβ1
1
)= [ππ
πβ1
1 ]πππβ1
0 in Ξ©*(π ;π), to-
gether with lemma 3.2.4 proves the first statement.
By lemma 3.4.1, we can verify the second statement in the πβ0 -BSS. We have
ππ£0ππππβ1
1 β πΈ0,πππβ1+π£,ππππβ1,π£1 (πβ0 -BSS)
and we will show that πβπ[π]β1
0 ππππβ1
1 survives to the πΈπ[π]-page. Proposition 5.2.1.2 and
lemma 4.2.2 say that it is enough to verify that (π , π‘, π’) = (0, πππβ1β π[π]β 1, ππππβ1)
satisfies π’ < π(π ) + (2π2 β 2)(π‘ + 2) β π. Since π < 2π2 β 2 the worst case is when
π = 2 where the inequality is (5.1.9).
5.2.3 The proof of proposition 5.2.2.1
We prove proposition 5.2.2.1 via the following cocycle version of the statement.
Proposition 5.2.3.1. For each π β₯ 1, there exist cocycles
π₯π β Ξ©0(π ; πβ11 π/πβ0 ), π¦π β Ξ©1(π ; πβ1
1 π/π0)
such that
1. ππ[π]β1
0 π₯π = πβ10 ππ
πβ1
1 ,
56
2. π¦π = π0π(πβ10 π₯π),
3. the image of π¦π in Ξ©1(π β²;Fπ[πΒ±11 ]) is (β1)πβ1[ππ]πβπ
[πβ1]
1 .
In the expression π0π(πβ10 π₯π), πβ1
0 π₯π denotes the element of Ξ©0(π ; πβ11 π/πβ0 ) with
the following two properties:
1. multiplying by π0 gives π₯π;
2. the denominators of the terms in πβ10 π₯π have π0 raised to a power greater than
or equal to 2.
Thus, π0π(πβ10 π₯π) gives a particular representative for the image of the class of π₯π
under the boundary map π : π»0(π ; πβ11 π/πβ0 ) ββ π»1(π ; πβ1
1 π/π0) coming from the
short exact sequence (3.5.1).
To illuminate the statement of the proposition we draw the relevant diagrams.
Ξ©0(π ; πβ11 π/πβ0 ) Ξ©0(π ; πβ1
1 π/πβ0 )ππ
[π]β10oo
π0π(πβ10 (β))
Ξ©0(π ; πβ1
1 π/π0)
55
Ξ©1(π ; πβ11 π/π0)
Ξ©0(π β²;Fπ[πΒ±1
1 ]) Ξ©1(π β²;Fπ[πΒ±11 ])
πβ10 ππ
πβ1
1 π₯πππ
[π]β10oo
_
π0π(πβ10 (β))
ππ
πβ1
1_
,
66
π¦π_
πππβ1
1 (β1)πβ1[ππ]πβπ[πβ1]
1
Passing to cohomology and using theorem 5.1.3, we see that the proposition implies
that ππ[π]πππβ1
1 = (β1)πβ1πβπ[πβ1]
1 βπ,0.
= πππβ1
1 ππ, as required.
57
We note that for the π = 1 and π = 2 cases of the proposition we can take
π₯1 = πβ10 π1, π¦1 = [π1], π₯2 = πβπβ1
0 ππ1 β πβ10 πβ1
1 π2, π¦2 = [π2]πβ11 + [π1]π
β21 π2.
Sketch proof of proposition 5.2.3.1. We proceed by induction on π. So suppose that
we have cocycles π₯π and π¦π satisfying the statements in the proposition. Write π 0π₯π
and π 0π¦π for the cochains in which we have raised every symbol to the πth power. We
claim that:
1. π 0π₯π and π 0π¦π are cocyles;
2. ππ[π+1]β2
0 π 0π₯π = πβ10 ππ
π
1 ;
3. π 0π¦π = π0π(πβ10 π 0π₯π).
Since π¦π maps to (β1)πβ1[ππ]πβπ[πβ1]
1 in Ξ©1(π β²;Fπ[πΒ±11 ]) and πππ is zero in π β², π 0π¦π
maps to 0. By theorem 5.1.3, we deduce that there exists a π€π β Ξ©0(π ; πβ11 π/π0)
with ππ€π = π 0π¦π. We summarize some of this information in the following diagram.
Ξ©*(π ; πβ11 π/π0) // Ξ©*(π ; πβ1
1 π/πβ0 ) // Ξ©*(π ; πβ11 π/πβ0 )
π€π_
π
πβ10 π 0π₯π
//_
π
π 0π₯π
π 0π¦π // πβ1
0 π 0π¦π
Let π₯π+1 = πβ10 π 0π₯πβ πβ1
0 π€π, a cocycle in Ξ©0(π ; πβ11 π/πβ0 ) and π¦π+1 = π0π(πβ1
0 π₯π+1),
a cocycle in Ξ©1(π ; πβ11 π/π0). We claim that:
1. ππ[π+1]β1
0 π₯π+1 = πβ10 ππ
π
1 ;
2. π¦π+1 = π0π(πβ10 π₯π+1);
3. the image of π¦π+1 in Ξ©1(π β²;Fπ[πΒ±11 ]) is (β1)π[ππ+1]π
βπ[π]
1 .
58
The first claim follows from the claim above that ππ[π+1]β2
0 π 0π₯π = πβ10 ππ
π
1 , since then
ππ[π+1]β1
0 π₯π+1 = ππ[π+1]β1
0 [πβ10 π 0π₯π β πβ1
0 π€π] = ππ[π+1]β2
0 π 0π₯π = πβ10 ππ
π
1 . The second
claim holds by definition of π¦π+1.
In order to convert the sketch proof into a proof we must prove the first three
claims and the final claim. The next lemma takes care of the first two claims.
Lemma 5.2.3.2. Suppose that π₯ β Ξ©0(π ; πβ11 π/πβ0 ) and π¦ β Ξ©1(π ; πβ1
1 π/π0) are
cocycles. Then π 0π₯ and π 0π¦ are cocyles, too. Moreover, ππ[π]β1
0 π₯ = πβ10 ππ
πβ1
1 implies
ππ[π+1]β2
0 π 0π₯ = πβ10 ππ
π
1 .
Proof. The result is clear for π 0π¦ since Fr : π ββ π , π β¦ββ ππ is a Hopf algebra map
and πβ11 π/π0 ββ πβ1
1 π/π0, q β¦ββ qπ is an algebra map over Fr.
Suppose that π₯ and π 0π₯ involve negative powers of π0 at worst πβπ0 and that π₯
involves negative powers of π1 at worst πβπ1 . Then we have the following sequence of
injections (recall definitions 3.1.4 through 3.1.7).
Ξ©*(π ;ππ(π)) // Ξ©*(π ;ππ(ππ)) // Ξ©*(π ; πβ11 ππ) // Ξ©*(π ; πβ1
1 π/πβ0 )
ππππβ1
1 π₯ // π₯ // π₯
ππππ
1 π 0π₯ // π 0π₯ // π 0π₯
Since π₯ is a cocycle in Ξ©0(π ; πβ11 π/πβ0 ), πππ
πβ1
1 π₯ is a cocycle in Ξ©0(π ;ππ(π)). Thus,
ππππ
1 π 0π₯ is a cocycle in Ξ©0(π ;ππ(ππ)) and π 0π₯ is a cocycle in Ξ©0(π ; πβ11 π/πβ0 ). Also,
ππ[π]β1
0 π₯ = πβ10 ππ
πβ1
1 =β ππΒ·π[π]βπ
0 π 0π₯ = πβπ0 πππ
1 =β ππΒ·π[π]β1
0 π 0π₯ = πβ10 ππ
π
1 .
The proof is completed by noting that π Β· π[π] β 1 = π[π+1] β 2.
The next lemma takes care of the third claim.
Lemma 5.2.3.3. Suppose π₯ β Ξ©0(π ; πβ11 π/πβ0 ) is a cocycle and that
π0π(πβ10 π₯) = π¦ β Ξ©1(π ; πβ1
1 π/π0).
Then π0π(πβ10 π 0π₯) = π 0π¦ β Ξ©1(π ; πβ1
1 π/π0).
59
Proof. Suppose that πβ10 π₯ and πβπ0 π 0π₯ involve negative powers of π0 at worst πβπ0 and
that πβ10 π₯ involves negative powers of π1 at worst πβπ1 . Then we have the following
sequence of injections (recall definitions 3.1.4 through 3.1.7).
Ξ©*(π ;ππ(π)) // Ξ©*(π ;ππ(ππ)) // Ξ©*(π ; πβ11 ππ) // Ξ©*(π ; πβ1
1 π/πβ0 )
ππππβ1
1 πβ10 π₯ // πβ1
0 π₯ // πβ10 π₯
ππππ
1 πβπ0 π 0π₯ // πβπ0 π 0π₯ // πβπ0 π 0π₯
We have
π(ππππ
1 πβπ0 π 0π₯) = π 0π(ππππβ1
1 πβ10 π₯) β Ξ©1(π ;ππ(ππ))
and so
π(πβπ0 π 0π₯) = πβπππ
1 π(ππππ
1 πβπ0 π 0π₯) = π 0
[πβππ
πβ1
1 π(ππππβ1
1 πβ10 π₯)
]= π 0π(πβ1
0 π₯)
(5.2.3.4)
in Ξ©1(π ; πβ11 π/πβ0 ). We obtain
π0π(πβ10 π 0π₯) = π0π(ππβ1
0 (πβπ0 π 0π₯)) = ππ0π(πβπ0 π 0π₯) = π 0(π0π(πβ10 π₯)) = π 0π¦
where the penultimate equality comes from the preceding observation.
Proof of proposition 5.2.3.1. We are just left with the final claim, that the image of
π¦π+1 in Ξ©1(π β²;Fπ[πΒ±11 ]) is (β1)π[ππ+1]π
βπ[π]
1 .
Recall that π¦π+1 is defined to be π0π(πβ10 π₯π+1) and that π₯π+1 is πβ1
0 π 0π₯π β πβ10 π€π.
We summarize this in the following diagram.
Ξ©*(π ; πβ11 π/π0) // Ξ©*(π ; πβ1
1 π/πβ0 ) // Ξ©*(π ; πβ11 π/πβ0 )
πβ10 π₯π+1 = πβ2
0 π 0π₯π β πβ20 π€π
//_
π
π₯π+1
π¦π+1 // πβ1
0 π¦π+1
60
When considering the image of π¦π+1 in Ξ©1(π β²;Fπ[πΒ±11 ]) we can ignore contributions
arising from πβ20 π 0π₯π since (5.2.3.4) gives
π(πβ20 π 0π₯π) = ππβ2
0 π 0π(πβ10 π₯π)
and so all terms involve a ππ raised to a π-th power. Let
π€β²π = π€π + (β1)ππβπ
[π]
1 ππ+1 β Ξ©0(π ; πβ11 π/π0)
so that
βπβ20 π€π = (β1)ππβ2
0 πβπ[π]
1 ππ+1 β πβ20 π€β²
π β Ξ©0(π ; πβ11 π/πβ0 ).
As an example, we recall that
π₯1 = πβ10 π1, π¦1 = [π1], π₯2 = πβπβ1
0 ππ1 β πβ10 πβ1
1 π2, π¦2 = [π2]πβ11 + [π1]π
β21 π2;
we have
π€1 = πβ11 π2, π€
β²1 = 0, π€2 = πβ2πβ1
1 ππ+12 β πβπβ1
1 π3, π€β²2 = πβ2πβ1
1 ππ+12 .
We consider the contributions from the two terms in the expression for βπβ20 π€π
separately.
Lemma 5.2.3.5. The only term of π(πβ20 πβπ
[π]
1 ππ+1), which is relevant to the image
of π¦π+1 in Ξ©1(π β²;Fπ[πΒ±11 ]), is [ππ+1]π
β10 πβπ
[π]
1 .
Proof. Recall definitions 3.1.4 and 3.1.6. We have a π -comodule map
π2(π[πβ1] + 1) ββ πβ1
1 π2 β πβ11 π/πβ0 , πβ2
0 ππβ11 ππ+1 β¦ββ πβ2
0 πβπ[π]
1 ππ+1.
Under the coaction map π ββ π βπ, we have
ππβ11 β¦ββ
βπ+π=πβ1
(β1)πππ1 β ππ0ππ1 and ππ+1 β¦ββ
βπ+π =π+1
πππ
π β ππ .
61
Under the coaction map πβ10 π ββ π β πβ1
0 π, we have
πβ20 ππβ1
1 ππ+1 β¦βββ
π+π=πβ1
βπ+π =π+1
(β1)πππ1πππ
π β ππβ20 ππ1ππ
so that under the coaction map πβ11 π/πβ0 ββ π β πβ1
1 π/πβ0 , we have
πβ20 πβπ
[π]
1 ππ+1 β¦βββ
π+π=πβ1
π=0,1
βπ+π =π+1
(β1)πππ1πππ
π β ππβ20 π
πβπ(π[πβ1]+1)1 ππ .
We know that terms involving πβ20 must eventually cancel in some way so we ignore
these. Because we are concerned with an image in Ξ©1(π β²;Fπ[πΒ±11 ]) we ignore terms
involving ππβs raised to a power greater than or equal to π and terms involving ππβs
other than π1 and π0. Since π β₯ 1, we are left with the term corresponding to π = 0,
π = π+ 1, π = 0 and π = πβ 1: it is ππ+1 β πβ10 πβπ
[π]
1 .
The proof of proposition 5.2.3.1 is almost complete. We just need to show that
π(πβ20 π€β²
π) contributes nothing to the image of π¦π+1 in Ξ©1(π β²;Fπ[πΒ±11 ]). Recall that
π€β²π = π€π + (β1)ππβπ
[π]
1 ππ+1 β Ξ©0(π ; πβ11 π/π0)
and that ππ€π = π 0π¦π.
Denote by π β²β² the Hopf algebra obtained from π by quotienting out the ideal
generated by the image of the map π ββ π , π β¦ββ ππ2 .
Lemma 5.2.3.6.
ππ€β²π = π 0π¦π + (β1)π
βπ+π=π+1
π,πβ₯1
[πππ
π ]πβπ[π]
1 ππ β Ξ©1(π ; πβ11 π/π0)
is in the kernel of the map π β πβ11 π/π0 ββ π β²β² β Fπ[πΒ±1
1 ].
Proof. By the inductive hypothesis π¦π β‘ (β1)πβ1[ππ]πβπ[πβ1]
1 modulo the kernel of
π β πβ11 π/π0 ββ π β² β Fπ[πΒ±1
1 ]. So π 0π¦π β‘ (β1)πβ1[πππ]πβπ[π]+1
1 modulo the kernel of
62
π β πβ11 π/π0 ββ π β²β²βFπ[πΒ±1
1 ]. (β1)πβ1[πππ]πβπ[π]+1
1 cancels with the π = 1 term of the
summation in the lemma statement.
Corollary 5.2.3.7. For each monomial π of π€β²π not equal to a power of π1, there
exists a π > 1 such that πππ divides π .
Proof. The map πβ11 π/π0 ββ π β πβ1
1 π/π0 ββ π β Fπ[πΒ±11 ] takes
ππ1π1Β· Β· Β· πππππ
β¦ββ ππ1ππ1β1 Β· Β· Β· ππππππβ1 β π
βππ
1
and so it is injective with image Fπ[ππ1 , ππ2 , π
π3 , . . .] β Fπ[πΒ±1
1 ]. One sees that elements
ππ1π1Β· Β· Β· πππππ
with π β₯ 2, 1 = π1 < . . . < ππ, π1 β Z, π2, . . . , ππ β 1, 2, . . . , πβ 1 are not
sent to ker (π ββ π β²β²) β Fπ[πΒ±11 ]. By the previous lemma, each monomial of π€β²
π not
equal to a power of π1 must contain some ππ (π > 1) raised to a power greater than
or equal to π.
Since powers of π1 β Ξ©0(π ; πβ11 π/π0) are cocycles we can assume that π€π and π€β²
π
do not contain powers of π1 as monomials.
Suppose no power of π1 worse than πβππ1 appears in π€β²π. Making use of the map
(see definitions 3.1.4 and 3.1.6)
Ξ©*(π ;π2(π)) ββ Ξ©*(π ; πβ11 π2) β Ξ©*(π ; πβ1
1 π/πβ0 ), πβ20 πππ1 π€
β²π β¦ββ πβ2
0 π€β²π
we see that it is sufficient to analyze π(πβ20 πππ1 π€
β²π). Viewing πππ1 π€β²
π as lying in Ξ©0(π ;π),
we care about terms of π(πππ1 π€β²π) involving a single power of π0. From the previous
corollary we see that the boundary of every monomial in π€β²π will involve terms which
consist of either a ππ raised to a power greater than or equal to π or a ππ with π > 1.
We conclude that the contribution from π(πβ20 π€β²
π) is zero in Ξ©1(π β²;Fπ[πΒ±11 ]).
Proving the part of proposition 5.3.1.2 which is left to section 5.3.4 relies heavily
on the ideas used in the previous proof. One may like to look ahead to that proof
while the ideas are still fresh.
63
5.3 The second family of differentials, side towers
5.3.1 Main results
The main results of this section are as follows. The first concerns the πβ11 -BSS and
the second gives the corresponding result in the π-BSS.
Proposition 5.3.1.1. For π β₯ 1 and π β Z we have the following differential in the
πβ11 -BSS.
πππβ1ππππ
1 ππ.
= ππππ
1 ππ
Proposition 5.3.1.2. Let π β₯ 1. Then πππ
1 ππ β π»*(π ; πβ11 π/π0) lifts to an element
π»*(π ;π/π0) which we also denote by πππ
1 ππ. We have the following differential in the
π-BSS.
πππβπ[π]πππ
1 ππ.
= π1,πβ1
Moreover, if π β Z and π > 1, πππβ1ππππ
1 ππ is defined in the π-BSS.
5.3.2 Quick proofs
The differentials in the πβ11 -BSS are derivations (lemma 3.6.4) and πππβ1π
Β±ππ1 = 0
(lemma 3.5.4). This means that proposition 5.3.1.1 follows quickly from the following
sub-proposition.
Proposition 5.3.2.1. For π β₯ 1 we have the following differential in the πβ11 -BSS.
πππβ1πππ(π+1)1 ππ
.= π
ππ(π+1)1 ππ
In this subsection, we prove this proposition assuming the following Kudo trans-
gression theorem.
Recall lemma 5.1.8, which says that πππβ1(π+1)
1 ππ and πππ(π+1)1 ππ have unique lifts
to π»*(π ;π/π0). We denote the lifts by the same name.
Proposition 5.3.2.2 (Kudo transgression). Suppose π₯, π¦ β π»*(π ;π/π0), π₯ has co-
homological degree 0, π¦ has cohomological degree 1, and that πππ₯ = π¦ in the π-BSS.
64
Then we have π(πβ1)ππ₯πβ1π¦
.= β¨π¦β©π, where β¨π¦β©π will be defined in the course of the
proof.
Moreover, β¨πππβ1(π+1)
1 ππβ©π = πππ(π+1)1 ππ in π»*(π ;π/π0).
The Kudo transgression theorem is the consuming result of this section. Supposing
it for now, we prove proposition 5.3.2.1 and proposition 5.3.1.2, save for the claim
about πππβπ[π]πππ
1 ππ.
Proof of proposition 5.3.2.1. Proposition 5.2.1.2, proposition 5.2.1.3 and lemma 5.1.8
tells us that
ππ[π]πππβ1(π+1)1
.= π
ππβ1(π+1)1 ππ
in the π-BSS. By the Kudo transgression theorem we have
πππβ1πππ(π+1)1 ππ
.= π
ππ(π+1)1 ππ
in the π-BSS and hence (lemma 3.4.1), the πβ11 -BSS.
Proof of part of proposition 5.3.1.2. By lemma 3.4.1, we can verify the last statement
in the πβ0 -BSS. We have
ππ£0ππππ
1 ππ β πΈ1,πππβπ[π]+π£,ππππ,π£1 (πβ1 -BSS).
Consider the case π£ = βππ. By proposition 5.3.1.1 and lemma 4.2.2, it is enough to
show that (π , π‘, π’) = (1, πππβ π[π]β ππ, ππππ) satisfies π’ < π(π ) + (2π2β 2)(π‘+ 2)β π.
The worst case is when π = 2 where the inequality is implied by (5.1.9).
5.3.3 A Kudo transgression theorem
Suppose given a connected commutative Hopf algebra P, a commutative algebra Q in
P-comodules, and suppose that all nontrivial elements of P and Q have even degree.
In order to prove proposition 5.3.2.2, we mimic theorem 3.1 of [9] to define natural
operations
π½π 0 : Ξ©0(P;Q) ββ Ξ©1(P;Q).
65
Once these operations have been defined and we have observed their basic properties
the proof of the Kudo transgression proposition follows quickly.
The reader should refer to [10, pg. 75-76] for notation regarding twisting mor-
phisms and twisted tensor products. We write π for the universal twisting morphism
instead of [ ].
The first step towards proving the existence of the operation π½π 0 is to describe a
map
Ξ¦ : π β Ξ©*(P;Q)βπ ββ Ξ©*(P;Q),
which acts as the π appearing in [9, theorem 3.1]. This can be obtained by dualizing
the construction in [9, lemma 11.3]. Conveniently, this has already been documented
in [5, lemma 2.3].
0 // Q //
πQ π0
0 //
π1
0 //
π2
. . .
0 // PβQπ //
πβ1 π0
PβPβQπ //
π1
PβPβPβQπ //
π2
. . .
0 // Q // 0 // 0 // . . .
Consider the diagram above. The top and bottom row are equal to the chain complex
consisting of Q concentrated in cohomological degree zero and the middle row is the
chain complex P βπ Ξ©*(P;Q). We have the counit π : P ββ Fπ and the coaction
πQ : Q ββ P βQ. The definition of a P-comodule gives 1 β ππ = 0. We also have
1β ππ = ππ + ππ where π is the contraction defined by
π(π0[π1| . . . |ππ ]π) = π(π0)π1[π2| . . . |ππ ]π.
[Note that just for this section π no longer means 2πβ 2.]
Let πΆπ denote the cyclic group of order π and let π be the standard Fπ[πΆπ]-free
resolution of Fπ (see [5, definition 2.2]). We are careful to note that the boundary map
66
in π decreases degree. Following Brunerβs account in [5, lemma 2.3], we can extend
the multiplication map displayed at the top of the following diagram and construct
Ξ¦, a πΆπ-equivariant map of DG P-comodules (with Ξ¦(ππβ [Pβπ Ξ©*(P;Q))βπ]π) = 0
if ππ > (πβ 1)π).
Qβπ //
π0βπβπ
Q
π
π β (Pβπ Ξ©*(P;Q))βπ Ξ¦ // Pβπ Ξ©*(P;Q)
Precisely, we make the following definition.
Definition 5.3.3.1.
Ξ¦ : π β (Pβπ Ξ©*(P;Q))βπ ββ Pβπ Ξ©*(P;Q)
is the map obtained by applying [5, lemma 2.3] to the following set up:
1. π = π, π = β¨(1 2 Β· Β· Β· π)β© = πΆπ and π± = π ;
2. (π ,π΄) = (Fπ,P), π = π = Q and πΎ = πΏ = Pβπ Ξ©*(P;Q);
3. π : πβπ ββ π is the iterated multiplication Qβπ ββ Q.
Letβs recall the construction. Bruner defines
Ξ¦π,π : ππ β [Pβπ Ξ©*(P;Q)βπ]π ββ Pβπ Ξ©πβπ(P;Q)
inductively. The gradings here are all (co)homological gradings.
As documented in [16, pg. 325, A1.2.15] there is a natural associative multiplica-
tion
(Pβπ Ξ©*(P;Q))βΞ (Pβπ Ξ©*(P;Q)) ββ Pβπ Ξ©*(P;Q)
π[π1| Β· Β· Β· |ππ ]π Β· πβ²[πβ²1| Β· Β· Β· πβ²π‘]πβ² =β
ππβ²(0)[π1πβ²(1)| Β· Β· Β· |ππ πβ²(π )|π(1)πβ²1| Β· Β· Β· |π(π‘)πβ²π‘]π(π‘+1)π
β².
(5.3.3.2)
67
Here,βπβ²(0) β Β· Β· Β· β πβ²(π ) β Pβ(π +1) is the π -fold diagonal of πβ² β P and
βπ(1) β Β· Β· Β· β
π(π‘+1) β Pβπ‘βQ is the π‘-fold diagonal of π β Q. Also, βΞ denotes the internal tensor
product in the category of P-comodules as in [10, pg. 74]; one checks directly that
the multiplication above is a P-comodule map.
Iterating this multiplication gives a map
(Pβπ Ξ©*(P;Q))βπ ββ Pβπ Ξ©*(P;Q)
which determines Ξ¦0,*.
Suppose we have defined Ξ¦πβ²,π for πβ² < π. Since Ξ¦π,π = 0 for π < π we may suppose
that we have defined Ξ¦π,πβ² for πβ² < π. We define Ξ¦π,π using πΆπ-equivariance, the
adjunction
P-comodulesforget // Fπ-modulesπβ(β)
oo π // π
and the contracting homotopy
π =
πβπ=1
(ππ)πβ1 β π β 1πβπ.
In particular, we define Ξ¦π,π on ππ β π₯ by
Ξ¦π,π = ([πΞ¦π,πβ1]βΌ β [Ξ¦πβ1,πβ1(πβ 1)]βΌ)(1β π ).
Our choice of Ξ¦ is natural in P and Q because we specified the multiplication
determining Ξ¦0,* and the contracting homotopy π in a natural way.
Ξ¦ restricts to a natural πΆπ-equivariant DG homomorphism
Ξ¦ : π β Ξ©*(P;Q)βπ ββ Ξ©*(P;Q).
In the proof of proposition 5.3.2.2 we need the fact that Ξ¦ interacts nicely with
P-comodule primitives.
68
Definition 5.3.3.3. Suppose that π₯ β PβπΞ©*(P;Q) and that π β Q is a P-comodule
primitive. We write ππ₯ for π₯ Β· 1[]π.
Lemma 5.3.3.4. Suppose that π β Q is P-comodule primitive. Then
Ξ¦(ππ β ππ1π₯1 β Β· Β· Β· β ππππ₯π) = πβ
π ππΞ¦(ππ β π₯1 β Β· Β· Β· β π₯π).
Proof. A special case of formula (5.3.3.2) gives
πβ²[πβ²1| Β· Β· Β· |πβ²π ]πβ² Β· 1[]π = πβ²[πβ²1| Β· Β· Β· |πβ²π ]πβ²π.
Since π β Q is a P-comodule primitive we also obtain
1[]π Β· πβ²[πβ²1| Β· Β· Β· πβ²π‘]πβ² = πβ²[πβ²1| Β· Β· Β· |πβ²π‘]πβ²π;
left and right multiplication by 1[]π agree. This observation proves the π = 0 case of
the result since Ξ¦0,*(π0 β β β . . . β β) is equal to the map (P βπ Ξ©*(P;Q))βπ ββ
Pβπ Ξ©*(P;Q). We can now make use of the inductive formula
Ξ¦π,π = ([πΞ¦π,πβ1]βΌ β [Ξ¦πβ1,πβ1(πβ 1)]βΌ)(1β π ).
πQ, π β 1, and π commute with multiplication by π and so 1 β π commutes with
multiplication by 1βππ1β . . .βπππ . By an inductive hypothesis we can suppose Ξ¦π,πβ1
and Ξ¦πβ1,πβ1 have the required property. It follows that πΞ¦π,πβ1 and Ξ¦πβ1,πβ1(π β 1)
have the required property. The same is true of their adjoints and so the result holds
for the adjoint of Ξ¦π,π and thus for Ξ¦π,π itself.
We finally define π½π 0 : Ξ©0(P;Q) ββ Ξ©1(P;Q) and note a couple of its properties.
One should read the proof of [9, theorem 3.1]; this definition mimics that of π½π0 :
πΎ0 β πΎβ1. In particular, we take π = π = 0 and the reader will note that we omit a
π(β1) in our definition.
Definition 5.3.3.5. Let π β Ξ©0(P;Q). We define π½π 0π β Ξ©1(P;Q) as follows.
69
1. Let π = ππ β Ξ©1(P;Q).
2. We define π‘π β Ξ©*(P;Q)βπ for 0 < π < π.
In the following two formulae juxtaposition denotes tensor product.
Write π = 2π+ 1 and define for 0 < π β€ π
π‘2π = (π β 1)!βπΌ
ππ1π2ππ2π2 Β· Β· Β· ππππ2
summed over all π-tuples πΌ = (π1, . . . , ππ) such thatβ
π ππ = πβ 2π.
Define for 0 β€ π < π
π‘2π+1 = π!βπΌ
ππ1π2 Β· Β· Β· ππππ2πππ+1π
summed over all (π + 1)-tuples πΌ = (π1, . . . , ππ+1) such thatβ
π ππ = πβ 2π β 1.
3. Define π β π β Ξ©*(P;Q)βπ by
π =πβπ=1
(β1)π [ππβ2πβ1 β π‘2π β ππβ2π β π‘2πβ1] ,
so ππ = βππβ2 β ππ [9, 3.1(8)].
4. π½π 0π is defined to be Ξ¦π.
Naturality of π½π 0 follows from the naturality of Ξ¦. Using the observation made
in part (3) of the definition we immediately obtain the following lemma.
Lemma 5.3.3.6. Let π β Ξ©0(P;Q). Then π(π½π 0π) = βΞ¦(ππβ2 β (ππ)π).
Moreover, we make the following definition.
Definition 5.3.3.7. Given π β Ξ©1(P;Q), we define β¨πβ©π to be the element
Ξ¦(ππβ2 β ππ) β Ξ©2(P;Q).
70
If π¦ β π»1(P;Q) is represented by π, then β¨π¦β©π β π»2(P;Q) is defined to be the class
of β¨πβ©π.
The fact that β¨π¦β©π is well-defined is used in [9, definition 2.2].
We are now ready to prove the first statement in the proposition.
Proof of the first part of proposition 5.3.2.2. By lemma 3.2.4 there exists π and π in
Ξ©*(π ;π) with ππ = ππ0π such that their images π and π in Ξ©*(π ;π/π0) are cocycles
representing π₯ and π¦, respectively.
Consider π½π 0π. To get a grasp on what this element looks like we need to go back
to definition 5.3.3.5. Since ππ = ππ0π we should stare at the definition but replace π by
ππ0π. We note that the sum defining π involves π‘1, . . . , π‘2π. π‘2π is given by
(πβ 1)!πβ1βπ=0
π2π(ππ0π)π2πβ2π.
There are only single (ππ0π)βs in each term, whereas the terms in the sums defining
π‘1, . . . , π‘2πβ1 all involve at least two (ππ0π)βs. By lemma 5.3.3.4, π½π 0π is divisible by
ππ0 and the image of π΄ = (π½π 0π)/ππ0 in Ξ©1(π ;π/π0) is a unit multiple of the image of
Ξ¦(π0 β π‘2π)/ππ0 in Ξ©1(π ;π/π0). This latter image is equal to
π΄ = (πβ 1)!πβ1βπ=0
π2π π π2πβ2π,
where juxtaposition now denotes multiplication.
On the other hand, lemma 5.3.3.6, lemma 5.3.3.4 and definition 5.3.3.7 give
π(π½π 0π).
= Ξ¦(ππβ2 β (ππ0π)π) = πππ0 Ξ¦(ππβ2 β ππ) = πππ0 β¨πβ©π.
Letting π΅ = π(π½π 0π)/πππ0 gives ππ΄ = π(πβ1)π0 π΅, and the image π΅ of π΅ in Ξ©2(π ;π/π0)
is a unit multiple of β¨πβ©π, which represents β¨π¦β©π.
The formula for π΄ above, shows that it represents a unit multiple of π₯πβ1π¦ and so
we deduce from lemma 3.2.4 that π(πβ1)ππ₯πβ1π¦
.= β¨π¦β©π.
71
To complete the proof of proposition 5.3.2.2 we need the following lemma.
Lemma 5.3.3.8. Let P be the primitively generated Hopf algebra Fπ[π]/(ππ) where
the degree of π is even. Let β and π be classes in π»*(P;Fπ) which are represented in
Ξ©*P by [π] andπβ1βπ=1
(β1)πβ1
π[ππ|ππβπ],
respectively. Then β¨ββ©π .= π.
Proof. This follows from remarks 6.9 and 11.11 of [9]. Beware of the different use
of notation: our β¨π¦β©π is Mayβs π½π 0π¦ and May defines β¨π¦β©π using the βͺ1-product
associated to Ξ©*P.
Finishing the proof of proposition 5.3.2.2. The previous lemma gives β¨βπ,0β©π.
= ππ,0 in
π»*(Fπ[ππ]/(πππ);Fπ). Since π1 is primitive, definition 5.3.3.7 and lemma 5.3.3.4 show
that
β¨πππβ1(π+1)
1 ππβ©π = β¨πππβπ[πβ1]
1 βπ,0β©π.
= πππ+1βπΒ·π[πβ1]
1 ππ,0 = πππ(π+1)1 ππ
in π»*(Fπ[ππ]/(πππ);Fπ[πΒ±11 ]). We use naturality to transfer the required identity from
π»*(Fπ[ππ]/(πππ);Fπ[πΒ±11 ]) to π»*(π ;π/π0). We have homomorphisms
π»*(Fπ[ππ]/(πππ);Fπ[πΒ±11 ]) // π»*(π β²;Fπ[πΒ±1
1 ]) π»*(π ; πβ11 π/π0)oo π»*(π ;π/π0).oo
The first is induced by the inclusion Fπ[ππ]/(πππ) ββ π β². Theorem 5.1.3 tells us that
the second is an isomorphism. Lemma 5.1.8 says that πππβ1(π+1)
1 ππ and πππ(π+1)
1 ππ have
unique lifts to π»*(π ;π/π0). This completes the proof.
5.3.4 Completing the proof of proposition 5.3.1.2
We are left to show that πππβπ[π]πππ
1 ππ.
= π1,πβ1 for π β₯ 1. The π = 1 case
ππβ1ππβ11 β1,0
.= π1,0
72
is given by proposition 5.3.1.1 and lemma 5.1.8 or by noting the following formula in
Ξ©*(π ;π) and using lemma 3.2.4.
π
[πβ1βπ=1
(β1)π
π[ππ1]π
πβ10 ππβπ1
]=
πβ1βπ=1
(β1)πβ1
π[ππ1|π
πβπ1 ]ππβ1
0
Suppose that for some π β₯ 1 we have ππ β Ξ©1(π ;π) and ππ β Ξ©2(π ;π), such that
1. ππ maps to (β1)π[ππ]πππβπ[π]
1 in Ξ©1(π β²;Fπ[π1]);
2. ππ maps toβπβ1
π=1(β1)πβ1
π[πππ
πβ1
1 |π(πβπ)ππβ1
1 ] in Ξ©2(π ;π/π0);
3. πππ = πππβπ[π]
0 ππ.
π 0ππ lies in the injectivity range of proposition 4.2.1 and so using theorem 5.1.3
together with the diagram below we see that Ξ©*(π ;π/π0) ββ Ξ©*(π β²;Fπ[π1]) induces
an injection on homology in this tridegree.
π»*(π ;π/π0) //
π»*(π ; πβ11 π/π0)
βΌ=
π»*(π β²;Fπ[π1]) // π»*(π β²;Fπ[πΒ±1
1 ])
We note that π 0ππ maps to zero in Ξ©1(π β²;Fπ[π1]), and so, because Ξ©*(π ;π) ββ
Ξ©*(π ;π/π0) is surjective, we can find a π€π β Ξ©0(π ;π) such that ππ€π = π 0ππ in
Ξ©1(π ;π/π0). In particular, π 0ππ β ππ€π is divisible by π0. Let
ππ+1 =π 0ππ β ππ€π
π0.
We claim that ππ+1 and ππ+1 = π 0ππ β Ξ©*(π ;π) satisfy the following conditions.
1. ππ+1 maps to (β1)π+1[ππ+1]πππ+1βπ[π+1]
1 in Ξ©1(π β²;Fπ[π1]);
2. ππ+1 maps toβπβ1
π=1(β1)πβ1
π[πππ
π
1 |π(πβπ)ππ1 ] in Ξ©2(π ;π/π0);
3. πππ+1 = πππ+1βπ[π+1]
0 ππ+1.
73
The second condition is clear. To see the last condition, note that πππ = πππβπ[π]
0 ππ
implies ππ 0ππ = πππ+1βπΒ·π[π]
0 π 0ππ = πππ+1βπ[π+1]+1
0 ππ+1, and so
πππ+1 = π
(π 0ππ β ππ€π
π0
)=ππ 0πππ0
= πππ+1βπ[π+1]
0 ππ+1.
For the first condition, we note that π 0ππ will not contribute to the image of ππ+1 in
Ξ©1(π β²;Fπ[π1]). Moreover, since
ππ€π = π 0ππ = (β1)π[πππ]πππ+1βπΒ·π[π]
1
in π β²β² β Fπ[π1], we see, as in the proof of proposition 5.2.3.1, that the only relevant
term of π€π is (β1)ππππ+1βπ[π+1]
1 ππ+1, and that it contributes (β1)π+1[ππ+1]πππ+1βπ[π+1]
1
to βπβ10 ππ€π.
The proof is complete by induction and lemma 3.2.4.
5.4 The πΈβ-page of the πβ11 -BSS
In this subsection we obtain all the nontrivial differentials in the πβ11 -BSS. The main
result is simple to prove as long as one has the correct picture in mind; otherwise,
the proof may seem rather opaque. Figure 5-1 on page 77 displays some of Christian
Nassauβs chart [14] for π»*(π΄) when π = 3. His chart tells us about the object we are
trying to calculate in a range by proposition 4.2.4 and the facts that
π»*(π ;π/πβ0 )/[Fπ [π0]/πβ
]= π»*(π ;π)/
[Fπ [π0]
]and π»*(π ;π) = π»*(π΄). A π0-tower corresponds to a differential in the π-BSS. Labels
at the top of towers are the sources of the corresponding Bockstein differentials; labels
at the bottom of towers are the targets of the corresponding Bockstein differentials.
We note that the part of figure 5-1 in gray is not displayed in Nassauβs charts and is
deduced from the results of this chapter.
Recall from corollary 5.1.7 that π»*(π ; πβ11 π/π0) is an exterior algebra tensored
74
with a polynomial algebra, and so we have a convenient Fπ-basis for it given by
monomials in π1, the ππβs and the ππβs. We introduce the following notation.
Notation 5.4.1. Suppose given πΌ = (π1, . . . , ππ), π½ = (π1, . . . , ππ ), πΎ = (π1, . . . , ππ )
such that π1 > . . . > ππ β₯ 1, π1 > . . . > ππ β₯ 1, and ππ β₯ 0 for π β 1, . . . , π . We
write
1. π[πΌ]π[π½,πΎ] for the monomial ππ1 Β· Β· Β· πππππ1π1 Β· Β· Β· πππ ππ
;
2. π[πΌ] forβ
π πππβ1;
3. πΌβ for (π1, . . . , ππβ1) if π β₯ 1;
4. πΎβ for (π1, . . . , ππ β 1) if π β₯ 1 and ππ β₯ 1.
Notice that the indexing of a monomial in the ππβs and ππβs by πΌ, π½ and πΎ is
unique once we impose the additional condition that ππ β₯ 1 for each π β 1, . . . , π .
Moreover,ππ1 π[πΌ]π[π½,πΎ]
gives a basis for π»*(π ; πβ1
1 π/π0).
We have the following corollary to proposition 5.2.1.2 and proposition 5.3.1.1 and
we shall see that it completely describes all the nontrivial differentials in the πβ11 -BSS.
Corollary 5.4.2. Suppose given πΌ = (π1, . . . , ππ), π½ = (π1, . . . , ππ ), πΎ = (π1, . . . , ππ )
such that π1 > . . . > ππ β₯ 1, π1 > . . . > ππ β₯ 1, and ππ β₯ 1 for π β 1, . . . , π .
Suppose π β₯ 1, that either π = 0, or π β₯ 1 and ππ β€ ππ , and that π β ZβπZ. Then
we have the following differential in the πβ11 -BSS.
ππ[ππ ]
[πππ
ππβ1
1 π[πΌβ]π[π½,πΎ]
].
= πππππβ1
1 π[πΌ]π[π½,πΎ] (5.4.3)
Suppose π β₯ 1, that either π = 0, or π β₯ 1 and ππ > ππ , and that π β Z. Then we
have the following differential in the πβ11 -BSS.
ππππ β1
[πππ
ππ
1 π[πΌ]πππ π[π½,πΎβ]
].
= πππππ
1 π[πΌ]π[π½,πΎ] (5.4.4)
Proof. By proposition 5.2.2.1, proposition 5.3.1.1, lemma 2.1.6 and lemma 3.6.4
we see that ππ[πΌ]1 π[πΌ]π[π½,πΎ] is a permanent cycle. In the first case lemma 3.5.4
75
gives ππ[ππ ]πβπ[πΌβ]1 = 0 and so the differential ππ[ππ ]π
ππππβ1
1.
= πππππβ1
1 πππ completes the
proof. In the second case lemma 3.5.4 gives ππππ β1πβπ[πΌ]1 = 0 and so the differential
ππππ β1πππππ
1 πππ .
= πππππ
1 πππ completes the proof.
The content of the next proposition is that the previous corollary describes all of
the nontrivial differentials in the πβ11 -BSS.
Proposition 5.4.5. The union
1 βͺ π₯ : π₯ is a source of one of the differentials in corollary 5.4.2
βͺ π¦ : π¦ is a target of one of the differentials in corollary 5.4.2
is a basis for π»*(π ; πβ11 π/π0). Moreover, the sources and targets of the differentials
in corollary 5.4.2 are distinct and never equal to 1.
Proof. We note that for any π = 0, ππ1 is the source of a differential like the one in
(5.4.3).
Take πΌ, π½ and πΎ as in (5.4.3). We wish to show that ππ1 π[πΌ]π[π½,πΎ] is the source or
target of one of the differentials in corollary 5.4.2. There are three cases (the second
case is empty if ππ = 1):
1. π = ππππβ1 for some π β Zβ πZ.
2. π = ππππ+1β1 for some π β Zβ πZ and some ππ+1 β₯ 1 with ππ > ππ+1.
3. π = ππππ for some π β Z.
In the first case, ππ1 π[πΌ]π[π½,πΎ] is the target of the differential (5.4.3). In the second
case, ππ1 π[πΌ]π[π½,πΎ] is the source of a differential like the one in (5.4.3). In the third
case, ππ1 π[πΌ]π[π½,πΎ] is the source of a differential like the one in (5.4.4).
These cases are highlighted in figure 5-1 when π = 3, πΌ = (3), and π½ and πΎ are
empty. The three cases are:
1. π = 9π for some π β Zβ 3Z.
2. π = 3πβ1π for some π β Zβ 3Z and some π with 1 β€ π < 3.
76
180 185 190 195 200 205 210 215
15
20
25
30
35
40
45
50
55
π‘β π
π
π0
π451 π1
π451 π1
π451 π2
π451 π2
π451
π451 π3
π481 π1
π481 π1
π481
π481 π2
π511
π511 π2
π541 π3
π541 π3
π541 π1
π541 π1
π541 π2
π541 π2
π541
π541 π4
π461
π461 π1
π471
π471 π1
π461 π2
π471 π2
π481 π2
π511 π2
π481 π3
π491 π3
π501 π3
π511 π3
π491 π1
π491 π1π1
π501 π1
π501 π1π1
π491 π2
π491 π2π1
π501 π2
π501 π2π1
π511 π1π1
π511 π2π1
Figure 5-1: The relevant part of π»π ,π‘(π΄) when π = 3, in the range 175 < π‘β π < 219.Vertical black lines indicate multiplication by π0. The top and/or bottom of selectedπ0-towers are labelled by the source and/or target, respectively, of the correspondingBockstein differential.
77
3. π = 27π for some π β Z.
The first case is highlighted in blue when π = 5; the second case is highlighted in
orange and we see both the cases π = 1 and π = 2 occurring; the last case is highlighted
in red when π = 2.
Take πΌ, π½ and πΎ as in (5.4.4). We wish to show that ππ1 π[πΌ]π[π½,πΎ] is the source
or target of one of the differentials in corollary 5.4.2. There are two cases:
1. π = ππππ for some π β Z.
2. π = ππππ+1β1 for some π β Zβ πZ and some ππ+1 β₯ 1 with ππ+1 β€ ππ .
In the first case, ππ1 π[πΌ]π[π½,πΎ] is the target of the differential (5.4.4). In the second
case, ππ1 π[πΌ]π[π½,πΎ] is the source of a differential like the one in (5.4.3).
These cases are highlighted in figure 5-1 when π = 3, πΌ is empty, π½ = (2) and
πΎ = (1). The two cases are:
1. π = 9π for some π β Z.
2. π = 3πβ1π for some π β Zβ 3Z and some π with 1 β€ π β€ 2.
The first case is highlighted in blue when π = 5 and π = 6; the second case is
highlighted in orange and we see both the cases π = 1 and π = 2 occurring.
Since the empty sequences πΌ, π½ andπΎ together with those satisfying the conditions
in (5.4.3) or (5.4.4) make up all choices of πΌ, π½ and πΎ, and sinceππ1 π[πΌ]π[π½,πΎ]
gives a basis for π»*(π ; πβ1
1 π/π0) (corollary 5.1.7), we have proved the first claim.
Careful inspection of the previous argument shows that this also proves the second
claim.
This proposition allows us to determine an Fπ-basis of πΈβ(πβ11 -BSS). We use the
following lemma.
Lemma 5.4.6. Suppose we have an indexing set π΄ and an Fπ-basis
1 βͺ π₯πΌπΌβπ΄ βͺ π¦πΌπΌβπ΄
78
of π»*(π ; πβ11 π/π0) such that each π₯πΌ supports a differential πππΌπ₯πΌ = π¦πΌ. Then we
have an Fπ-basis of πΈβ(πβ11 -BSS) given by the classes of
ππ£0 : π£ < 0
βͺππ£0π₯πΌ : πΌ β π΄, βππΌ β€ π£ < 0
.
In the above statement, we intend for 1, the π₯πΌβs and the π¦πΌβs to be distinct as in
proposition 5.4.5.
Proof. Let π£ < 0. We see make some observations.
1. πΈ*,*,*,π£1 β©
βπ <π im ππ has basis ππ£0π¦πΌ : πΌ β π΄, ππΌ < π.
2. ππ£0π¦πΌ : πΌ β π΄, ππΌ = π is independent in πΈ*,*,*,π£1 /
(πΈ*,*,*,π£
1 β©βπ <π im ππ
).
3. πΈ*,*,*,π£1 β©
βπ <π ker ππ has basis
ππ£0
βͺππ£0π₯πΌ : πΌ β π΄, ππΌ β₯ minπ,βπ£
βͺππ£0π¦πΌ : πΌ β π΄
.
4. πΈ*,*,*,π£β = (πΈ*,*,*,π£
1 β©βπ ker ππ ) / (πΈ*,*,*,π£
1 β©βπ im ππ ) has basis
ππ£0
βͺππ£0π₯πΌ : πΌ β π΄, ππΌ β₯ βπ£
.
We see that ππ£0 is a basis element for πΈ*,*,*,π£β for all π£ < 0 and that ππ£0π₯πΌ is a basis
element for πΈ*,*,*,π£β as long as βππΌ β€ π£ < 0. This completes the proof.
We state the relevant corollary, a description of the πΈβ-page in the next section.
Of course, this allows us to find a basis of π»*(π ; πβ11 π/πβ0 ) if we wish.
5.5 Summary of main results
We have completely calculated the πβ11 -BSS.
Theorem 5.5.1. In the πβ11 -BSS we have two families of differentials. For π β₯ 1,
1. ππ[π]ππππβ1
1.
= ππππβ1
1 ππ, whenever π β Zβ πZ;
79
2. πππβ1ππππ
1 ππ.
= ππππ
1 ππ, whenever π β Z.
Together with the fact that ππ1 = 0 for π β₯ 1, these two families of differentials
determine the πβ11 -BSS.
Corollary 5.5.2. πΈβ(πβ11 -BSS) has an Fπ-basis given by the classes of the following
elements.
ππ£0 : π£ < 0
βͺ
ππ£0π
ππππβ1
1 π[πΌβ]π[π½,πΎ] : πΌ, π½,πΎ, π satisfy (5.4.3), βπ[ππ] β€ π£ < 0
βͺ
ππ£0π
ππππ
1 π[πΌ]πππ π[π½,πΎβ] : πΌ, π½,πΎ, π satisfy (5.4.4), 1β πππ β€ π£ < 0
We have also obtained useful information about the π-BSS.
Lemma 5.5.3. The elements
1, π2ππβ1
1 ππ, π2ππ
1 ππ β π»*(π ; πβ11 π/π0)
have unique lifts to π»*(π ;π/π0). The same is true after multiplying by ππ1 as long as
π β₯ 0.
We give the lifts the same name.
Theorem 5.5.4. Let π β₯ 1. We have the following differentials in the π-BSS.
1. πππβ1πππβ1
1.
= β1,πβ1;
2. ππ[π]ππππβ1
1.
= ππππβ1
1 ππ, whenever π β Zβ πZ and π > 1;
3. πππβπ[π]πππ
1 ππ.
= π1,πβ1;
4. πππβ1ππππ
1 ππ.
= ππππ
1 ππ, whenever π β Z and π > 1.
80
Chapter 6
The localized algebraic Novikov
spectral sequence
In this chapter we calculate the localized algebraic Novikov spectral sequence
π»*(π ; πβ11 π/πβ0 )
π‘=β π»*(π΅π*π΅π ; π£β1
1 π΅π*/πβ).
6.1 Algebraic Novikov spectral sequences
Recall that the coefficient ring of the Brown-Peterson spectrum π΅π is the polyno-
mial algebra Z(π)[π£1, π£2, π£3, . . .] on the Hazewinkel generators. Moreover, π΅π*π΅π =
π΅π*[π‘1, π‘2, π‘3, . . .] together with π΅π* defines a Hopf algebroid [13, Β§2].
π΅π* admits a filtration by invariant ideals, powers of πΌ = ker (π΅π* ββ Fπ),
and we have π = gr*π΅π*. Moreover, this allows us to filter the cobar construction
Ξ©*(π΅π*π΅π ) by setting πΉ π‘Ξ©π (π΅π*π΅π ) = πΌ π‘Ξ©π (π΅π*π΅π ), and we have
grπ‘Ξ©π (π΅π*π΅π ) = Ξ©π (π ;ππ‘).
In this way we obtain the algebraic Novikov spectral sequence
πΈπ ,π‘,π’1 (alg.NSS) = π»π ,π’(π ;ππ‘)
π‘=β π»π ,π’(π΅π*π΅π );
81
ππ has degree (1, π, 0). This makes sense of the terminology βNovikov weight.β
One motivation for using the algebraic Novikov spectral is to make comparisons
with the Adams spectral sequence, and so we reindex it:
πΈπ ,π‘,π’2 (alg.NSS) = π»π ,π’(π ;ππ‘)
π‘=β π»π ,π’(π΅π*π΅π )
and the degree of ππ is (1, π β 1, 0).
π β π΅π* is a π΅π*π΅π -comodule primitive and so π΅π*/ππ and πβ1π΅π* are π΅π*π΅π -
comodules; define π΅π*/πβ by the following exact sequence of π΅π*π΅π -comodules.
0 // π΅π* // πβ1π΅π* // π΅π*/πβ // 0
We find that π£ππβ1
1 β π΅π*/ππ is a π΅π*π΅π -comodule primitive and so we may define
π΅π*π΅π -comodules π£β11 π΅π*/π
π and π£β11 π΅π*/π
β by mimicking the constructions in
section 3.1.
By letting πΉ π‘Ξ©π (π΅π*π΅π ; π£β11 π΅π*/π
β) = πΌ π‘Ξ©π (π΅π*π΅π ; π£β11 π΅π*/π
β) and reindex-
ing, as above, we obtain the localized algebraic Novikov spectral sequence (loc.alg.NSS)
πΈπ ,π‘,π’2 (loc.alg.NSS) = π»π ,π’(π ; [πβ1
1 π/πβ0 ]π‘)π‘
=β π»π ,π’(π΅π*π΅π ; π£β11 π΅π*/π
β).
It has a pairing with the unlocalized algebraic Novikov spectral sequence converging
to the π»*(π΅π*π΅π )-module structure map of π»*(π΅π*π΅π ; π£β11 π΅π*/π
β). Moreover, it
receives a map from the π£1-algebraic Novikov spectral sequence (π£1-alg.NSS)
πΈπ ,π‘,π’2 (π£1-alg.NSS) = π»π ,π’(π ; [πβ1
1 π/π0]π‘)
π‘=β π»π ,π’(π΅π*π΅π ; π£β1
1 π΅π*/π).
6.2 Evidence for the main result
In the introduction, we discussed βprincipal towersβ and their βside towersβ but said
little about the other elements in π»*(π ; πβ11 π/πβ0 ). Figure 6-1 is obtained from fig-
ure 5-1 by removing principal towers and their side towers. We see that the remaining
82
180 185 190 195 200 205 210 215
30
35
40
45
50
55
π‘β π
π
π481 π2
π511 π2
π481 π3
π511 π3
π491 π1
π491 π1π1
π501 π1
π501 π1π1
π491 π2
π491 π2π1
π501 π2
π501 π2π1
π511 π1π1
π511 π2π1
Figure 6-1: A part of π»π ,π‘(π΄) when π = 3, in the range 175 < π‘ β π < 219. Verticalblack lines indicate multiplication by π0. The top and/or bottom of selected π0-towersare labelled by the source and/or target, respectively, of the corresponding Bocksteindifferential.
83
π0-towers come in pairs, arranged perfectly so that there is a chance that they form an
acyclic complex with respect to π2. Moreover, the labelling at the top of the towers
obeys a nice pattern with respect to this arrangement. The pattern of differentials
we hope for can be described by the following equations.
π481 π3 β¦ββ π481 π2, π511 π3 β¦ββ π511 π2, π
491 π2 β¦ββ π491 π1, π
501 π2 β¦ββ π501 π1, π
511 π2π1 β¦ββ π511 π1π1.
In each case, this comes from replacing an ππ+1 by ππ, which resembles a theorem of
Miller.
Theorem 6.2.1 (Miller, [11, 9.19]). In the π£1-alg.NSS
π»*(π ; πβ11 π/π0)
π‘=β π»*(π΅π*π΅π ; π£β1
1 π΅π*/π)
we have, for π β₯ 1, π2ππ+1.
= ππ.
This is precisely the theorem enabling the calculation of this chapter, which shows
that the π2 differentials discussed above do occur in the loc.alg.NSS.
6.3 The filtration spectral sequence (π0-FILT)
Corollary 5.5.2 describes the associated graded of the πΈ2-page of the loc.alg.NSS with
respect to the Bockstein filtration. Since
πloc.alg.NSS2 : π»π ,π’(π ; [πβ1
1 π/πβ0 ]π‘) ββ π»π +1,π’(π ; [πβ11 π/πβ0 ]π‘+1)
respects the Bockstein filtration, we have a filtration spectral sequence (π0-FILT)
πΈπ ,π‘,π’,π£0 (π0-FILT) = πΈπ ,π‘,π’,π£
β (πβ11 -BSS)
π£=β πΈπ ,π‘,π’
3 (loc.alg.NSS).
The main result of this section is a calculation of the πΈ1-page of this spectral sequence.
Recall corollary 5.5.2.
84
Theorem 6.3.1. πΈ1(π0-FILT) has an Fπ-basis given by the following elements.
ππ£0 : π£ < 0
βͺππ£0π
πππβ1
1 : π β₯ 1, π β Zβ πZ, βπ[π] β€ π£ < 0
βͺππ£0π
πππ
1 ππ : π β₯ 1, π β Z, 1β ππ β€ π£ < 0
We prove the theorem via the following proposition.
Proposition 6.3.2. Fix, π, π β₯ 1.
ππ0-FILT0 : πΈπ ,π‘,π’,π£
β (πβ11 -BSS) ββ πΈπ +1,π‘+1,π’,π£
β (πβ11 -BSS)
restricts to an operation on the subspaces with bases given by the classes of the ele-
ments ππ£0 : π£ < 0
,
ππ£0πππππβ1
1 π[πΌβ]π[π½,πΎ] : πΌ, π½,πΎ, π satisfy (5.4.3), ππ = π, βπ[π] β€ π£ < 0
,
andππ£0π
ππππ
1 π[πΌ]πππ π[π½,πΎβ] : πΌ, π½,πΎ, π satisfy (5.4.4), ππ = π, 1β ππ β€ π£ < 0
.
Moreover, the respective homology groups have bases given by the elements
ππ£0 : π£ < 0
,
ππ£0π
πππβ1
1 : π β Zβ πZ, βπ[π] β€ π£ < 0
,
and ππ£0π
πππ
1 ππ : π β Z, 1β ππ β€ π£ < 0
.
Proof. Each of the maps in the exact couple defining the πβ11 -BSS comes from a map
of algebraic Novikov spectral sequences. This means that if π₯ β π»*(π ; πβ11 π/π0) and
ππ£0π₯ β πΈβ(πβ11 -BSS) then ππ0-FILT
0 (ππ£0π₯) = ππ£0ππ£1-alg.NSS2 π₯. We understand ππ£1-alg.NSS
2 by
85
theorem 6.2.1. For the rest of the proof we write π0 for ππ0-FILT0 .
π0(ππ£0) = 0 and so the claims concerning ππ£0 : π£ < 0 are evident.
First, fix π β₯ 1 and consider
π₯ = ππ£0ππππβ1
1 π[πΌβ]π[π½,πΎ]
where πΌ, π½,πΎ and π satisfy (5.4.3), ππ = π, and βπ[π] β€ π£ < 0. If π = 1 then π0(π₯) = 0
so suppose that π > 1 and let π β 1, . . . , π β 1. We wish to show that replacing πππ
by πππβ1 in π₯ gives an element π₯β² of the same form as π₯. This is true because
π₯β² = ππ£0ππππβ1
1 π[πΌ β²β]π[π½ β², πΎ β²]
where πΌ β², π½ β², πΎ β² are determined by the following properties.
1. π[πΌ β²β]π[π½ β², πΎ β²] is obtained from π[πΌβ]π[π½,πΎ] by replacing πππ by πππβ1;
2. πβ² = π β 1, πβ²1 > . . . > πβ²πβ² = π;
3. πβ²1 > . . . > πβ²π β² β₯ 1;
4. πβ²π β₯ 1 for all π β 1, . . . , π β².
In particular, πβ²πβ² = π and πΌ β², π½ β², πΎ β² and π satisfy (5.4.3) because π β² β₯ 1, and ππ β₯ ππ = π
and ππ > ππ = π implies that πβ²π β² β₯ π = πβ²πβ² . Since π0 is a derivation, this observation
shows that π0 induces an operation on the second subspace of the proposition. The
claim about the homology is true because the complex(πΈ[ππ : π > π]β Fπ[ππ : π β₯ π] : πππ+1 = ππ
)
has homology Fπ.
Second, fix π β₯ 1 and consider
π¦ = ππ£0ππππ
1 π[πΌ]πππ[π½,πΎβ]
86
where πΌ, π½,πΎ and π satisfy (5.4.4), ππ = π, and 1β ππ β€ π£ < 0.
First, we wish to show the term obtained from applying π0 to ππ is trivial. If π = 1
then π0(ππ) = 0 so suppose, for now, that π > 1. Replacing ππ by ππβ1 gives
π¦β² = ππ£0π(ππ)ππβ1
1 π[πΌ β²]π[π½ β², πΎ β²]
where πΌ β², π½ β², πΎ β² are determined by the following properties.
1. π[πΌ β²]π[π½ β², πΎ β²] = π[πΌ]π[π½,πΎβ]ππβ1;
2. πΌ β² = πΌ;
3. πβ²1 > . . . > πβ²π β² = π β 1;
4. πβ²π β₯ 1 for all π β 1, . . . , π β².
π β² β₯ 1 and either π = πβ² = 0, or π = πβ² β₯ 1 and πβ²πβ² = ππ > ππ = π > π β 1 = πβ²π β² , so
we see that πΌ β², π½ β², πΎ β² and πβ² = ππ satisfy (5.4.4). This shows that π¦β² is the source
of a (5.4.4) πβ11 -Bockstein differential, i.e. zero in πΈβ(πβ1
1 -BSS) = πΈ0(π0-FILT). We
deduce that when applying π0 the only terms of interest come from applying π0 to
the π[πΌ]π[π½,πΎβ] part of π¦.
If π = 0 then π0(π¦) = 0 so suppose that π > 0 and let π β 1, . . . , π. We wish to
show that replacing πππ by πππβ1 in π¦ gives an element π¦β²β² of the same form as π¦.
π¦β²β² = ππ£0ππππ
1 π[πΌ β²]πππ[π½ β², πΎ β²β]
where πΌ β², π½ β², πΎ β² are determined by the following properties.
1. π[πΌ β²]π[π½ β², πΎ β²β] is obtained from π[πΌ]π[π½,πΎβ] by replacing πππ by πππβ1;
2. πβ² = π β 1 and πβ²1 > . . . > πβ²πβ² ;
3. πβ²1 > . . . > πβ²π β² = π;
4. πβ²π β₯ 1 for all π β 1, . . . , π β².
87
ππ β₯ ππ > ππ = π ensures that condition (3) can be met. π β² β₯ π β₯ 1 and either πβ² = 0 or
πβ² β₯ 1 and πβ²πβ² β₯ ππ > ππ = π = πβ²π β² . Thus, πΌ β², π½ β², πΎ β² and π satisfy 5.4.4 and π¦β²β² has the
same form as π¦. Since π0 is a derivation, this shows that π0 induces an operation on
the third subspace of the proposition. The claim about the homology is true because(πΈ[ππ : π > π]β Fπ[ππ : π β₯ π] : πππ+1 = ππ
)
has homology Fπ.
6.4 The πΈβ-page of the loc.alg.NSS
One knows that π»*(π΅π*π΅π ; π£β11 π΅π*/π
β) is nonzero, only in cohomological degree 0
and 1. π»0(π΅π*π΅π ; π£β11 π΅π*/π
β) is generated as an abelian group by the elements
1
ππ: π β₯ 1
βͺ
π£ππ
πβ1
1
ππ: π β₯ 1, π β Zβ π Z
.
These are detected in the loc.alg.NSS by the following elements of π»*(π ; πβ11 π/πβ0 ).
1
ππ0: π β₯ 1
βͺπππ
πβ1
1
ππ0: π β₯ 1, π β Zβ π Z
An element of order π in π»1(π΅π*π΅π ; π£β11 π΅π*/π
β) = Z/πβ is given by the class of
βπβ1π£β11 [π‘1] β Ξ©1(π΅π*π΅π ; π£β1
1 π΅π*/πβ)
in π»1(π΅π*π΅π ; π£β11 π΅π*/π
β), which is detected by πβ10 π1 in the loc.alg.NSS. Theo-
rem 6.3.1, degree considerations, and the fact that each ππ£0 is a permanent cycle in
the loc.alg.NSS, allow us to see that there are permanent cycles in the loc.alg.NSS,
which are not boundaries, which are detected in the π0-FILT spectral sequence by the
elements ππ£0ππ : π β₯ 1, 1β ππ β€ π£ < 0
.
88
These elements must detect the elements of π»1(π΅π*π΅π ; π£β11 π΅π*/π
β). In summary,
we have the following proposition.
Proposition 6.4.1. πΈβ(loc.alg.NSS) has an Fπ-basis given by the following elements.
ππ£0 : π£ < 0
βͺππ£0π
πππβ1
1 : π β₯ 1, π β Zβ πZ, βπ β€ π£ < 0
βͺ
ππ£0ππ : π β₯ 1, 1β ππ β€ π£ < 0
Here, ππ£0ππ denotes the element of πΈ3(loc.alg.NSS) representing ππ£0ππ β πΈ1(π0-FILT).
Using theorem 6.3.1 together with this result, we see that the only possible pattern
for the differentials between a principal tower and its side towers, in the loc.alg.NSS,
is the one drawn in figure 1-1.
89
THIS PAGE INTENTIONALLY LEFT BLANK
90
Chapter 7
Some permanent cycles in the ASS
Our calculation of the πβ11 -BSS gives information about the Adams πΈ2-page via the
zig-zag (1.4.5). Our calculation of the loc.alg.NSS gives information about Adams π2
differentials in a similar way (figure 1-2). We would like to learn about higher Adams
differentials, but first, we say what we can about some permanent cycles in the Adams
spectral sequence. We show that for each π β₯ 0, πππβπβ1
0 β1,π is a permanent cycle in
the Adams spectral sequence and we give a homotopy class representing it. This is
the odd primary analogue of a result of Davis and Mahowald appearing in [6].
7.1 Maps between stunted projective spaces
The maps we construct to represent the classes πππβπβ1
0 β1,π make use of maps we have
between skeletal subquotients of (Ξ£βπ΅Ξ£π)(π). The analog of these spectra at π = 2 are
the stunted projective spaces Rπππ and so we use the same terminology. Throughout
this thesis we write π» for π»Fπ, the mod π Eilenberg-Mac Lane spectrum.
In [1] Adams shows that there is a CW spectrum π΅ with one cell in each positive
dimension congruent to 0 or β1 modulo π = 2π β 2 such that π΅ β (Ξ£βπ΅Ξ£π)(π). In
particular, π΅ is built up from many copies of the mod π Moore spectrum π/π. The
maps we construct between stunted projective spaces all come from the fact that
multiplication by π is zero on π/π (since π is odd). For this reason, we emphasize the
filtration by the copies of π/π over the skeletal filtration, and writing a superscript in
91
square brackets to denote the skeletal filtration, we use the following notation.
Notation 7.1.1. Write π΅ for the spectrum of [1, 2.2]. For π β₯ 0 let π΅π = π΅[ππ] and
for 1 β€ π β€ π let π΅ππ = π΅π/π΅πβ1. Notice that π΅0 = * and so π΅π = π΅π
1 . For π > π
let π΅ππ = *.
We now proceed to construct compatible maps between stunted projective spaces
of Adams filtration one. All proofs will be deferred until the end of the section.
Lemma 7.1.2. For each π β₯ 1 there exists a unique map π : π΅π ββ π΅πβ1 such that
the left diagram commutes. Moreover, the center diagram commutes so that the right
diagram commutes.
π΅π
π
""
π
π΅πβ1 π // π΅π
π΅π π //
π
""
π΅π+1
π
π΅π
π΅π π //
π
π΅π+1
π
π΅πβ1 π // π΅π
For 1 β€ π β€ π the filler for the diagram
π΅π π //
π
π΅π+1 π //
π
π΅π+1π+1
π΅πβ1 π // π΅π π // π΅π
π
is unique and we call it π . The collection of such π are compatible.
For 1 β€ π β€ π the filler for the diagram
π΅πβ1 π //
π
π΅π π //
π
π΅ππ
π΅πβ1 π // π΅π π // π΅π
π
is unique and so equal to π.
92
The following diagrams commute for the appropriate values of π and π.
π΅π+1π+1
π
π
π΅ππ
ππ // π΅π+1π+1
π΅ππ
ππ //
π
π΅π+1π+1
π
π΅ππ
π΅ππ+1
π
π // π΅ππ+1
π΅π+1π+1
π // π΅ππ
π
OOπ΅π+1π+1
π // π΅ππ
π
π΅π+1π
π
OO
π // π΅π+1π
We wish to analyze the Adams filtrations of the maps that we have just con-
structed. First, we describe spectra which are more convenient than those appearing
in the relevant π»-canonical Adams towers, and for this we need to recall the structure
of π»*(π΅+) = π»*(π΅Ξ£π).
Proposition 7.1.3 ([1, 2.1]). Let π : πΆπ ββ Ξ£π be the inclusion of a Sylow subgroup.
1. π»*(π΅πΆπ) = πΈ[π₯]β Fπ[π¦] where |π₯| = 1, |π¦| = 2 and π½π₯ = π¦.
2. π»*(π΅Ξ£π) = πΈ[π₯πβ1]β Fπ[π¦π] where (π΅π)*(π₯πβ1) = π₯π¦πβ2 and (π΅π)*(π¦π) = π¦πβ1.
Notation 7.1.4. For π β₯ 1 write ππ for π₯πβ1π¦πβ1π β π»ππβ1(π΅). Use the same notation
for the corresponding elements in π»*(π΅ππ ).
Definition 7.1.5. For 1 β€ π β€ π define π΅ππ β¨1β© by the following cofibration sequence.
π΅ππ β¨1β© // π΅π
π
(ππ,...,ππ) //βππ Ξ£ππβ1π»
Let π΅0β¨1β© = * and for π β₯ 1 let π΅πβ¨1β© = π΅π1 β¨1β©.
For 1 β€ π β€ π, we have the following square of cofibration sequences.
π΅πβ1β¨1β© π //
π΅πβ¨1β© π //
π΅ππ β¨1β©
π΅πβ1 π //
π΅π π //
π΅ππ
βπβ11 Ξ£ππβ1π» //
βπ1 Ξ£ππβ1π» //
βππ Ξ£ππβ1π»
93
The purpose of the spectra just defined is highlighted by the following lemma.
Lemma 7.1.6. A map to π΅ππ can be factored through π΅π
π β¨1β© if and only if it can be
factored through π» β§π΅ππ = fib(π΅π
π ββ π» β§π΅ππ ).
The following lemma shows that the maps we have constructed between stunted
projective spaces have Adams filtration one.
Lemma 7.1.7. For each π β₯ 1 there exists a unique map π : π΅π ββ π΅πβ1β¨1β© such
that the left diagram commutes. Moreover, the right diagram commutes.
π΅π
π
π
zzπ΅πβ1β¨1β© // π΅πβ1
π΅π π //
π
π΅π+1
π
π΅πβ1β¨1β© π // π΅πβ¨1β©
For 1 β€ π β€ π the filler for the diagram
π΅π π //
π
π΅π+1 π //
π
π΅π+1π+1
π΅πβ1β¨1β© π // π΅πβ¨1β© π // π΅π
π β¨1β©
is unique and we call it π. For 1 β€ π β€ π the following diagram commutes.
π΅π+1π+1
π
π
π΅ππ β¨1β© // π΅π
π
Before proving all the lemmas above, we make a preliminary calculation.
Lemma 7.1.8. For π,π β₯ 1 [Ξ£π΅πβ1, π΅ππ ] = 0, [Ξ£π΅π, π΅π
π ] = 0, [Ξ£π΅π, π΅ππ β¨1β©] = 0.
Proof. The results are all obvious if π < π so suppose that π β₯ π.
The first follows from cellular approximation; the third does too, although we will
give a different proof.
94
Cellular approximation gives [Ξ£π΅π, π΅ππ ] = [Ξ£π΅π
π , π΅ππ ] = [Ξ£π/π, π/π]. We have an
exact sequence
π2(π/π) ββ [Ξ£π/π, π/π] ββ π1(π/π)
and π1(π/π) = π2(π/π) = 0, which gives the second identification.
Since [Ξ£π΅π,βππ Ξ£ππβ2π»] = 0, [Ξ£π΅π, π΅π
π β¨1β©] ββ [Ξ£π΅π, π΅ππ ] is injective and this
completes the proof.
Proof of lemma 7.1.2. π exists because the compositeπ΅π πββ π΅π ββ π΅ππ = Ξ£ππβ1π/π
is null. π is unique because [π΅π,Ξ£β1π΅ππ ] = 0.
Since [π΅π,Ξ£β1π΅π+1π+1 ] = 0 the map π* : [π΅π, π΅π] ββ [π΅π, π΅π+1] is injective and so
commutativity of the following diagram gives commutativity of the second diagram
in the lemma.
π΅π π //
π
π΅π+1
π
π
π΅π
π
π΅π π // π΅π+1
Uniqueness of the fillers is given by the facts [Ξ£π΅π, π΅ππ ] = 0 and [Ξ£π΅πβ1, π΅π
π ] = 0,
respectively.
We turn to compatibility of the collection π : π΅π+1π+1 ββ π΅π
π . We already have
compatibility of the collection π : π΅π ββ π΅πβ1, i.e. the following diagram in the
homotopy category commutes.
π΅1 //
π
π΅2 //
π
. . . // π΅π π //
π
π΅π+1 //
π
. . .
* // π΅1 // . . . // π΅πβ1 π // π΅π // . . .
For concreteness, suppose that we a have pointset level model for this diagram in
which each representative π : π΅πβ1 ββ π΅π is a cofibration between cofibrant spectra.
By a spectrum, we mean an π-module [7], and so every spectrum is fibrant. The
95
βhomotopy extension propertyβ that π-modules satisfy says that we can make any of
the squares strictly commute at the cost of changing the right map to a homotopic
one. By proceeding inductively, starting with the left most square, we can assume
that the representative π βs are chosen so that each square strictly commutes. Let
π : π΅π+1π+1 ββ π΅π
π be obtained by taking strict cofibers of the appropriate diagram.
The homotopy class of π provides a filler for the diagram in the lemma and so is equal
to π . It is clear that the π βs are compatible and so the π βs are compatible.
The deductions that each of the final four diagrams commute are similar and rely
on the uniqueness of the second filler. Weβll need the fourth diagram so we show this
in detail. We have a commuting diagram.
π΅πβ1 //
π
π΅π+1 //
=
π΅π+1π
π
π΅π //
π
π΅π+1 //
π
π΅π+1π+1
π
π΅πβ1 //
=
π΅π //
π
π΅ππ
π
π΅πβ1 // π΅π+1 // π΅π+1
π
The vertical composites in the first two columns are π and so the third is too.
Proof of lemma 7.1.6. π»*(π΅ππ ) is free over πΈ[π½] with basis ππ, . . . , ππ. This basis
allowed us to construct the top map in the following diagram.
π΅ππ
(ππ,...,ππ) //
βππ Ξ£ππβ1π»
βππ Ξ£ππβ1(1,π½)
π» β§π΅ππ
β //βππ
(Ξ£ππβ1π» β¨ Ξ£πππ»
)
We have a map (1, π½) : π» ββ π» β¨ Ξ£π» which is used to construct the map on the
96
right. Since the target of this map is an π»-module we obtain the bottom map and
one can check that this is an equivalence. Thus, we obtain the map of cofibration
sequences displayed at the top of the following diagram.
π΅ππ β¨1β© //
π΅ππ
(ππ,...,ππ) //
=
βππ Ξ£ππβ1π»
ββ
[βππ Ξ£ππβ1(1,π½)
]
π» β§π΅ππ
//
π΅ππ
//
=
π» β§π΅ππ[βππ Ξ£ππβ1(1,*)
]ββ
π΅ππ β¨1β© // π΅π
π
(ππ,...,ππ) //βππ Ξ£ππβ1π»
The bottom right square is checked to commute and so we obtain the map of cofibra-
tion sequences displayed at the bottom. This diagram shows that a map to π΅ππ can
be factored through π΅ππ β¨1β© if and only if it can be factoring through π» β§π΅π
π ; this is
also clear if one uses the more general theory of Adams resolutions discussed in [11].
[One sees that (ππ, . . . , ππ) is an π»*-isomorphism in dimensions which are strictly
less than (π + 1)π β 1 so π΅ππ β¨1β© is ((π + 1)π β 3)-connected and hence (ππ + 1)-
connected.]
Proof of lemma 7.1.7. We have [π΅π,Ξ£ππβ2π»] = 0 and so the map
[π΅π,
πβ1β1
Ξ£ππβ1π»
]ββ
[π΅π,
πβ1
Ξ£ππβ1π»
]
is injective. Since ππ = π and π = 0 on π», the following diagram proves the existence
of π.
π΅π
π
π΅πβ1β¨1β© // π΅πβ1 //
π
βπβ11 Ξ£ππβ1π»
π΅π //
βπ1 Ξ£ππβ1π»
97
Uniqueness of π is given by the fact that [π΅π,βπβ1
1 Ξ£ππβ2π»] = 0.
Since [π΅π,βπ
1 Ξ£ππβ2π»] = 0 the map [π΅π, π΅πβ¨1β©] ββ [π΅π, π΅π] is injective and so
commutativity of the following diagram gives commutativity of the second diagram.
π΅π
π
**π
π
π΅π+1 π //
π
π΅πβ¨1β©
π΅πβ1β¨1β© //
π
))
π΅πβ1
π
))π΅πβ¨1β© // π΅π
The filler is unique because, by lemma 7.1.8, [Ξ£π΅π, π΅ππ β¨1β©] = 0. The final diagram
commutes because we have the following commutative diagram and a uniqueness
condition on π as a filler.
π΅π π //
π
π
π΅π+1
π
π
~~
π΅πβ1β¨1β©
π // π΅πβ¨1β©
π΅πβ1 π // π΅π
7.2 Homotopy and cohomotopy classes in stunted
projective spaces
Throughout this thesis we write π΄ = π»*π» for the dual Steenrod algebra, and π΄* =
π»*π» for the Steenrod algebra.
To construct the homotopy class representing πππβπβ1
0 β1,π in the Adams spectral
98
sequence we make use of a homotopy class in ππππβ1(π΅ππ
ππβπ). First, we analyze the
algebraic picture and identify the corresponding π΄-comodule primitive. Recall 7.1.4.
Notation 7.2.1. For π β₯ 1 write ππ for the class in π»ππβ1(π΅) dual to ππ β π»ππβ1(π΅).
Use the same notation for the corresponding elements in π»*(π΅ππ ).
Lemma 7.2.2. For each π β₯ 0, πππ β π»πππβ1(π΅) is an π΄-comodule primitive.
Proof. The result is clear when π = 0, since π»π(π΅) = 0 for π < π β 1. Assume from
now on that π > 0.
Since the (co)homology of π΅ is concentrated in dimensions which are 0 or β1
congruent to π, the dual result is that π πππ = 0 whenever π, π > 0 and π+ π = ππ.
Let π : πΆπ ββ Ξ£π be the inclusion of a Sylow subgroup. Since (π΅π)* is injective
it is enough to show that the equation is true after applying (π΅π)*. Writing this out
explicitly, we must show that
π π(π₯π¦(πβ1)πβ1) = 0 whenever π, π > 0 and π+ π = ππ.
Writing π for the total reduced π-th power we have π (π₯) = π₯ and π (π¦) = π¦ + π¦π =
π¦(1 + π¦πβ1). Suppose that π, π > 0 and that π+ π = ππ. Then
π (π₯π¦(πβ1)πβ1) = π₯π¦(πβ1)πβ1(1+π¦πβ1)(πβ1)πβ1 = π₯π¦(πβ1)πβ1
(πβ1)πβ1βπ=0
((πβ 1)π β 1
π
)π¦(πβ1)π
which gives
π π(π₯π¦(πβ1)πβ1) =
((πβ 1)π β 1
π
)π₯π¦(πβ1)ππβ1
as long as π β€ (π β 1)π β 1 and π π(π₯π¦(πβ1)πβ1) = 0 otherwise. We just need to show
that
π
((πβ 1)(ππ β π)β 1
π
)whenever 0 < π β€ (π β 1)(ππ β π) β 1. The largest value of π for which we have
π β€ (π β 1)(ππ β π) β 1 is (π β 1)ππβ1 β 1 so write π = π ππ for 0 β€ π < π and π β‘ 0
(mod π). Let π = (π β 1)(ππ β π) β 1 so that we are interested in(ππ
). π β π β‘ β1
99
(mod ππ+1) and so when we add πβ π to π in base π there is a carry. An elementary
fact about binomial coefficients completes the proof.
The relevant topological result is given by the following proposition.
Proposition 7.2.3. For each π β₯ 0, πππ β π»πππβ1(π΅ππ
ππβπ) is in the image of the
Hurewicz homomorphism.
Proof. The result is clear for π = 0, since we have the map ππβ1 ββ Ξ£πβ1π/π = π΅11 .
For π β₯ 1, setting π = 0, π = π+ 1, π = ππβ πβ 1 and π = ππβ 1 in [4, 2.9(π£)] shows
that
π = π΅[πππβ1]/π΅[(ππβπβ1)πβ1]
has reductive top cell and we have an βinclude-collapseβ map π ββ π΅ππ
ππβπ.
To construct the homotopy class representing πππβπβ1
0 β1,π in the Adams spectral
sequence we also make use of the transfer map.
Definition 7.2.4. Write π‘ : π΅β1 ββ π0 for the transfer map of [1, 2.3(π)] and let πΆ
be the cofiber of Ξ£β1π‘.
We need to analyze the affect of π‘ algebraically.
Notation 7.2.5. We have a cofibration sequence πβ1 ββ πΆ ββ π΅. Abuse notation
and write ππ and ππ for the elements in π»*(πΆ) and π»*(πΆ) which correspond to the
elements of the same name in π»*(π΅) and π»*(π΅). Write π and π’ for the dual classes
in π»*(πΆ) and π»*(πΆ) corresponding to generators of π»β1(πβ1) and π»β1(πβ1).
Lemma 7.2.6. Suppose π β₯ 0. Then πππ β π»πππβ1(πΆ) is mapped to 1β πππ.
+ πππ
1 βπ’
under the π΄-coaction map.
Proof. First, letβs introduce some notation which will be useful for the proof. Write
Sqπππ and Sqππ+1π for π π and π½π π, respectively. Recall that the Steenrod algebra π΄*
has a Fπ-vector space basis given by admissible monomials
β¬ = Sqπ1π Β· Β· Β· Sqπππ : ππ β₯ πππ+1, ππ β‘ 0 or 1 (mod π).
100
We claim that Sqππππ π
.= ππ
π , and that ππ = 0 for any π β β¬ of length greater than 1.
Here, length greater than one means that π > 1 and ππ > 0.
By lemma 7.2.2 we know that πππ is mapped, under the coaction map, to 1βπππ +
π β π’ for some π β π΄. If we can prove the claim above then we will deduce that
π.
= πππ
1 .
Take an element π = Sqπ1π Β· Β· Β· Sqπππ β β¬ of length greater than one. Let π = βππβ1/πβ
so that either ππβ1 = ππ or ππ + 1 and Sqππβ1π = π π or π½π π. We have
ππβ1 β₯ πππ =β ππβ1 β 1 β₯ πππ β 1 > (πβ 1)ππ β (πβ 1) = π(ππ β 1)/2
and so 2π β₯ 2(ππβ1β1)/π > ππβ1 = |Sqπππ π |. Since Sqπππ π comes from the cohomology
of a space we deduce that π πSqπππ π = 0. Thus, Sqππβ1π Sqπππ π = 0 and ππ = 0, which
verifies the second part of the claim.
We are left to prove that π πππ.
= πππ for each π β₯ 0. First, we prove the π = 0
case π 1π.
= π1. This statement is equivalent to the claim that
ππβ1 = π΅11 ββ π΅β
1π‘ββ π0
is detected by a unit multiple of β1,0 in the Adams spectral sequence. By cellular
approximation a generator of ππβ1(π΅β1 ) is given by ππβ1 = π΅1
1 ββ π΅β1 . By definition
π‘ : π΅β1 ββ π0 is an isomorphism on ππβ1. By low dimensional calculations a generator
of ππβ1(π0) is detected by β1,0. This completes the proof of the π = 0 case.
To prove that π πππ.
= πππ it is enough to show that π½π πππ
.= π½ππ
π . Notice that
|π½π1| = π and so
π½πππ
= (π½π1)ππ
= π ππβ1π/2 Β· Β· Β·π ππ/2π π/2π½π1.
= π ππβ1π/2 Β· Β· Β·π ππ/2π π/2π½π 1π.
We are left with proving that π ππβ1π/2 Β· Β· Β·π π/2π½π 1π.
= π½π πππ . We induct on π, the
101
result being trivial for π = 0. Suppose it is proven for some π β₯ 0. Then we have
π πππ/2 Β· Β· Β·π π/2π½π 1π.
= π πππ/2π½π πππ
.= (π½π ππ+πππ/2 + elements of β¬ of length greater than 1)π
= π½π ππ+1
π,
which completes the inductive step and the proof of the lemma.
7.3 A permanent cycle in the ASS
We are now ready to prove the main result of the chapter.
Theorem 7.3.1. The element πππβπβ1
0 β1,π.
= [π0]ππβπβ1[ππ
π
1 ] β π»ππβπ,ππ(π+1)βπβ1(π΄)
is a permanent cycle in the Adams spectral sequence represented by the map
πΌ : ππππβ1 π // π΅ππ
ππβππ // π΅ππβ1
ππβπβ1// . . . // π΅π+2
2
π // π΅π+11
π‘ // π0.
Here, π comes from proposition 7.2.3, π comes from lemma 7.1.2, and π‘ is the restric-
tion of the transfer map.
Proof. By lemma 7.1.2 the following diagram commutes.
ππππβ1
π$$
πΌ
++π΅ππ
ππβππ // π΅ππβ1
ππβπβ1// . . . // π΅π+2
2
π // π΅π+11
//
π
π0
π΅ππ
1
π
OO
πππβπβ1
// π΅ππ
1
π
π΅β
1
π‘
MM
We look at the maps induced on πΈ2-pages.
By definition, π : ππππβ1 ββ π΅ππ
ππβπ is represented in the Adams spectral sequence
102
by πππ β π»0,πππβ1(π΄;π»*(π΅ππ
ππβπ)), and by lemma 7.2.2, this element is the image of
πππ β π»0,πππβ1(π΄;π»*(π΅ππ
1 )). Moreover,
πππβπβ1
0 Β· πππ β π»ππβπβ1,ππ(π+1)βπβ2(π΄;π»*(π΅β1 )).
π‘* : πΈ2(π΅β1 ) ββ πΈ2(π
0) is described by the geometric boundary theorem. The cofi-
bration sequence πβ1 ββ πΆ ββ π΅ induces a short exact sequence of π΄-comodules.
The boundary map obtained by applying π»*(π΄;β) is the map induced by π‘.
0 // Ξ©*(π΄;π»*(πβ1)) // Ξ©*(π΄;π»*(πΆ)) // Ξ©*(π΄;π»*(π΅)) // 0
[π0]ππβπβ1πππ
//_
Β·
[π0]ππβπβ1πππ
[π0]ππβπβ1[ππ
π
1 ] // [π0]ππβπβ1[ππ
π
1 ]π’
Thus, by using lemma 7.2.6, we see that
π‘*(πππβπβ10 Β· πππ)
.= ππ
πβπβ10 β1,π β π»ππβπ,ππ(π+1)βπβ1(π΄).
This almost completes the proof. There is a subtlety, however. A map of filtration
degree π only gives a well-defined map on πΈπ+1 pages. To complete the proof we break
the rectangle appearing in the first diagram up into (ππ β πβ 1)2 squares. We have
demonstrated this for the case when π = 5 and π = 1 below.
π΅54
π // π΅43
π // π΅32
π // π΅21
π
π5 // ? // ? // ?_
π΅5
3
π //
π
OO
π΅42
π //
π
OO
π΅31
5 //
π
π
OO
π΅31
π
π5 //_
OO
? //_
OO
? //_
_
OO
?_
π΅5
2
π //
π
OO
π΅41
5 //
π
OO
π
π΅41
5 //
π
π΅41
π
π5 //_
OO
? //_
OO
_
? //_
?_
π΅5
15 //
π
OO
π΅51
5 // π΅51
5 // π΅51 π5
//_
OO
π0 Β· π5 // π20 Β· π5 // π30 Β· π5
103
Each square involves two maps of Adams filtration zero in the vertical direction and
two maps of Adams filtration one in the horizontal direction. Each square commutes
by lemma 7.1.2 and the maps induced on πΈ2-pages are well-defined. This completes
the proof.
104
Chapter 8
Adams spectral sequences
In this chapter we set up and calculate the localized Adams spectral sequence for
the π£1-periodic sphere. Along the way we construct Adams spectral sequences for
calculating the homotopy of the mod ππ Moore spectrum π/ππ, the PrΓΌfer sphere
π/πβ = hocolim(π/ππ // π/π2
π // π/π3 // . . .),
and we prove the final theorem stated in the introduction.
8.1 Towers and their spectral sequences
In this section we introduce some essential concepts and constructions: towers (defi-
nition 8.1.4), the smash product of towers and the spectral sequences associated with
them. We provide important examples, which will be useful for the construction of
the modified Adams spectral sequence for π/ππ and for verifying its properties. We
also recall the main properties of the Adams spectral sequence.
Notation 8.1.1. We write S for the stable homotopy category.
Definition 8.1.2. Write Ch(S ) for the category of non-negative cochain complexes
in S . An object πΆβ of this category is a diagram
πΆ0 π // πΆ1 // . . . // πΆπ π // πΆπ +1 // . . .
105
in S with π2 = 0. An augmentation π ββ πΆβ of a cochain complex πΆβ β Ch(S ) is
a map of cochain complexes from π ββ * ββ . . . ββ * ββ * ββ . . . to πΆβ.
Notation 8.1.3. Let Z denote the category with the integers as objects and hom-sets
determined by: |Z(π,π)| = 1 if π β₯ π, and |Z(π,π)| = 0 otherwise. Write Zβ₯0 for
the full subcategory of Z with the non-negative integers as objects.
Definition 8.1.4. An object ππ of the diagram category S Zβ₯0 is called a sequence.
A system of interlocking cofibration sequences
π0
. . .oo ππ β1oo
ππ oo
ππ +1oo
. . .oo
πΌ0
<<
πΌπ β1
;;
πΌπ
;;
πΌπ +1
;;
in S is called a tower and we use the notation π, πΌ. Notice that a tower π, πΌ has
an underlying sequence ππ and an underlying augmented cochain complex π0 ββ
Ξ£βπΌβ.
A map of towers π, πΌ ββ π, π½ is a compatible collection of maps
ππ ββ ππ βͺ πΌπ ββ π½π .
The following tower is important for us.
Definition 8.1.5. We write π0, π/π for the tower in which each of the maps in the
underlying sequence is π : π0 ββ π0. The underlying augmented cochain complex
is π0 ββ Ξ£βπ/π, where each differential is given by a suspension of the Bockstein
π½ : π/π ββ π1 ββ Ξ£π/π.
Definition 8.1.6. Suppose that π, πΌ is a tower. Then by changing π, πΌ up to an
isomorphism we can find a pointset model in which each ππ +1 ββ ππ is a cofibration
between cofibrant π-modules [7] and πΌπ is the strict cofiber of this map. We say that
such a pointset level model is cofibrant.
106
By taking a cofibrant pointset level model π0, π/π, we can construct another
tower by collapsing the π-th copy of π0.
Definition 8.1.7. Let π/ππβ*, π/π be the tower obtained in this way.
π/ππ
π/ππβ1πoo
π/ππβ2πoo
. . .oo π/πoo
*oo
*oo
. . .oo
π/π
==
π/π
<<
π/π
>>
π/π
AA
*
CC
*
BB
To construct the multiplicative structure on the modified Adams spectral sequence
for π/ππ we need to make sense of smashing towers together. A modern version of [5,
definition 4.2] is as follows.
Definition 8.1.8. Suppose π, πΌ and π, π½ are towers and that we have chosen
cofibrant models for them. Let
ππ = colimπ+πβ₯π 0β€π,πβ€π
ππ β§ ππ.
The indexing category in this colimit is a full subcategory of ZΓZ and the notation
only indicates the objects. Let
πΎπ =βπ+π=π
0β€π,πβ€π
πΌ π β§ π½ π.
We have maps ππ +1 ββ ππ and ππ ββ πΎπ , which give a cofibrant model for the smash
product of towers π, πΌ β§ π, π½ = π,πΎ. Moreover, the underlying augmented
cochain complex of π, πΌβ§π, π½ is the tensor product of the underlying augmented
cochain complexes of π, πΌ and π, π½.
Note that the definition of π, πΌ β§ π, π½ depends on the choice of cofibrant
models for π, πΌ and π, π½, but the following proposition shows that it is well-
defined up to isomorphism.
107
Proposition 8.1.9. Suppose we have maps of towers
π, πΌ ββ π³ , β, π, π½ ββ π΄ ,π₯ .
Then there exists a map of towers π, πΌβ§ π, π½ ββ π³ , ββ§ π΄ ,π₯ such that the
underlying map on augmented cochain complexes is the tensor product[(π0 β Ξ£βπΌβ
)ββ
(π³0 β Ξ£βββ
)]β§
[(π0 β Ξ£βπ½β
)ββ
(π΄0 β Ξ£βπ₯ β
)].
Writing down the proof of the proposition carefully is a lengthy detour. I assure
the reader that I have done this. Indeed, in the draft of my thesis all details were
included and this will remain available on my website. However, I do not want the
content of my thesis to be concerned with such technical issues. The point is that a
map of towers restricts to a map of sequences. On the cofibrant pointset level models,
we only know that each square commutes up to homotopy, but each homotopy is
determined by the map on the respective cofiber and this is part of the data of the
map of towers. Since the ππ appearing in definition 8.1.8 is, in fact, a homotopy
colimit, we can define maps ππ ββ π΅π using these homotopies. One finds that this
provides a map of sequences compatible with the tensor product of the underlying
maps of augmented cochain complexes.
As an example of a smash product of towers and a map of towers, we would like
to construct a map (recall definition 8.1.5)
π0, π/π β§ π0, π/π ββ π0, π/π (8.1.10)
extending the multiplication π0 β§ π0 ββ π0. Using the terminology of [5, 11], we
see that π0, π/π is the π/π-canonical resolution of π0. Moreover, [5, 4.3(b)] tells us
that π0, π/π β§ π0, π/π is an π/π-Adams resolution. Thus, the following lemma,
108
which is given in [11], means that it is enough to construct a map
(π0 β Ξ£βπ/π
)β§(π0 β Ξ£βπ/π
)ββ
(π0 β Ξ£βπ/π
). (8.1.11)
Lemma 8.1.12. Suppose π, πΌ and π, π½ are πΈ-Adams resolutions. Then any
map of augmented cochain complexes(π0 β Ξ£βπΌβ
)ββ
(π0 β Ξ£βπ½β
)extends to a
map of towers.
The following lemma shows that we can construct the map (8.1.11) by using the
multiplication π : π/πβ§π/π ββ π/π on every factor appearing in the tensor product.
Lemma 8.1.13. The following diagram commutes, where π : π/π β§ π/π ββ π/π is
the multiplication on the ring spectrum π/π.
π/π β§ π/π (π½β§π/π,π/πβ§π½) //
π
(Ξ£π/π β§ π/π) β¨ (π/π β§ Ξ£π/π)
Ξ£(π,π)
π/π
π½ // Ξ£π/π
Proof. π/π β§ π/π = π/π β¨ Ξ£π/π and so to check commutativity of the diagram it is
enough to restrict to each factor. We are then comparing maps in [Ξ£π/π,Ξ£π/π] =
[π/π, π/π] and [π/π,Ξ£π/π]. Both groups are cyclic of order π and generated by 1 and
π½, respectively. Since 1 and π½ are homologically non-trivial, the lemma follows from
the fact that the diagram commutes after applying homology.
Our motivation for constructing the map (8.1.10) was, in fact, to prove the fol-
lowing lemma.
Lemma 8.1.14. The exists a map of towers
π/ππβ*, π/π β§ π/ππβ*, π/π ββ π/ππβ*, π/π
(recall definition 8.1.7) compatible with the map of (8.1.10).
109
Proof. Take the cofibrant pointset level model for π0, π/π which was used to define
π/ππβ*, π/π and consider the underlying map of sequences of (8.1.10). We use the
βhomotopy extension propertyβ that π-modules satisfy, just like in the proof of lemma
7.1.2. It says that we can make any of the squares in the map of sequences strictly
commute at the cost of changing the left map to a homotopic one. The homotopy
we extend should be the one determined by the map on cofibers. By starting at the
(2π β 1)-st position, we can make the first (2π β 1) squares commute strictly. One
obtains the map of the lemma by collapsing out the π-th copy of π0 in π0, π/π.
For us, the purpose of a tower is to a construct spectral sequence.
Definition 8.1.15. The π, πΌ-spectral sequence is the spectral sequence obtained
from the exact couple got by applying π*(β) to a given tower π, πΌ. For π β₯ 0, it
has
πΈπ ,π‘1 (π, πΌ) = ππ‘βπ (πΌ
π ) = ππ‘(Ξ£π πΌπ )
and πΈβ,π‘1 = ππ‘(Ξ£
βπΌβ) as chain complexes. It attempts to converge to ππ‘βπ (π0).
The filtration is given by πΉ π π*(π0) = im(π*(ππ ) ββ π*(π0)). Given an element
in πΉ π π*(π0) we can obtain a permanent cycle by lifting to π*(ππ ) and mapping this
lift down to π*(πΌπ ).
Smashing together towers enables us to construct pairings of such spectral se-
quences.
Proposition 8.1.16 ([5, 4.4]). We have a pairing of spectral sequences
πΈπ ,π‘π (π, πΌ)β πΈπ β²,π‘β²
π (π, π½) ββ πΈπ +π β²,π‘+π‘β²
π (π, πΌ β§ π, π½).
At the πΈ1-page the pairing is given by the natural map
ππ‘βπ (πΌπ )β ππ‘β²βπ β²(π½π
β²) β§ // π(π‘+π‘β²)β(π +π β²)(πΌ
π β§ π½π β²) // π(π‘+π‘β²)β(π +π β²)(πΎπ +π β²),
where πΎ is as in definition 8.1.8. If all the spectral sequences converge then the pairing
converges to the smash product β§ : π*(π0)β π*(π0) ββ π*(π0 β§ π0).
110
People often only talk about the Adams spectral sequence for a spectrum π from
the πΈ2-page onwards. Our definition gives a functorial construction from the πΈ1-page.
Recall again, from [5, 11], the definition of the π»-canonical resolution.
Notation 8.1.17. We write π»β§*, π» [*] for the π»-canonical resolution of π0. Here
we mimic the notation used in [2], and intend for π» [π ] to mean π» β§ π»β§π . The π»-
canonical resolution for a spectrum π is obtained by smashing with the tower whose
underlying augmented cochain complex has augmentation π ββ πΆβ given by the
identity; we write π»β§*, π» [*] β§π.
Definition 8.1.18. Suppose π is any spectrum. The Adams spectral sequence for π
is the π»β§*, π» [*] β§π-spectral sequence.
The πΈ1-page of the Adams spectral sequence can be identified with the cobar
complex Ξ©β(π΄;π»*(π)) and there exists a map of towers
π»β§*, π» [*] β§ π»β§*
, π» [*] ββ π»β§*, π» [*]
such that the induced pairing on πΈ1-pages is the multiplication on Ξ©β(π΄). This gives
the following properties of the Adams spectral sequence for π, which we list as a
proposition.
Proposition 8.1.19. The Adams spectral sequence is functorial in π and it has
πΈ1-page given by Ξ©β(π΄;π»*(π)). We have a pairing of Adams spectral sequences
πΈπ ,π‘π (π)β πΈπ β²,π‘β²
π (π ) ββ πΈπ +π β²,π‘+π‘β²
π (π β§ π )
which, at the πΈ1-page, agrees with the following multiplication (see [10, pg. 76]).
Ξ©β(π΄;π»*(π))β Ξ©β(π΄;π»*(π )) ββ Ξ©β(π΄;π»*(π)βΞ π»*(π )) = Ξ©β(π΄;π»*(π β§ π ))
Providing π is π-complete the Adams spectral sequence for π converges to π*(π) in
the sense of definition 2.2.2, case 1. If each Adams spectral sequence converges then
the pairing above converges to the smash product β§ : π*(π)β π*(π ) ββ π*(π β§ π ).
111
8.2 The modified Adams spectral sequence for π/ππ
When one starts to calculate π»*(π΄;π»*(π/π)), the Adams πΈ2-page for the mod π
Moore spectrum, the first step is to describe the π΄-comodule π»*(π/π). It is the subal-
gebra of π΄ in π΄-comodules given by πΈ[π0]. In particular, it has a nontrivial π΄-coaction.
For π β₯ 2, π»*(π/ππ) has trivial π΄-coaction which means that π»*(π΄;π»*(π/π
π)) is two
copies of the Adam πΈ2-page for the sphere. We would like the πΈ2-page to reflect that
fact that the multiplication by ππ-map is zero on π/ππ. This is the case when we set
up the modified Adams spectral sequence for π/ππ.
Recall 8.1.17 and definition 8.1.7.
Definition 8.2.1. The modified Adams spectral sequence for π/ππ (MASS-π) is the
π»β§*, π» [*] β§ π/ππβ*, π/π-spectral sequence.
Smashing the maps of towers (recall lemma 8.1.14)
π»β§*, π» [*] β§ π»β§*
, π» [*] ββ π»β§*, π» [*],
π/ππβ*, π/π β§ π/ππβ*, π/π ββ π/ππβ*, π/π
and composing with the swap map, we obtain a map of towers
[π»β§*
, π» [*] β§ π/ππβ*, π/π]β§2ββ π»β§*
, π» [*] β§ π/ππβ*, π/π
extending the multiplication π/ππβ§π/ππ ββ π/ππ. By proposition 8.1.16, the MASS-
π is multiplicative.
We turn to the structure of the πΈ1-page. First, we note that the underlying chain
complex of π/ππβ*, π/π is a truncated version of Ξ£βπ/π:
π/ππ½ // Ξ£π/π
π½ // Ξ£2π/π // . . . // Ξ£πβ1π/π // * // * // . . .
Definition 8.2.2. Write Bβ for π»*(Ξ£βπ/π) and B(π)β for the homology of the com-
plex just noted. Write 1π, π0,π for the Fπ-basis elements of Bπ, and also for their images
112
in B(π)π. Note that 1π and π0,π are zero in B(π) for π β₯ π.
Since Ξ£βπ/π and its truncation are ring objects in Ch(S ) we see that Bβ and
B(π)β are DG algebras over π΄. Moreover, using the same identification used for the
Adams πΈ1-page, we see that πΈβ,*1 (MASS-π) = Ξ©β(π΄;B(π)β), as DG algebras. This
cobar complex has coefficients in a DG algebra. Such a set up is described in [10].
To describe the πΈ2-page we need the following theorem and lemma.
Theorem 8.2.3 ([10, pg. 80]). For any differential π΄-comodule Mβ which is bounded
below we have a homology isomorphism
Ξ©β(π΄;Mβ) ββ Ξ©β(π ;πβπ Mβ).
Here, π is a twisting homomorphism πΈ ββ π; πΈ is the exterior part of π΄ and π takes
1 β¦ββ 0, ππ β¦ββ ππ, and ππ1 Β· Β· Β· πππ β¦ββ 0 when π > 1.
Lemma 8.2.4. We have a homology isomorphism
Ξ©β(π ;πβπ B(π)β) ββ Ξ©β(π ;π/ππ0 ).
Moreover, this is a map of differential algebras.
Proof. A short calculation in πβπ B(π)β shows that
π(π β 1π) = 0 and π(π β π0,π) = π0π β 1π β π β 1π+1.
[A sign might be wrong here but the end result will still be the same.] Define a map
πβπ B(π)β ββ π/ππ0
by π β 1π β¦ββ ππ0π and π β π0,π β¦ββ 0. This is a map of differential algebras over π ,
where the target has a trivial differential. In addition, it is a homology isomorphism
and so the Eilenberg-Moore spectral sequence completes the proof.
113
We should keeping track of the gradings under the maps we use:
πΈπ,π1 (MASS-π) =
β¨π+π=π
Ξ©π,π(π΄;B(π)π)
βββ¨π+π=ππ +Ξ=ππ’+Ξ=π
Ξ©π ,π’(π ;πΞ βπ B(π)π)
βββ¨π +π‘=ππ’+π‘=π
Ξ©π ,π’(π ; [π/ππ0 ]π‘).
We summarize what we have proved.
Proposition 8.2.5. The modified Adams spectral sequence for π/ππ (MASS-π) is a
multiplicative spectral sequence with πΈ1-page Ξ©β(π΄;B(π)β) and
πΈπ,π2 (MASS-π) =
β¨π +π‘=ππ’+π‘=π
π»π ,π’(π ; [π/ππ0 ]π‘).
We also make note of a modified Adams spectral sequence for π΅π β§ π/ππ, which
receives the π΅π -Hurewicz homomorphism from the MASS-π.
Definition 8.2.6. The modified Adams spectral sequence for π΅π β§π/ππ (MASS-BP-
π) is the π»β§*, π» [*]β§π΅π β§π/ππβ*, π/π-spectral sequence, where π΅π denotes the
tower whose underlying augmented cochain complex has augmentation π΅π ββ πΆβ
given by the identity.
In the identification of the πΈ1 and πΈ2-page of this spectral sequence Bβ is replaced
by π»*(π΅π β§ Ξ£βπ/π) = π βΞ Bβ. By using a shearing isomorphism, we obtain the
following proposition.
Proposition 8.2.7. The modified Adams spectral sequence for π΅π β§ π/ππ (MASS-
BP-π) is a multiplicative spectral sequence with πΈ1-page Ξ©β(π΄;π βΞ B(π)β) and
πΈπ,π2 (MASS-BP-π) = πΈπ,π
β (MASS-BP-π) = [π/ππ0 ]π,πβπ.
114
8.3 The modified Adams spectral sequence for π/πβ
The cleanest way to define our modified Adams spectral sequence for the PrΓΌfer sphere
involves defining a reindexed MASS-π. To make sense of the reindexing geometrically,
we extend our definition of sequences and towers.
Definition 8.3.1. An object ππ of the diagram category S Z is called a Z-sequence.
A system of interlocking cofibration sequences
. . . ππ β1oo
ππ oo
ππ +1oo
. . .oo
πΌπ β1
;;
πΌπ
;;
πΌπ +1
;;
in S , where π β Z, is called a Z-tower and we use the notation π, πΌ. A Z-tower
is said to be bounded below if there is an π β Z such that πΌπ = * for π < π . Notice
that a Z-tower π, πΌ has an underlying Z-sequence ππ .
A map of Z-towers π, πΌ ββ π, π½ is a compatible collection of maps
ππ ββ ππ βͺ πΌπ ββ π½π .
We can still smash together bounded below Z-towers and they still give rise to a
spectral sequence.
Definition 8.3.2. Let π/πminβ*,π, π/π be the bounded below Z-tower obtained
from π/ππβ*, π/π by shifting it π positions to the left.
Definition 8.3.3. The reindexed Adams spectral sequence for π/ππ (RASS-π) is the
π»β§*, π» [*] β§ π/πminβ*,π, π/π-spectral sequence.
Recall definition 3.1.4. We see immediately from proposition 8.2.5 that
πΈπ,π2 (RASS-π) =
β¨π +π‘=ππ’+π‘=π
π»π ,π’(π ; [ππ]π‘).
115
Moreover, there are maps of bounded below Z-towers
π/πminβ*,π, π/π ββ π/πminβ*,π+1, π/π,
which give maps of spectral sequences from the RASS-π to the RASS-(π+1). Chasing
through the identification of the πΈ2-pages one see that the map at πΈ2-pages is induced
by the inclusion ππ ββππ+1.
Definition 8.3.4. The modified Adams spectral sequence for π/πβ (MASS-β) is the
colimit of the reindexed Adams spectral sequences for π/ππ. It has
πΈπ,π2 (MASS-β) =
β¨π +π‘=ππ’+π‘=π
π»π ,π’(π ; [π/πβ0 ]π‘).
There are some technicalities to worry about when taking the colimit of spectral
sequences. We resolve such issues in appendix B.
By definition, we have a map of spectral sequences from the RASS-π to the MASS-
β. Lemma A.4 provides the following corollary to lemma 4.1.10.
Corollary 8.3.5. The map πΈπ,πβ (RASS-(π + 1)) ββ πΈπ,π
β (MASS-β) is surjective
when πβ π = πππ and π β₯ ππ β πβ 1.
8.4 A permanent cycle in the MASS-(π + 1)
In order to localize the MASS-(π+ 1) we need to find a permanent cycle detecting a
π£1-self map
π£ππ
1 : π/ππ+1 ββ Ξ£βππππ/ππ+1.
The following theorem provides such a permanent cycle.
Theorem 8.4.1. The element πππ
1 in π»0,πππ(π ; [π/ππ+10 ]π
π) is a permanent cycle in
the MASS-(π+ 1).
Proof. By definition, the RASS-(π+1) is obtained by reindexing the MASS-(π+1) and
so it is equivalent to prove that πππ
1 /ππ+10 β π»0,πππ(π ; [ππ+1]
ππβπβ1) is a permanent
116
cycle in the RASS-(π+1). Lemmas 4.1.10 and A.4 show that it is enough to prove that
πππ
1 /ππ+10 β π»0,πππ(π ; [π/πβ0 ]π
πβπβ1) is a permanent cycle in the MASS-β. The map
of spectral sequences induced by Ξ£β1π/πβ ββ π0 (proposition A.1) is an isomor-
phism in this range and so we are left with showing that π(πππ
1 /ππ+10 ) = ππ
πβπβ10 β1,π
is a permanent cycle in the ASS, but this is the content of theorem 7.3.1.
Pick a representative for πππ
1 in ππππ(π/ππ+1). Using the map of spectral sequences
from the MASS-(π+1) to the MASS-BP-1 and the fact that πππ
1 inπ/π0 has the highest
monomial weight, i.e. modified Adams filtration, among elements of the same internal
degree, we see that the image of the chosen representative in π΅π*(π/π) is π£ππ
1 . Thus,
tensoring up any representative for πππ
1 to a self-map π£ππ
1 : π/ππ+1 ββ Ξ£βππππ/ππ+1
defines a π£1 self-map. Corollary 8.3.5 tells us that it is possible to refine our choice of a
representative for πππ
1 so that it maps to the πΌ of theorem 7.3.1 under Ξ£β1π/ππ+1 β π0.
This completes the proof of the final theorem stated in the introduction.
8.5 The localized Adams spectral sequences
Since πππβ1
1 is a permanent cycle in the MASS-π, multiplication by πππβ1
1 defines a
map of spectral sequences, which enables us to make the following definition.
Definition 8.5.1. The localized Adams spectral sequence for π£β11 π/ππ (LASS-π) is
the colimit of the following diagram of spectral sequences.
πΈ*,** (MASS-π)
πππβ1
1 // πΈ*,** (MASS-π)
πππβ1
1 // πΈ*,** (MASS-π)
πππβ1
1 // . . .
It has
πΈπ,π2 (LASS-π) =
β¨π +π‘=ππ’+π‘=π
π»π ,π’(π ; [πβ11 π/ππ0 ]π‘).
Since the MASS-π is multiplicative, the differentials in the LASS-π are derivations.
117
The following diagram commutes when π = 2.
πΈ*,*π (RASS-π)
πππ
1 //
πΈ*,*π (RASS-π)
πΈ*,*π (RASS-(π+ 1))
πππ
1 // πΈ*,*π (RASS-(π+ 1))
Taking homology, we see, inductively, that it commutes for all π β₯ 2. This means
that we have maps of spectral sequences between reindexed localized Adams spectral
sequences for π£β11 π/ππ and so we can make the following definition.
Definition 8.5.2. The localized Adams spectral sequence for the π£1-periodic sphere
(LASS-β) is the colimit of the apparent reindexed localized Adams spectral sequences
for π£β11 π/ππ. It has
πΈπ,π2 (LASS-β) =
β¨π +π‘=ππ’+π‘=π
π»π ,π’(π ; [πβ11 π/πβ0 ]π‘).
8.6 Calculating the LASS-β
Our calculation of the LASS-β imitates that of the loc.alg.NSS. First, we note some
permanent cycles in the MASS-β and LASS-β.
Proposition 8.6.1. For π β₯ 1 and π β₯ 0, ππππβ1
1 /ππ0 is a permanent cycle in the
MASS-β. For π β₯ 1 and π β Z, ππππβ1
1 /ππ0 is a permanent cycle in the LASS-β.
Proof. In the first case, ππππβ1
1 is permanent cycle in the MASS-π and so ππππβ1
1 /ππ0
is a permanent cycle in the RASS-π and the MASS-β. In the second case, ππππβ1
1 is
permanent cycle in the LASS-π and the same argument gives the result.
Corollary 5.5.2 describes the associated graded of the πΈ2-page of the LASS-β
with respect to the Bockstein filtration and we claim that
π2 : πΈπ,π2 (LASS-β) ββ πΈπ+2,π+1
2 (LASS-β)
118
respects the Bockstein filtration.
Note that π0 β π»*(π ; πβ11 π/ππ0 ) is a permanent cycle in the LASS-π. Because π2
is a derivation in the LASS-π, multiplication by π0 commutes with π2. Thus, we find
the same in the reindexed localized Adams spectral sequences for π£β11 π/ππ and hence,
in the LASS-β, too. This verifies the claim.
We conclude that we have a filtration spectral sequence (π0-FILT2)
πΈπ,π,π£0 (π0-FILT2) =
β¨π +π‘=ππ’+π‘=π
πΈπ ,π‘,π’,π£β (πβ1
1 -BSS)π£
=β πΈπ,π3 (LASS-β).
Our calculation of this spectral sequence comes down to the calculation of the πΈ1-page
of the π0-FILT spectral sequence made in proposition 6.3.1.
In appendix A we show that each of the maps in the exact couple defining the
πβ11 -BSS comes from a map of localized Adams spectral sequences. This means that
if π₯ β π»*(π ; πβ11 π/π0) and ππ£0π₯ β πΈβ(πβ1
1 -BSS) then ππ0-FILT20 (ππ£0π₯) = ππ£0π
LASS-12 π₯. The
π/π analog of theorem 1.4.7 therefore tells us that
ππ0-FILT20 :
β¨π β₯π π +π‘=ππ’+π‘=π
πΈπ ,π‘,π’,π£β (πβ1
1 -BSS) βββ¨π β₯π +1π +π‘=π+2π’+π‘=π+1
πΈπ ,π‘,π’,π£β (πβ1
1 -BSS)
and that if π₯ lies in a single trigrading, then
ππ0-FILT20 (ππ£0π₯) β‘ ππ£0π
π£1-alg.NSS2 π₯ = ππ0-FILT
0 (ππ£0π₯)
up to terms with higher π -grading. Thus, using a filtration spectral sequence with
respect to the π -grading we deduce from proposition 6.3.1 that there is an Fπ-vector
space isomorphism
πΈπ,π,π£1 (π0-FILT2) βΌ=
β¨π +π‘=ππ’+π‘=π
πΈπ ,π‘,π’,π£1 (π0-FILT).
In appendix B the LASS-β is shown to converge to π*(π£β11 π/πβ). Moreover, since
119
the localized Adams-Novikov spectral for π*(π£β11 π/πβ) is degenerate and convergent
(the height 1 telescope conjecture is true), we know precisely what group the LASS-β
converges to. From the bound on the size of the πΈ3-page given by our knowledge of
πΈ1(π0-FILT2) we can deduce the following proposition.
Proposition 8.6.2. For π β₯ 3, there exist isomorphisms
πΈπ,ππ (LASS-β) βΌ=
β¨π +π‘=ππ’+π‘=π
πΈπ ,π‘,π’π (loc.alg.NSS)
compatible with differentials.
πΈβ(LASS-β) has an Fπ-basis given by the classes of the following elements.
ππ£0 : π£ < 0
βͺππ£0π
πππβ1
1 : π β₯ 1, π β Zβ πZ, βπ β€ π£ < 0
βͺ
ππ£0ππ : π β₯ 1, 1β ππ β€ π£ < 0
Here, ππ£0ππ denotes an element of πΈ3(LASS-β) corresponding to the element of the
same name in πΈ3(loc.alg.NSS) (see proposition 6.4.1).
8.7 The Adams spectral sequence
The following two corollaries show that our calculation of the LASS-β has implica-
tions for the Adams spectral sequence.
First, lemma A.4 provides the following corollary to proposition 4.3.3.
Corollary 8.7.1. The localization map πΈπ,π3 (MASS-β) ββ πΈπ,π
3 (LASS-β)
1. is a surjection if π < π(πβ 1)(π + 1)β 2, i.e. πβ π < (π2 β πβ 1)(π + 1)β 1;
2. is an isomorphism if πβ 1 < π(πβ 1)(π β 1)β 2,
i.e. πβ π < (π2 β πβ 1)(π β 1)β 2.
120
Using the map of spectral sequences induced by Ξ£β1π/πβ ββ π0 (proposition
A.1) we obtain the following corollary.
Corollary 8.7.2. πΈπ,π3 (ASS) βΌ= πΈπβ1,π
3 (LASS-β) if πβ π < (π2 β πβ 1)(π β 2)β 3
and πβ π > 0.
The line of the corollary just stated is drawn in green in figure 1-1.
One has to be careful when discussing higher differentials in the Adams spectral
sequence. Here is what we know:
β There are permanent cycles at the top of each principal tower, the images of the
following elements under the map π : π»*(π ;π/πβ0 ) ββ π»*(π ;π) βΌ= π»*(π΄).
ππ£0π
πππβ1
1 : π β₯ 1, π β Zβ πZ, π β₯ 1, βπ β€ π£ < 0
Every other element in a principal tower supports a nontrivial differential.
β An element of a side tower in the Adams spectral sequence cannot be hit by a
shorter differential than the corresponding element of the LASS-β.
β A non-permanent cycle in a principal tower in the Adams spectral sequence
above the line of the previous corollary supports a differential of the expected
length.
β A non-permanent cycle in a principal tower in the Adams spectral sequence
cannot support a longer nontrivial differential than the corresponding element
of the LASS-β, but perhaps it supports a shorter one than expected, leaving
an element of a side tower to detect a nontrivial homotopy class.
Looking at the charts of Nassau [14], we cannot find an example of the final
phenomenon, but the class π1,0 β πΈ2,ππ2 (ASS) gives a related example. [Similarly, one
could consider the potential π = 3 Arf invariant elements.] We describe this example
presently.
121
Under the isomorphism πΈ2,ππ2 (ASS) βΌ= πΈ1,ππ
2 (MASS-β), π1,0 is mapped to an ele-
ment detected by πβ(πβ1)0 ππ1π1 in the πβ0 -BSS. Under the localization map this element
maps to an element of πΈ1,ππ2 (LASS-β) detected by πβ(πβ1)
0 ππ1π1 in the πβ11 -BSS.
The element
π₯ = πβπβ10 ππ1 β πβ1
0 πβ11 π2 β π»0,ππ(π ; [πβ1
1 π/πβ0 ]β1) β πΈβ1,ππβ12 (LASS-β)
is detected by πβπβ10 ππ1 in the πβ1
1 -BSS. Our calculation of the LASS-β shows that
π2π₯ β πΈ1,ππ2 (LASS-β) is nonzero. Moreover, we find that πΈ1,ππ
2 (LASS-β) = Fπ so
that a unit multiple of π₯ maps via π2 to the localization of π1,0. This demonstrates
the well-known fact that π½ β πππβ2(π0) is not π£1-periodic.
122
Appendix A
Maps of spectral sequences
The most difficult result of this appendix is the following proposition.
Proposition A.1. There are maps of spectral sequences
RASS-π //
ASS
=
Ξ£β1π/ππ //
π0
=
MASS-β //
=
ASS
induced by Ξ£β1π/πβ //
=
π0
MASS-β //MASS-1 Ξ£β1π/πβ // π/π.
At πΈ2-pages we get the maps by taking the connecting homomorphisms in the long
exact sequences got by applying π»*(π ;β) to the following short exact sequences of
π -comodules (recall definition 3.1.4).
0 // π //
=
πβ¨πβπ0 β© //
ππ//
0
0 // π //
πβ10 π //
/π0
π/πβ0 //
=
0
0 // π/π0 // π/πβ0π0 // π/πβ0 // 0
123
The previous proposition was required in the proof of theorem 8.4.1, which was
necessary to construct the LASS-π and the LASS-β. We record, for completeness,
the following lemma.
Lemma A.2. There are maps of spectral sequences
MASS-(π+ 1) ββ MASS-π induced by π/ππ+1 ββ π/ππ
MASS-π ββ MASS-BP-π induced by π/ππ ββ π΅π β§ π/ππ
RASS-π ββ RASS-(π+ 1) induced by π/πππββ π/ππ+1
RASS-π ββ MASS-β induced by π/ππ ββ π/πβ
MASS-(π+ 1) ββ MASS-(π+ 1) induced by π/ππ+1π£π
π
1ββ Ξ£βππππ/ππ+1
MASS-π ββ LASS-π induced by π/ππ ββ π£β11 π/ππ
RASS-(π+ 1) ββ RASS-(π+ 1) induced by π/ππ+1π£π
π
1ββ Ξ£βππππ/ππ+1
MASS-β ββ LASS-β induced by π/πβ ββ π£β11 π/πβ
To calculate the LASS-β we used the π0-FILT2 spectral sequence. To calculate
πΈ1(π0-FILT2) we required the following proposition.
Proposition A.3. There are maps of spectral sequences induced by the following
cofibration sequences.
π/π ββ π/πβ ββ π/πβ
π£β11 π/π ββ π£β1
1 π/πβ ββ π£β11 π/πβ
At πΈ2-pages the maps are the ones in the exact couples defining the πβ0 -BSS and the
πβ11 -BSS, respectively.
Often we have a map of spectral sequences and we know that on a given page,
at various bidegrees, we have surjections and injections. The following lemma tells
us that if we have a map of spectral sequences, a ππ-differential, and that the map
on the πΈπ-pages is a surjection at the source of the differential and an injection at
the target of the differential, then we have a surjection and an injection at the same
positions on the πΈπ+1-page. The proof is a diagram chase.
124
Lemma A.4. Suppose πΆβ ββ π·β is a map of cochain complexes (in abelian groups),
that πΆπ ββ π·π is surjective and πΆπ+1 ββ π·π+1 is injective. Then π»π(πΆβ) ββ
π»π(π·β) is surjective and π»π+1(πΆβ) ββ π»π+1(π·β) is injective.
We now turn to the proofs of the two propositions.
Proof of proposition A.1. The map RASS-π ββ MASS-β is given by definition. The
map ASS ββ MASS-1 is just a normal map of Adams spectral sequences induced by
π0 ββ π/π. The difficult map to construct is the one induced by Ξ£β1π/ππ ββ π0.
We turn to this presently.
The idea is to start with the connecting homomorphism corresponding to the short
exact sequence of π -comodules 0 ββ π ββ πβ¨πβπ0 β© ββππ ββ 0, and try to realize
it geometrically.
Consider the following short exact sequence of cochain complexes in π΄-comodules.
0 //
0 //
0 //
. . . // 0 //
Fπ //
0
0 //
Ξ£βππΈ[π0,βπ] //
Ξ£βπ+1πΈ[π0,βπ+1]//
. . . // Ξ£β1πΈ[π0,β1]//
Fπ //
0
0 // Ξ£βππΈ[π0,βπ] // Ξ£βπ+1πΈ[π0,βπ+1]
// . . . // Ξ£β1πΈ[π0,β1]// 0 // 0
The suspensions indicate cohomological degree. The first complex is concentrated in
cohomological degree 0 and is just Fπ. The last complex is a shifted version of B(π)β,
which we call Bβ(π)β. We call the middle complex C(π)β. We will show that the
connecting homomorphism of interest is the same as the connecting homomorphism
corresponding to the short exact sequence of differential π΄-comodules
0 ββ Fπ ββ C(π)β ββ Bβ(π)β ββ 0.
Recall lemma 8.2.4 which helped us to identify the πΈ2-page of the MASS-π. We
125
used a map
πβπ B(π)β ββ π/ππ0
defined by π β 1π β¦ββ ππ0π and π β π0,π β¦ββ 0. Similarly, we have maps making the
following diagram commute.
0 // πβπ Fπ //
πβπ C(π)β //
πβπ Bβ(π)β //
0
0 // π // πβ¨πβπ0 β© //ππ// 0
Theorem 8.2.3 was also important in identifying the πΈ2-page of the MASS-π. Using it
again, together with the maps just defined, we find that we have a diagram of cochain
complexes.
0 // Ξ©β(π΄;Fπ) //
Ξ©β(π΄;C(π)β) //
Ξ©β(π΄;Bβ(π)β) //
0
0 // Ξ©β(π ;π) // Ξ©β(π ;πβ¨πβπ0 β©) // Ξ©β(π ;ππ) // 0
Each of the vertical maps is a homology isomorphism and so we can calculate the
connecting homomorphism of interest using, instead, the connecting homomorphism
associated with 0 ββ Fπ ββ C(π)β ββ Bβ(π)β ββ 0.
The connecting homomorphism for this short exact sequence can be described
even more explicitly than is usual. Lifting under the map C(π)β Bβ(π)β can done
using the unique π΄-comodule splitting Bβ(π)β βΛ C(π)β, which puts a zero in the Fπspot. Similarly, the map Fπ βΛ C(π)β has a unique π΄-comodule splitting C(π)β Fπ.
The diagram on the next page realizes the cochain complexes Fπ, C(π)β, and
Bβ(π)β geometrically. We note that the first cochain complex comes from the tower
π0 whose underlying Z-sequence is π0 in nonpositive degrees, * in positive degrees,
with identity structure maps where possible. The last cochain complex is the under-
lying cochain complex of π/πminβ*,π, π/π, one of the towers used to construct the
126
RASS-π.
* //
* //
* //
. . . // * //
π0 //
*
* //
Ξ£βππ/π //
Ξ£βπ+1π/π //
. . . // Ξ£β1π/π //
π0 //
*
* // Ξ£βππ/π // Ξ£βπ+1π/π // . . . // Ξ£β1π/π // * // *
Label these cochain complexes in S by the same names as the cochain complexes
obtained by applying π»*(β) and recall the underlying cochain complex Ξ£βπ» [β] of the
canonical π»-resolution of π0. The snake lemma for calculating the connecting the
homomorphism is realized geometrically by the following composite.
[Ξ£βπ» [β] β§Bβ(π)β
]ππ //
[Ξ£βπ» [β] β§ C(π)β
]ππ //
[Ξ£βπ» [β] β§ C(π)β
]π+1π //
[Ξ£βπ» [β]
]π+1
Here, π and π denote the respective splittings at the level of underlying spectra, π
is the differential in the cochain complex Ξ£βπ» [β] β§ C(π)β, and we have used that
Ξ£βπ» [β] β§ Fπ = Ξ£βπ» [β].
To get the map of spectral sequences we just need to define a map of Z-towers
π/πminβ*,π, π/π ββ π0, which pairs with π»β§*, π» [*] to give the composite above.
Such a map of Z-towers has nonzero degree: it raises cohomological degree by 1. The
underlying map of Z-sequences takes Ξ£β1π/ππ to π0 via the composite
Ξ£β1π/ππ ββ Ξ£β1π/πβ ββ π0
and the map on underlying cochain complexes is the map Bβ(π)β ββ Fπ which, on
homology, takes π0,β1 to 10. This completes the construction of the map of spectral
sequences RASS-π ββ ASS induced by Ξ£β1π/ππ ββ π0.
127
Since the maps of towers we use are compatible with the maps
π/πminβ*,π, π/π ββ π/πminβ*,π+1, π/π,
the maps just constructed pass to the colimit to give the map MASS-β ββ ASS
induced by Ξ£β1π/πβ ββ π0. The map MASS-β ββ MASS-1 can be obtained by
composition with the map ASS ββ MASS-1.
Proof of proposition A.3. The map of spectral sequences induced by the connecting
map Ξ£β1π/πβ ββ π/π was constructed in the previous proposition. The map in-
duced by π/π ββ π/πβ is the map MASS-1 βΌ= RASS-1 ββ MASS-β.
The maps MASS-(π + 1) ββ MASS-π induced by π/ππ+1 ββ π/ππ can be rein-
dexed to give maps RASS-(π + 1) ββ RASS-π of nonzero degree. Taking a colimit
we obtain the map MASS-β ββ MASS-β induced by π : π/πβ ββ π/πβ.
We turn to the localized version. The map induced by π£β11 π/π ββ π£β1
1 π/πβ is
obtained in an identical manner to the unlocalized one, passing through a reindexed
localized Adams spectral sequence for π£β11 π/π. Similarly, for the map π : π£β1
1 π/πβ ββ
π£β11 π/πβ, the maps RASS-(π + 1) ββ RASS-π localize to give maps of reindexed
localized Adams spectral sequences, and we can take a colimit.
Finally, for the connecting homomorphism we recall that the map RASS-π ββ
MASS-1 is constructed using the map of towers π/πminβ*,π, π/π ββ π0 ββ π/π,
which makes use of the connecting homomorphism Ξ£β1π/πβ ββ π/π. Each of the
maps RASS-π ββ MASS-1 localizes. The collection of localized maps is compatible
and so defines the requisite map LASS-β ββ LASS-1.
128
Appendix B
Convergence of spectral sequences
In this appendix we check that each of the spectral sequences used in this thesis
converges in the sense of definition 2.2.2. In particular, we describe how to deal with
the technicalities associated with taking the colimits of spectral sequences that appear
in the definition of the MASS-β, the LASS-π, and the LASS-β.
In definition 8.1.15 we define the filtration of π*(π0) that is relevant for the π, πΌ-
spectral sequence, and we describe a detection map
πΉ π ππ‘βπ (π0)/πΉπ +1ππ‘βπ (π0) ββ πΈπ ,π‘
β (π, πΌ).
This takes care of the filtration and detection map for the MASS-π and we will verify
case 1 of definition 2.2.2 to prove the following proposition.
Proposition B.1. The MASS-π converges to π*(π/ππ).
Moreover, the filtration associated with the RASS-π is obtained by reindexing the
filtration associated with the MASS-π, and our proof will verify case 3 of definition
2.2.2 to give the following corollary.
Corollary B.2. The RASS-π converges to π*(π/ππ).
Delaying the proof of these results for now, we note that we have not even defined
the filtration or detection map for the MASS-β, the LASS-π, and the LASS-β. We
129
carefully discuss the situation for the MASS-β by turning straight to the proof of
the following proposition.
Proposition B.3. The MASS-β converges to π*(π/πβ).
Proof. The purpose of a convergent spectral sequence is to identify the associated
graded of an abelian group with respect to some convergent filtration. Thus, the
most immediate aspects of the MASS-β to address are the associated filtration, the
πΈβ-page and the relationship between the two.
We have injections πΉ ππ*(π/ππ) ββ π*(π/π
π), where the πΉ denotes the filtration
associated with the RASS-π. Since, the maps π : π/ππ ββ π/ππ+1 used to define
π/πβ are compatible with these filtrations, and filtered colimits preserve exactness,
we obtain an injection colimππΉππ*(π/π
π) ββ colimππ*(π/ππ) = π*(π/π
β). We define
πΉ ππ*(π/πβ) = im
(colimπ πΉ
ππ*(π/ππ) ββ π*(π/π
β)
).
When we say that the MASS-β is the colimit of the reindexed Adams spectral
sequences for π/ππ we mean that
πΈπ,ππ (MASS-β) = colimπ πΈ
π,ππ (MASS-π)
for each π β₯ 2. Since filtered colimits commute with homology we have identifications
π»π,π(πΈ*,*π (MASS-β), ππ) = πΈπ,π
π+1(MASS-β) for each π β₯ 2, which justifies calling the
MASS-β a spectral sequence.
Staying true to definition 2.1.9, the πΈβ-page of the MASS-β is given by the
permanent cycles modulo the boundaries. However, we had another choice for the
definition of the πΈβ-page:
πΈπ,πβ (MASS-β) = colimπ πΈ
π,πβ (MASS-π).
We show that the two definitions coincide presently.
The vanishing line of corollary 4.1.9 ensures that, for large π depending only on
(π, π), not on π, we have maps πΈπ,ππ (RASS-π) ββ πΈπ,π
π+1(RASS-π). Moreover, π is
130
allowed to be β. Thus,
πΈπ,πβ (MASS-β) = colimπ>>0 πΈ
π,ππ (MASS-β)
= colimπ>>0 colimπ πΈπ,ππ (RASS-π)
= colimπ colimπ>>0 πΈπ,ππ (RASS-π)
= colimπ πΈπ,πβ (RASS-π).
The vanishing line makes sure that an element of the RASS-π cannot support longer
and longer differentials as it is mapped forward into subsequent reindexed Adams
spectral sequences, without eventually becoming a permanent cycle.
This observation is what allows us to make an identification
πΉ πππβπ(π/πβ)/πΉ π+1ππβπ(π/πβ) = πΈπ,πβ (MASS-β).
Providing we have proved the previous corollary, that the RASS-π converges, we have
the following short exact sequence.
0 ββ πΉ π+1ππβπ(π/ππ) ββ πΉ πππβπ(π/ππ+1) ββ πΈπ,πβ (MASS-π) ββ 0 (B.4)
Taking colimits gives another short exact sequence. By our definition of πΉ ππ*(π/πβ),
and the fact that the right term can be identified with πΈπ,πβ (MASS-β), that short
exact sequence gives the requisite identification.
We are just left with showing thatβπ πΉ
ππ*(π/πβ) = π*(π/π
β) and that for each
π’, there exists a π with πΉ πππ’(π/πβ) = 0. For the first part we note that
βππΉ ππ*(π/π
β) = im
(colimπ colimπ πΉ
ππ*(π/ππ) ββ π*(π/π
β)
)= im
(colimπ colimπ πΉ
ππ*(π/ππ) ββ π*(π/π
β)
)= im
(colimπ π*(π/π
π) ββ π*(π/πβ)
)= π*(π/π
β).
131
For the second part, we use both the vanishing line of corollary 4.1.9 and the con-
vergence of the RASS-π again. They tell us that πΉ πππβπ(π/ππ) is zero for π > πΎ
where
πΎ =(πβ π) + 1
πβ 1.
πΎ is independent of π, so πΉ πππβπ(π/πβ) = 0 for π > πΎ.
The vanishing line makes sure that if an element of π*(π/ππ) has infinitely many
filtration shifts as it is mapped forward into subsequent Moore spectra, then it must
map to zero in π*(π/πβ).
We have proved that the MASS-β convergences in accordance with definition
2.2.2, case 3.
Since the convergence of the LASS-π and LASS-β are similar we address them
presently.
Proposition B.5. The LASS-(π+ 1) converges to π*(π£β11 π/ππ+1).
Proof. This is essentially the same proof as just given for the MASS-β. We just need
to make a few remarks.
First, we have not said precisely what we mean by π£β11 π/ππ+1. Theorem 8.4.1 tells
us that πππ
1 is a permanent cycle in the MASS-(π+1). Thus it detects some homotopy
class, which we call
π£ππ
1 : π0 ββ Ξ£βππππ/ππ+1.
Since π/ππ+1 is a ring spectrum, we can βtensor upβ to obtain a π£1 self-map, which
we give the same name
π£ππ
1 : π/ππ+1 ββ Ξ£βππππ/ππ+1.
π£β11 π/ππ+1 is the homotopy colimit of the diagram
π/ππ+1π£π
π
1 // Ξ£βππππ/ππ+1π£π
π
1 // Ξ£β2ππππ/ππ+1π£π
π
1 // Ξ£β3ππππ/ππ+1 // . . .
By construction we have π*(π£β11 π/ππ+1) = (π£π
π
1 )β1π*(π/ππ+1). This is what allows us
132
to use the multiplicative structure of the MASS-n to localize the spectral sequence as
opposed to constructing maps of towers.
Let [π, π] = π + πππ and [π, π] = π + ππ(π + 1)π. The vanishing line of corollary
4.1.9 is parallel to the multiplication-by-πππ
1 -line and this ensures that for large π,
depending only on (π, π), not π, we have maps
πΈ[π,π],[π,π]π (MASS-(π+ 1)) ββ πΈ
[π,π],[π,π]π+1 (MASS-(π+ 1)).
Thus, just as in the previous proof we have an identification
πΈπ,πβ (LASS-(π+ 1)) = colimπ πΈ
[π,π],[π,π]β (MASS-(π+ 1)).
where the maps in the system are multiplication by πππ
1 .
The proof of convergence is now the same as for the MASS-β. We define
πΉ πππ’(π£β11 π/ππ+1) = im
(colimπ πΉ
[π,π]ππ’+ππππ(π/ππ+1) ββ ππ’(π£
β11 π/ππ+1)
),
where the πΉ on the right hand side of the equation denotes the MASS-(π+1) filtration.
We verify convergence in accordance with definition 2.2.2, case 3.
Proposition B.6. The LASS-β converges to π*(π£β11 π/πβ).
Proof. The proof is exactly the same as for the MASS-β. We define
πΉ ππ*(π£β11 π/πβ) = im
(colimπ πΉ
ππ*(π£β11 π/ππ) ββ π*(π£
β11 π/πβ)
),
where the πΉ on the right hand side of the equation denotes a reindexed localized
Adams filtration; we use the convergence and vanishing lines of the reindexed localized
Adams spectral sequences for π£β11 π/ππ instead of the convergence and vanishing lines
for the RASS-π. The only subtlety is taking the colimit of the short exact sequence
analogous to (B.4). This is intertwined with the issue of defining of π£β11 π/πβ.
Corollary 3.8 of [8] tells us that there exists integers π1, π2, π3, . . . such that the
133
following diagrams commute.
π/ππ
[π£π
πβ1
1
]πππ//
π
Ξ£βππππππ/ππ
π
π/ππ+1
[π£π
π
1
]ππ// Ξ£βππππππ/ππ+1
This means that π : π/ππ ββ π/ππ+1 induces a map π : π£β11 π/ππ ββ π£β1
1 π/ππ+1.
π£β11 π/πβ is the homotopy colimit of the diagram
π£β11 π/π
π // π£β11 π/π2 // . . . // π£β1
1 π/πππ // π£β1
1 π/ππ+1 // . . .
Moreover, the diagram below commutes, where the filtrations are those of the RASS-π
and RASS-(π+ 1).
πΉ ππ*(π/ππ)
[π£π
πβ1
1
]πππ//
π
πΉ π+πππππ*(π/ππ)
π
πΉ ππ*(π/π
π+1)
[π£π
π
1
]ππ// πΉ π+πππππ*(π/π
π+1)
Thus, π : π£β11 π/ππ ββ π£β1
1 π/ππ+1 respects the reindexed localized Adams filtrations.
The proof convergence of the loc.alg.NSS follows the same chain of ideas as for
the LASS-β.
Lemma B.7. The loc.alg.NSS converges to π»*(π΅π*π΅π ; π£β11 π΅π*/π
β).
Proof. This is essentially the same proof as for the LASS-β. The following algebraic
Novikov spectral sequence converges in accordance with definition 2.2.2, case 1.
π»π ,π’(π ; [π/ππ0 ]π‘)π‘
=β π»π ,π’(π΅π*π΅π ;π΅π*/ππ)
This is because the πΌ-adic filtration of Ξ©*(π΅π*π΅π ;π΅π*/ππ) is finite in a fixed internal
134
degree: πΉ βπ’/πβ+πΞ©*,π’(π΅π*π΅π ;π΅π*/ππ) = 0. Because we have a vanishing line parallel
to the multiplication-by-πππβ1
1 -line, we deduce that each
π»π ,π’(π ; [πβ11 π/ππ0 ]π‘)
π‘=β π»π ,π’(π΅π*π΅π ; π£β1
1 π΅π*/ππ)
converges in accordance with definition 2.2.2, case 3.
After the reindexing that occurs in constructing
π»π ,π’(π ; [πβ11 π/πβ0 ]π‘)
π‘=β π»π ,π’(π΅π*π΅π ; π£β1
1 π΅π*/πβ)
the vanishing lines for these spectral sequences become independent of π and so we
conclude convergence in accordance with definition 2.2.2, case 3.
We now go back to the proof of the first proposition.
Proof of proposition B.1. We are in case 1 of definition 2.2.2. We need to check the
following conditions.
β The map πΉ ππ*(π/ππ)/πΉ π+1π*(π/π
π) ββ πΈπ,*β (MASS-π) appearing in definition
8.1.15 is an isomorphism.
ββπ πΉ
ππ*(π/ππ) = 0 and the map π*(π/ππ) ββ limπ π*(π/π
π)/πΉ ππ*(π/ππ) is an
isomorphism.
We will appeal to [15, theorem 3.6] but first we need to relate our construction of the
MASS-π to the one given there.
Suppose π, πΌ and π, π½ are towers and that we have chosen cofibrant models
for them. Write πΉ (β,β) for the internal hom functor in π-modules [7] and π for a
cofibrant replacement functor. Then we obtain a zig-zag
colimπ+πβ₯π0β€π,πβ€π
ππ β§ ππβΌββ hocolimπ+πβ₯π
0β€π,πβ€πππ β§ ππ ββ hocolimπ+πβ₯π
0β€π,πβ€ππΉ (ππΉ (ππ, π
0), ππ).
As long as each ππ is finite, this will be an equivalence. Taking π, πΌ to be π»β§*, π» [*]
and π, π½ to be π/ππβ*, π/π, we that our MASS-π is the same as the one in [15,
135
definition 2.2] when one uses the dual of π/ππβ*, π/π in the source.
ππ is zero on π/ππ and so [15, proposition 1.2(a)] tells us π/ππ is π-adically cocom-
plete. Moreover, each π/ππ is finite and connective. Thus, [15, theorem 3.6] applies
(after suspending once): the first bullet point holds andβπ πΉ
ππ*(π/ππ) = 0. More-
over, the vanishing line of corollary 4.1.9 gives a vanishing line for the MASS-π, and
so we see that for each π’, there exists a π with πΉ πππ’(π/ππ) = 0. We conclude that
the map π*(π/ππ) ββ limπ π*(π/ππ)/πΉ ππ*(π/π
π) is an isomorphism, as required.
Proof of corollary B.2. We are in case 3 of definition 2.2.2 by the previous argument.
It is far easier to show that the other spectral sequences we use converge.
Lemma B.8. The π-BSS, the πβ0 -BSS and the πβ11 -BSS converge.
Proof. The relevant filtrations are given in 3.2.1, 3.3.1 and 3.5.2, as are the identifi-
cations πΈπ£β = πΉ π£/πΉ π£+1. For the π-BSS we are in case 1 of definition 2.2.2:
πΉ 0π»*(π ;π) = π»*(π ;π) and πΉ π‘+1π»π ,π’(π ;ππ‘) = 0
and so the requisite conditions hold. For the πβ0 -BSS and the πβ11 -BSS we are in case
2 of definition 2.2.2.
Corollary B.9. The π0-FILT and π0-FILT2 spectral sequence converge to the πΈ3-
pages of the loc.alg.NSS and the LASS-β, respectively.
Proof. Since the πβ11 -BSS converges in accordance with definition 2.2.2, case 2, one
finds that this means the π0-FILT and π0-FILT2 spectral sequences do, too.
For our final convergence proof we need the following lemma.
Lemma B.10. Fix (π, π). There are finitely many (π , π‘, π’) with π + π‘ = π, π’+ π‘ = π
and π»π ,π’(π ; [πβ11 π/π0]
π‘) nonzero.
136
Proof. Multiplication by π1 defines an isomorphism
β¨π +π‘=ππ’+π‘=π
π»π ,π’(π ; [πβ11 π/π0]
π‘) βββ¨
π +π‘=π+1π’+π‘=π+π+1
π»π ,π’(π ; [πβ11 π/π0]
π‘).
Thus, it is equivalent to ask the question for (π+ π, π+ π(π+ 1)). By corollary 4.3.2
we can choose π so that
β¨π +π‘=π+π
π’+π‘=π+π(π+1)
π»π ,π’(π ; [π/π0]π‘) ββ
β¨π +π‘=π+π
π’+π‘=π+π(π+1)
π»π ,π’(π ; [πβ11 π/π0]
π‘)
is an isomorphism. Nonzero elements in the left hand side have π , π‘ β₯ 0. There are
finitely many (π , π‘, π’) with π + π‘ = π + π and π , π‘ β₯ 0 and so the result follows.
This shows that the spectral sequence argument alluded to in the proof of [11,
theorem 4.8] is valid. It also allows us to prove the following lemma.
Proposition B.11. The π -filtration spectral sequence of section 8.6 converges to
πΈ1(π0-FILT2).
Proof. To show that the spectral sequence converges in accordance with definition
2.2.2, case 1, we just need to show that for each (π, π, π£), there are finitely many
(π , π‘, π’) with π + π‘ = π, π’+ π‘ = π and πΈπ ,π‘,π’,π£β (πβ1
1 -BSS) nonzero. This follows from the
fact that for each (π, π, π£), there are finitely many (π , π‘, π’) with π + π‘ = π, π’ + π‘ = π
and π»π ,π’(π ; [πβ11 π/π0]
π‘βπ£) nonzero.
137
THIS PAGE INTENTIONALLY LEFT BLANK
138
Bibliography
[1] J. F. Adams, The Kahn-Priddy theorem, Mathematical Proceedings of the Cam-bridge Philosophical Society, vol. 73, Cambridge Univ Press, 1973, pp. 45β55.
[2] M. J. Andrews and H. R. Miller, Inverting the Hopf map, To appear (2015).
[3] J. M. Boardman, Conditionally convergent spectral sequences, ContemporaryMathematics 239 (1999), 49β84.
[4] R. R. Bruner, The homotopy groups of π»β ring spectra, π»β ring spectra andtheir applications, Springer, 1986, pp. 129β168.
[5] , The homotopy theory of π»β ring spectra, π»β ring spectra and theirapplications, Springer, 1986, pp. 88β128.
[6] D. M. Davis and M. Mahowald, The image of the stable π½-homomorphism, Topol-ogy 28 (1989), no. 1, 39β58.
[7] A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May, Rings, modules, andalgebras in stable homotopy theory, American Mathematical Society Surveys andMonographs, American Mathematical Society, Citeseer, 1995.
[8] M. J. Hopkins and J. H. Smith, Nilpotence and stable homotopy theory II, Annalsof mathematics (1998), 1β49.
[9] J. P. May, A general algebraic approach to Steenrod operations, The SteenrodAlgebra and Its Applications: A Conference to Celebrate NE Steenrodβs SixtiethBirthday, Springer, 1970, pp. 153β231.
[10] H. R. Miller, A localization theorem in homological algebra, Mathematical Pro-ceedings of the Cambridge Philosophical Society, vol. 84, Cambridge Univ Press,1978, pp. 73β84.
[11] , On relations between Adams spectral sequences, with an application tothe stable homotopy of a Moore space, Journal of Pure and Applied Algebra 20(1981), no. 3, 287β312.
[12] H. R. Miller, D. C. Ravenel, and W. S. Wilson, Periodic phenomena in theAdams-Novikov spectral sequence, Annals of Mathematics (1977), 469β516.
139
[13] H. R. Miller and W. S. Wilson, On Novikovβs Ext1 modulo an invariant primeideal, Topology 15 (1976), no. 2, 131β141.
[14] C. Nassau, The Adams πΈ2-page at π = 3, http://www.nullhomotopie.de/charts/z3ext0.pdf (2000).
[15] D. C. Ravenel, The Segal conjecture for cyclic groups and its consequences, Amer-ican Journal of Mathematics (1984), 415β446.
[16] , Complex cobordism and stable homotopy groups of spheres, AmericanMathematical Soc., 2004.
140