tight grip on the cohomologies of the E . The fundamental sequence is an ex-
tension of terms determined "by a resolution of M. By analogy, the fundamental
sequence plays a role similar to that of the Serre exact sequence of a fibra-
tion in the stable range. The relevant features of these fibrations are ex-
tracted from [20] and presented in the definition of a Massey-Peterson fibra-
tion in section 2 of chapter 1.
The "well known use of Postnikov systems to study spaces can be mimicked in
the use of Adams resolutions. In the stable range this has been standard
procedure for years. Through the fundamental sequence, both structural and
computational features of algebra can be brought to bear on problems which
might be beyond reach in the ordinary Postnikov system. Chapter 2, section 1
consists of an exposition of unstable Adams resolutions, as developed in
part III of [20], aimed toward their use in obstruction theory. Chapter 2,
section 2 exploits the cohomological features of the resolution to obtain
purely algebraic criteria for lifting maps through resolutions. This material
is analogous to work of Toda [28] and Gitler and Mahowald [9] in stable homo-
topy theory. In order to remove irrelevant algebraic considerations, recent
results of Zabrodsky [30], [31] are combined with the material of sections 1
and 2. An exposition is given in section 3 including a simple form of
Zabrodsky!s Lifting Theorem. All this material is applied in section k to a
general result concerning the construction of mod p H-spaces. We describe
this next.
Given an H-space Y with cohomology U(M), a further necessary piece of
structure comes from the power maps on Y. For each mod p integer e, the
e-th power map J : Y -•Y has the property that the endomorphism $* of
QH*(X) is multiplication by e.
Turning the situation around, given a space Y with such a self-map \, a
result of purely algebraic character is proved which states sufficient condi-
tions for Y to be a mod p H-space. We review this. Let Horn ( , ) denote
the degree preserving homomorphisms in the category of unstable modules over
the Steenrod algebra, and Ext*( , ) the derived functors. Let
L c H*(Y A Y: Z/pZ) be the submodule of e-characteristic vectors of (c| A j)*,
L = {Z e H*(Y A Y) I (cj ) A |)*(z) = eZ} .
ExtS+1 (M,ISL)
= 0 for all s 1, then Y is a mod. p
E-epace is suspension ).
In chapter 3, the theory is applied to prove Theorem B. In this case T =
U(M) with M = {x
,p2x ,BP2x
} . Then it turns out that
= 0
for all s except s = 1. However the exceptional case is exactly where facts
concerning the cohomology of 2-stage Postnikov systems can be applied.
Previous Page Next Page