FANDOM

42 Pages

This seminar by thermoplyae took place on 21st September 2008 20:00 UTC, in #mathematics channel of irc.freenode.net.

The timestamps displayed in the IRC text are UTC+1.
Any explanation or errors regarding this seminar should be recorded in the discussion page.

TopicEdit

Spectra and representability of homology functors, spectral sequences and some example calculations. Part of the series outlined at Towards Spectral Sequences.

TranscriptEdit

<thermoplyae> so i guess we'll get started?
ChanServ has changed the topic to: Seminar in progress, type '!' and wait to be called if you have a
question.
<thermoplyae> so last time we talked about CW-complexes and their homotopy properties, where we saw a
lot of long and boring theorems that gave us low-dim'l homotopy information and then
failed for higher dimensions
<thermoplyae> and we used that as motivation to consider less topological constructions, called
homology theories, that behaved like homotopy except they didn't fail so miserably in
higher dimensions
<thermoplyae> and then i abruptly left :)
<thermoplyae> so there are a couple of things i need to talk about in the general context of homology
and then we're going to look at spectra which will hopefully give you some kind of
grasp on what homology "really" is, and then we'll begin doing spectral sequences
<thermoplyae> so, to start, what i gave as the excision and exactness properties last time, can be
used via clever renaming of spaces to come up with a new l.e.s., called the
mayer-vietoris sequence
<thermoplyae> given a CW complex X and two covering subcomplexes A, B (so a triad (X, A, B)), there's
a l.e.s of the form ... -> H_n (A cap B) -> H_n A (+) H_n B -> H_n X -> ... -> 0
<thermoplyae> and this is pretty computationally useful.  for instance, we can use it to calculate
the homology of a sphere with a slightly unintelligent cell structure on it (the
inductive one i gave, with two cells in each dimension)
<thermoplyae> under that structure, the north hemisphere and the south hemisphere are subcomplexes
that intersect at the equator.  given that the homology groups of S^1 are
(Z, Z, 0, 0, ...), these fit into an exact sequence 0 -> H_3 X -> 0 -> 0 -> H_2 X -> Z
-> 0 -> H_1 X -> Z -> Z (+) Z -> Z -> 0, and then a mix of homological algebraic
inference and some small amount of knowledge of what those maps actually are (which is
indicated in the proof of the sequence's exactness) yields H_* S^2 = (Z, 0, Z, 0, 0, ...)
<thermoplyae> and, actually, a similar argument will work for any suspended space.  recalling that
SX = CX glued-along-X-to CX, we can cover SX with two (contractible) copies of CX and
compute SX's homology in terms of CX
<thermoplyae> which turns out to be exactly X's homology, shifted up by one dimension (exempting H_0
-- to deal with this formally, this is proven in the context of so-called "reduced"
homology, where H_0 = 0 for path-connected spaces)
<thermoplyae> a similar sequence can also be constructed for cohomology, with the arrows running
the other way
<thermoplyae> now, suppose for a moment that our cohomology functor is actually representable, i.e.
H^n X = Toph^*(X, E_n) for some cell complex E_n
<thermoplyae> by the adjointedness of the suspension and loop functors, this means that the sequence
of spaces E_n must satisfy E_n = Loops E_{n+1}, which in no small part motivates the
construction of spectra:
<thermoplyae> a spectrum is a sequence of spaces E_n that satisfy SE_n includes into E_{n+1} as a
subcomplex
<thermoplyae> a subspectrum of E_n is a family of subcomplexes F_n, one for each n, that is also a
spectrum
<thermoplyae> we, of course, want to turn this into a category
<thermoplyae> our first guess at how to make this happen is to associate a map f: E -> F with a
sequence of maps f_n: E_n -> F_n such that E_n -f_n-> F_n --> F_{n+1} is the same as
E_n --> E_{n+1} -f_{n+1}-> F_{n+1} is the same arrow
<thermoplyae> which is to say that as we go farther up in the sequence of spaces, the cells
belonging to earlier spaces are still acted upon in the same way
<thermoplyae> for technical reasons, this is actually too strong.  we weaken this to mean instead
that a map of spectra is a partial function satisfying these properties such that the
map is "eventually" defined on every cell
<thermoplyae> more formally, a subspectrum is said to be cofinal if every cell in E_n is eventually
contained in F_m, m >= n, after some finite number of suspensions
<thermoplyae> and a map of spectra E -> F is a function in the first sense from G -> F, where G is
cofinal in E
<thermoplyae> we can construct a variety of spectra straight away.  for instance, given a CW complex
X, the sequence X, SX, SSX, SSSX, ... is obviously a spectrum
<thermoplyae> given a spectrum E and a CW-complex X, we can defined (E smash X)_n to be E_n smash X.
associativity of the smash product shows that this is also a spectrum
<thermoplyae> given our notion of a map being "eventually" defined, we're also free to shift our
spectra around
<thermoplyae> we can suspend a spectrum E by defining (SE)_n = E_{n+1}, shifting it down.  we can
also /desuspend/ a spectrum by definining (S^-1 E)_n = E_{n-1} and (S^-1 E)_0 = pt
<thermoplyae> in fact, S S^-1 E = S^-1 S E = E, where it's worth emphasizing that "=" here is
equivalence of spectra
<thermoplyae> almost straight from these definitions, we can demonstrate that, given a spectrum E, we
can associate the following homology and cohomology theories to it:
<thermoplyae> E_n X = Spectra(S^n Sphere, E smash X), E^n = Spectra(X, S^n E) = Spectra(S^-n Sphere
smash X, E)
<thermoplyae> let's talk about the homology for a moment first.  by abuse of notation, we can think
of this as pi_n(E smash X), where pi_n here means "the limit of pi_{n+m}(E_m smash X)"
<thermoplyae> talking E_m to be the sphere spectrum, this is exactly the stable homotopy groups of X
discussed earlier (remember?  we calculated pi_3 S^2?)
<thermoplyae> and so in some sense, homology /is/ a subfield of stable homotopy -- these theories,
anyway, but we'll turn to that in a moment
<thermoplyae> second, the definition for the cohomology theory associated to E may not be immediately
transparent, but if we require that the map E_n -> Loops E_{n+1} adjoint to SE_n ->
E_{n+1} is a homotopy equivalence, we find that this can be rewritten as E^n X =
Toph^*(X, E_n), as per our initial motivation
<thermoplyae> a spectrum satisfying this is called an Omega-spectrum
<thermoplyae> now, given a homology theory that satisfies 1) weak homotopy equivalence is sent to
isomorphisms of homology groups 2) wedge sums of spaces are sent to coproducts of
homology groups 3) a slightly weaker form of the mayer-vietoris sequence, we can
construct a spectrum inductively that represents the homology functor
<thermoplyae> and, for the most part, our interesting homology theories /do/ satisfy these things.
in particular, cellular / ordinary homology certainly does
<thermoplyae> the spectrum that represents it turns out to be the spectrum of Eilenberg-Maclane
spaces.  H^n(X; G) = Toph^*(X, K(G, n))
<thermoplyae> now, we digress for a moment from spectra, talking about one last central point of
homology:
<thermoplyae> it's fairly easy but lengthy to prove using straight homological algebra that
H_n(X * Y) = (+)_{i + j = n} H_i(X) (x) H_j(Y) in the context of ordinary homology
<thermoplyae> (up to some business with the Tor functor, of course)
<thermoplyae> this formula is also true in other homology theories for other reasons, and is in
general called the 'Kunneth isomorphism'
<thermoplyae> in particular, this means that there's a map (H_n X) * (H_m X) -> H_{n+m} (X * X)
<thermoplyae> so a sort of external product of homology classes
<thermoplyae> a similar result also holds in cohomology, but there because we have the topological
map X -> X * X given by the diagonal, we can turn this into an internal cohomology
product by postcomposing with the arrow H^{n+m} (X * X) -> H^{n+m} X
<thermoplyae> this product is called the cup product.  it can be shown to be distributive and graded-
commutative (i.e. x cup y = (-1)^{nm} y cup x, where x lives in H^n X and y lives in
H^m X)
<thermoplyae> and so it turns ordinary cohomology into a ring (!)
<thermoplyae> in the context of unreduced cohomology, where H^0 is a copy of the underlying ring,
this can be seen as a unital algebra as well.  something like H^* S^n can then be
expressed as "the exterior algebra on one class of rank n"
<thermoplyae> and, as further application, this product [X, K(Z, n)] * [X, K(Z, m)] -> [X, K(Z, n+m)]
can be turned into a map K(Z, n) * K(Z, m) -> K(Z, n + m) using Yoneda's lemma
<thermoplyae> a spectrum with such a product on it is called a "ring spectrum", because it turns the
associated cohomology theory into a ring-valued functor
<thermoplyae> now, i think that's plenty of homology.  any questions before i move on to exact
couples and spectral sequences?
<thermoplyae> okay then
<thermoplyae> so finally i think we've pushed enough symbols around to make spectral sequences at
least seem approachable
<thermoplyae> again, usually the off-putting thing with spectral sequences is the extraordinary
amount of indices (and thus the extraordinary amount of information), which makes the
whole process quite confusing
<thermoplyae> to start, an exact couple is a pair of modules D, E and a triple of maps i: D -> D,
j: D -> E, and k: E -> D that's exact
<thermoplyae> E has a differential on it, namely jk, since (jk)(jk) = j(kj)k = j0k = 0, and so given
an exact couple we can construct a derived exact couple by replacing E with E's
homology wrt. this differential, D with im i \subset D
<thermoplyae> i is replaced by its restriction to the new D, j is replaced with the map
i(x) |-> [j(x)], where [] denotes the homology class in E, and k with [y] |-> k(y)
<thermoplyae> it is six easy exercises in arrow chasing to show that this is again an exact couple
<thermoplyae> now, let's construct an exact couple.  take a space X and filter it into a bunch of
spaces X^n (i.e. X^n is contained in X^{n+1} and their colimit is X)
<thermoplyae> using the exactness property of homology, X^{p-1} -> X^p -> X^p / X^{p-1} induces an
l.e.s in homology
<thermoplyae> we take D and E to be bigraded groups with components given by D_{pq} = h_{p+q} X^p
and E_{pq} = h_{pq}(X^p / X^{p-1})
<thermoplyae> i is defined componentwise, taking D_{pq} to D_{p+1, q-1} (corresponding to the first
map in the s.e.s. in Toph given above)
<thermoplyae> j takes D_{pq} to E_{pq}, corresponding to the second map
<thermoplyae> k takes E_{pq} to D_{p-1, q}, corresponding to the boundary map induced in the l.e.s.
<thermoplyae> because E_{pq} is zero for p or q negative, it is easy to show that E stabilizes in the
limit (i.e. each component of E stabilizes after we take homology finitely many times)
<thermoplyae> the basic idea there is that the differential will each time have larger and larger
degree, and eventually the sequences we'll be taking homology wrt. will look like
0 -> E_{pq} -> 0, and so E's homology there will just be E again
<thermoplyae> it's also easy to show that E will in fact converge to h_*(X) (!!)
<thermoplyae> in particular, if we pick X to be a cell complex filtered by its cell skeleta, the
first derived homology will be cellular (!!!), i.e. E^2_{pq} = H_p(x; h_q pt), where h
is any nice homology theory and H is cellular/ordinary homology
<thermoplyae> oh, we'll have to rewind in a moment, that there haven't been any flags thrown up is
not a good sign you guys are paying attention :P
<thermoplyae> but anyway, this spectral sequence is called the atiyah-hirzebruch spectral sequence,
and it states in words that given the ordinary homology of a space and the coefficient
group of any other homology theory, we can compute the homology of the space in terms
of that other homology theory
<thermoplyae> now, the trouble i skipped over, is that i said it converged to h_* X without saying
what this means. E^\infty_{pq} is still bigraded!
<thermoplyae> it turns out that to finish this process off, h_n X is equal to an extension of the
sequence of groups E^\infty_{pq} with p+q = n
<thermoplyae> so if all but one of these groups vanish, h_n X will be equal to it.  if there are two
groups, it could be a direct product or a semidirect product.  if there are more
groups, it gets steadily more complicated
<thermoplyae> if you're proving all this, it's easy to get excited at this point.  you can compute so
much from so little information!
<thermoplyae> we must not forget the incredible amount of work and unknowns here
<thermoplyae> the differential on this structure is quite often nigh impossible to compute, as is the
extension problem at the end
<thermoplyae> there are nice cases in which it is possible -- for instance, if X has homology
concentrated in even degrees and h_* pt is also concentrated in even degrees (or some
condition like this, i'm not thinking about it too hard), the spectral sequence will
collapse immediately
<thermoplyae> before we discard the notion of an exact couple, we ought to discuss another example:
the homotopy exact couple
<thermoplyae> set E_{pq} = pi_{p+q}(X^p, X^{p-1}) and D_{pq} = pi_{p+q}(X^p).  the differentials,
again, fall out of taking the relative homotopy l.e.s. of the pair (X^p, X^{p-1})
<thermoplyae> the hurewicz theorem (one of the things i told you to look up at the end of the last
lecture :P) gives that E_{pq} = 0 for q < 0, which is also trivially true for p < 0,
and so this sequence will also stabilize for the same reason
<thermoplyae> in fact, it'll converge to pi_* X, again after solving the same extension problem
<thermoplyae> again restricting to the case when X is filtered by the cell skeleta, E^1 is isomorphic
to chains on X (another construction of ordinary homology, called singular homology,
where in place of the cells themselves we take all possible mappings D^n -> X and
construct differentials by restricting to the boundary)
<thermoplyae> and the differential, in fact, is the same as singular homology's differential, so E^2
is H_* X.  D^2 contains pi_n X because it's formed by im pi_n X^n -> pi_n X^{n+1},
which is onto
<thermoplyae> (and stable after that)
<thermoplyae> a piece of the exact sequence belonging to the first derived couple looks like:
<thermoplyae> ... -> E^1_{p+1, 0} -> D^2_{p, 0} -> D^2_{p+1, -1} -> E^2_{p, 0} -> ...
<thermoplyae> whoops, that should be E^2
<thermoplyae> replacing these groups with what i described above, we have ... -> H_{p+1} X ->
Gamma_p X -> pi_p X -> H_p X -> ..., where Gamma_p X = im j : pi_p X^{p-1} -> pi_p X^p
-> D^2_{p, 0}
<thermoplyae> a piece of this sequence is used to prove the hurewicz theorem, actually, and so it
shouldn't be a huge surprise it turns up here, since we used it in the construction
<thermoplyae> and, by corollary of exactness, pi_{p+1} X -> H_{p+1} X is onto when X is
(p-1)-connected
<thermoplyae> the Hurewicz theorem itself states that pi_p X -> H_p X is iso. when X is
(p-1)-connected, if you've forgotten
<thermoplyae> so this is still very abstract, we haven't really computed anything, despite my usual
penchant for avoiding proofs and replacing them with example computations.  i'm going
to sketch the proof of the serre spectral sequence, and then we'll do some honest
computations
<thermoplyae> so the first thing to notice is that the only reason we have D in our exact couple is
to keep track of where our differential is coming from.  the majority of the
information is actually contained in E('s homology), and given a formula for the
differential on E at each step of the sequence (typically called each 'page' of the
sequence) we can do away with D
<thermoplyae> and that's how we're going to approach the SSS.  Serre's claim is that given a "nice"
fibration E -> B, there's a spectral sequence with E^2_{pq} given by H_p(B; h_q F) that
converges to h_* E
<thermoplyae> i'll roughly (/roughly/) sketch the central components of the existence proof:
<thermoplyae> first, given a fibration E -> B and a map f: X -> B, we can construct the fibration
f^*E -> X given by taking a pullback (you remember what those are, right? ;) )
<thermoplyae> in fact, the fiber of the pullback fibration will be the same as the original fiber,
and so in some sense we're just taking the fiber over f(x) and placing it over x
<thermoplyae> we'll say a map of fibrations (E -> B) -> (E' -> B') is a pair of functions E -> E',
B -> B' such that E -> E' -> B' is the same as E -> B -> B'
<thermoplyae> and a fiber homotopy is a homotopy X * I -> E such that X * I -> E -> B is stationary,
i.e. the homotopy only moves things around in their fibers
<thermoplyae> given a homotopy between f0, f1: X -> B, there's a fiber map isomorphism between
f0^* E and f1^* E.  in addition, if two such homotopies /themselves/ are homotopic,
there's a fiber homotopy relating the two equivalences
<thermoplyae> now, take path in B.  this can be viewed as a homotopy of two maps pt -> B, one for
each endpoint, say x0 and x1.  this gives rise to a fiber map E_{x0} -> E_{x1}
<thermoplyae> this, in turn, gives an action of pi_1 B on h_* F, since pi_1 B can be seen as
endomorphisms on F
<thermoplyae> maps E_{x0} -> E_{x1} induced in this way i'll call admissible
<thermoplyae> a homotopy trivialization of a fibration E -> B is an equivalence with B x F -> B with
an admissible fiber map between (B x F)_{b0} and E_{b0}.  trivially, a contractible B
has a homotopy trivialization
<thermoplyae> now, finally, we can get somewhere.  take the relative CW-pair f: (D^p, S^{p-1}), and
let k be the homology generator of H_p D^p
<thermoplyae> whoops, a map relative CW-pairs f(D^p, S^{p-1}) -> (X, Y), where (X, Y) satisfies Y
subset X subset B
<thermoplyae> then there's a map h_q F -> h_{p+q} ((D^p, S^{p-1}) * F) given by the external product
on homology (i.e. kunneth map)
<thermoplyae> D^p is contractible, so it admits a trivialization, so we can follow this map into
h_{p+q}(f^* E, f^*E restricted to S^{p-1})
<thermoplyae> then we can follow f's induced map in homology into h_{p+q} (E restricted to X, E
restricted to Y)
<thermoplyae> and so in this way, we can start approximating h_* E with cellular maps
<thermoplyae> two homotopic f (say f0 and f1) yield equivalent maps constructed above up to a product
by an admissible map phi.  of course, if pi_1 B acts trivially on h_* F, then we don't
this is the central condition for applying the SSS
<thermoplyae> from here, it really is a cell-by-cell argument, culminating in the description
E^2_{pq} = H_p(B; h_q F), converging to h_* E when h is a homology theory with
products, weak homotopy equivalence, and wedge sum, and E -> B is a fibration with
trivial pi_1 B action
<thermoplyae> there's a cohomology version of all this as well; H^p(B; h^q F) converges to h^* E
<thermoplyae> the nice thing about the cohomology sequence is that it behaves well wrt the cup
product introduced earlier
<thermoplyae> given two fibrations E -> B and E' -> B', the map E x E' -> B x B' is a fibration, and
there's a map E_{pq}^r(1) (x) E_{st}^r(2) -> E_{p+s,q+t}^r(3), where E(n) is the
spectral sequence page belonging to 1) the first factor 2) the second factor 3) their
product
<thermoplyae> the differential on this product page is given by d^r(3): (a (x) b) |->
d^r(1) a (x) b + (-1)^{|a|} a (x) d^r(2) b
<thermoplyae> i.e. it is a derivation
<thermoplyae> and so let's try to actually do something with these awfully complicated things
<thermoplyae> let's do something easy to start.  we'll take the pathspace fibration PS^3 -> S^3 with
fiber Loops S^3 = S^2, and we'll give ourselves that H^* S^2 = Lambda[x_2], the
exterior algebra on one class of degree 2
<thermoplyae> of course, the pathspace is contractible, and so its homology will vanish outside of
H_0
<thermoplyae> the goal here is to compute the cohomology of S^3, the only unknown out of the three
spaces
<thermoplyae> starting by filling things in, E^2_{pq} = H^p(B; H^q F).  in particular, E_{pq} =
H^0(B; H^q F) = H^q F, and so we know one whole column of groups
<thermoplyae> actually, several rows too; since H^q(S^2) vanishes for q other than 0 and 2, rows
other than 0 and 2 will be filled with zeros
<thermoplyae> we know that we want this spectral sequence to end up with nothing on the page.  in the
second page, the differential d^2 runs from E_{pq} -> E_{p+2, q-1}.  our only interest
at this point is how it acts on the generator in E_{02}, and because its codomain is
the trivial group it must do nothing
<thermoplyae> we then try the next page, where the arrow now takes E_{02} to E_{30}.  this kind of
differential, called a transgression, which runs from one 'edge' of the spectral
sequence page to the other, is important because it means if we don't cause homology to
destroy groups now, they'll persist forever
<thermoplyae> we need the group in E^3_{02} to vanish, and so it must be attached to E^3_{30} by an
isomorphism, which means E^4{02} will vanish
<thermoplyae> since we get there by taking homology wrt. this differential


Post-seminar observation: No, that's not it. I got confused and thought "SS^2" when I should have been thinking "Loops S^2". This is the beginning of the H^* Loops S^2 calculation, but you need to continue from here by using the cup product on the two generators of positive degree, and then continue the cancellation process from there. Apologies.

<thermoplyae> and that's it.  there's nothing else that could have happened, and the sequence
collapses, E^\infty_{pq} is zero except when p = q = 0, and there it's Z, which is the
homology of PS^2
<thermoplyae> what information did we get out of this?  well, if we look at the row E_{p0}, we see
the cohomology of S^3 with coefficients in Z, which is exactly Lambda[x_3]
<thermoplyae> let's do something more complicated.  i claim K(Z, 1) = S^1, which we proved using
fibrations a couple lectures ago
<thermoplyae> the pathspace fibration over K(Z, 2) has the form K(Z, 1) -> pt -> K(Z, 2), which we
can then fit into the SSS machinery
<thermoplyae> anyway, we have E^2_{q0} = Z if q = 0 or 1 and vanishes for higher q.  again, we need
E^2_{10} to vanish, and the page 2 differential is transgressive, so it must hit a
Z-class in E^2_{02}
<thermoplyae> their product is a class in E^2_{12}, say e_1 * x_2, and we can find its page 2
derivative using the product rule associated to d_2
<thermoplyae> d_2(e_1 * x_2) = d_2(e_1) * x_2 - e_1 d_2(x_2) = x_2^2, since d_2 x_2 = 0
<thermoplyae> we're already aware of the class x_2^2, since it comes from squaring a class we
already have, and this means that the differential E_{12} -> E_{04} sends generators to
generators and is again an isomorphism
<thermoplyae> this holds inductively as we go up p, each time yielding a generator in E^2_{2p, q},
each time equal to x_2^p
<thermoplyae> and since the sequence collapses after that (since everything vanishes), there's
nothing left to do except extract the information about H^* K(Z, 2)
<thermoplyae> which we find is a power series ring on one variable x_2
<thermoplyae> some easy homotopy theory can be used to show that K(Z, 2) = CP^\infty, and so now we
know H^* CP^\infty
<thermoplyae> let's see if we can do one last example, something to show that this is again useful
for more than just cohomology
<thermoplyae> (but give me a moment to make sure i'm doing this right, i didn't plan much of this
talk :/ )
<thermoplyae> okay, i think i've got this right, someone correct me if i'm not :)
<thermoplyae> let's take S^3's 3-connected cover, denoted S^3<4>
<thermoplyae> this sits in a fibration K(Z, 2) -> S^3<4> -> S^3, as discussed last time in the
context of postnikov systems
<thermoplyae> (i'm not sure that 2 is right, which is mostly what i'm hoping for confirmation on)
<thermoplyae> now, we know the homology of S^3 and the homology of K(Z, 2) (as of a few seconds ago!
:) ), and we want to get at the homology of S^3<4> because
<thermoplyae> a) it sounds fun
<thermoplyae> b) S^3<4> is 3-connected, which means its H^4 will be isomorphic to its pi_4 which is
isomorphic to S^3's pi_4 which is something we don't yet know
<thermoplyae> so, to start, we know we'll have a class in E^2_00.  recalling that E^2_pq =
H^p(B ; H^q F), we'll also have classes in E^2_pq where q is even and p = 0 or 3.
everywhere else, they ought to vanish
<thermoplyae> we know that this will converge to S^3<4>, which is 3 connected, which means
everything (except E^2_00) in the bottom 3 diagonals will have to vanish
<thermoplyae> we can get to work on this beginning on the 3rd page, sending the generator of E^3_02
to the generator of E^3_30
<thermoplyae> then we're curious about what will happen to the other classes on the 3rd page.  if
x_2 generated E^3_02, where will x_2^2 go?
<thermoplyae> applying the derivation rule, d_3 x_2^2 = d_3 x_2 * x_2 + x_2 d_3 x^2 =
e_3 x_2 + x_2 e_3.  cup product is graded-commutative, and so this is 2 x_2 e_3, twice
the generator of E^3_32
<thermoplyae> and so the homology there (i.e. E^4_32) will be Z / 2Z
<thermoplyae> similarly, E^4_34 will be Z / 3Z and E^4_36 will be Z/4Z (up to me fucking up my
indices)
<thermoplyae> and there the sequence stabilizes.  for the first time, we might have to deal with that
pesky extension problem
<thermoplyae> but because each class in the left tower sits in a total even degree and each class in
the right tower sits in a total odd degree, nope, we got lucky, we don't have to
<thermoplyae> and the correct way to express the cohomology's ring structure is as an exterior
generator tensored with a divided power generator (again, up to me messing up a detail,
but i think i'm doing okay)
<thermoplyae> of course, we only really care about H_4, which is Z_2, induced by E^4_04
<thermoplyae> and so by Hurewicz, pi_4 S^3 = Z_2
<thermoplyae> using some luck and a lot of backbreaking work, we can compute pi_5 S^3 in a similar
way
<thermoplyae> it turns out there's another spectral sequence, called the Adams spectral sequence,
this is more suited to this work
<thermoplyae> but we won't be going into it
<thermoplyae> i think that's plenty; i've got two hours.
<thermoplyae> i suggest that you all try to use this information to calculate H^* K(Z, 3), though
perhaps only with Z_2-coefficients
<thermoplyae> and given that H^* BU is a power series ring on countably many generators (one for each
even degree), maybe calculate H^* BU<2k> for k = 2, 3
<thermoplyae> i'll be in the channel all week, i can verify answers and regale you with related
stories :)
<thermoplyae> i'm going to walk over to the lab, but i've opened a screen session to catch any
questions; i'll be back online in a few to answer them