Professional Documents
Culture Documents
ALGEBRAIC
APPROACH
TO STEENROD
OPERATIONS
by J. Peter May
i.
Introduction.
Since the introduction of the Steenrod operations in the cohoclear that similar operations exist in there are Steenrod operations in the in the c o h o m o l o g y of c o c o m -
and in the h o m o l o g y of infinite loop spaces (where they m o d p, p>2, by D y e r and Lashof
[6]).
The purpose of this expository paper is to develop a general algebraic setting in which all such operations can be studied simultaneously. This approach allows
a single proof, applicable to all of the above examples, the operations, including the A d e m relations.
the elegant proofs developed by Steenrod [25-30] actually Further, even the m o s t general exist-
Although a n u m b e r
of n e w re-
sults and n e w proofs of old results are scattered throughout, the only real claim to originality lies in the basic context. results since a large n u m b e r W e have chosen to give complete proofs of all allows a
of topological results which should be well-known but appear not to be in the litera-
154
ture.
In particular, in section I0, w e give a quick complete calculation of the and s h o w that Serre's
m o d p c o h o m o l o g y Bockstein spectral sequence of K(w,n)'s simple proof [Z3] of the axiomatization of the m o d with only slight modifications to the case p > Z.
in sections i, 2, and 4 are based on those of Steenrod [Z5-30], and those of section 3 are simplifications of arguments of D y e r and Lashof [6 ]. Via acyclic models and a l e m m a due to Dold [5], the theory is applied to several simplicial categories The standard properties of the
and to topological spaces in sections 7 and 8. Steenrod operations in spaces, except and
po = I, drop out of the algebraic theory, In contrast, w e prove that The theory is
tions here are important in the study of the c o h o m o l o g y of the Steenrod algebra [13, 18]. The present analysis arose out of w o r k on iterated loop spaces, but this application will appear elsewhere. The material of sections 6 and 9, which is is presented here with a view
155
1.
equivariant
homology By a A-complex, we u n d e r s t a n d a
(ungraded) ring.
Z-graded
differential A-module,
graded by subscripts,
minus one. n e g a t i v e if
We s a y t h a t a A - c o m p l e x K q = 0 for q > 0. We u s e
K i s p o s i t i v e if K Z-graded
We g i v e s o m e e l e -
homological lemmas
in t h i s s e c t i o n ; t h e s e e x t r a c t t h e s l i g h t a m o u n t of
i n f o r m a t i o n a b o u t t h e h o m o l o g y o f g r o u p s t h a t is n e e d e d f o r t h e d e v e l o p m e n t of t h e Steenrod operations. If ~ is a g r o u p , w e l e t s p e a k of A v - m o r p h i s m s s p e a k of ~ - m o r p h i s m s on is r A letters, and let AT denote its group ring o v e r A. We s h a l l g e n e r a l l y and we s h a l l group
denote the s y m m e t r i c
denote the ATr-module which by let 0-k = ( - 1 ) q s ( ' ) k , w h e r e M(q) denote rheAs).
as a A - m o d u l e
0-m@ 0-k ( w h e r e @ = ~ A K.
K is a A - c o m p l e x ,
V i a p e r m u t a t i o n of
factors,
becomes
a A~r-complex for
w C E r, a n d Let
w h i c h has two b a s i s e l e m e n t s
and
e1
of degree zero,
of d e g r e e
I is given the t r i v i a l
a I, t h e n t h e n o t i o n of a F - h o m o t o p y of F - c o m p l e x e s , such that
h : f -~ g, w h e r e
H ( e l @ k ) = f(k)
156
I~K
In fact, H
determines
h by h(k) = H ( e ~ k )
and conversely. With these notations, w e have the following l e m m a . diagonally on tensor products. Lemma (i) I.I. Let TrC ~
r
In all parts, A T
acts
and let V
h:I~V----> V ~ I r I
are A - h o m o t o p i c m o r p h i s m s
of A T - c o m p l e x e s . equivalent
K is A-homotopy V@H(K) r,
AT-homotopy
e q u i v a l e n t to
Let v ~ V
satisfy d ( v ~ I) = 0 in V ~
T
be a A - c o m p l e x
and let
be h o m o l o g o u s c y c l e s .
Then
v~a
of v
T
Kr(q).
(i) Let 8 : I ~> A be t h e a u g m e n t a t i o n Define k:V-->V@J g ( e o ) : 1 = ~.~ ( e l ) , by k ( v ) = v @ ( e s:V-->V@J and let
8r : ir ---~ A r = A . 0.
H(J)= 0, H ( V @ J ) =
Define a A T - h o m o t o p y Let
Si.l:Vi_ I --> (V~J).,wel find easily that di(ki- si.idi) = 0. A~r-basis for and extend s.
1
V.;
1
for
x ~ {xj}, choose
1
to a l l of V. h(e~v) L
ATr-morphism
obtained byletting
determine a A - h o m o t o p y
from
f to g.
T h e n the followl~fr to
ing composite is a A T - m o r p h i s m
lg r :
I@v@Kr where u: I r ~ h~l>v@ir~Kr l~u >V~(I@K)r l @ tr > V ~ L r
s
K r ----> ( I ~ K) r
157
(iii)
Define
f: H(K) ---> 14 b y s e n d i n g e a c h e l e m e n t of a b a s i s f o r
H(K) to a
acyclic and therefore contractible since A implies the second half by (ii). (iv) Define a m o r p h i s m of A - c o m p l e x e s f(eo) = b, and f(e)= (-l)qc, where df(e) = (-l)qfd(e)). Let F: I @ V - - > l~V h
f:l---> K, of degree
q, by f(ei) = a,
be the composite
> v~Ir
l~f r
> V~
is a m o r p h i s m of A,r-complexes of degree
F(eiv) : (i f r ) ( v e ~ ) :
(-i)qrdeg V v f(ei)r , i = 0 or I.
A, w e have that
d(ev)=
(e i - e o ) @ V
i n 1 V.
iT
Thus, in V ~
1T
e
Kr(q),
-
@v)= (-i)qr(degv+l)(v@a r
0
v@br),
W e n o w consider the cyclic group w of prime order tion of the standard A~-free resolution W = W(p,A) Definition i. 2. Let W.
1
p.
We r e c a l l the d e f i n i -
Let
(I)
d(ezi+l) = Tezi
and
d(ezi ) = Nezi_l ;
~(o~Je o) = I ;
and
ezj+l ~ zSezk+l
When
necessary
f o r c l a r i t y , we s h a l l w r i t e
W(p,A)
for
W.
Of c o u r s e ,
158
W ( p , A ) = W(p, Z) ~ A .
The structure
of W(p, Zp)
{ell i>0}_
suchthat
~3(e2i)= e z i _ l
and
if p > Z .
a c t s on {1 . . . . . p } .
We then h a v e the following l e m m a . E W. be the n - s k e l e t o n of W = W(p, Z ). L e t G 1 p inn be a n y s e t of i e f t c o s e t r e p r e s e n t a t i v e s f o r ~r in E . L e t K be a Z - m o d u l e with P P totally ordered BCK basis Lemma 1.3. L e t W 'n'=
{xjl j
e J}
Let
{ x j P l j c J } a n d let Then
p have basis
H(w(n)~
K p) = ( (9 e . ~ A ) 1 i=O
~B(eo~B ) (B(Kerdn(~B)
d :W
n
- - > Wn_ 1.
Proof.
A (9 (Z w ~ B ) , P
w acts trivially on ~
a c t i o n on
Z w,
p
Since
and
of 7r
for
"~ defines a h o m o m o r p h i s m
W~M
is any m o r p h i s m w c W.
of A - c o m p l e x e s
(It is easy to verify that ~# exists and that ?,:. is independent and of " / # . ) so that Clearly -~;:, 1 if ~ ~ w = since w e m a y then
(~#~/)(w~m)
= W@~/m
=w~m
we
W and m ~ M.
159
If ~r C P C ~' a n d
y e N(w) t% N ( p ) , t h e n t h e f o l l o w i n g d i a g r a m J,
commutes:
H,(~r; M)
, > H,(p ; M)
J,
H , (~r; M) In fact, if W is anyAp-free
> H,(p ; M)
W is also aAw-free resolution
r e s o l u t i o n of A , t h e n
of A,
W~ rr
diagram
results from
the observation
that
j,
is induced from
In p a r t i c u l a r , Let
Lemma
1.4.
~ b e c y c l i c of p r i m e Then
i = 2t(p-l)
or
i = (2t+l)(p-i)
y(i) = ki. by
~/#(ezi ) = k i e g i , .
7#(eii+i)
j =0
a)ezi+l, .
y#(~ei) = y0-~-
iY#1ei),
(-l) q on
0~c ~r
Then y ~ Ep Z P
y # d = dy#
and
y#~y
y~< on
H,(~;Zp(q)).
Since
Thus
j,(ezi ) = 0 unless p.
1 - (-l)qk i = 0 m o d Clearly k i=
i rood p
The result
follows easily.
1 6 0
2.
c a t e g o r i e s of i n t e r e s t b y o b t a i n i n g f u n c t o r s to n
i n t h e f o l l o w i n g d e f i n i t i o n l i e s s o l e i y in the a p p l i c a t i o n s to i t e r a t e d l o o p s p a c e s . n = o is r e l e v a n t . r be a n i n t e g e r , a n d l e t V b e a AN r
Let .
A Let
be a c o m m u t a t i v e r i n g , l e t
W be a A ~ r - f r e e r e s o l u t i o n of A, l e t j:W-->V
f r e e r e s o l u t i o n of A, a n d i e t Assume that W
O
b e a m o r p h i s m of A ~ r - c o m p l e x e s o v e r A. e .
O
= AT w i t h g e n e r a t o r W a n d V. are pairs
Let
0 Kn<oo
--
K is a h o m o t o p y a s s o c i a t i v e
O:w(n)(~K r->
K is a m o r p h i s m of A ~ r - c o m p l e x e s
T h e r e s t r i c t i o n of
@ to
e ~K r o
is
K r - - > K, a s s o c i a t e d i n ~ m e f i x e d o r d e r ,
(ii)
@ i s A ~ r - h o m o t o p i c to a c o m p o s i t e
w(n)~K r
where
A morphism
is a m o r p h i s m of A N
r
-complexes.
~(w,n,A) is a m o r p h i s m of A - c o m p l e x e s
in
Kr
I fr
....
> K
w ( n ) ( K , ) r ........
[f 8,
> K,
is A~r-homotopy commutative.
A morphism
f is said to be perfect if
~(I@ fr) = f@, with no homotopy required, and @ ( 7 , n,A) denotes the subc a t e g o r y of ~(%n,A) having the same objects (K, 0) a n d a l l p e r f e c t m o r p h i s m s
between them.
A i s i t s e l f a n o b j e c t of
~ (7, n, A), w i t h
161
@= e @ l : W ( n ) ( ~ A
> A r = A , and an o b j e c t
(K,@)e
~(w,n,A)
is s a i d t o b e
unital if K has a t w o - s i d e d h o m o t o p y i d e n t i t y
is a m o r p h i s m in ~'~(w,n,A). The tensor product of objects (K, @) and (L, O') in ~(~,n,A) is the pair ( K e L , ~ ) , where ~ is the composite 1 @ T @ 1> w(n)@i<r@w(n) @ L r
ee, > K ( ~ L
Here U is the evident shuffling i s o m o r p h i s m , --->W(~W T ( x ~ y ) = (-1) deg x deg y y ~ x (i) and (ii) ,
and ~ : W
resolution
and
~(1T, n, Zp) to
(~(~,n, Zp) to
is said to be reduced
rood p if (K,O) is obtained by reduction m o d p from an object (K,~) ~ ~(w,n, Z) such that ~ is a flat Z-module. W e can now define the Steenrod operations in the homology (K,@) ( ~(p,n). H(K) of an object
Observe that if x e H(K) and 0 < i< n, then e . ~ x p is a well1 K P) -~-- ( w ( n ) ~ H(K) p) by L e m m a s H
W W
I. i applies, since
w C E
x e H (K). q
For
0 <_i<_n, If p = Z,
define Di(x ) e Hpq+i(K ) by Di(x ) = O~.,~(eix @,:H(W(n)(~wK p) ---> H(K). ~, define % : Hq(K) --> Hq+s(K ) for s <__q+n by the formula (i) Ps(x) = 0 if s < q ; P s ( X ) = D (x) if s _ > q .
s-q
162
~Ps:Hq(K) (ii)
Ps(X)=0
~Ps(X) = ( - 1 ) S v ( q ) D ( z s . q ) ( p _ t ) _ l ( X ) ~= 0or 1, m =
v ( Z j + e ) = (_ 1)J(m: )g , j a n y i n t e g e r ,
equivalently since
s and that
r e l a t e d to a n y
Bockstein operation. to h o m o l o g y ;
and
~P
are appropriately
a s s h o w n in s e c t i o n 5, t h e a p p r o p r i a t e
o b t a i n e d b y a s i m p l e c h a n g e of n o t a t i o n . T h e f o l l o w i n g p r o p o s i t i o n c o n t a i n s m o s t of t h e e l e m e n t a r y D.,i Ps' and ~Ps" In particular, if p > Z, it shows that the Ps D. and that i ~P s properties and of t h e
is the composition of P
is a m o r p h i s m
If i < n, then D. is a h o m o m o r p h i s m . I D o is the p-th power operation in the algebra H(K) and if (K, 0) is unital,
e e H o ( K ) is the identity.
i < n, then D. = 0 unless either i i = 2t(p-l) or i = (2t+l)(p-1) i = gt(p-l)-I or for s o m e t, or for some t.
i = (Zt+l)(p-1)-i then
~ is the Bockstein,
2i < n
2i+i < n.
1 6 3
Proof.
I. I (iv),
a s u m of m o n o m i a l s freely. Let
each m o n o m i a l
is a b o u n d a r y
therefore (iv)
is a h o m o m o r p h i s m ,
v ( n ) ~ E Kp ~ > K. Since nothing is changed P b y t e n s o r i n g with two copies of Z (q), this c o m p o s i t e can equally well be w r i t t e n as P
w(n)(q)%KP(q) Let a ( K be a cycle. j~ I >v(n)(q)~E P q Then, bythe definition of KP(q), Therefore, ap is a basis for a Kp(q ) ~ > K.
w(n)~Kp
1 >v(n)~Kp_..>
if _ J(ei) = d(f) in
Z (q)= v(n)(q)~ E Z , then d ( f ~ a p) = J(ei)(~aP in v(n)(q)(~ E KP(q). p p P P P i < n, j induces j.: Hi(w; Zp(q)) ~ > Hi(Ep; Zp(q)), and the desired conclusion I. 4.
n o w follows immediately f r o m L e m m a
(v)
Let a ~ ~
s a t i s f y d(a) = pb.
if p = 2 and
In the f o r m e r case, if 2i< n, then, in W(p, z)(n)~Ir~P , d(e2i ~ a p ) = ezi-i ~ N a p + P e z i ~ NbaP-I Z - p[ezi.l~aP since TP-l= N rood p. + d(TP-gezi+1~baP-l)] mod p , In the latter case, if 2i+I <n, then - 2 [ e z i ~ a 2 - d(egi+z~ab)] rood 4.
d ( e z i + l ~ a 2) = e z i ~ r a Z - 2 e Z i + l ~ T a b
164
T h u s , in H(W(p, Zp)(n)~TrKT,.,~t if K is the rood p r e d u c t i o n of a, t h e n [3{egi@~P } = { e Z i _ l ~ g P } Since incase (a)and p{eZi+l@g2} --2} in c a s e (b). = {ezi@a > K , ~8,.. = @,.~, , -,-
and ~P
(except, if n < co, for the last operation). corollary of part (iii). Corollary 2.4. Let (K,O) e ~'~(p,n).
Then
P q ( x ) = x p if p = 2 and X e Hq(K)
or if p > 2 and x e HZq(K ). If (K, 8) is unital, then Ps(e) = 0 for s J 0. T h e i m p l i c a t i o n s of (iv) and (v) f o r the Ps and ~Ps a r e c l e a r if p > 2. If
p = 2, w e have the following corollary of (v). C0,,r,ollary 2.5. If (K,@) e ~'(2,CO) is r e d u c e d rood 2, t h e n ~Ps+l = SPs.
Proposition 2.6.
x e H (K) 9 and
Let
(L,@')
be o b j e c t s of
~(p,n),
Let
y H (L). r
x@y H(K)@H(L):
H(K@L).
(i) (ii)
If p = g, t h e n
Di(x@y) =
~ Dj(x)@Dk(Y ) j+k= i
for i<_n .
~ D2j(x)~ngk(y ) j+k= i
for
Proof. Since
By L e m m a s
1)(U)(ei(xy)P).
165
~(p,n).
Let x e H q (K)
~P+I(xOY) = ~ (OPi+l(X) OPj(Y) +(-1)qPi(x)O~Pj+l(Y)) i+j= s Of course, if (K, 0) is a Cartan object in ~ ( p , n ) , then the corollary and the
naturality of the operations imply that the P
S
~P
S
on
H(l~)
>_5
i+j : s
Pi(x)pj(y)
and
(1)
~Ps+l (xy) = ~ (~Pi+I(X)Pj (y) + (-1)degxp'(x)~P:+l I ( y )2 ) i+j= s
1 6 6
3.
Chain
tevel
operations,
suspension,
and spectral
sequences
In t h i s s e c t i o n , w e d e f i n e c h a i n l e v e l S t e e n r o d o p e r a t i o n s a n d u s e t h e m to p r o v e that the homology operations c o m m u t e wSth s u s p e n s i o n . The chain level operations in s p e c t r a l sequences
w e s h a l l p r o v e a g e n e r a l v e r s i o n of t h e K u d o t r a n s g r e s s i o n
P :K --->K s q q+s
if p=
2 and
P :K - - > K s q q+Zs(p-l)
and
~ P s : K -q > -
Kq+zs(p-l) - 1
if p > 2 w h i c h s a t i s f y t h e f o l l o w i n g p r o p e r t i e s .
(i) (ii)
dPs = P d s
and
d~Ps=-~Ps
d x e H(K), then Ps(a) and ~Ps(X). in ~3(p, co), so that fO = O'(lfP), ~Ps(a) are
(iii)
If f:(K,O)--> (K',O') is a m o r p h i s m
then Proof. fP
S
= P f and
S
fBP = ~Pf.
~S
Let
a ( Kq a n d w r i t e
b = d(a) e Kq_ 1.
In t h e c a s e
p = 2, d e f i n e
(1)
P s ( a ) = 0(c), w h e r e
c = es_q+lb@a
+ es_qOaOa
The verification
of (i), ( i i ) , a n d ( i i i )
is t r i v i a l . a and
(a,b)Pc Then
Define
ds + sd = 1 on S is given
dS + S d =
(a,b) p and
o =
be; t 1
Since (3)
dS + S d = I, an easy calculation demonstrates that d(tl) = to , d(tzk) = (~-I 1)tZk_1 and d(t2k+1) = Ntzk , l<__k<_m.
I 6 7
(4)
tZk = E I
summed
over all
k-tuples
(5)
E
o
ij = p-Zk ; and
a, 0 < _ k < m, s u m m e d o v e r ij = p - l - Z k . Now let following ali
tZk+l = E ( - 1 ) k q k l b I (k+l)-tuples I = (i 1 .
it
..
, hlkaZblk+l
. . . .
ik+l)
such that ~
In p a r t i c u l a r ,
j = (Zs-q+l)(p-1) formulas
c and
c'
in W ~
rr
Np b y t h e
(where, by convention,
m
e. = 0 if i < 0):
m
(6)
c = k=OE (-I
ITI
)kej_Zk~
tZk+l
- E
k=l
m
(-1)k ej+l_Zk~(a-1
1)P'Z
tZk;
(7)
ej_l.ZkOtZk+l
T h e n an e a s y c o m p u t a t i o n ,
(8)
d(c) = e p@Jb .
and
In c a l c u l a t i n g ae.~t
1 1
d(c), the s a l i e n t o b s e r v a t i o n s
= e.~a-lt
(a - 1 - 1) p-1 = N in (9) If
Ps(a) = ( - 1 ) S v ( q - 1 ) O ( e ) a is a c y c l e , b = 0, t h e n
t. = 0 f o r 1
= ( - 1 ) m q m ' a p, h e n c e
(i0)
c= (-l)m(q+l)m'e(zs_q)(p_l)@a
p and
c' = (-1)m(cl+l)m.'e(zs_q)(p_l)_l@a p
(9) a n d (10) a n d (i) f o l l o w s f r o m (8), (9), and (10), a p p l i e d to the c y c l e P a r t (iii) is i m m e d i a t e The remaining proof. f r o m 49). of the t h e o r e m
r e s u l t s of this s e c t i o n a r e c o r o l l a r i e s
and its
168
f:K'--> K
and
g:K---> K"
be m o r p h i s m s
of A - c o m p l e x e s ~{b'} = {g(a)},
gf = O.
Define
b'
represents
It is trivial to verify
is well-defined, and
We can now prove
o ~
the suspension.
commute with suspension. We remark that
if n = oo, the hypotheses of the next t h e o r e m simplify to the requirement that and g be m o r p h i s m s in ~(p, oo) s u c h that gf = O. For n < oo, the stated
Let
(K',8') E #(p,n+l)
K and
C(p,n).
Let
g:K--> "~
be m o r p h i s m s
of c o m -
Define a s u b c o m p l e x
K of W
(n+l)
Kp
by
= w ( n + l ) ~ f(K,)p + ~ ( n + l ) ~
f(K,)p-1 ~ K + w ( n ) ~ ~P ,
--
but ~ en+ 1
~ (n+l)
for
i (~ gP
K'
> K
>
K"
gf = under g,.
0 ensures the P
S
that and
~P
f,.
P
S
on
Let x
e Ker
Then
and
c~Ps(X)=-~PsC(X)
when-
ever
P(x)
and
are
defined.
Proof.
Let
deg(x)= q-I
x.
Let
b = f(b') and
let
d(a)
= b in K, so that
or
g(a)
represents
g(x).
The h y p o t h e s i s g u a r a n t e e s that
Ps(a)
~Ps(X)
Of course, this is
169
clear if n = co; if n <co, w e need only verify that all elements involved in the definition of Ps(a) or operation ~Ps(a) are present in K. F o r example, if p = 2, the last
c = en+ l ~ b ~
c is indeed in K.
N o w our d i a g r a m ensures
O-Ps(X) = Ps0-(x) follows f r o m the definition of o% and the proof that -~Ps~(X) is equally simple.
Note that if p > 2 and all objects are reduced rood p, then which is consistent with the theorem. that 0-~Ps(x) = 0 if p > 2 and
0-~ = -~o-,
latter statement b e c o m e s
~0-(x) = 0. p
a special role in m a n y applications; the following very useful technical result about about this operation is k n o w n as the Kudo transgression theorem. It applies to the
D y e r - L a s h o f operations in the h o m o l o g y Serre spectral sequence of the path-space fibration ~ n x --> Izhqn-Ix --> ~n-Ix, to the Steenrod operations in the c o h o m o l o g y Serre spectral sequence of a fibration F --> E --> B (with K' --> K --> K" being
C":"(B) --> C;:'(E)--> C '(F), graded by subscripts) and to the spectral sequence of Adams [I, p. Zl0] for c o c o m m u t a t i v e Hopf algebras. Theorem K 3.4. Assume, in addition to the hypotheses of T h e o r e m that Ho(K' ) = Z
' p
3.3, that
= H
o
a morphism
f(I<')--> K
(i)
, ~ ( F i K ~ f(K')) C F i K
EZf:H.(K')-->EZ.K 3 oj Z 2
EZ'rr: Eij K ~ Eok K --> El, j+k K such that the c o m p o s i t e m o r p h i s m EZrr[(EZg) -1 ~ EZf]: Hi(K")(~ Hj(K') --> E..2 K is an i s o m o r p h i s m | 1j or
- 170
(ii)
K',K,
a n d K"
f(K~) C F i K ,
=(FiKf(Kj))CF i + j K ,
2
oj
Ezf:Hi(K,)__> ~z K and ~ : ~
i, o
EZw:
EZw[(EEg) -I 8 EZf]: H / K " ) e Hi(K' ) --> EZijE is an isomorphism. Let 7 be the transgression, ~- = dt:EttoK--> E t0,t_lK m = d l.t:El-t K _ >
ot
in (i) and
E 1-t
t-l,o
relationto cr, and if y ~ Hq(K") transgresses to x Hq_l(K'), then Ps(y) and if p > Z, ~Ps(y ) transgresses to Ps(X) and -~P(x), whenever the operations transgresses to
(iii) (iv)
0(ek(~a I ~...
~ap)
FiK , i = ~
ij+k,
and
of @ to
;:'~
e ~K p-l(~f(K') o
induces a morphism
~O
in (ii) such t h a t
EZo =
Eaw[(EZgl-I@(EZg)p-I~ w h e r e I],
By the definition of the differentials in the
b' K' q-l' and then x = T(y) = {b'}. Thus the first statement follows from the properties of the chains Ps(a) and ~Ps(a). F o r the second statement, consider as above, it suffices to
~%(a), q = 2s. Since d~P(a) = -~Psf(b'), a and b' prove that ~Ps(a) represents yp-I e x in EZK.
proof of T h e o r e m 3. 1 and the observation that v(q-l) = In the definition (7) of c', the term with k = m
171
q = 2s
in the
m - 1 aZiba2(m.i ) m second s u m is (-I) e o ~ t p _ I where, by (4), tp. 1 = ( m - t ) : ~ i=O b = d(a). It is easy to see that m-I m zi-I --~.a2iba 2(m'i) = P(a)aP-lb , where i=0 i=l a n d d i r e c t c a l c u l a t i o n s h o w s t h a t P(~) = m + Q(a), in Z w, w h e r e m P Q(~) = ~ j ( a 2j + aZJ+l). Let c" = (-l)m(m-l) ' e l ~ Q ( a ) a p - l ( ~ b W @ K p. Then j=l e' - d(e") = (-l)mm:e ~ a P - l b plus a linear combination of terms e i ~ g such o that g has i+l factors b and p-i-1 factors a. Condition (iii)ensures that
each O(ei~ g) has lower filtrationthan does 0(eo~ aP'Ib) and condition (iv) ensures that 8 ( e o ~ a P - l b ) represents y p - l ~ x -m: e(c' - d(c")) = 8(eo~ aP'ib) represent is c o m p l e t e . The following proposition gives a general prescription for the study of Steenrod operations in spectral sequences; it will be useful in the study of the cohomology of the Steenrod algebra in [18]. In the applications, the determination of the function f is often quite difficult and depends on h o w the given O was constructed. Proposition 3.5. Let (K, O) be an increasingly filtered object of ~ (p, co) e EZK. Since ~Ps(a) and
Suppose given a function f(i,j,k) such that (i) If ate FitKit+Jt , where O(ek@al@... (ii) (iii) Let ~ i = i and ~ t Ji = j' then
f(i,j,k)> r + f(i-pr,j+p(r-l),k+p-l),
r y e E.K. tJ
Et k
~Ps(y) e Eti,~,
dt ' ~ P s ( y ) = - ~ P s d r ( y ) ,
172
(iv)
If p = 2, t h e n
k = f(Zi, 2j, s - i - j ) ,
g = i+j+s-k,
and
k = f(pi, pj,(Zs-i-j)(p-l)),
( 2 s + I -i-j)(p-1)- I).
Proof.
Let
in T h e o r e m
filtration than
k.
Since
Ps(b) ~ F k _ t K b y (i)
T h e proof for
and
k-t
~Ps(y ) is similar.
4.
The Aden
relations relations are valid for the Steenrod operations The general algeare able to exploit a relations, and this since
trick w o u l d not be available in a categorical approach to Steenrod operations it depends on the usage of objects of C(P,) which are not present in m a n y
Hopf alge-
We require
proof.
s o m e n o t a t i o n s a n d d e f i n i t i o n s b e f o r e we c a n p r o c e e d to t h e
2 act as permutations on {(i,j) I l ~ i < _ p , l<__j<__p}. P in ~n 2 by letting ~(i,j) = (i+ 1 j). Define ~. ~ Z 1 <i < p, by ' 1 P pZ' -- -Let ~
Embed
173
and Then
ozi(k,j) = ( k , j ) f o r k / i ,
and let
~ = ~l.-.C~p
so that
~.
and
generate v, so that ~. a n d i
0- = ~v
and let
T be g e n e r a t e d
by the
oe. a n d 1
o~. T h e n 0 - C T , T by
is a rr.
p - S y l o w s u b g r o u p of 2~p2,
and
T i s a s p l i t e x t e n s i o n of ~ l . . . ~ p respectively,
Let
W 1 = W and
Z P . Let
W 2 = W regarded, v
a s Tr-free a n d v - f r e e
resolutions of andlet of Z. P If M o
w o p e r a t e t r i v i a l l y on WZ,
g is a 0 - f r e e resolution
operate diagonally o n
is a n y v - m o d u l e ,
let T operate o n
i-th factor
W 1 ( ~ M p. Let
In p a r t i c u l a r ,
W 1 ~W?
is then a We l e t
K be any Zp-complex.
w i t h t h e ( i , j ) - t h f a c t o r K b e i n g t h e j - t h f a c t o r K in t h e i - t h f a c t o r K p o f 2 Kp = (KP)P. We l e t v o p e r a t e in t h e s t a n d a r d f a s h i o n on W Z ( ~ K p (13 a c t i n g as cyclic permutation of T on on KP)o By the previous paragraph, this fixes an operation
Let any
of w
T-morphism
are
w exists since
Y is acyclic,
a n d a n y two c h o i c e s
T-homotopic.
L e t (K,@) e ~ ( p , n ) .
~ P 2_morphism commutative:
We s a y t h a t ( K , @ )
> K
i s an A d e m
~ : y ( n ) ~ K p2
is T - h o m o t o p y
1 7 4
(WI @ W } ) ( n ) @ Kp 2
w@l
> y ( n ) @ Kp z K
Wl(n )
(wJn)~
Kp)p
11~ e p
> Wl(n)l ~ Kp
Here
acts
t r i v i a l l y on K and
a.1 a c t s t r i v i a l l y on W l ( n ) ~ KP).
The relations obtained ~(p,n), pro-
on H (K), (K, 0) an A d e m q
object of
We f i r s t show t h a t the t e n s o r p r o d u c t of A d e m o b j e c t s is an A d e m o b j e c t and t h e n u s e this f a c t to s h o w t h a t a n y r e l a t i o n s v a l i d on H objects q. Lemma 4.2. If (I<,0) and (L, 0') a r e A d e m o b j e c t s of ~ ( p , co), then (K, 0) and s u i t a b l e qi will n e c e s s a r i l y (K) f o r all A d e m qi be v a l i d on H (K) f o r a r b i t r a r y q
( @L , ~ ) is an A d e m object of K
Proof. and 6'
( p , oo). By h y p o t h e s i s , we a r e g i v e n
such that
a r e o b j e c t s of
~
m a y define
a s in D e f i n i t i o n s 2. 1 so t h a t
(K~
L, 6)
~'(]E Z, co, Zp), hence we P (~]p2' co, Zp). We must T-homotopy commutative,
s h o w t h a t the d i a g r a m of D e f i n i t i o n 4 . 1 , f o r
K ~ L, is
and this follows easily f r o m a simple chase of a large diagram and the definition
of ~ and g.
and Y ~ Y V
is T free
is acyclic, the following diagram is T-homotopy commutative where ~ :Y -->Y ~ Y is any given ~p2-Coproduct:
175
iww
.... ~ > Y@Y denote the free associative algebra generated by {PslS Z} Let JpC Fp d e n o t e the t w o - s i d e d i d e a l c o n s i s t i n g x H(K) and all Adem objects a e F P such that ax = 0 f o r a l l
y Let F
Bp
Both
the classical Steenrod algebra and the Dyer-Lashof algebra [17] are quotients of B . P
L e m m a 4. 3. s e q u e n c e of i n t e g e r s . objects Let a F . p Let { q i i i > 0} be a s t r i c t l y d e c r e a s i n g i > 0, a n d a l l A d e m
a x = 0 f o r a l l x e Hq (K),
t
a J . P
~(p, co) a n d l e t
q + r = q.
1
H (K). q i.
We There
ax = 0.
such that
for some
~ (p, co) a n d a c l a s s
y Hr(Lr)
such that
Po(y) = y, Ps(y) = 0 for s ~ 0, and ~Ps(y) = 0 for all s. Such an object can easily be constructed explicitly, but it is quicker to appeal to the results of section 8, which show that the singular cochains of a (-r)-sphere, graded by non-positive subscripts, provide such an object. N o w by the previous l e m m a .
a(x@y) = ax@y.
(K~Lr,~)
is an A d e m object of ~(p,oo)
a s w a s to be s h o w n .
Zp.
Define N ( Ep2
by
= 1 and ~ a =
~'~. For
q Z, conjugation by
176
~#
W~
G~(~; Z p ( q ) ) >
H.(.;, z p (q))
H.(; Z p ( q ) )
Thus
"f#(~kei@~f ej) = (_l)iJ~ej~ ~kei. Then d'f# = N#d and X#(~x)= (Np'f-l)f#(x) for ~ ~ 0 and xE W I ~ W 2. Thus
,~#~:
(Wl@Wz)~Zp(q)-->
(W I ~ W Z ) ~ Z p ( q )
induces
N,.
Sincethe signor
in Zp(q), and the result follows. @~=. we fix notations concerning binomial coefficients.
Notations 4.5.
j >__0
Let i and j be i n t e g e r s .
if i k 0 and
(0' = I) and define (i,j) = 0 if i< 0 or j < 0. Recall that if i >__0 and i= ~ akP k and j = ~ b k, then kp
(i,j) - U (ak,b k) rood p Clearly (ak, bk) ~ 0 rood p if and only if a k + b k < p, k k hence (i,j) ~ 0 rood p if and only if ~ ( a k + bk)p is the p-adic expansion
is given by the following formulas (with sums taken over the integers). (i) If p
=
Z, ~,(er~es)
~(k,s_Zk)er+zk_s k
~ es_ k , . Z and
(ii)
If p > Z, ~ , = . ( e r ~ e s ) =
~.(-1)kv(s)(k,[s/Z]-pk) k
er~2pk_s)(p_i)~esP_2k(p_l)
-6(r)8(s- I) .~(-l)k~s-l)(k, IS'i/z] - pk)e r+p +(Zpk - s)(p- l)~eP-zk(p- I)-i ' k
1 7 7
where
~= 0 or 1.
on
Of c o u r s e ,
K(Zp, 1) = E/v , w h e r e v o p e r a t e s p r o p e r l y o n t h e acyctic space E, so that, by C . ( E ) = Z v ~ C , ( E / v ) , with Z coefficients. Let D:E---~'~ E p be ,-~ p P the iterated diagonal. Then 1 ~ D : W I ~ C,(E) --> W I ~C:~(E p) is a 0-morphism,
and we shall obtain a ~ - m o r p h i s m Let d = ~: W 1 ~ C.(E p) ---->W 1 ~ C~(E) p in L e m m a v - m o r p h i s m over Z p . Since 7. i.
[14, IV l l ] ,
W1]W2
lef W 1 (~ C , ( E ) Therefore
> WliWPz
l~f p
> W1 @ C , ( E ) p
~, = d~: H:~(cr;Zp) ---> H,(T; Zp), and this can clearly be computed from d : W l ( ~ r C ;.(E/v) --> W l ~ rG:..(E/v)P. We shall prove the
the quotient m a p
following f o r m u l a s in P r o p o s i t i o n 9 . 1 .
(a) (b) If p = Z, d,(er~ e s) = ~ er+2k_s ~P,k(es)Z and ~,. ;,., k If p > Z, d;~(er~es ) = ~(-l)kv(s)er+(Zpk_sl(p_l)~P,k(es )p k
-
Here the p~:~k are the duals to the Steenrod operations in H * (K( Zp, i); Zp) = H (v; Zp). The latter operations satisfy pO = I and the internal Cartan formula, hence, by (1.2), if w t is dual to et, then
(c)
1 7 8
(d)
If p > Z,
, hence
Combining (b),(d),
and
~(ei) = 6 ( i - 1 ) e i _ l ,
T h e f o l l o w i n g r e l a t i o n s a m o n g the P ~ ( p , oo).
and
~P
are valid
on all h o m o l o g y c l a s s e s of all A d e m o b j e c t s in
(i) (ii)
If p
and
a > Zb,
PaPb = Z(Zi-a,a-b-i-l)Pa+b_iPi i i
p > 2 and
and
~PaPb = E ( - 1 ) a + i ( p i - a , a - ( p - 1 ) b - i - 1 ) ~ P a + b _ i P i i
Pa~Pb = E(-l)a+i(pi-a,a i - (p-l)b-i)~Pa+b_iPi
(iii)
- E(-1)a+i(pi
1
- a-l, a-(p-1)b-i)Pa+b_i~Pi
and
~Pa~Pb = - E ( - l ) a + i ( p i i - a-l,a - (p-l)b-i)~Pa+b_i~Pi
Proof.
diagram
I u
K(q)
(a)
)"
1 7 9
and w e have
) = (-1)mqsDrDs(X)
"
Combining formulas
(a) a n d ( c ) . w e o b t a i n t h e f o r m u l a 2 Z
(d)
W e p r o v e t h e t h r e e p a r t s of t h e t h e o r e m
successiveIy
the statements
t h e p - a d i c e x p a n s i o n s o f t h e r e l e v a n t i n t e g e r s a n d a p p e a l i n g to t h e r e m a r k s Notations 4.5. (i) {e) By (b) a n d (d), L e m m a 4.6 implies the formula = ~(~,r-Zl)Ds+zl_rDr_~(x) ~ r = a-Zq and and . s = b-q
~(k,s-Zk)Dr+Zk_sDs_k(X) k (e) i s v a l i d f o r a l l
Formula fixed
r a n d s, a n d w e s e t to
for our
a>Zb.
If w e t h e n c h a n g e v a r i a b l e s
j=b-k
i = a-q-I
and apply
Definition 2. 2, w e obtain (f) ~(b-j,2j-b-q)Pa+b_jPj(x) j guarantees = ~(a-q-i, i that the s a m e Zi-a)Pa+b_iPi(x). t e r m s do not appear with non-zero q = b-2 t + 1 for s o m e t > 0.
T h e condition a > 2b
suppose that
(b-j, Zt-l-Z(b-j))
0. while if
O n the right side of (f), Pa+b_iPi(x) = 0 unless Zt > 2i-a, then (a-q-i, Zi-a) Thus Lemma
Z t-I = b - q ~ 2i-a,
(f) reduces to the desired relation (i) w h e n 4. 3, it follows that (i) holds for all q.
180
and that, by the proof of part (v) of Proposition 2. 3, ~(ek@eP ) = ~(ek)~eP ~@g., so does
~(ek) = 5(k-l)ek_ I. N o w
(d')
rs + m q
~ , ( w ~ 1),(~,(es~ e r ) ~ x P ).
Replace r and s by 2r and 2-s in (d) and (d') and let 8 = 0 or 1; then, by (b)
and L e m m a respectively. 4.6, (d) and (d') imply the following formula for ~ = 0 and ~ = i,
(g)
~ (-l)e+mqv(2r)(e, r-pC
and
s = b(p-l)-qm
I
~P s = Ps and
J
= ~ i Again, a > pb (-1)a+i(a - m q - i , p i a)~ Pa+b_iq(x)
ensures that the s a m e terms do not appear on both sides of (h). q = 2b- 2(I+p +... + pt-1), t > 0. Then (b-j, pj-b-mq) = 0
j = b and, on the other side of (h), ~E Pa+b_iPi(x ) = 0 unless + pt-I = b-q/2 > pi - a, w h e n pt > pi - a implies
(a - mq-i, pi-a) =
(el-a, a-(p-l)b + pt_ 1-i) = (pi-a, a-(p-l)b-i-1). q = Zb-2(I +... + pt-1) for
Thus (h) reduces to the desired relations (ii) w h e n some (iii) t > 0. Replace By Lemma
4. 3, it follows that (ii) holds for all q. 2s-i in (d) and (d'); then, by (b) and L e m m a ~ = 0 and ~ = I, respectively.
r and s by Zr and
181
(i)
~(-l)k+mqk
= (i - a) ~
~
and i = a-mq-~.
(-i) ~ v(Zr-l)(i,r-l-p~)D2s+{2p ~_2r+~(p_l)_~D2r_l_2~(p_l) (x)" and s = b(p-l)-qm and change variables to j = b-k
B y Definitions 2. 2, w e obtain
(J)
Again, a >__pb ensures that the s a m e terms do not occur on both sides of the equation. j = b. Now suppose that q = 2b-2p t, t > 0. Then (b-j, pj-b-mq-l) = 0 unless t p > pi-a, w h e n
~Pa+b_iPi(x) = 0 unless
and
~E Pa+b_i~Pi(x) = 0 unless
(a-mq-i, pi-a-])
Thus (j) reduces to the desired relations (iii) w h e n and L e m m a Remark 4. 3 implies that (iii) holds for all q. It should be observed,
q = 2b-Zp t for s o m e
4. 8.
(h), and (j) derived in the proof above are valid for arbitrary integers (without the restrictions a > pb or
b w e r e only required in order to obtain disjoint non-trivial terms on the two sides of the cited equations.
182
5.
we regrade Equivalently,
the theory. with IK and
we can regrade
Obviously, W
Let Then
(K,@) ~ ~ ( p , oo)~
pS(x) = P s ( X )
and, if
Explicitly,
formulas
(i)
If p = 2, p S ( x ) = Dq_s(X ) ~ H q + s ( K ) , w h e r e
If p > Z, pS(x) =(-l)Sv(-q)D(q_2s)(p_l)(X)
D.I = 0 f o r
i < O; a n d
and
(2)
~ Hq+Zs(p-I)(K)
~ p S ( x ) = ( - 1 ) s v ( - q ) D ( q _ Z s ) ( p _ l ) _ l(X) ~ H q + Z s ( p ' l ) + l ( K ) , D. = 0 f o r
1
where
i < 0 a n d if q = Z j - ~ , E = 0 o r 1, t h e n
S
v(-q) = (-1)J(m!) .
Of course,
if p = 2, w e should write
p S = Sq
to
standard notations, but w e prefer to retain the notation C a r t a n f o r m u l a and A d e m p>2. The integers (3) (4) s. ps and ~pS are natural h o m o m o r p h i s m s
If (K,O) ~
C ( p , oo) a n d
x ~ Hq(K), t h e n pq
(x) = x
If p = 2, If p > 2,
; and
pS(x) = 0 if 2s > q, ~pS(x) = 0 if 2s ~ q, and pS(x) = x p if 2s = q. pS(x) = 0 if s < 0 or that is unital, then p O = i; these formulas s ~ 0. If (IK, @)
Note that w e do not claim that are not true in general. is reduced m o d p, then
If (IK, @)
pS(e) -- 0 for
183
(5)
if p = 2 and
~ps
is the composition of pS
(6)
pS(x~)y)
~ Pi(x)(~PJ(y) i+j = s = ~
i+j =s
and, if p > 2,
~pS+l(x @y)
(~pi+l(x)~)Pj(y)+(_l)degxPi(x)~Pj+l(y)).
W e have
~pS = p S
and
0 ~ P s = -~pS0-
t h e o r e m takes on a m o r e familiar f o r m with grading by superscripts in case (ii). The A d e m relations, reformulated in terms of the pS, take on the f o r m given in
the following corollary. Corollary 5. I. The following relations a m o n g the pS objects in ~(p, oo) and ~pS are
valid on all c o h o m o l o g y classes of all A d e m (i) If p >__2, a < pb, and papb
~ = 0 or 1 if p > Z, 6 = 0 if p = Z, then
: ~(-1)a+i(a
i
(ii)
a = 0 or i, then
= (I -~) ~ ( - 1 ) a + i ( a - p i , ( p - l ) b - a + i - l ) ~ p a + b - i p i i ~(I
l)a+i(a-pi- 1, (p- l)b-a+i)~ ~ pa+b-i~pi ~OpS = ps and ips = ~pS), 4.7 and the
corollary are completely equivalent, they w o r k out quite differently in practice. The relations of T h e o r e m a,b >_0; but a,b >_ 0 4.7 apply to positive complexes, in homology, with in the corollary,
in T h e o r e m
Lashof algebra [ 17 ], which operates on the h o m o l o g y of infinite loop spaces, is a very different algebraic object than the classical Steenrod algebra.
1 8 4
6.
Cup-i products, B r o w d e r operations, and higher Bocksteins. W e here discuss v.-products and certain h o m o l o g y operations of two
i
variables, which w e r e first studied by B r o w d e r in [4]; these operations occur in the presence of a Vn-product and the absence of a ~n+l-product and are central We shall also obtain a In section
i0, w e shall show that this result suffices to give a complete computation of the rood p c o h o m o l o g y Bockstein spectral sequence of K(~r,n) for any Abelian group and any prime p. /i is a commutative ring, ir is the cyclic group of W is the canonicalA~r-free resolutionof A. Z~iei_I for i > I. If (K,O) ~ ~(~,n,A),
O
Let then
that d(ei) =
w e m a y a s s u m e that the restriction of 0 to e ~ K ~ K product on K by (i) of Definition g. i. Let (K,@) ~ ~(Tr, n,A)
Definition 6. I.
0 < i < n, d e f i n e a n d if i > 0, t h e n to
and let x ~ K
Then U
O
and y ~ K
. For
K
! i(i+l ) x . y = (-1) 2 @ ( e i. ~ ) x Q y ) _
1
w:K~K1
- - > K is a c h a i n h o m o t o p y of d e g r e e
( - 1 ) i - l ~ i _ 1- e: ; t h a t i s ,
(i)
Y +('l)l+qry vi-i x.
If A = Z2
and x ~ K q
(K,O) a ~ ( ~ , n , A ) ,
and
O b s e r v e t h a t if a a n d b
are representative
c y c l e s f o r x a n d y, t h e n
An+len~a~b
is a cycle in w ( n ) ~ K y. Define
Z w h o s e h o m o l o g y class ~ n + l e n ~ X ~ y kn(x,y ) ~ H q + r + n ( K ) by
185
(-l)nq+IAn+lenOaOb = (-l)nq+nenO a O b - (-1)nq+qren(~boa" nq+n + in(n+l) Thus kn(X,y) is represented by ( - I ) (a~.~nb-(-l)n+qrb%2n a). The following propositioncontains many of the elementary properties of the kn; its proof is i m m e d i a t e from the definition.
P r o p o s i t i o n 6.3. L e t (K, 0) > Hq+r+n (K). kn: H q ( K ) O H r ( I K ) - - > Hq+r+n(K) ~(~r,n,A), then Xn(f, O f ~ ) = f , k n thenk = 0
n
kn i n d u c e s a h o m o m o r p h i s m If f : K - - > I K ' If O i s t h e
is a m o r p h i s m in r e s t r i c t i o n to
w ( n ) @ K 2 of O ' : w ( n + I ) ~ ) K Z - - > K ,
If n = 0, t h e n k ( x , y ) = x y - ( - t ) q r y x
O
+ K O e) is
(vi)
kn(X,y )
(-1) q r + l + n ( q + r + l ) k n ( Y , X ) and, if 2 = 0 i n / i ,
s a t i s f y the following a n a l o g of the e x t e r n a l G a r t a n f o r m u l a . L e t (K,O) and (L, 0') be in ~(lr, n , A ) , n <oo and Then
P r o p o s i t i o n 6.4. A a field.
= (-1)r(s+n)xx'Okn(y,y')+(-1)s(r+t+n)kn(X,X')Oy'y.
Let
186
5 ~(e n) = "=
eJaJen-j
c = E
ea~a'l8'(~en_jbb')
j=O
- ~
n
(-1)rs+n(r+s)-J(qr)e(~e.aa')e'(~+le
.1 n-j
.hb')
j--O
Let
e = ~
Then
j=l a straightforward
c +d(e)= (-1)
e(eo aa')e'(~n+lenbb')
(-1)Sty'y
f o r a n y n, and the r e s u l t f o l l o w s .
commute
n
(K',O')(C(w,n+l,A)
and
(K",O")~
~(w,n,-A-). of
be m o r p h i s m s
= w(n+l)@f(K,) 2 + w(n+I)@f(K')@K
where ~(n+l) = w(n) + A e n + 1 (aen+l / ~(n+l)).
+ w(n)@K 2 ,
Suppose given a w - m o r p h i s m
>~
iQg~g
f ~
io,
K'
Let x, y e M e t f,. Proof. Then
io
>K
187
and d(v) = b. Define c ~ ~ by c = ( - l ) q A n + l e n ~ U ( ~ V - (-l)n+qen+l(~ a ~ v Then a straightforward calculation demonstrates that d(c) = e n + l @ a ~ b Thus - (-l)r(q+l)en+ 1 ( ~ b O u .
n = (-i) ~ n + z e n + l ~ a @ b
and
T h e a n a l o g f o r the B r o w d e r o p e r a t i o n s of the A d e m r e l a t i o n s is the f o l l o w ing Jacobi identity: let x ~ Hq(K), y E Hr(L), and z ~ Hs(K); then, under appropriate hypotheses, ( i~(q+~)(s+~) % X
j n ~
l
n k, Y
and, if 3 = 0 in A
easier geometric argument can be obtained for the homology of (n+l)-fold loop spaces. This identity, and the identity of (vi) of Proposition 6.3, lead to a notion There is In
the case A = Z2, the restriction is already present in our algebraic context; it is the last Steenrod operation for an object (K, 8) ~ ~ (2, n). The following addendum to Proposition Z.3 gives s o m e properties of this operation that are needed in the study of (n+l)-fold loop spaces. Proposition 6" 5. Then Let (K, 8)
(i)
1 8 8
(ii)
~n(X) Proof.
(K,O)
is reduced m o d
when
(K, 8) c
the higher Bocksteins are all of interest. Proposition 6.7. x,y ~ H(K), deg(x) = q. Let (K, 8) ~ ~(~, n, Zp) be reduced m o d p. Assume that ~r(X) and ~r(y ) are defined. Let
Then
We may
d(b)= prb'; the rood p reduction a' and ~' of a' and b' represent ~r(y ). In W ( n ) ~ g d(An+len~aOb)
B y reduction m o d p and a check of signs, this implies the result. Surprisingly, the following fundamental result appears not to be in the literature, although it is presumably well-known. It allows complete calculation for any
and, as w e shall show later, the m o d p cohomology Bockstein spectral Together with the previous result, it also suffices for the
sequence of K(w,n).
computation of the rood p h o m o l o g y Bockstein spectral sequence of ~nsnx, n >__I. Proposition 6.8. Let K Let be a Z-graded associative differential ring K have a u l-product such that
1 8 9
(b)
Let
y ~ Hzq(K~) Zp) and assume that ~r_l(y) is defined, r >2. fined and, modulo indeterminacy,
(i) (ii) If p = 2 and r = 2, ~2(y2) = ~(y) y + Pzq~(y )
m
Then
If p > 2 and
r = 2, ~2(y p) = ~ ( y ) y p - 1 + E j=l
JXI({3(Y)yj-I'~(Y)YP-J-1)
We m a y a s s u m e t h a t
a is a c y c l e w h o s e rood p r e d u c t i o n
a represents
bi-l)
p r a b p-1
rood p 2 r - 2
r = 2; we m u s t now t a k e If p = 2, t h e n
into a c c o u n t the t e r m s
in d ( a b P - i v l b i - 1 ) .
d(b 2 + 2a~l b) = 4ab + 4 a v 1 a. Since the m o d 2 reduction of assume that p > 2. Then d(b p + p ~ abP-i~l b i-l) = p2ab p-I + p2c + p2c' , i=2 c =~ ~ i abJ_labP_i_j ~i bi.l i=2 j=l and c' = ~ l<_j <i<_p where a ~I a represents P2q~(y), this proves (i). Thus
abP-1 bJ-lab1"J'l ~I
By the Hirsch formula, and a separate reindexing of the two resulting sums, we
find t h a t
190
c =
~ Z<j<i<p
Therefore if e = 2<j<i<p
d(e) m - c +
~ a b P - l l 2<j<i< p
( a b l~-
. - bJ-lab 1-j-l)
rood p .
Comparing
d(e) to
c ' , we e a s i l y find t h a t
+ pZe) =pZabP-
p2 ~
i=2
2 m " " 3 = pZabP-I + P ~ j(abP-J-I Ul ab3-1 - ab3-1 ~I abP-J-l) rood p j=l By Definition 6.2 , this implies (ii) and so completes the proof.
Of c o u r s e , 2-product. the t e r m s involving k 1 in (ii) a r e z e r o if K a d m i t s a The Hirsch
T h e g e n e r a l r e s u l t is n e e d e d f o r s e c o n d l o o p s p a c e s .
loop space [I0], and for the dual of the bar construction of a cocommutative Hopf algebra [i 6]. In connection with this formula, we m a k e the following remarks. R e m a r k s 6.9. Let K be an associative differential Z -algebra, p > 2, with a P Define
< > P : H z s _ I ( K )---->H2sp_2(K ) as follows. Let a I represent x e H2s_I(K ) and 1 i-I define ai = ~- ai. lul al for 2 < i< p. Then d(ai) = j ~ a.a. and p-i "= J 1-j = ~ a.a is a cycle. A computation demonstrates that if {a~l i < i< p} j=l J P-J is a n y set of e l e m e n t s of K s u c h t h a t a~ r e p r e s e n t s x and
d(a~) = a[ a~ j 1-j for 2 Ki< p, t h e n ~ ' = ~ a!a' is h o m o l o g o u s t o ~ . j=l J p-j T h u s the
In the applications, it
K r a i n e s [11]
h a s p r o v e n t h i s r e s u l t f o r the c o h o m o l o g y of s p a c e s ,
w h e r e it r e a d s
191
<x> p
-~pS(x)
for
x e
H Zs+l
to b e d i f f i c u l t .
7. The category of simplicial A-modules W e here develop some machinery that will allow us to apply the theory of
the previous s e c t i o n s to a l a r g e s i m p l i c i a l of i n t e r e s t category ~.. We s h a l l s p e c i a l i z e familiarity with
to s p e c i f i c c a t e g o r i e s
in t h e n e x t s e c t i o n .
We a s s u m e
t h e b a s i c d e f i n i t i o n s o f t h e t h e o r y of s i m p l i c i a l o b j e c t s a n d of a c y c l i c m o d e l s
Let A
~-~
the categories of (ungraded) A-modules, positively graded Let C: /~--> ~0-- be the normalized
i s t h e q u o t i e n t o f K, r e g a r d e d as a
Define H , ( K ) =
and
k e C q + I ( K ).
i s b a s e d on i d e a s of
7.1.
L e t w b e a s u b g r o u p of W
O
and let e .
O
W be aAw-free Let
such that
= Aw w i t h A w - g e n e r a t o r
e J~
of A - c o m p l e x e s @ C ( K r)
. . . . ~ K r)
> W@C(K1)...
w h i c h i s n a t u r a l i n t he K. a n d s a t i s f i e s t h e f o l l o w i n g p r o p e r t i e s :
192
(i)
For
is c o m m u t a t i v e : > WI~C(KI)@...
@ C ( K r)
X...
X K (r)) on
~(kl...
if k i K i is a j - s i m p l e x ,
~'C(K 1 ...
C(K1)...
( ~ C ( K r ) is the A l e x a n d e r - W h i t n e y
(iv)
e(wcj(~ 1 x...
Moreover,
any two such are naturally equivariantly homotopic Since (K X L)j = K . @ L . formulas (ii) and (iii) m a k e sense. J J'
Proof.
Write
A.j = Cj(K 1 X . . .
i j
X Mr)
and
B.j = [C(K1) ~ . . .
@C(Kr)]j.
on W. ~ A . defines
b y i n d u c t i o n on i and f o r f i x e d j = 0 a n d all
i b y i n d u c t i o n on j.
for
i = 0 and
and j > i and a s s u m e that is defined for i' < i and for Aw-basis { w k} for W..1 It suffices to can then be uniquely
A. is represented by the r-fold Cartesian product AA[j] r, and J Therefore ~(w~.~j ... ~ A j ) c a n b e definedby
W ~ B ( A A [ j ] r) is acyclic. choosing
~ d ( w ~ Aj ~ ... ~ Aj), and can be carried by representability. N o w (i),(ii), and (iii) are
over to a r b i t r a r y w ~ k I ~ . . . ~ k
clearly satisfied and (iv) follows from the fact that Ck(AA[j]) = 0 for k > j. The proof that is unique up to natural equivariant homotopy is equally simple.
193
7. Z.
Define k g : W ~ C ( K I ) ~ 9 . . .
~ C ( K r)--> W ~ C ( K X ... X K r )
where
I]:C(KI)~... ~C(Kr)--->C(KI
is equivariant.
B y an easy acyclic
general case w a s required in the proof in order to have the representability of the functors A.. J Starting with objects of the following category ~ , w e shall use
to obtain diagonal approximations and so to pass to the category p ( w, oo, A) < C(w, co, A) defined in Definitions Z.I. Let where ~ denote the following category. and D:K---> K X K The objects of ~]-
K a ~
is a m o r p h i s m i n
suchthat
( D 1) = ( I X D ) D
in : ~
admits the natural diagonal D(k) = k e k, and ~d~ is thereHowever, an object K ~ . ~ may
rnutative coassociative A-coalgebra, then the coproduct permissible diagonal; that is,
use in the study of relative and reduced cohornology. Remarks 7.4. (i) If L C K in ~ define H.(K,L) = H(C(K/L)) and D(L) and
If (K, D) E ~i,
is contained in L X K + K X L,
then w is a m o r p h i s m
194
; thus ~ Give X
t h e natural d i a g o n a l .
i s u n i t a l if w e a r e g i v e n a m o n o m o r p h i s m
v : A ---> K i n ~ L
6:K-->~
in ~
" X K = K = KXA).
(X)~) IK
Clearly,
and
v(1) + v ( 1 ) k
(K/v(~Y),D)
+D(k), in ~0- .
where
D(k) ~ I K X IK.
i s i s o m o r p h i c to
If ( K , D ) e
~L
c u p p r o d u c t d e f i n e d as t h e c o m p o s i t e
(i) ~:C*(K)C*(K)
Here a
~ >[C(K)C(K)]*
>C*(KK)
) = (-i) d e g y d e g k
* >c (K).
~ is
x(k)y(g ), and
the Alexander-Whitney
and augmented
We n o w d e f i n e a f u n c t o r F to a p p l y o u r g e n e r a l t h e o r y to
= Z . P
be aA~r-free resolution of A
= ATr.
A:W@C(K)
(z)
Let
~:wc(K)
I~WC(K
r)
> weC(K)
~l
>C(K) r
8:WC*(K)
(3) Since
r - > C*(K)
by the formula
w ~ W, x e C*(K) r , k e C(K). j : W ---> V a s i n
0(wex)(k)
= (-1)degwdegx=(x)(Z~(wek)),
w= ~
r
Definition 2.1,
a n d t h e r e s u l t i n g c o m p o s i t e i s A ~ - h o m o t o p i c to t h e o r i g i n a l 0 d e s a t i s f i e s c o n d i t i o n (ii) of D e f i n i t i o n Z. 1. By L e m m a 7 . 1 ,
f i n e d i n t e r m s of W, 0
f o r m u l a (3) s p e c i a l i z e s to give
(4)
1 9 5
(5)
O(w(~9x) = $(w)D$e~(x)
if x C(K) r
a n d w e W. Since O is n a t u r a l on
functor
on m o r p h i s m s . IfA
=
is u n i t a l in ~ ( % c o , A ) . Zp) w h e r e ~
Zp, ~r is
(K,D) = (~
Zp,5~
is a Z - f r e e s i m p l i c i a l ~ ; is
we a g r e e to c h o o s e is r e d u c e d m o d p
0 for (since
F(K,D)
6.1,
we now h a v e
~.-products
1
in C"(K)
for
A = Zp, the results of Proposition 2.3 will clearly apply pS defined on the c o h o m o l o g y of objects (K,D) ~0-
a r e o b j e c t s of kgCL , t h e n
K X L a d m i t s the d i a g o n a l
Thus
(C*(K X L), O) is d e f i n e d in
The f o l l o w i n g l e m m a c o m p a r e s
(C*(K X L), 0) to (C*(K) ~ C*(L), ~) and will imply the applicability of the external Cartan formula to H * ( K X L) w h e n gemma 7.6 . F o r any objects A = Z . P (L,D') in k~0~ , the following
(I{,D) and
d i a g r a m is A w - h o m o t o p y
commutative
>
c*(~
L)
~* i n*
> C"~(K)@C*(L)
in the c a t e g o r y ~(~r, c o , A ) . 1)(~ U), it s u f f i c e s
B y the d e f i n i t i o n s of O a n d @= ( 0 ~ O)(1 ~ T ~
is Aw-homotopy
commutative:
196
W @ C ( K L)
-- (e 1){~ 5 )
> C(K X L) r
Since we let
(I~D~
I@D')(I@T@
1)(~
1(~1) = ( I @ T ~ I ) ( ~ @ I @
1)(I~D~D'),
if
~ = (E@ 1)~
and let u : K r L r - - ~ ( K
w@c(~x L)
I@DX
L]r)
~ > C ( K X L) r
io[Io
W@C(K)@C(L) I@D~D'>
l 111o
W@C(Er)@C(L r) U ( @ @ @ ~ I ~ T @ I ) ( ~ @ I @ I ) )
rI[
[C(IQ @ C ( L )]r
The left-hand square c o m m u t e s by the naturality of ~] and 6- Since the diagonals are not involved inthe right-hand square, w e can prove that it c o m m u t e s up to A w - h o m o t o p y by an acyclic models argument, with K r and L r replaced by
K 1 ...
Kr
and L 1 . . .
Lr
so as to h a v e d o m a i n s g i v e n b y r e p r e s e n t a b l e
f u n c t o r s f o r fixed w e W. w e W and on e o
On z e r o s i m p l i c e s , the d i a g r a m c o m m u t e s f o r any
m u t a t i v e by a s t a n d a r d a c y c l i c m o d e l s a r g u m e n t .
(% oo,A).
Proof. Since D: K --->K X K is commutative and associative, it is a
C (%oo,A),
197
Lemma 7.8.
of
If
~(p, co).
Proof. In the notations of Definition 4. I (with Yo = ZpEpZ), it suffices
to
w~,
> y ~ C*(K)P
~ C*(K)
Wl ~ (Wz 0 C*(K)P)P
All m a p s
looP
> W, ~ C * ( K ) P ~
that the following diagram is T-homotopy commutative Z >Y 0 C(K) > C(K) p
W1 W ? O C(K)
TO'
w@l
W ? ~ W , OC(K)
Let @=
> W? ~ C(K) p
a = @(wO,):W,OW?~C(K
(~,O1)@
anddefine
> C(K) p
Since
Z
A = (I~D), A ( w O , ) = a(IO I O D), D:C(K)--> C(KP ). By the naturality of ~, the following diagram is commutative:
>Writ<KIP I'Op
"
> (WzC(K))P
(l@D) p U > ( W Z c(KP)) p
Since a and ~ do not involve the diagonal, this can easily be shown
198
The following t h e o r e m s u m m a r i z e s
use the notations of section 5 since w e are dealing with cohomology. Theorem homomorphisms 7.9, pS Let (K,D) c k961. , A = Z P and, if p > 2, ~pS defined on each Hq(K); degree (pS) = s . T h e n there exist natural
, ~ = 0 or i, if p > g.
These c o h o m o l o g y
= 0 if s < 0 or if p = 2
(ii)
(iii) If ( K , D ) = (K(~ Z p , ~ O Zp), where K is Z - f r e e , then ~pS-I = spS and ~pS is the composition of ~ and pS if p > 2.
(iv)
pS=
piops-i
and ~pS = ~ ( ~ p i o p s - i + p i o ~ p S - i
) on H * ( K X
L);
If f:K' --> K
:
and
g:K---> K"
, where
are m o r p h i s m s
->
in [9~
such that
gf = 0,
C*(K") ---> C*(K) ---> C*(K'). and D(L)C LX L, then 6~pS = (-l)~PS 6 w h e r e
Proof. convention
D.(x) = 0 for i > (p-l)q, deg (x) = q. B y (3) of Definition 7.5, it suffices to s h o w
1
Now A = ( @ I ) @ ( I e D ) and, b y ( i v ) of
D(k)) ~ ~
j < pq
Pq-J
~[C(K)]~
Ker ( { ~ l).
(ii) and (iii) follow f r o m P r o p o s i t i o n 2.3; (iv) follows f r o m C o r o l l a r y 2.7, L e m m a 7 . 6 , and C o r o l l a r y 7.7; (v) and (vi) follow f r o m T h e o r e m 3.3, noting for
1 9 9
(vi) that the s u s p e n s i o n a s s o c i a t e d with C a ( K / L ) --> Ca(K) ---> Ca(L) i n v e r s e additive r e l a t i o n to the c o n n e c t i n g h o m o m o r p h i s m 5 ; T h e o r e m 4.7 and L e m m a 7 . 8 .
is the
(vii) follows f r o m
By T h e o r e m 3 . 4 , the K u d o t r a n s g r e s s i o n t h e o r e m applies to a p p r o p r i a t e s p e c t r a l s e q u e n c e s involving o b j e c t s of ~0~ and, u n d e r the h y p o t h e s e s of (iii) of the t h e o r e m , P r o p o s i t i o n 6 . 8 applies to c o m p u t e the h i g h e r B o c k s t e i n s on p - t h
powers of elements of Ha(K), (K,D) ( ~)(3L. In the next section, w e shall show h o w to eompoute pO for arbitrary objects (K, D) ~ ~(L and shall give non-trivial
8.
topological spaces, simplicial sets, and simplicial restricted Lie algebras, and shall consider the evaluation of po Let $ on Ha(K) for any (K,D) ~ ~ K ~ ~ , A = Zp, ,let ~ denote
the free simplicial Abelian group generated by K. and define a functor A: ~ ---> ~CL
by letting A(K) = ~ @ A
gonal D; here 190~ is as defined in Definition 7. 3 and D diagonal k--> (k,k) on K. Composing A with F E
r
is induced f r o m the
a functor FA: ,~ ---~ ~ (w, oo,A) for any ~ C of topological spaces and let S: T ~ ~
. Let
be the total singular complex functor. If (K, L) is a simplicial pair, define 2Z of simplicial pairs Since the normaliz-
is defined.
YZ of t o p o l o g i c a l pairs.
C'(K,L)= ca(~/~@A)
# C*(X, Y) = C (SX, SY), the results of the previous section apply to the cohomology
- 200 -
of simplicial and topological pairs. F o r the r e m a i n d e r of this section, w e take A = Z P of order on p. Via FA: ~Z----> ~(p' oo), w e have Steenrod operations 7 z , hence on H (X,Y) Sqs. pS, s > 0, Of and w e let ~ be cyclic
H (K,L)
course, if p = Z, pS
Theorem
pO = I.
Bockstein operation on the c o h o m o l o g y of simplicial (or topological) pairs. Proof. (K, L) ~ complex. Since ~mO = pl then if p = Z, it suffices to prove that H (K, L) = H'~(K/L, P), w h e r e P pO = 1. If
, L non-empty,
is a point
P(x) = x for x ~ ~n(K) = Hn(l<, P), If E (n) is the n-skeleton of that such
s*(* "n)
P(i:~ = (i P = i o We
generates
S ) =
n o w use the fact that pO = 1 on the c o h o m o l o g y of simplicial sets to pO on H ~-~ (K) for any object T. 1 w h e n (K,D) ~ ~0~ . In fact, w e have
to L e m m a
Let
K. e ~0~ l
, 1 <__i <__p, and let k. be a q-simplex of K.. i 1 ~... ~C(Kp) which satisfies
@:W~C(K
I ... X K p ) - - > W ~ C ( K I )
201
(1)~(eq(p_l)kl...
where v ( - q ) = 1 if p = Z and
v ( - a j + ~ ) = ( - 1 ) J ( m ')~" , a= 0 o r 1, if p > Z.
Proof.
Let
Since ~
is a
(ii)
"
To evaluate
m a y take S q = z~[q]/~[q] so that i is a basis for Cq(Sq) and i~ e Cq(S q) is q q well-defined. By (ii) and D(iq) = iq... lq, Definition 7.5 gives
(iii) 0(eq(p_ I) i~qP)(iq = =(iq P)[(e 1) (eq(p_ 1) i$)] = (- 1)mq ~(y). ) Since
Thus
for k ~ Cq(K), and regard each k (i) as an element of Cq(K). acocycle. y(k) = E Then P{x}
Let x ( C ~ K ) suchthat
be
for each k e C (K). in particular, if P q D(k) = N i e K p f o r e a c h k ( K, whe re N = E ai e Z w, then p o = 0 on H':"(K). P Proof. po {x} By formulas (5.1) and(5. Z), y = v(-q)O(eq(p_l)xP) represents
x(k(1))''"x(k(P)) e Z
, and the r esult follows by an easy computation from Definition 7.5 and
the lemma. W e now give a useful application of the theory for which the Steenrod operations satisfy the results of T h e o r e m 7.9 and pO = 0. Let ~ and ~ denote
the categories of restricted Lie algebras and of primitively generated Hopf algebras
202
over V: ~
Z . Let P > ~
F: (~_ ---> ~
denote the universal enveloping algebra functor, and let P : ~ - - > ~ H c 24 its restricted Lie algebra of primitive 6.1~], PV(L) = L for
7 and 9, p.168-170],
These statements clearly remain valid for the categories ~ of simplicial objects in 0-, ~ , and ~
shall need
the following algebraic l e m m a . Lemma 8.4. Let L be a restricted Lie algebra and let IV(L) = K e r ~, Let Then, for
represent
Then
a s s u m e that
Clearly w e m a y T(K)
also a s s u m e
dimensional Z -module. P
[19, Proposition 4.20] implies that the p-th p o w e r operation augmentation ideal of the dual Hopf algebra implies that, for x e IT(K), (x) = N y zi = 0 + ~ z ~... i ~(x) T(K)*.
~ z.l in T(K) p.
and the result follows. for the study of h o m o t o p y invariants '~2 M ~2-as follows. The
W e n o w sketch a definitional f r a m e w o r k of simplicial restricted Lie algebras. objects of ideal of L ~2 are pairs (L,M)
such that
and the
morphisms
- 203 -
f : L ----> L '
in ~ ~
s u c h that
f(M) C M'.
Two s u c h m o r p h i s m s ,
f and g, a r e
s a i d to be L i e h o m o t o p i c if t h e r e e x i s t m o r p h i s m s of r e s t r i c t e d Lie a l g e b r a s h.s L q --->L' q+l ' 0 _< i_< q, such that hi(Mq) C M'q+1and the identities (i) - (iii)
of [15, Definition 5. I] are satisfied. Define the homotopy, homology, and eohomology groups of (L, M) ~ (i) (Z)
The
~Z by
and and H*(L, M) = H*(IV(L/M)) are as
~;.(L, M) = H.(L/M)
groupson the right sides of these equations L/M and IV(L/M) 5.3] shows
induce the same m o r p h i s m s on homotopy, homology, and and H,(L, M) are, respectively,
IV(L/M) = IV(L)/IV(M), we have natural long exact homotopy, homology, and cohomology sequences on pairs (L, M) E ~ 2 ' formation of long exact sequences. of the Hopf algebra H,(V(L/M)) and h defines a natural trans-
Note that H ~(L, M) is the augmentation ideal is of finite type. Consider It can be proven that
if H,(V(L/M))
Wn(L) is the Z -module of Lie homotopy equivalence classes of m o r p h i s m s P F A S n - > L for L ~ ~ and that H . ( F A S n) - - - -~;,..(, Sn+l) is the augmentation ~ ideal of the free commutative algebra on one primitive generator of degree n. Our theory immediately yields Steenrod operations on H*(L,M). T h e o r e m 8.5. ~pS There exist natural h o m o m o r p h i s m s pS and ,if p > 2,
- 204 -
clusions of T h e o r e m 7.9 (except that the hypothesis of (iii) is not satisfied in general) and, in addition, the operation pO
Proof. diagonal Theorem We may regard
is identically zero.
as an object of ~,,, 7.4(ii). with Thus
G,(L, M) = C(IV(L/M))
pO = 0 f o l l o w s f r o m t h e p r e v i o u s l e m m a a n d
corollary. In [22], Priddy has given a different definition of H, (g) and H~'~(L) be the functor from simplicial Z -algebras to ~(G P is a simplicial Z -algebra, then % ( A ) p q > 0, as
[15, p. 87]. Let W
= Zp
Z -modules. P
For L ~ t~
coproduct ~ given by
!
~gao)'
IWV(L)
is regarded as a
only by a shift of degree; with his definition, H ~ ( F A S n) -----~'~(Sn+l) = Z . By P Definition 7.3 and R e m a r k s 7.4(ii), (C(IW-V(L),-~) H$(L) L@0~ and therefore Priddy's
9. The dual homology operations; Nishida's theorem For applications to loop spaces and to obtain a result used in the proof of the Adem relations, w e shall discuss the homology operations P~
S
Of course,
Define
P~ on H~(X)
by
pS
- 205 -
finite type, and either a direct limit argument or the next proposition imply that pS ~ . is well-defined in general, : if p > 2. Our results on the pS W e shall write the operations Adem P/ p ~ s lowers degrees by s if p = 2 and by 2s(p-l) immediately yield the dual results for the Pf. on the left; the order of composition in the dual is a left module over the
opposite algebra of the Steenrod algebra). the proof of L e m m a tion [30] of the D..
1
4.6.
Proposition W % C g , ( X ) p.
9. t . Consider
Let
X be a s p a c e a n d l e t
d = ~(t@D):W@wCt(X Let
)-> Then
d . : H , ( ~ ; H ~ ( X ) ) , . - - > H-'-(w;H,',(x)P)'.,. . o ,
x ~ Hs(X).
(i) (ii)
If p = 2, d l~(er~X ) = ~ e r + z k _ s ~ P k ( x ) ~ p . k ( x . ~ , ) k If p > Z, dg,(er@X ) = v ( s ) ~ ( - l ) k er+(Zpk_s)(p_l)@Pgk(x)P k - 6 (r) ~ s - l ) ~ k where Proof. v(2j+E) = (- t) j (m : )e and 6(2j+e) =e , g= 0 or i. is of finite type. W e shall compute (-l)ker+p+(Zpk_s)(p_l)~ p k ~(x)p.
In the notations of
H,(x)P~ A@
as a w-module, and
It follows that H*(~ ; Hg'~(X) -~ H~(w) @ A* (~) B*. p) To see this, w e m a k e explicit the isomorphism Z n~B)*. p For y ~ B , define
~c ( W @
by
= ~(w)y(b) for w ~ W, 0 K i < p, b ~ B.
~(w@ aiOb)
Then
v:Z P
Define
P w@B)*
y~ (W@Z
for y ~ B
by
y ( w ~ c ~ l ~b ) = 6(w) v ( i ) y ( b ) for wc W, 0 < _ i < p, b ~ B.
206
Clearly
~(w@aiOb)
= V(N[wO~i@b]).
Therefore = ~d,(Nw~x) = 0
is a b o u n d a r y in W~H.~..(X)
(because
Definition 7.5, we have the formula (:) Di(Y)(X) = @.(ei@ yP)(x) = (-:)iqd~:~(e@ l)*(yP)(ei~)x) from the tensor product of duals to the dual of tensor
products has been omitted from the notation). * p Let w.1 be dual to e..: Then (E~l) (y) = w o ~ y p and therefore
= ~
(-l)iwi@Di(Y)
To compute
d (wjOyP)
= Zp~wW
is the
> t@d,
(W @ W) ~ H . , ( X ) p
p@l@l I W@ (W ~ . H . t (X))
(The upper rectangle requires an easy acyclic models argument.) a morphism of H (w)-modules.
wjw i = w i + j if p = 2 o r e i t h e r
Now
wj(w O @ yP) = w j ~ y P
and, in H (w),
- 207 -
(3) (4)
if p = 2, d ( w j ~ y P ) = i ~ wi+ j ~ D i ( y )
and DZi+t(Y).
By formulas (5. t) and (5. Z) and a reindexing, (3) and (4) become (5) if p = 2, d (wjO yP) = k~Wj+q_k@ pk(y) if p > Z, d (wj@yP) = v(-q) -t E ( k -t)k
k
(6)
wj+(q- Zk)(P- 1) ~
- 6 (j+1) v(-q) -i E ( - I ) k
We now dualize,
d~..(H..(~)@H,,(X))C H,.(w)~A
w e m a y therefore write
<Wr+s_pq@yP , d , ( e r @ X ) >
(8)
Thus
<d ( W r + s _ Z q ~ y Z ) , e r ~ X >
E qr (x) = P~, -.
= <Wr@PS-q(y),er@X>
= <Y'P*'s-q(x)>"
s-q
k>_0
q = s-Zk(p-i),
(6) gives
(9)
erX>= -t
v ( - q ) - t ( - t ) k + r q < y , plk(x)>. k
if q = s-Zk(p-l); since
B y (7) and (9), Eqr(X) = (-I) (-I) m q v(-q) -I = that < ~ y , x > v(q) =
v(-q) P,(x)
v(s), this yields the first s u m of (ii). Observe next by the chain and cochain definitions of the 6 (f) = (-1)degf+Ifd used in defining C~(X).
= (-l)q+l<y, ~x>
- 208 -
(10)
t h i s y i e l d s the s e c o n d
in terms of
and ~P,
(.6
<s), =-~3P s
if no
E; by [14, I V l l ] ,
f: W ----> C,(E) ;,"
-fp
is homotopic to
~ f, 9 :W --> W.
m a p , t h e n we h a v e the f o l l o w i n g h o m o t o p y c o m m u t a t i v e d i a g r a m f o r a n y s p a c e
wif<xl
w%
f 1
>
c,(E) c,(x)
> c,(E x
T[
x)
I ID
>
I IXD
c,(x)P
,1 t
%C,(X) p
|
> C,(E x X p)
~ DX 1
rl > C...(EX E'X X p)
~ DOl
W e W
~" I
o-X
I X1T l
W'O W
%C.(X) p
n(7f) ~ >c,(s/~
"
x E) @c,(x p)
"p) "
n >C,(E/~xEx
Tr
X p)
hori-
Let
"
zontal arrows are homology isomorphisms and we therefore have Steenrod operations p hes
O n
H.(w,H.(X)), H:~(w;H,=(X) ' and H.,.(w)~H, (w; H,,(X)p) such that d,~ p) , , .~. ~, , 4
- 209 -
pS
d~ and bt,. to
H~(~r; H~(x)P).
the reason for this is that our formulas (2) and (6) in the proof above differ f r o m the corresponding formulas in [30,p. I03 and p. li9]. W e w e r e pedantic about W e shall need the
following identity on binomial coefficients in the proof of the theorem. Lemma Proof. 9.3.
~Q(i,a-i)(n-i,i+b-n) i
= (n,a+b-n)
for
i= n
s u m m a n d on the left.
the triples (a,b-l,n)
Using
and
(c-i,d)
+ (c,d-t)
(a,b-l,n-l)
Theorem9.4. (i)
(ii)
L e t X be a s p a c e , x ~ Hq(X).
S
If p = 2,
Ps,c ( e r @ x2) = ~ - ( s - Z i , r + q - Z s + Z i ) e r _ s + 2 i ~ i
S
(s-pi,[~ ] + q m - p s
+pi)er+z(pi_s)(p.l) ~ P..jI(x)P
+ 6(r)~(q) ~ ( s - p i - l ,
[ r+l l L--j-- J + q m - p s + p i ) e r + p + Z ( p i . s ) ( p _ i )
~ P,~ ~(x) p I.
i
where
~(q)
v(q)-lv(q-l)
-(-l)mqm. ~
and
6(2j+a)
=E
~.= 0 o r
Proof. then eo ~ x p
W e a s s u m e that
P,,S(e ~ x p) = ~ .
such that ~
ii e ~ P.:~ ( x ) ~ . . .
The s u m
i = s. p
P;:i(eo e x p) = e ~ P~ (x)p, which is in agreement with (i) and (ii). Recall that, by Definition i. 2 and the proof of L e m m a 4.6, w e have the following relations in
2 1 0
(b)
and ~(e r) = ~ 6 ( r , j ) e j O e r .
If q = 0, then d ~ ( e r X ) = e r ~ x p and t h e r e f o r e
p,S(er @ xp ) : d~.,(P~:(er) x) s
s = P~, (er) ~ xp ;
We now p r o c e e d by i n d u c t i o n on q
z = P:S(er(~.. x) and let z' denote the right side of z - z' = ~ e l Yi e H#(~; H.~.(x)P). W e shall
Write
~,(z-z'). = e ~ (z-z'); this will imply that Yi = 0 for all i > 0 such that Yi ~ 0, then e.x e ~ Yi clearly occurs as a Y = 0 by explicit c o m -
since if i is m a x i m a l non-zero s u m m a n d
of }*.:..(z-z'). W e
(c)
~,(z) = P : ( ~ e j ~ e r _ j x Z
J
) =~(i,j-Zi)ej.iP:,
1, J
s-i
(er_j~xZ),
where if j > 0.
(c) r e d u c e s to the f o r m u l a
(d)
~,(~) = eoZ + ~
k,~ >0
A glance at the right side of (i) shows that ~t~.=(z-z') = e (z-z'), hence Yi = 0 fo r i > 0. To c o m p u t e Yo' observe that p = 1 and Proposition 9. I imply
(e)
er
x2 : d # ( e r + q O X ) + ~
k>0
e r + Z k ~ P - ~k(x)Z "
211
.q
9. i
x), and the induction hypothesis on q evaluates k > 0. Carrying out t h e s e c o m p u t a t i o n s , we find t h a t
(f)
r+q-Zs+Z
k, +
)er.s+Zk+Z
p,~ (x) z
In p r i n c i p l e ,
become
(g)
~ (k-t,t+c-Zk)eo~ , k>O
+ ~ < s+t
-s,
By formula (f) of the proof of T h e o r e m 4. 7, rephrased as in section 5 and dualized (with the o r d e r of c o m p o s i t i o n operations p,s reversed u n d e r d u a l i z a t i o n s i n c e we a r e w r i t i n g the 4. 8, (g) w o u l d be z e r o if I = s+t
(x) = (q-s,r)eo@
,g
P 1/2 ( s - r )
:=
(x)2.
=
O.
(ii)
p > Z.
For brevity of notation, write d = g(p-J). As in the case p = Z, we r that s-i ~ (er_j@xP) , where, if j > 0,
5(r,j)(i,[j/Zl-pi)ej_di@P.
ij
pss-i(er_ J.~xp) = ~] (s "i-Pk' [ r~" k -z + q m - PS +pi+pk)e r -J+d(pk- s +i)~ P"k(x) P "
212
f i r s t s u m and a =
[~/2],
= [r-~-t -
]+ q m - s ( p - t ) ,
and n = s - p k - i
k,~>O
+ 5(r)~(q) ~(-1)ker+p+dpk~ P~k~(x)P . k Precisely as in the case p = 2, we can compute Pj on the right side of (k);
c a r r y i n g out this computation, we find
(J[)
z = ~(-i)k(s-i,[r/Z]+qm-ps+p~)er+d(pk+p~_s)~P~ k P~/(x)p
[~]+k(p-l)+qm-ps+p~)er+p+d(pk+pi_s)(~ ,
p~
p k~(~)p
(m)
k
~<s+t
C o n s i d e r the r e m a i n i n g sums of (~), with r+p+d(pk+p~-s) = 0; 6(r) = t. Let t be as above and let c' = c - l .
213
(n)
-~(q) ~ k
(-l)k(k-t,t+mc'-pk-t)eo
pk pf , ~ , (x)p +t-f(x) p
+~(q) 2 (-i)s+t+~(:~+mc'-s's-pl)eo~Pfp.:+t-i(B(x)p
By formulas (h) and (j) of the p r o o f of T h e o r e m 4. 7 (with e = 0), r e p h r a s e d as in
a l l o w e d in t h e s e c o n d s u m s .
with dpi = ds-r, and with dpi = ds-r-p. in its first s u m and (p) is
0
(p)
~(q)(s-pi-t,
r+l + q m - ps + p i ) e o ~ P!:~(x)p z
involving e
involving
e
O
Thus
Yo
0 and
10.
We r e c a l l the s t r u c t u r e
of H * ( K ( % n ) ; Z p )
= H*(Tr, n, Zp)
and c o m p u t e c o m -
p l e t e l y the rood p c o h o m o l o g y B o c k s t e i n s p e c t r a l
section.
s e q u e n c e of K(Tr, n) in t h i s
W e also s h o w (as should be well-known) that Serre's proof [Z3 ] of the K(Z2, n) can be simply modified so as to apply w = Z pt '
I is admissible if
The length, degree, and excess of I are defined by and, if I = (s,J), e(I)= s-d(/). Define
~(I) = k, d(I)= ~ s j ,
2 1 4
pI
t
= P
sI
.
""
pSk_ l
P
t
sk
'
where
P
t
pS
if s > 2,
--
ptI
I
co
= 0",
thus,
if t = co, we a g r e e t h a t a d m i s s i b i l i t y
requires
s k>_ 2.
I is admissible,
I determines the
identity o pe ration. (b) p > 2. For I= (El,s I ..... &k, Sk, k+l), and 6.1 = 0 or I, w e say that I is I = (~). Define
sk >__i or if k = 0, w h e n
a n d , if I -- ( , s , J ) ,
2sj(p-t),
e(I) = 2 s + e - d ( J ) .
Define
Lemma
10. 2.
H (Z,l,Zp) = E(il)
and
2 ~t(il) = iI , and
K(Z,I) = S I and
K(Z,2) = CPco,
H*(Zpt, l,Zp) = H (Zpt; Zp), and w e can define a precisely as in Definition 1.2 (with ring A. T h e result follows by an
10. 3.
If n >
generated
t < co
t = co a n d
the Serre
sequence
{Er}
K(Z
pt'
n), E
acyclic
satisfies
and E
pt' n, Zp)
~H*(Z
co
: PZ
215
First,
let
p = 2; t h e n ,
r e g a r d i n g s q u a r e s as S t e e n r o d o p e r a t i o n s , H*(Z2t, n - t , Z2), a d d i t i v e l y ,
we s e e t h a t we as the e x t e r i o r
e(1) < n }.
by letting E' = P ( T S ) ~ E ( S ) ,
2
is a copy of S with degrees augmented by one, and by requiring dress to TS e T(S). Clearly f :E' ---->E r r r by f2 = g ~ l ' E' = ZZ. co where Define a m o r p h i s m zt'
s ~ S
to trans-
n, Z2)
*o f2 = g is an i s o m o r p h i s m m a y rewrite
N o w let p > Z. W e
in_i I I is admissible,
even},
T = {Pt I" I I I is admissible, In_ (Note that e(1) - d(1) n o d Z, hence By Theorem d(1)+n even and
e(1) < n, d(1)+n odd}. e(1) = n-I is impossible.) and, if Define an Let
to (-l)d(1)Ptli n
transgresses to (-i) n ~ P q P : i n.
abstract spectral sequence of differential algebras , {Er} , as follows. E 'Z = [P(~S) @ E ( T ) (the b r a c k e t e d e x p r e s s i o n s TT P ( ~ T ) ] @ [ E ( S ) @ Q(T)] respectively). ~T Here
a r e the b a s e and f i b r e ,
TS and
are copies of S and T with degrees augmented by one and p and then augmented by two.
is a copy of T
g r e s s to
A n easy computation
of spectral sequences
216
f :E' r r
> Er
by
f2 = g @ l ,
where
g:P(TS)@E(TT)~P(~T)-->
H * ( Z p t , n, Zp)
is the m o r p h i s m
g(,PtIin.t)
As in
t h e c a s e p = 2, t h e differentials, and
g is an isomorphism
by the comparison
theorem.
is an H-space and
~PS(x) = ~
i+j = s Thus, since i
n
pi(x,)PJ(x,,)
and ~t(in)
are primitive,
We c a n now c o m p u t e t h e
{ E r ) of K(Zpt, n ).
algebras such that I3r for
r e s p e c t to
H (p , n , Z)
i s a d i r e c t s u m of c y c l i c g r o u p s w i t h Ira(13. __ C E r r)
OO
one g e n e r a t o r generator of
of o r d e r
f o r e a c h b a s i s e l e m e n t of
and
one
{Er}
Lemma
n ~ 2. i0.4. Let n ~ 2. Define a subset S of the set of generators for 10.3 by ~(I) > 0}.
given in T h e o r e m
is even, and ~(I) > 0}. if p = Z and degree (y) = Zq and define Ar(n,t ) by
y c S, define
217
r-t
r-t
Ar(Zn, t ) = P { i p 2n
where
} @E{m(izn)iP n 2n .
- P} if r > t , t = t
z(izn ) = ~(iZn)iZn+ P
~(12n ) if p = 2 and
and
(e) A r(2n+l,t)
z(i2n ) =
12n)1
if e i t h e r
if
p> 2 or
t > t
= E( iZn+t} @ P { ~t(iZn+~ )}
A (2n+J,t) = Z
T h e n , if r _ > t ,
r
Er+i = P{yP
r
Pl
y e s} @ A r + i ( n , t ) ,
~ r + t ( y p ) = z(y)y p - P
Proof.
for
y ~ S, and
W e first compute E 2 separately in the cases p = 2 and T and U of the set of generators of E l by ~(1) > 0}
T = {PIinl sI is even, d(I)+n is odd, e(1) < n-i, and U = {P[inl d(1)+n Recall that ~pS-i = spS d(J) + n = 2q+l, and is odd, e(1)= n-l, and ~(1)> 0}.
(i)
P{~(y)} @ E { y }
E{y}
for
y e T, and
deg(z) = 2q+l. Then H(IC) = 0 under 6, and
(ii) P{z 2 } ~
for y = PZqz e U,
If y e T U U, then p Z q y e U, is a
S} ~
E{~(y) l y e
S}
A~(n,t),
2 1 8
= P { i n 2} ( ~ E { ~ ( i n ) i n } .
it f o l l o w s t h a t
f o r m i f p = 2. of E l by T =
T of t h e s e t of g e n e r a t o r s
{ Ptlin I 5
= O, d(1)+n
is odd, and
~(I) > 0 }.
Then, as a differential algebra, E l breaks up into the tensor product of the following collection of subalgebras: (iii) (iv) (v) P { y } ~ E{~(y)} E{y}~ P{~(y)} for y ~ S for y e T
The free commutative algebra generated by in and, if t < oo, ~t(in). P{yP} ~ E{z(y)}, those of (iv) are acyclic, hence E 2 is as stated. Now a s s u m e ~r+t that and
and any
Then Proposition
6.8 computes
p r o d u c t o f A r + l ( n , t) w i t h s u b a l g e b r a s r x = yP , y e S. T h i s p r o v e s t h e r e s u l t .
of the form
Recall first that the Caftan formula and p O = I imply that the pS
suspension [28, 30] and that w e have shown in Proposition 8.1 that pO = i is implied by the c o m m u t a t i o n of pO with S ~ and the fact that pO a zero dimensional class. are in fact redundant. is the p-th power on
2 1 9
Theorem
I0.5.
{ P S I s .>_0}
of natural h o m o -
morphisms
s u c h that
d e g ( P s) = s if p = Z,
d e g ( P s) - Z s ( p - t ) (i)
(ii) (iii)
pO is the i d e n t i t y h o m o m o r p h i s m
pS(x) = x p if p = 2 and s = deg x s > deg x or or p > 2 and 2s = deg x
pS(x) = 0 if p = Z and
p > Z and
2s > deg x
(iv)
(v)
pS(xey)=
H*(XXY)
T h e result is obvious f r o m (i), (ii), and (iii) if n = I or if that pS(i n_1) = RS(in_l) for all s and consider B y (v), 0"(y) = 0,
p > Z and
Assume
*: H*(Zp, n, Zp) --> H~"(Zp, n-l, Z ). P If p = Z, oLet p > Z. is an i s o m o r p h i s m in degrees less than Zn and therefore y = 0.
A s s h o w n in the proof of T h e o r e m
pS(in)
and
RS(in ) a r e p r i m i t i v e .
By T h e o r e m
{pIi n I I admissible,
n}
T h e o n l y e l e m e n t s of this /3Pq(y),
y has odd d e g r e e
If n is e v e n , t h e n all p r i m i t i v e e l e m e n t s in K e r ~* have d e g r e e y = 0.
- 220 -
11.
Cocommutative
In this section, w e consider the following category are triples C = (E,A,F) ring where A,E Thus E A
is a (Z-graded) cocommutative F
over a c o m m u t a t i v e
mutative A-coalgebra.
are A - m o d u l e s
a u g m e n t e d and their units and augmentations morphism morphism morphisms a e A, and ~ : C - - > C' in ~is atriple
~ : E --> E'
k -equivariant for e e E,
~(ea)=~(e)k(a)
~(af) =k(a)~(f)
say that "f is unital if c~ and ~ are m o r p h i s m s For C and C' in ~ , define C~C'
of unital
a u g m e n t e d coalgebras0 F~F') e ~
= (E~E',A~A',
A@A,
F~F)
= C@C
Hst(c) = Ext(A,A)(E,
F*)
m
H%'(C) w h e n
71 = Z P
. The
results here generalize w o r k of Liulevicius [13]. In the following definitions, w e recall the description of H*(C), with its product, in t e r m s of the bar construction. Definitions il.l. Let IA For C = (E,A,F) e ~, let C'= (A,A,F) e Define the bar construction where T(JA) B(C)
as follows. algebra on
as a A - m o d u l e ,
is the tensor
in the f o r m
s, internal degree
221
a n d t o t a l d e g r e e s+t,. Define
e.:B(C)--->E ~
F and d:B
(2)
(3)
- ~ ~[~11...
I ~i_ll~iai+llai+zl""
laslf
where : F ---~B(~) and S: Bs,.,..,.(~) Bs+l, ,,.(~),.are defined by the formulas ---~
(4) Clearly (f) = [ ]f and S ( a [ a l l . . . d : l~Ad las]f ) = [ a t a l l . . . tas]f
.
on B ( C ) : E ~ A B ( ~ ).
By adjoint a s s o c i a t i v i t y ,
HomA(B(U), E*) ~ B*(C) =~ HomA(B(E , A, A), F$). T h e r e f o r e (1) admits the equivalent r e f o r m u l a t i o n (5) H,(C) = H(B(C)) Definitions 11. Z. Whitney map and H*(C) = H(B;'(C)) = Ext(A,A)(F, E'*). be objects of ~ . Define the A l e x a n d e r -
~:B(C~C')
:B(C)B(C')---~ B(C@C')
(6)
l aklak+ 1. .a S fe'a~...a~[a~+ll k
**t
la']f' sj
and
(7)
~](e[atl... las]fe'[as+il..,
=
where
1
(s,t)-shuffles
- 222 -
( t + deg a i ) ( t + deg a s + j ) . (~) = ~(i) > ~ ( s + j ) The u n n o r m a l i z e d b a r c o n s t r u c t i o n E (~ T ( A ) ~ F graded A-module u n d e r which ~ and a d m i t s a s t r u c t u r e of s i m p l i c i a l
~ a r e in fact the c l a s s i c a l n o r m a l i z e d
Define D = ~ B ( ~ ):B(C)---> B ( C ) @ B ( C ) .
defined inductively by
(8)
(9)
D([ ]f) =
[ ]f'@[
S = S@
]f"
if
~(f) = ~
on
f'~f",
and
DS = SD , where
I + fie @ S
B(~)eB(~).
Clearly
E~AB(-~) @ D >E~
We (I0)
u:B*(C)~gB*(C)'~
a m o r e p r e c i s e analog (in t e r m s
than homological techniques is available. Lemma of A W~B(C) bigraded 11.3 . Let o =Aw Ir be a subgroup of with A~r generator = ~ WiGBjt(C i+j=s ). ~ and let W be a A w - f r e e . Bigrade of resolution
such that W by
e . Let o
C e ~
[W~B(C)]st
T h e n there exists a m o r p h i s m
Aw-complexes
and satis-
(i)
~(w~b)
~(eo@b
= 0 if b e B
) = D(b) A
o,
,(C)
and w e W. f o r i > 0 1
D is the iterated coproduct where A operates
(ii) (iii)
if b e B(C), w h e r e is a m o r p h i s m
If E = A, then
of left A - m o d u l e s ,
- 223 -
on
WOB(G)
by
a(wOb)
(iv)
A(WiOBst(G))
Moreover, Proof.
a n y two s u c h
O b s e r v e n e x t t h a t i t s u f f i c e s to p r o v e A on WeB(G)= EOAWOB(-'C~ )
E = A, s i n c e w e c a n t h e n d e f i n e
> [E AB(~)]r
WiG B s t ( ~ ) by induction on d~ for i
U is t h e e v i d e n t s h u f f l e .
i by induction on
A on
and f o r m u l a (ii) and w-equivariance and s > i and a s s u m e Let { Wk} that A
and all s.
s' < s.
and
y e B
~r-i-1 on
B(~) r.
Then
dS + Sd = i - (~6
)r.
We
define
(v)
d~(w@ S(y)~) :
( - 1 ) d o g w S A ( w O y) + S a ( d ( w ) O S(y)).
w = e o and that (v) is well-defined by the
O b s e r v e that
induction hypothesis.
A ( I ~ ) S ) = SZ~(I ~)i + d O S ) .
dA(tOS)
= (1 - S d ) A ( I O
1 + dOS)
+ lOd)](iO
I + dOS)
= A + A(d O S) - S A ( d O t ) - S A ( i O d) + S A ( d O dS)
= a + a(dS)
- S a ( d O t ) - S a ( t O d) + S A ( d O t) - S a ( d O Sd)
( w h e r e no t e r m s
involving
c E a r e r e l e v a n t b y (i) a n d a n e a s y v e r i f i c a t i o n ) .
Thus
- 224 -
To s e e t h a t (iv) h o l d s ,
if w ~ {Wk} C W
is a linear combina-
tion in B(~) r of terms involving precisely the factors a.(j) and f(J) in the B(~), where ,(ai) = ~ a~i)~... ~a'(r)1 and ,(f) = ~ f ( 1 ) ~ . . . Thus no s u m m a n d of A(w~S(y)) ~f(r) give
i > (r-l)s, this proves (iv). The uniqueness of A up to A1r-homotopy follows easily by use of the contracting homotopy W e now pass to the category Definition ii.4. Let C ~ ~ S on B(~) r.
~D(Tr, oo,A) of Defitions 2. i. Let ~:B=~(C) r - > [B(C)r] ~" be the natural
m a p and define a A ~ - m o r p h i s m
(tt) Since
@:W~B*(C)-->
@(eo@X ) = D*~(x)
x e B*(C) r
@(w(~ x) =
~(w)D * ~(x) f o r a n y x e
B ' *(C) r
c o n d i t i o n (i) of D e f i n i t i o n 2. t . F: ~ -->
~O(~r,o o , A )
(B*(C),@) ~ , then
onobjects F(C) P
] ? ( ~ ) = B*(,~) o n m o r p h i s m s . ~ (%co,A).
B y (13), i f C
unital in
is unital in
If A = Z p , ~r i s c y c l i c of
order
p, and C = ~ Z
where
~ is Z - f r e e
(that is, ~ , 2 ,
and ~
are Z-free),
C; I~(C)
t h e n w e a g r e e to c h o o s e w i l l t h u s be r e d u c e d
@ for
C to b e t h e
r o o d p r e d u c t i o n of @ f o r
r o o d p.
N o t e t h a t if x e B * ( C )
h a s b i d e g r e e ( s , t), t h e n
@(w@x) has b i d e g r e e
(s - degw, t).
- 225 -
as regarded by total degree in defining the functor Observe that, by Definition 6. i, w e n o w have C e ~ . When
A = Zp, the results of Proposition 2.3 will clearly apply to the (C), and the following l e m m a s will imply the applicability
Steenrod operations in H
is A - h o m o t o p y
commutative.
w B*(C C,) r
>
B*(C C,)
W @ [B*(C) (~ B'*(C')] r
Proof.
WB(CC')-,,
a
C and C'
result follows by an easy double induction like that in the proof of L e m m a Corollary 11.6. Lemma Proof. it.7. If C e ~ If C e ~ , then F(C) is a Cartan object of F(C) is an A d e m
i i. 3.
~(%co,A)
, A = Z , then P
226
....... A
> B(C) p AP
[
W?~Wi
H*(C)
r~l
~B(C)
I (~ &mw?~
B(C) p
> ( w z B(C)) p
Z We need only consider this diagram with C replaced by "C, and, since B(~) p
has a contracting homotopy, the result then holds by another easy double induction. the properties of the pS and ~ps on
T h e following t h e o r e m s u m m a r i z e s for C ~ ~ , A = Z P . We
shall be very precise as to grading since there is W e are thinking of H*(C) A n alternative
formulation Theorem
isms pi
convenient will be given after the theorem. ~ , A = Z Then . P there exist natural homomorph-
and, if p > 2,
defined on
H (C), with
(a) (b)
if p = 2 ; and if p > 2 .
T h e s e operations satisfy the following properties: (i) pi = 0 if p = Z and either i < t or 2i<t or i > s+t 2 i > s+t
pi
(iv)
pj= ~
pi~)pj-i
and ~ P J = ~
(~pi@pj-i+pi@~pj-i)
or H*(C@C');
- 227 -
(v)
If 7:C' --> C
and
:C---> C"
are unital m o r p h i s m s
in
such that
uP i = pi0- and
u~Pi = _ ~pi0_'
u:HSt(c '')--> HS-l't(c ') is the suspension. pi and ~pi satisfy the A d e n relations as stated in Corollary 5. I. The pi and
~p1 are defined by formulas (5. i) and (5.2), with x having its total degree q = s +t ; thus (a) and (b) are valid. The vanishing of pi(x) for i < t if p = 2 ll.3. The
remainder of the t h e o r e m follows immediately f r o m our general theory and the previous l e m m a s . BXC(C '') B~(~) F o r (v), note that the composite
> B (C)
B (C") --> Z . A n alternative formulation of (v) in the non-unital case can easily P be obtained. In addition to (v), the I~udo transgression theorem, appropriate spectral sequences involving objects of is seldom satisfied in practice, and ~pl ~ Theorem 3.4, applies to
operations, which amounts to the following regrading of our operations . Define (c)
(d)
~i
" =Sq I= pi+t: HSt(c) ~ Hs+i, Zt(c) if p = Z ; ~i = pi+t: H s, 2t(c ) -'- Hs+2i(p-i)' 2pt(c) and ~i= ~pi+t:HS, Zt(c ) ~ H'+Zi(P-i)+i'2Pt(c) if p >2.
This regrading is reasonable if p = 2, but has the effect of eliminating all operations on Hst(c) for
since, if s and t are odd, the p-th power operation on HSt(c) general.
relations are still correct precisely as stated but with all and ~i The motivation for the reindexing is just This operation is of
replaced by ~i ~o
the desire to m a k e
- 228 -
particular i m p o r t a n c e Definition I i. 9.
be identified with by
k :BSt(c)
> B s'pt(C)
>~(e[++i ]. . .
Then k commutes
I%]@)
= eP[=IPl-.-l+s
p]~p "
k~ : H s t ( c ) - - > H s'pt(C). Of
course, if p > z ,
and thus k~.. = 0
then
(~[~ll...f%]~)=0
Proposition 11.10.
x ~ M s , t(c) w h e r e
t is even if p > 2.
T(x)= Proof.
k~,(x). Let y = e[a I ]... that (-i) ms v(-s)-l(e'[a~l... summands ]a's]f' ) + N z , e'~... ~e',a!~... 1 ~ a 1. , ' ] a s ] f ( B s , pt(C). A straightforward, but t e d i o u s ,
) = ~
(A m o m e n t ' s
r e f l e c t i o n on the c a s e
and a g l a n c e at L e m m a 8 . 2 s h o u l d c o n T h e r e s u l t now f o l l o w s
It is possible that
~S(x)
- 229 -
Bibliography
I. J.F. A d a m s , Comment.
Math. Helv., i958. The relations on Steenrod powers of cohomology classes. A symposium in honor of S. Lefschetz, 1957.
2. J. A d e m ,
Fac. Sci. Kyusyu Univ. Ser. A, 1956. W. Browder, H o m o l o g y operations and loop spaces. Illinois J. Math. ,
1960. 5. A Dold, Uber die Steenrodschen Kohomologieoperationen. i961. 6. E. D y e r and R.K. 1962. Epstein, Steenrod operations in homological algebra. Invent. Lashof, H o m o l o g y of iterated loop spaces. Amer. Ann. of Math. ,
J. Math., 7.
D.B.A.
Math. I, 1966. 8. Sci. G. Hirsch, Quelques proprietes des produits de Steenrod. C.R. Acad.
Paris, 1955. 9. N. Jacobson, S. K o c h m a n , D. K r a i n e s , T. Kudo, Lie Algebras. Ph.D. Thesis. Interscience Publishers. University of Chicago, Trans. A m e r . 1962.
I0. I I. 12.
M a s s e y higher products.
A transgression theorem.
Ser. A , 1956. 13. A. Liulevicius, The factorization of cyclic reduced powers by secondary Mere. A m e r . Math. Soc., 1962. Press, i963.
Homology.
Academic
230
15.
J.P. May,
D. V a n Nostrand
ctral sequences (to appear). 17. 18. 19. , H o m o l o g y operations in iterated loop spaces (to appear), , The cohomology of the Steenrod algebra (to appear). J. Milnor and J.C. Moore, O n the structure of Hopf algebras. Ann. of
h., 1965. 20. J.C. Moore, Constructions sur les complexes d'anneaux. Seminaire
m Acad., i968. 22. S. Priddy, P r i m a r y cohomology operations for simplicial Lie algebras.
ppear in Ill. J. Math. 23. J.P. Serre, Cohomologie modulo 2 des complexes d'Eilenberg-MacLane.
ment.
~4. E. Spanier,
Ann. of Math,,
7.
, H o m o l o g y groups of symmetric groups and reduced power Proc. Nat. Acad. Sci., U.S.A., 1953. Proc.
;ions.
3.
231
Cohomology operations.