LOCALIZATION OF NILPOTENT GROUPS AND SPACES
LOCALIZATION OF NILPOTENT GROUPS AND SPACES
This Page Intentionally Left Blank
NORTH-HOLLAND MATHEMATICS STUDIES
15
Notas de Matematica (55) Editor: Leopoldo Nachbin Universidade Federal do Rio de Janeiro and University of Rochester
Localization of Nilpotent Groups and Spaces
PETER H I L T O N Battelle Seattle Research Center, Seattle, and Case Western Reserve University, Cleveland
GUIDO M l S L l N Eidgenossische Technische Hochschule. Zurich
JOE ROITBERG Institute for Advanced Study, Princeton, and Hunter College, New York
1975
NORTH-HOLLAND PUBLISHING COMPANY - AMSTERDAM * OXFORD AMERICAN ELSEVIER PUBLISHING COMPANY INC. - NEW YORK
@ NORTH-HOLLAND PUBLISHING COMPANY,
- AMSTERDAM - 1975
All Rights Reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, without the prior'permission of the Copyright owner.
Library of Congress Catalog Card Number: ISBN North-Holland: Series : 0 7204 2700 2 Volume: 0 7204 2716 9 ISBN American Elsevier: 0 444 10776 2
PUBLISHER:
NORTH-HOLLAND PUBLISHING COMPANY - AMSTERDAM NORTH-HOLLAND PUBLISHING COMPANY, LTD, - OXFORD
SOLE DISTRIBUTORS FOR THE U S A . A N D C A N A D A :
AMERICAN ELSEVIER PUBLISHING COMPANY, INC. 52 VANDERBILT AVENUE NEW YORK, N.Y. 10017
PRINTED IN THE NETHERLANDS
Table of Contents
v11
Introduction Chapter I.
Chapter 11.
Localization of Nilpotent Groups Introduction
1
1. Localization theory of nilpotent groups
3
2. Properties of localization in N
19
3.
23
Further properties of localization
4. Actions of a nilpotent group on an abelian group
34
5.
43
Generalized Serre classes of groups
Localization of Homotopy Types Introduction
47
1. Localization of 1-connected CW-complexes
52
2.
Nilpotent spaces
62
3.
Localization of nilpotent complexes
72
4.
Quasifinite nilpotent spaces
79
5. The main (pullback) theorem 6.
82
90
Localizing H-spaces
7. Mixing of homotopy types
94
Chapter 111. Applications of Localization Theory Introduction
101
1. Genus and H-spaces
104
2. Finite H-spaces, special results
122
3.
133
Non-cancellation phenomena
Bibliography
14 7
Index
154
V
This Page Intentionally Left Blank
Introduction Since Sullivan first pointed out the availability and applicability of localization methods in homotopy theory, there has been considerable work done on further developments and refinements of the method and on the study of new areas of application. In particular, it has become quite clear that an appropriate category in which to apply the method, and indeed--as first pointed out by Dror--in which to study the homotopy theory of topological spaces in the spirit of J. H. C. Whitehead and J.-P. Serre, is the (pointed) homotopy category NH of nilpotent CW-complexes. Here a pointed space X
is said to be nilpotent if its fundamental group is a nilpotent group and operates nilpotently on the higher homotopy groups. For a given family P ofrationalprimes, the concept of a P-local space is based simply on the requirement that its homotopy groups be P-local. Thus a localization theory for the category NH requires, or involves, a localization theory of nilpotent groups and of nilpotent actions of nilpotent groups on abelian groups. This latter theory could be obtained as a by-product of the topological theory (this is, in fact, the approach of Bousfield-Kan) but we have preferred to make a purely algebraic study of the group-theoretical aspects of the localization method.
Thus this monograph is devoted toanexposition
of the theory of localization of nilpotent groups and homotopy types. Chapter I, then, consists of a study of the localization theory of nilpotent groups and nilpotent actions. It turns out that localization methods work particularly well in the category N of nilpotent groups, in the sense that we can detect the localizing homomorphism
e:
G
+
Gp by
meansof effective properties of the homomorphism e, and that localization does not destroy the fabric of a nilpotent group. For example, the nilpotency
.
embeds in HG Chapter I P P also contains some applications of localization methods in nilpotent group theory. class of Gp never exceeds that of G, and G
v11
Introduction
Vlll
Chapter I1 takes up the question of localization in homotopy theory. We first work in the (pointed) homotopy category
H1 of 1-connected CW-complexes, and then extend the theory to the larger category NH of nilpotent CW-complexes.
This extension is not only justified by the argument that we bring many more spaces within the scope of the theory (for example, connected Lie groups are certainly nilpotent spaces); it also turns out that even to prove fundamental theorems about localization in H1, NH
it is best to argue in the larger category
. One may represent the development of localization theory as
presented in this monograph--as distinct from an exposition of its applications to problems in nilpotent group theory and homotopy theory--as follows; here
Ab
is the category of abelian groups.
Thus we start from the (virtually elementary) localization theory in the category Ab
of abelian groups. The arrow from Ab
to N
represents the generalization of localization theory from the category Ab to the category N of nilpotent groups. The arrow from Ab
to H1 represents
the application of the localization theory of abelian groups to that of 1-connected CW-complexes. The remaining two arrows of the diagram indicate that the localization theory in NH is a blend of application of the localization theory in N and generalization of the localization theory in
H1. The diagram (L) which, as we say, representsschematically our approach to the exposition of the localization theory of nilpotent homotopy types, is, of course, highly non-commutative!
Introduction
1x
In Chapter 111, we describe some important applications of localization methods in homotopy theory. Naturally, our choice of application is very much colored by our particular interests. We have concentrated, first,
on the theory of connected H-spaces, and, second, on non-cancellation phenomena in homotopy theory. Localization methods have proved to be very powerful in the construction of new H-spaces and in the detection of obstructions to H-structure. We give a fairly comprehensive introduction to the methods used and obtain several results. Again, it has turned out that there is a close connection between concepts based on localization methods and the situation,already noted by the authors and others, of compact polyhedra exhibiting either the phenomenon XVANYVA,
X+Y,
XxA=YxA,
X$Y;
or the phenomenon
we describe this connection in some detail. Given a localization theory in some category C
(and a reasonable
finiteness condition imposed on the objects under consideration, for reasons of practicality), one can introduce the concept of the genus G(X) object X
of C.
Thus we would say that X, Y
of an
in C belong to the same
genus, or that Y € G(X),
if X is equivalent to Y for all primes p. P P It turns out that in the category Ab (confining attention to finitely-
generated abelian groups), objects of the same genus are necessarily isomorphic; however, no such corresponding result holds in the categories N, H1, N we again confine attention to finitely-generated groups; in
H1
NH.
(In
and NH,
we confine attention to spaces with finitely-generated homotopy groups in each dimension.)
Thus localization theory naturally throws up questions of the
nature of generic invariants; we embark on a study of these questions in this
X
Introduction
menograph. We do not describe explicitly any algebraic invariants (beyond the fundamental group) capable of distinguishing homotopy types in NH of the same genus. We remark that all known examples of the non-cancellation phenomenon referred to above concern spaces X, Y of the same genus; this explains the connection with localization theory to which we have drawn attention. Each chapter is Surnished with its own introduction describing the purpose and background of the chepter, and detailing its contents. We will therefore not need to offer a more comprehensive description of the section contents in this overall introduction.
It is a pleasure to acknowledge the encouragement of Professor Leopoldo Nachbin, who first proposed the writing of this monograph; the excellent cooperation which we have received from the editorial staff of the North-Holland Publishing Company; the assistancereceived from many friends working in or close to the area covered by the monograph; and, last but certainly not least, the truly wonderful assistance of Ms. Sandra Smith, who succeeded in converting a heterogenous manuscript reflecting the many divergences of style and handwriting of its three authors into a typescript which could be transmitted with a clear conscience to the publisher. Battelle Seattle Research Center and Case Western Reserve University, Cleveland
Peter Hilton
Eidgenlissische Technische Hochsahule, Ztirich
Guido Mislin
Institute for Advanced Study, Princeton and Hunter College, New York
Joe Roitberg
June, 1974
Chapter I L o c a l i z a t i o n of N i l p o t e n t Groups Introduction Our o b j e c t i n t h i s c h a p t e r is t o d e s i r i b e t h e t h e o r y of l o c a l i z a t i o n of n i l p o t e n t groups a t a s e t of primes
P.
This t h e o r y was f i r s t developed
i n an important s p e c i a l c a s e by Malcev [52] and was l a t e r reworked and extended by Lazard [ 5 0 ] and o t h e r s
(cf.
Baumslag
I 6 1,
H i l t o n [34 1 , Q u i l l e n [66 1,
Warfield [ 8 6 1 ) . With t h e advent of S u l l i v a n ' s t h e o r y of l o c a l i z a t i o n of homotopy t y p e s [ 8 3 ] , i t was observed by t h e a u t h o r s [ 4 2 , 431
and independently by
Bousfield-Kan [12, 1 3 , 1 4 1 , t h a t t h i s a l g e b r a i c t h e o r y of l o c a l i z a t i o n of n i l p o t e n t groups e n t e r e d q u i t e n a t u r a l l y and s i g n i f i c a n t l y i n t o c e r t a i n q u e s t i o n s of homotopy t h e o r y .
Our approach i n t h i s c h a p t e r i s , i n f a c t , i n s p i r e d by t h e
homotopy-theoretical c o n s i d e r a t i o n s of [ 4 3 ] , and f o l l o w s r a t h e r c l o s e l y t h e s y s t e m a t i c t r e a t m e n t of H i l t o n [ 3 4 , 3 5 1 .
It should b e mentioned t h a t
Bousfield-Kan have a l s o given a t r e a t m e n t of t h e t h e o r y of l o c a l i z a t i o n of n i l p o t e n t groups from a homotopy-theoretical p o i n t of view, b u t t h e i r approach
rests on t h e t h e o r y of l o c a l i z a t i o n of n i l p o t e n t homotopy t y p e s , whereas i n our approach
a l l t h e i n e s s e n t i a l topology h a s been s t r i p p e d away, and w e
make u s e only of s t a n d a r d homological a l g e b r a t o g e t h e r w i t h elementary group t h e o r y ; s e e Hilton-Stammbach
[47].
The c h a p t e r i s organized a s f o l l o w s .
In Seetionlweintroduce thebasic
n o t i o n s and terminology and prove t h e e x i s t e n c e of a P - l o c a l i z a t i o n f u n c t o r on t h e c a t e g o r y of n i l p o t e n t groups, where ( r a t i o n a l ) primes.
is an a r b i t r a r y c o l l e c t i o n of
P
Our proof proceeds by i n d u c t i o n on t h e n i l p o t e n c y c l a s s
of t h e group and i s based on t h e c l a s s i c a l i n t e r p r e t a t i o n of t h e second cohomology group of a group.
I n c o r p o r a t e d i n t o t h e e x i s t e n c e theorem is t h e
v e r y c r u c i a l f a c t t h a t a homomorphism iff
K
is P-local and
$
$: G
-f
is a P-isomorphism;
K
of n i l p o t e n t groups P - l o c a l i z e s s e e D e f i n i t i o n s 1.1 and 1.3 below.
Localization of nilpotent groups
2
Section 2 contains some immediate consequences of t h e methods and r e s u l t s of Section 1, t h e most notable a s s e r t i o n s being t h e exactness of P - l o c a l i z a t i o n and t h e theorem t h a t a homomorphism
0:
G
+
K
of n i l p o t e n t
groups P-localizes i f f t h e corresponding homology homomorphism
g,($)
: H*(G)
+ fi,(K)
P-localizes. I n Section 3 , we prove a number of r e s u l t s on l o c a l i z a t i o n of n i l p o t e n t groups which t u r n out t o be t h e a l g e b r a i c precursors of corresponding r e s u l t s on t h e l o c a l i z a t i o n of n i l p o t e n t homotopy types. f i n i t e l y generated n i l p o t e n t group its localizations
G
G
may be i d e n t i f i e d with t h e pullback of
over i t s r a t i o n a l i z a t i o n
P
For example, we show t h a t a
G o , The homotopy-theoretical
counterparts of t h e r e s u l t s of Section 3 w i l l be discussed i n t h e l a t t e r p a r t of Chapter 11. I n Section 4 , we present r e s u l t s concerning n i l p o t e n t a c t i o n s of groups on a b e l i a n groups, which play an important r o l e i n t h e c o n s t r u c t i o n , i n the f i r s t p a r t of Chapter 11, of t h e l o c a l i z a t i o n f u n c t o r on t h e category of n i l p o t e n t homotopy t y p e s . F i n a l l y , i n Section 5, we introduce a generalized version of t h e notion of "Serre c l a s s " , which provides t h e c o r r e c t a l g e b r a i c s e t t i n g f o r general Serre-Hurewicz-Whitehead theorems f o r n i l p o t e n t spaces. A s mentioned e a r l i e r , we s h a l l follow, f o r t h e most p a r t , t h e exposition i n [ 3 4 , 3 5 1 .
I n f a c t , much of Chapter I is a revised and
somewhat condensed version of [ 3 4 , 351, f o r t h e f i r s t time.
though some m a t e r i a l appears here
Since our primary concern i n t h i s monograph is r e a l l y
with t h e l o c a l i z a t i o n of n i l p o t e n t homotopy types, we have l a r g e l y r e s t r i c t e d ourselves i n Chapter I t o a discussion of those a s p e c t s of t h e theory of l o c a l i z a t i o n of n i l p o t e n t groups which a r e r e l e v a n t t o homotopy theory. reader may consult [ 3 4 , 351 l o c a l i z a t i o n theory.
The
f o r purely g r o u p - t h e o r e t i c a l a p p l i c a t i o n s of
Localization theory of nilpotent groups
3
1. L o c a l i z a t i o n t h e o r y of n i l p o t e n t groups G , we d e f i n e t h e lower c e n t r a Z s e r i e s of
For a group
G,
by s e t t i n g
r 1(G) Recall t h a t c
G
= G,
r i+l(G)
is nilpotent i f
r j ( G ) = {l}
i s t h e l a r g e s t i n t e g e r f o r which
class
c
and w r i t e
nil(G) = c.
= [G,r i (G)], i 2 1.
f(G)
for
j
sufficiently large.
# {l}, we s a y t h a t
If
hasnizpotency
G
(Dually, we d e f i n e t h e upper c e n t r a l series of
G,
by r e q u i r i n g t h a t zi+l i (G)/Z (G) = c e n t e r of
so t h a t
1
Z (G)
i s t h e c e n t e r of
Zc(G) = G , ZC-'(G)
# G.)
G.
G/Z
i
Then
(G)
,
G
has nilpotency c l a s s
i 2 0,
The f u l l subcategory of t h e c a t e g o r y
N
groups c o n s i s t i n g of a l l n i l p o t e n t groups i s denoted by subcategory of
Nc.
G
In particular,
G
c
of a l l
and t h e f u l l
c o n s i s t i n g of a l l n i l p o t e n t groups w i t h n i l (G) 5 c
N
1
=
iff
by
Ab, t h e c a t e g o r y of a l l a b e l i a n groups.
W e s h a l l be concerned w i t h c o l l e c t i o n s of r a t i o n a l primes and s h a l l denote such c o l l e c t i o n s by c o l l e c t i o n of a l l primes. denote by
P'
P , Q , e t c . ; we r e s e r v e t h e n o t a t i o n I n general, i f
P
for the
i s a c o l l e c t i o n of primes, w e
t h e complementary c o l l e c t i o n of primes.
a product of primes i n
Il
If the integer
PI, we (somewhat a b u s i v e l y ) w r i t e
n
is
n C P'.
*It would seem t o b e more r e a s o n a b l e t o r e n o r m a l i z e and w r i t e ro(G) = G , e t c . b u t we f o l l o w t h e convention most f r e q u e n t l y employed i n t h e l i t e r a t u r e .
Localization of nilpotent groups
4
Definition 1.1.
A group G
is said to be P-local if x
-
xn, x € G, is
If H is a full subcategory of G, then a
bijective for all n
€
homomorphism e: G
Gp in H is said to be P-universal (with respect to
-+
P'.
H), or to be a P-localizing
map if Gp i s P-local and if
e*: Hom(G ,K) 2 Hom(G,K) provided K € H , with K P-local. P instead of If P = &, we speak of 0-local, 0-universal,
...,
..., and write
&local, &universal,
Go instead of G4.
We also sometimes
speak of rationalization instead of 0-localization. If P = fp), we speak
..., and write
G instead of G {PI. P Assume now that each group in H admits a P-localizing map. Then,
of p-local, p-universal,
for any $: G
+
K in H, we have a unique map
": Gp
-+
5
rendering the
diagram
comutative. Thus we have a functor L: H functor and we may view e as
a
-+
H which we call a P-localizing
natural transformation e: 1
-+
L having
the universal (initial) property with respect to maps to P-local groups in H. We regard the pair H.
(L,e)
as
providing a P-localization theory on the category
It is clear that if a P-localization theory exists on H, it is essentially
unique, Our main goal in this section is, in fact, to construct such a theory on the categories Nc, N. We note, for later use, the following Proposition. Proposition 1.2. Let
G'
>-b G % G" be a central extension of groups.
Then G is P-local if G',
Proof.
Let x E
y € G. Thus x = ynu(y'),
GI'
G,
are P-local. n E PI. Then
y' € G'.
x = ynu(x')"
EX
* yttn= ~y~ for some y"€ G " ,
But y' = xtn for some x' € G' 5
(YP(X'))",
so
Localization theory of nilpotent groups
since
is central i n
uG'
Suppose now t h a t ex = in
G,
x q n = 1,
SO
xn = yn, x , y € G , n € P ' .
XI
Then
xn = ynu(x'">
Then
cxn = eyn, so
s i n c e uG'
is c e n t r a l
= 1, x = y .
A homomorphism
D e f i n i t i o n 1.3.
ker
G.
x = yu(x'), x' € G'.
EY,
5
G
@:
-f
is s a i d t o be P - i n j e c t i v e
K
if
c o n s i s t s of P I - t o r s i o n elements; and is s a i d t o b e P - s u r j e c t i v e if,
C$
given any
y € K, t h e r e e x i s t s
P-isomorphism
or
n € P'
with
yn € i m
@.A homomorphism
is a
P - b i j e c t i v e i f i t is b o t h P - i n j e c t i v e and P - s u r j e c t i v e .
It i s p l a i n t h a t a composite of P - i n j e c t i v e is again P-injective
(P-surjective).
(P-surjective)
homomorphisms
I n addition, the following r e s u l t s w i l l
be u s e f u l i n t h e s e q u e l . Lemma 1.4.
L e t a: G
+
G2, B : G2
+
G3
be group homomorphisms.
(il
If
Ba
is P - s u r j e c t i v e ,
fii)
If
Bci
is P - i n j e c t i v e and
(iii) If
Ba
is P - i n j e c t i v e ,
i s P-surjective;
B
then
i s P-surjective,
a
then
B
is
P-injective;
(ivl G
2
€ N,
then
Since
x1 € G1.
Then
a
is P-surjective,
Baxl = 1, s o ,
xy = 1. Then
x; of
ax^
for some
= (ax,) y2
is P - i n j e c t i v e and if, i n a d d i t i o n ,
B
(i) and ( i i i ) a r e t r i v i a l .
Ba
with
x1 € G1, n € P ' . and
n € P'
being P-injective,
mn x2 = 1, mn € P ' , so
y2 € G2
To prove (ii), l e t
there exists
F i n a l l y , t o prove ( i v ) , l e t ~x: =
i s P-injective;
a
i s P-surjective.
a
Proof.
with
@a i s P - s u r j e c t i v e ,
If
Bx2 = 1.
then
y:
B
with
x2 € G2, xn = ax 2 1'
there e x i s t s
m € P'
is P - i n j e c t i v e .
x2 € G2,
Since
Then, s i n c e = 1, m € P ' .
B
Ba
is P-surjective
is P-injective,
But i t i s a consequence
P. H a l l ' s t h e o r y of b a s i c commutators (see [34]) t h a t we t h e n have
6
Localization of nilpotent groups mc
.yC
provided
= (ax,)
a
nil(G ) C c. 2
Since
nmc € P ' , i t follows t h a t
is P-surjective.
Lemma 1 . 5 .
Y: G1
Let
be a homomorphism between P-local groups.
G2
(il
If
y
is P - i n j e c t i v e , then
(iil
If
y
i s P-surjective,
Proof.
(i) Since
there e x i s t s
y
is i n j e c t i v e ;
then y is s u r j e c t i v e .
ker y is PI-torsion and
has no PI-torsion,
G1
ker y = {l), proving ( i ) . To prove ( i i ) ,l e t
is c l e a r t h a t
with
+
n € P'
yy = xl.
with
Thus
Proposition 1 . 6 .
(yyl)
x;
n
= yxl,
n = x2
so t h a t
and t h e r e e x i s t s
yyl = x 2 , i . e .
y
y1
then
Then if
Q',
Q"
a r e P - i n j e c t i v e (resp.
0 i s a l s o P - i n j e c t i v e (resp. P - s u r j e c t i v e ) .
$"EX=;Qx = 1 so t h e r e e x i s t s x ' € G ' , and
$ ' X I = 1.
mn E P ' , and
Q
so
yn
=
so
Q
Q',
with
($x0)(;y'),
y T m= Q ' x ' .
n € P'
But then
with
EX)^
= 1. Thus
xIm = 1 f o r some
Then xn = ux',
m € P ' , so
xmn = 1,
is P-injective.
Assume now
n E P'
G1
is s u r j e c t i v e .
Proof. Assume Q', Q" P - i n j e c t i v e and l e t x C ker Q.
x" C G",
Then
Let
be a map of c e n t r a l extensions. p-surjective),
x1 C G1
x2 € G2.
it
Q" P - s u r j e c t i v e and l e t
y C K.
;yn = @"x". Let x" = E Xo , xo E G . y' € K ' .
Then, s i n c e
is P-surjective.
FK'
But now
there exist
is c e n t r a l in
K,
There e x i s t Then
x' € G',
Eyn = EQxo,
m €
P' with
Localization theory of nilpotent groups
The preceding discussion, with the exception of Lemma 1.4(iv), of a rather general nature.
was
We now concentrate our attention on nilpotent
groups and state the main result of this section. Fundamental Theorem on the P-Localization of Nilpotent Groups. There mists a P-1ocaZization theory
to a P-localization theory nil LG
S
on the category N.
(L,e)
Moreover,
Nc, for each c
(Lc,ec) on
?
L restricts
1. In particular,
G € N.
nil G if Further,
$:
G
-+
K in N
P-ZocaZizes iff
K is P-local and
$I
is
a P-isomorphism.
The proof of the Fundamental Theorem is by induction on c = nil(G). More precisely, given Lc-l: Nc-l
-+
Nc-l
desired properties, we construct Lc: Nc
and -+
e
*
c-1'
Nc and
1
theory on Ab.
c
=
Lc-l having the
e : 1
the desired properties and such that moreover LclNc-l To start the induction at
-+
=
-+
L
also having
Lc-l, ec/Nc-l = ec-l.
1, we must construct a P-localization
In addition to doing this, we shall consider the interrelationships
between P-localization on Ab
and the standard functors arising in homological
algebra, which information will be required both in the inductive step and in Chapter 11. Recall that the subring of with R € P'.
Q
Zp is the ring of integers localized at P, that is,
consisting of rationals expressible as fractions k/L
Note that
%=
72, Zo = Q.
For A € Ab, we define
L ~ =A ~p and we define el: A
-+
%
=
A a
zP
to be the canonical homomorphism
Note that a P-local abelian group is just a Zp-module.
8
Localization of nilpotent groups
It is e v i d e n t t h a t
el: A
+
Ap
is P-universal w i t h r e s p e c t t o
Ab, so t h a t we have c o n s t r u c t e d a P - l o c a l i z a t i o n t h e o r y on prove s h o r t l y ( P r o p o s i t i o n 1 . 9 ) t h a t
el
”: %
-+
Bp
We w i l l
is P - b i j e c t i v e , from which we
immediately deduce, u s i n g Lemmas 1.4 and 1 . 5 , t h a t P - b i j e c t i v e i f and only i f
Ab.
6:
A
-+
is an isomorphism.
B
i n Ab
is
Localization theory of nilpotent groups
9
Before v e r i f y i n g Proposition 1 . 9 and t h u s Ab, we e s t a b l i s h t h e following
v a l i d a t i n g t h e Fundamental Theorem f o r Propositions. Proposition 1.7.
The f u n c t o r
+
Ab
i s exact.
It is only necessary t o n o t e t h a t
Proof. (flat)
L1? Ab
Zp is t o r s i o n f r e e
. We now c o l l e c t together i n t o a s i n g l e p r o p o s i t i o n a number of u s e f u l
f a c t s about
.
(Ll, el)
P r o p o s i t i o n 1.8.
If (i) Tor(el,l):
A , B f Ab, then:
e
1
a91: A @ B + A p @ B ; e l m e l :
Tor(A,B)
-+
Tor(%,B),
Tor(el,el):
A@B+%@Bp;
Tor (A,B)
+
Tor(%,BP)
all
P-localize. (ii)
A p-isomorphism
$: A
Conversely, a homomorphism $ : A
and Tor($, Z / p )
-+
B
--t
B,
induces isomorphisms $ O Z f p , Tor($, Z l p ) .
such t h a t
$ @ Z/p
i s an isomorphism
is a s u r j e c t i o n , is a p-isomorphism provided t h a t
A, B
f i n i t e l y generated. (iii)
fi*(el): g,(A)
-+
H*(%)
P-localizes,
where
H*
i s reduced
homology with i n t e g e r c o e f f i c i e n t s . (iv) e f : Ext(kp,B) (v)
If %'
B
i s P-local,
Ext(A,B)
If
A
then
e 1x : Hom($,B)
%'
Hom(A,B),
.
is PI-torsion and
B
is P-local, then
Hom(A,B) = 0 , Ext(A,B) = 0.
Proof.
(i) The f i r s t two a s s e r t i o n s a r e obvious and t h e f o u r t h
follows from t h e t h i r d , which we prove a s follows.
Let
R >-
F ->
A
are
Localization of nilpotent groups
10
be a free abelian presentation of A.
-
Localizing this short exact sequence
s-
yields, by Proposition 1.7, a short exact sequence
Fp
%
and
Fp is flat, Thus we have a commutative diagram Tor(A,B)
>------t
R 8B
I
I
-
F C4 B >-
A
M,
B
I
I
and we invoke Proposition 1.7 together with the fact that el 69 1 P-localizes to infer that Tor(el,l) P-localizes. (ii) Since
Z/p
from (i), and the factthat
is p-local, the first statement follows immediately
isan isomorphism, Toprove the converse,consider
$p
the sequence
K >-
A ---f>
obtained from I$, where K = ker $, L
L
>-
=
im
B $,
-
C =
C,
coker
$.
We thus infer a
diagram
where the horizontal and vertical sequences are exact. I(
c sz/p We want to prove that
and C are p'-torsion groups. However, since A, B, and hence K, C,
are finitely generated, it suffices to prove that K @Z/p = 0, C S Z / p = 0. Now C S Z / p = 0 since
+
@
Z / p is surjective. Thus C is p'-torsion and
hence Tor(C, Z/p) = 0. Reference to the diagram then shows that Tor(A, Z/p) >-
Tor(L, Z/p)
and A @Z/p
>->
L O Z / p , from which the
conclusion K @Z/p = 0 immediately follows. Note that the converse certainly requires some restriction on A, B. For the homomorphism Tor( $, Z/p)
$:
Q
+ 0
certainly has the property that $ @Z/p
are isomorphisms, without being a p-isomorphism.
and
Localization theory of nilpotent groups
(iii)
The a s s e r t i o n i s r e a d i l y checked i f
A
i s a c y c l i c group.
Use of t h e Kunneth formula t o g e t h e r w i t h ( i ) and P r o p o s i t i o n 1 . 7 shows t h e a s s e r t i o n t o be t r u e f o r f i n i t e d i r e c t sums of c y c l i c groups, hence f o r a r b i t r a r y f i n i t e l y g e n e r a t e d a b e l i a n groups. and
H,
Finally, since both l o c a l i z a t i o n
commute w i t h d i r e c t l i m i t s , t h e a s s e r t i o n is t r u e f o r a r b i t r a r y
a b e l i a n groups. The f i r s t isomorphism simply r e s t a t e s D e f i n i t i o n 1.1.
(iv) t h e second, l e t
ZP-module.
I -+->
B >-
be an i n j e c t i v e p r e s e n t a t i o n of
J
S i n c e Zp is f l a t , i t f o l l o w s t h a t
an i n j e c t i v e p r e s e n t a t i o n of
B
B >--f
a s an a b e l i a n group.
I ->
J
B
For as a
is a l s o
Thus we have a c o m u t a t i v e
diagram
-
Hom(A,J)
Hom(A,I)
Ext(A,B)
>-
S i n c e t h e f i r s t two v e r t i c a l arrows a r e isomorphisms, so i s t h e t h i r d . (v)
Clearly,
-
i n ( i v ) , then Hom(A,J)
Hom(A,J) Ext(A,B)
Hom(A,B) = 0.
-
0
as
J
shows t h a t
Now, i f
J
h a s t h e same meaning a s
is P - l o c a l and t h e s u r j e c t i o n Ext(A,B) = 0.
We now r e t u r n t o t h e proof of t h e Fundamental Theorem and complete t h e i n i t i a l s t a g e of t h e i n d u c t i o n by means of t h e f o l l o w i n g P r o p o s i t i o n . P r o p o s i t i o n 1.9. P-local and
$
Proof.
el
If
is a
0: A
+
B
i s in
Ab, then
$
P-localizes
iff B is
P-isomorphism.
We f i r s t show t h a t
embeds i n t h e e x a c t sequence
el: A
+
Ap
i s a P-isomorphism.
In fact,
12
Localization of nilpotent groups
Tor(A, Zp/ Z) and since, plainly, Z / Z P A @Zp/Z
@ Z P /Z
is a PI-torsion group, it follows that both
and Tor(A, Zp/ Z) Conversely, i f
% *A
A
B
are PI-torsion groups. is P-local and
$:
A
+
B is a P-isomorphism,
we have a commutative diagram
and the proof of Proposition 1.9 is completed by means of Lemma 1.4 (i), (ii) and Lemma 1.5. Assume now that we have defined
appropriately. Our objective is to extend Lc-l extend
e c-1
sequence
+.
Nc and to
correspondingly, to have the universal property in NC
Proposition 1.10. Lc-l: Nc-l GI
to Lc: Nc
Nc-l i s an exact functor. If, further,
i s a central extension i n Nc-l, then so i s the localized EP
G -Z, GI'
PP
+
G' >-
G >-
Proof.
We will write e for ec-l.
P
. We prove:
P
.G;
Consider, then the diagram
(1.11)
in Nc-l.
Assuming the top row short exact, we must show that the bottom row
is likewise short exact.
We rely on the (inductive) fact that the vertical
arrows are P-isomorphisms. First,
E~
is surjective. For
E
P
e = eE
is
Localization theory of nilpotent groups P-surjective, so that, by Lemma 1 . 4 ( i ) , Lemma 1.5(ii),
13
is P-surjective. Hence, by
E~
is surjective.
E~
Second, up
up
by Lemma 1.4(ii),
u Pe
is injective. For
=
eu
is P-injective, so that,
is P-injective. The conclusion now follows from Lemma
1.5(i). Third, ker ker
E~
C im up.
Let
E~ = E
P
im up.
Since clearly
= 0, we
must prove
Then, for some n C P', yn
y = 1, y € Gp. n y = 1. Thus
=
ex,
m
x C G , so eEx = E ex = E EX = 1 for some m € P', so that P P m x = ux', x' C G ' , whence ymn = upex', and mn € PI. One now argues as in the proof of Lemma 1.5(ii) that, since then y € im up.
ymn C im u p ,
This completes the proof of the first statement of the
proposition. Notice that the proof that up normality of
are P-local and
Gp
G;,
uG'.
is ihjective made no use of the
Thus we may say that l o c a l i z a t i o n respects subgroups and
normal subgroups. Assuming now that the top extension in (1.11) is central, we show that the same is true for the bottom extension. Let x' C G I , y C Gp. x C G , n C P'.
Thus
(UX')-~X(~X') =
has unique nth roots, (upex')-'y(p
Gp
center of
x,
Then yn = ex,
-1 n (upex') y (upex') = yn.
so
ex') = y, so P
Since
upex' belongs to the
GP'
Then ylm = ex: x' € G I , m t P'. Thus, upyIrn -1 m m belongs to the center of G ; , so that, for any y € Gp, y (upyl) y = (upy') -1 Since Gp has unique mth roots, y (upy')y = upy', so upy' belongs to
Now let y'
the center of Gp. Theorem 1.12.
i
K
If
C G;.
Thus ppGi G 6
Ni, i
is central in
5 c
-
-
1 by Proposition l.a(iii).
€
Ni-l,
2 5 i 5 c
-
Gp.
1, then G,(e)
Proof. We argue by induction on
: H,(G)
+
H,(Gp)
P-localizes.
i, the theorem being true for
Suppose the theorem true for all
1 and let G € Ni.
.
If 2
-
center of G , then
Localization of nilpotent groups
14
nil(2) = 1, nil(G/Z) 5 i
-
1 and by Proposition 1.10, we have a map of central
extensions
(1.13)
Then (1.13) induces a map of the Lyndon-Hochschild-Serre spectral sequences {EZtI
+
I E z J , where
the coefficients being trivial i n both cases. It now follows from the inductive hypothesis, together with Proposition 1 . 8 ( i ) , taken i n conjunction with the natural universal coefficient sequence i n homology, that (1.13) induces
z2
e2: E2 -+ which P-localizes provided that s + t > 0. Applying St st Proposition 1.7 allows us to infer that em: Ett + 6Lt also P-localizes provided that
s
+
t > 0. Finally, since for any n, Hn(G)(Hn(Gp))
has a
finite filtration whose associated graded group is @Eit(Ezt)
with
it follows once again from Proposition 1.7 that Hn(e):
-+
provided
Hn(G)
s
+ t = n,
H (G ) P-localizes n P
n > 0.
Corollarv 1.14.
Let
G C Nc-l and Zet
t r i v i a l G-action. Then e : G
-+
A be a P-ZocaZ abeZian group with
Gp induces
e*: H*(G
P
;A)
E
H*(G;A).
(The conclusion of Corollary 1.14 holds, more generally, if G acts nilpotently on A; see Section 4.)
Proof.
The homomorphism
e
induces the diagram
and it follows from Theorem 1.12 and Proposition 1.8(iv)
that e'
and
e"
Localization theory of nilpotent groups
15
are isomorphisms. Thus e*, too, is an isomorphism. Let now G E Nc.
We then have a central extension
with nil(r) C 1, nil(G/r) 5 c corresponds t o
r
-+
1.
5
an element
Then, applying e:
-
rp, we
By the cohomology theory of groups, (1.15)
E H2(G/r;r)
obtain e,S
€
with G/r acting trivially on HL(G/r;r,)
there exists a unique element 5, E H2((G/r)p;rp) (1.16) is induced by
rp >-
(1.17) correspond to e: G
+
and, by Corollary 1.14,
such that
e*Sp = e,S,
where now e*
5,.
e: G/r
-+
Gp
(G/T)p.
-J
Let the central extension
(G/r),
It follows from (1.16) that we can find a homomorphism
Gp yielding a commutative diagram
(1.18)
In fact, the general theory tells us that given two central extensions
of (arbitrary) groups, together with homomorphisms
then there exists
(1.19)
T:
G1
+
G2
r.
p: A1+
A,,
yielding a commutative diagram
U:
Q,
-+
Q,,
Localization of nilpotent groups
16
p r e c i s e l y when
(1.20) Moreover, i f then
T
T
and
(1.21)
T'
and
T'
a r e two maps y i e l d i n g commutativity i n (1.191,
a r e r e l a t e d by t h e formula
T'(x)
=
T(X).II
2K E 1 ( x ) , x € G1,
f o r some
Q,
K:
+
A2.
Returning t o our s i t u a t i o n , we see,from (1.17) and t h e i n d u c t i v e hypothesis that
r
rp
= {l},
Gp € N
that
G/r
and, f u r t h e r , u s i n g P r o p o s i t i o n 1.2,
= G , and we n a t u r a l l y t a k e
t h e same P - l o c a l i z a t i o n i f we d e f i n e P r o p o s i t i o n 1 . 6 , e : G + Gp
is P-local.
-
C'
e
is P-loca1,and t h e f a c t t h a t
e*
and t o prove t h e n a t u r a l i t y of
e.
G
w i l l f o l l o w d i r e c t l y from t h e
e
Lc
Let
+
Hom(G,K)
is s u r j e c t i v e i f
is i n j e c t i v e follows immediately
is P - s u r j e c t i v e and
Thus i t remains t o d e f i n e
Then we have
By
is a n a t u r a l t r a n s f o r m a t i o n of f u n c t o r s .
For we then r e a d i l y i n f e r t h a t ex: Hom(G ,K) P
e
Gp = (G/rIp, p r e s e r v i n g
L G = Gp, a s we propose t o do.
Then t h e u n i v e r s a l p r o p e r t y of
from t h e f a c t t h a t
then
is a P-isomorphism and hence an isomorphism i f
f a c t , s t i l l t o be proved, t h a t
K € Nc
G € Nc-l,
We also remark t h a t i f , i n f a c t ,
is P-local.
Gp
= {l},
(G/I')p C Nc-l,
K
is P - l o c a l .
on morphisms of
0:
G
+c
in
Nc
a s a functor,
Nc, and l e t
r
= rc(c).
Localization theory of nilpotent groups
17
5:
5, : (1.22)
and o u r object is to define i s clear that any
functoriality of
4,
"front face" of ( 1 . 2 2 ) .
e*: H2 ((G/r),;
to make ( 1 . 2 2 ) commutative.
Gp
T: G
,
-
+
Gp
It
is uniquely determined so that
i s automatic once a suitable $,
W e shall first find
But
+
$,e = e$
yielding
Lc
=
Cp
"p:
is defined.
yielding commutativity in the
To this end, we compute
e*$&S,.
r,)
S
H2 (G/r;yp)
,$I"*?
P
P
=
by Corollary 1.14 so that, i n fact,
4 -
Thus, by ( 1 . 1 9 ) , ( 1 . 2 0 ) , we may find
1:
Gp
+
Gp
so that
Lmalization of nilpotent groups
18
as claimed. However
T
need n o t satisfy the equation re = e$,
so
we now
modify T, preserving (1.23), so that the last equation also obtains. Consider the diagram, obtained from ( 1 . 2 2 ) ,
(1.24)
where JI' = e+' = $ie, JI" = e$" = $Fe. Clearly (1.24) commutes if we set JI = e$ or J, = re so that, using (1.211, there exists 0 : G / r
Let Bp:
(G/rIp * Fp be given by Ope
of e in Nc-l.
= 8 ; Bp
+
rp
such that
exists by the P-universality
Define
From (1.23), it follows that
and also $pex = (rex).(i Pe PEPex) = (Tex).(L,ecx)
=
e$x, x c G.
It remains to verify the final assertion of the Fundamental Theorem for We already know that e:
G + Gp
i s a P-isomorphism and
Gp
Nc.
is P-local. The
converse i s proved j u s t as for Proposition 1.9, making use of Lemma 1.4(i), and Lemma 1.5.
(ii)
Properties of localization in N
2.
19
Properties of localization in N In this section, we deduce a number of immediate consequences of
the methods and results of §I. G C N and
If
Theorem 2.1.
Q
i s a coZlection of primes, then the s e t
consisting of the Q-torsion elements i n G i s a (normal) subgroup of
Proof. Since e
Let P = Q'
and consider the P-localization e: G
T
Q
G. +
Gp.
is a P-isomorphism and Gp is P-local, it is clear that T = ker e.
Q
Suppose
Theorem 2 . 2 .
G C N has no Q-torsion.
Then i f
xn = yn, x, y € G,
n C Q , i t f o l l m s t h a t ~x = Y. Proof. Again, let P = Q' e:
G -+ Gp. Then e
ex = ey,
so
and consider the P-localization
is injective and
(ex)" = (ey)".
Since Gp is P-local,
x = y.
Corollarv 2 . 3 .
G € N i s P-local i f f it has no PI-torsion and
i s surjective f o r a l l
n
c
x
-
xn, x € G,
P'.
We now turn to results which make explicit mention of P-localization.
Theorem 2.4.
The P-localization functor
L: N
-+
N
i s an exact functor.
Proof. This follows from Proposition 1.10, in conjunction with the Fundamental Theorem. A s immediate corollaries, we have the following assertions, of
which the first is the definitive version of Proposition 1.2 and the second
--
is related to Proposition 1.6.
Corollarv 2 . 5 .
Let
Then if any two of Corollary 2 . 6 .
G'
G', G, G"
G
G" be a short exact sequence i n N.
are P-local so i s the third.
Let
be a map of short exact sequences i n N. so does the third.
Then i f any two of $',
$,
4'' P-localize,
Localization of nilpotent groups
20
Theorem 2.7.
ri($):
ri(G)
-+
?(K)
Proof.
and l e t
$: G
P-localizes
ri(G)
G C N
Let
-+
Then
K P - l o c a l i z e G.
f o r a21
i 2 1.
It f o l l o w s from C o r o l l a r y 2.6 t h a t i t is s u f f i c i e n t t o
prove t h a t t h e homomorphism W e argue by i n d u c t i o n on
i
G/T (G)
$i:
K/ri (K)
induced by
i , t h e a s s e r t i o n being t r i v i a l f o r
following from Theorem 1.12 f o r i = 2. i ? 2 , and prove t h a t
-+
$i+l
Thus we assume t h a t
P-localizes.
P-localizes.
$
i = 1 and $
P-localizes,
A second a p p l i c a t i o n of C o r o l l a r y
2.6 shows t h a t i t is s u f f i c i e n t t o prove t h a t t h e homomorphism
5:
ri(G)/rifl(G)
-+
ri(K)/I"+'(K),
induced by
6, P - l o c a l i z e s .
We apply t h e
5-term e x a c t sequence i n t h e homology of groups t o t h e diagram
t o obtain
where t h e s u b s c r i p t by Theorem 1.12 and Theorem 1.12.
ab ,,$,
refers to abelianization.
Oiab
Then
I$,, bab P - l o c a l i z e
P - l o c a l i z e by t h e i n d u c t i v e h y p o t h e s i s and
It f o l l o w s from P r o p o s i t i o n 1.7 t h a t
P-localizes
and t h e
proof of t h e theorem is complete. There is a d u a l theorem t o Theorem 2 . 7 concerning t h e upper c e n t r a l
series of
G
which, however, r e q u i r e s
more d i f f i c u l t t o prove.
G
t o be f i n i t e l y generated and is
We c o n t e n t o u r s e l v e s h e r e w i t h a s t a t e m e n t of t h e
r e s u l t , r e f e r r i n g t o [34 ] f o r d e t a i l s .
Properties of localization in N Theorem 2.8. i
z
( e ) = el z (G) i
e: G
-f
is P-localization,
Gp
i
i
z (G) i n t o z ( G ~ ) . Moreover,
carries
if G
Z (G)
P-localizes
and
G € N
If
i
21
then t h e r e s t r i c t i o n
z i ( e l : z i (GI + z i ( G ~ )
is f i n i t e l y generated.
Our n e x t r e s u l t i n t h i s s e c t i o n i s t h e d e f i n i t i v e v e r s i o n of Theorem 1 . 1 2 . Theorem 2.9.
Let
$: G
K
-+
N.
be i n
$
P - l o c a l i z e s iff H,($)
H,($)
P-localizes i f
Then
P-localizes.
Proof.
Theorem 1 . 1 2 asserts t h a t
We n e x t prove t h a t i f
e: K
+
%
H*(K)
P-localize.
i s P-local,
so
is P - l o c a l ,
Then
H,(e)
H*(e) : H*(K)
commutes.
that
Now l e t
8,($) P-localize.
Thus
f a c t o r s as
$
But s i n c e
isomorphism.
+
i s an isomorphism.
Stammbach Theorem ( s i n c e K , I$€N)
P-local.
then
G
fi*($), i , ( e )
H,(Kp)
P-localizes.
For l e t
P-localizes;
but
&(K)
I t f o l l o w s from t h e S t a l l i n g s -
e
Then Gp
is P - l o c a l .
K
t$
i s an isomorphism.
H*(K) K
i s P-local,
SO
K
and
both P-localize,
HA($)
is an
Thus t h e S t a l l i n g s - S t a m b a c h Theorem a g a i n i m p l i e s t h a t J,
an isomorphism, so t h a t
@
is
is
P-localizes.
Our f i n a l r e s u l t i n t h i s s e c t i o n p l a y s a c r u c i a l r o l e i n Chapter I1 when we come t o s t u d y (weak) p u l l b a c k s i n homotopy t h e o r y . Theorem 2.10.
Localization c o m t e s with pullbacks.
Proof.
Suppose g i v e n
Localization of nilpotent groups
22
in
N, and form p u l l b a c k s
G
a > H
Cm
4
K-M
Of course y: G
-f
E,
UJ
G € N, being a subgroup of
c h a r a c t e r i z e d by ~y
and we show t h a t
h a s pth r o o t s , a C Hp, b €
(a,b) €
5
Next, then
and
y
€ P'
Let
($,a)'
and
-
Since
(x,y) €
G
E,
5 Hp
Mp
x'
It f o l l o w s t h a t
i s P-injective.
y
=
For i f
Kp.
Then
i s P-local,
x = a',
y = bp,
$ a = $ b,
P
SO
P
y(x,y) = 1, x C H , y E K , (x,y) € G ,
1, m,n C P ' .
is P-surjective.
= e a , y'
$a
i t s u f f i c e s t o show t h a t
(x,y> = (a,b>'.
=
= eb, a € H , b € K.
($b)u, u € M, and
C
So
For l e t
xm = e h , yn = ek, m,n € PI, h E H , k € K . and
Kp,
x
x € Hp, y E
Since
= (UJ,b)'.
ex = 1, ey = 1, xm = 1, yn Finally,
Then
i s P-local.
G
p € PI.
Kp,
= e a , isy = eB,
i s P-universal.
y
-
First,
that
There i s then a homomorphism
H x K.
us
(x,y) €
E,
Thus (with
Now =
( x , ~ =) 1, ~ ~ mn € P ' . x C Hp, y €
k = mn) we have
$px = Jlpy, so
1, s € P'.
Kp.
e$a = e$b.
We deduce t h a t i f
C
(see t h e proof of Lemma 1 . 4 ( i v ) ) . Thus n i l M 5 c t h e n $aS = $bs c c c c ( a s ,bS ) , w i t h Ilsc E P I . T h i s shows t h a t (aS ,bs ) € G and ( x , ~ ) '=~e ~ y
i s P - s u r j e c t i v e and t h u s , i n view of t h e Fundamental Theorem, completes
t h e proof of Theorem 2.10.
Further properties of localization
3.
23
F u r t h e r p r o p e r t i e s of l o c a l i z a t i o n I n t h i s s e c t i o n , we prove a number of r e s u l t s i n v o l v i n g t h e l o c a l i z a -
t i o n functor i n t h e category
N.
A s mentioned i n t h e I n t r o d u c t i o n , w e a r e
s p e c i f i c a l l y concerned w i t h r e s u l t s which have f r u i t f u l homotopy-theoretic analogs. W e f i r s t examine more c l o s e l y t h e n o t i o n of P-isomorphism introduced
i n 81. Theorem 3.1.
Let
P-localization.
$: G
be i n
K
N
and l e t
$p: Gp
5
+
lil
$
i s P - i n j e c t i v e iff $p i s i n j e c t i v e ;
fiil
$
i s P - s u r j e c t i v e iff $p i s s u r j e c t i v e . (i)
If
$
is P-injective,
t h e n so i s
i s P - i n j e c t i v e and t h e composite of P - i n j e c t i o n s i s
P-injection.
be i t s
Then:
Proof. e
-+
Thus
$pe = e$
is P-injective,
we may apply Lemma 1 . 4 ( i i ) t o deduce t h a t
$p
and s i n c e
e+: G
+
5
since
of c o u r s e , a e
is P-surjective,
is injective.
The converse
is proved s i m i l a r l y , u s i n g Lemma 1 . 4 ( i i i ) . (ii)
If
$
is P-surjective,
then so is
e$
since
e
and t h e composite of P - s u r j e c t i o n s i s , of c o u r s e , a P - s u r j e c t i o n . $pe
= e$
is P - s u r j e c t i v e and we may apply Lemma 1 . 4 ( i )
t o deduce t h a t
$p
is s u r j e c t i v e .
is P-surjective
Thus
and Lemma 1 . 5 ( i i )
The converse i s proved s i m i l a r l y , u s i n g
Lemma 1 . 4 ( i v ) and Lemma 1 . 5 ( i ) . Remark.
The f a c t t h a t
proved by i n d u c t i o n on
$p
surjective implies
$
P - s u r j e c t i v e may a l s o b e
n i l ( G ) , making use of Theorem 2 . 7 .
We may t h u s avoid
u s i n g Lemma 1 . 4 ( i v ) which, w e r e c a l l , was based on P. H a l l ' s commutator calculus.
Localization of nilpotent groups
24
As a corollary of Theorem 3.1, we have the following definitive
version of Proposition 1.6. Theorem 3 . 2 .
Let
be a map of short exact sequences i n N.
my
Then i f any t u o of
$',
$I'
are P-isomorphisms, then s o i s the t h i r d . ,.
Theorem 3 . 3 .
Let G, K E N .
li)
Gp and
Then the following assertions ore equivalent:
Kp are isomorphic;
(ii) There e x i s t M moremer,
M
C
N and P-isomorphisms
a: G
may be chosen t o be f i n i t e l y generated i f
+
My B: K
and
G
-+
M;
are
K
f i n i t e l y generated; l i i i ) There e x i s t M' C N and P-isomorphisms moreover,
M'
may be chosen t o be f i n i t e l y generated i f
f i n i t e l y generated. (In the special case P = that G and K
4,
the equivalence (i)
-
3
(ii), let
B
M, 6: K
-+
K;
K are
(i) follow directly
M to be the maps defined by
are P-isomorphisms, since
-a , -B
-
and set M - K p ,
Kp to be the composite G %- Gp % % and $: K
e. We then define M to be the subgroup of M -r
-
Gp 2 Kp
w:
-
a: G
-+
and K are finitely generated and
The implications (ii) = (i), (iii)
from Theorem 3.1. To prove (i) -P
and
G , 6 : M'
(iii) amounts to the assertion
torsion-free.)
E: G
G
-+
have isomorphic rationalizations iff they are commensurable
(in the senseof [ 6 , 6 5 ] ) , at least when G
Proof.
M'
y:
-+
Kp to be simply
generated by aG U E K
., B.
It is clear that
areP-isomorphisms, and that M
is
and a
and
Further properties of localization
f i n i t e l y generated i f
G
K
and
25
a r e f i n i t e l y generated.
F i n a l l y , t o prove ( i i ) * ( i i i ) , w e c o n s t r u c t t h e p u l l b a c k diagram
M, a G
x
B
and
having t h e i r p r e v i o u s meanings.
M' € N
K, c e r t a i n l y
f i n i t e l y generated.
and i s f i n i t e l y generated i f
t h e argument f o r
We prove t h a t
a
Gp E
and
K
are
n € P', y € G
5
but
$: G
+
K, JI: K
$p: Gp
is a P-isomorphism;
+
Hom(K,G) = 0. $: G
Kp
G.
i s a P-isomorphism,
6
By t h e p u l l b a c k p r o p e r t y , Now l e t
6. with
6(y,xn) = xn, so t h a t
and
example of a P-isomorphism
(so t h a t
so i s
Note t h a t i t i s n o t a s s e r t e d t h a t
of P-isomorphisms then
is P-injective,
there exist
(y,xn) C M '
Remark.
being p e r f e c t l y symmetric.
y
ker a ; a s
is P-surjective, then
G
(We u s e h e r e t h e f a c t , coming from t h e aforementioned
a r e themselves f i n i t e l y g e n e r a t e d . )
S
i s a subgroup of
P. Hall, t h a t subgroups of f i n i t e l y g e n e r a t e d n i l p o t e n t groups
t h e o r y of
ker 6
M'
Since
6
Gp G
x € K.
Since
Bxn = ( 6 ~ =) a~y .
a
But
i s P-surjective.
Kp
implies the existence
For example, i f
G = Z
and
K = Zp,
I n f a c t , Milnor h a s even c o n s t r u c t e d an +
of f i n i t e z y generated n i l p o t e n t groups
K
by Theorem 3 . 1 ) w i t h t h e p r o p e r t y t h a t no map
JI: K
+
see R o i t b e r g [70].
A q u i t e analogous phenomenon a r i s e s i n t h e homotopy c a t e g o r y , a s h a s been shown by Mimura-Toda
[57
I.
(Compare [70].)
We t u r n now t o a new s e r i e s of r e s u l t s descrjhine r e l a t i o n s between t h e o b j e c t s and morphisms i n
A s e t of primes
P
N
and t h e i r v a r i o u s l o c a l i z a t i o n s .
i s c a l l e d cofinite i f
P'
is f i n i t e .
G
26
Localization of nilpotent groups
If
Lemma 3 . 4 .
G C N
s e t of primes
i s f i n i t e l y generated, then there e x i s t s a c o f i n i t e
such t h a t
P
r a t i o n a l i z a t i o n of
Proof.
G
Gp
-c
i s i n j e c t i v e , where
Go
land hence also of
The t o r s i o n subgroup
Go i s the
Gp). ( c f . Theorem 2 . 1 ) of
T
f i n i t e l y generated and hence, a s is r e a d i l y seen, f i n i t e . has p-torsion s e t , then
P
Theorem 3 . 5 .
cofinite,
Let
$
Proof.
Let
e
...,x
{xl,
}
yi C K , m
Now choose a c o f i n i t e subset factorize
generate i
and
$
is injective.
4: G
+
P
KO
be a
such t h a t
of
K
415,
Q
e: K
G, l e t
Q +
so that
KO
such t h a t
such t h a t
mi C P', 1 5 i C n, and
as
is P-local, we have
If
G € N
the r a t i o n a l i z a t i o n maps
elYi
= zi
i
2KO, e
2 1'
, so
i s f i n i t e l y generated, then G
= e e
5.
l i f t s uniquely i n t o
Theorem 3 . 6 .
z 0
P
m
Kp
Since
Go
5.
and then f i n d
K
-+
By Lemma 3 . 4 , we f i r s t choose a c o f i n i t e s e t
is injective.
rationalize
Gp
P
+Go,
p C II.
G
T
i s t h e complementary
Then there e x i s t s a c o f i n i t e s e t of primes
has a unique l i f t i n t o
KQ + K O
P
be f i n i t e l y generated and l e t
G, K € N
given homomorphism.
i s t o r s i o n - f r e e and
Gp
is
I t follows t h a t
f o r only f i n i t e l y many primes, s o t h a t , i f
is
G
i s the puZZback of
Further properties of localization
Proof.
We argue by induction on
if G C Ab. G = Z/pk
nil(G),
21
the theorem being easily proved
For, in this case, the assertion is obvious if G = 52
or
and then we infer it for any finitely generated abelian group by
remarking that, if the assertion is true for the abelian groups A , B, it is plainly true for A
Ci;
B.
To establish the inductive step, we consider the short exact sequence
with nil(G')
<
nil(G), nil(G")
theorem is true for GI, G".
=
1, so we may assume inductively that the
Write
e : G+ G for the localization, P P r : G + G for the rationalization. We want to prove that, given x € G P P 0 P P' with r x = x for all p, there exists a unique x € G with e x = x P P 0 P P Now E x € G" and P P P
.
r"E x = P P P Hence there exists a unique
€
x"
P
EX.
Then
E
x = P P
E
e
P P
x = (e ,IX): P P !J,
up, uo
E
x all p. P P'
-
x, so that
P
where x' € G' P P'
being regarded as inclusions. Moreover, x
where
all p.
x 00'
G" with
e"x" = Let x" =
E
r: G
= (rG)(r'x'),
P P
all
pI
Go is the rationalization, so that the elements x' have a P common rationalization. Hence there exists a unique x ' < G' with e'x' = x' P P' +
Then x = e (xx'). P P
Localization of nilpotent groups
28
Uniqueness is clear, even in the event that G is not finiteZy
generated, since, e being p-injective, the map P component is e is always injective. PS
&: G
-+
IIG whose p P’
th
Remarks. A particularly simple consequence of the injectivity of 6: G
-f
i7G
P that nil(G)
is that G
=
-
11) iff Gp=fl), all p.
Another consequence is
max nil(G ). We also note that we could generalize this theorem P by considering any infinite partition of II into disjoint families of primes. There is a stronger statement (compare Theorem 3.9) i f the partition is finite. Theorem 3 . 7 .
where
o
If G C N is finitely generated, L)e have a pullback diagram
and T is the rationaZization P G is abelian, then the diagram is als o a pushout.
is the rationaZizatioB map of IlG
of 6. If,further,
Proof.
We proceed as in the proof of Theorem 3 . 6 .
first the case that G
Thus we consider
is finitely generated abelian. Since localization
commutes with finite direct sums, we may assume G cyclic. For G
finite
cyclic, the conclusion is obvious. For G = Z, we have a map of short exact sequences
leo
9
(n Ep)o--
>-
C1, C2 being the respective cokernels. Since e so
too is the induced map y: C1
+.
C2.
c‘
c2
and u
are rationalizations
But it is readily seen that
C1 = II L / Z P
Further properties of localization is torsion-free, divisible, that is, 0-local, Hence
29
y:
C1 e C 2 , which is equiva-
lent toour assertionthat, inthis case, the diagramis apullback anda pushout.
We now easily complete the proof of Theorem 3 . 7 by induction on following the pattern of proof of Theorem 3 . 6 .
nil(G)
It is certainly not true that localization commutes with infinite Cartes an products, even where the product is nilpotent. We do have the following special result, which will be of use to us later. Theorem 3 . 8 .
If G C
N i s f i n i t e l y generated f o r , more generally, i f the
p-torsion subgroup
T (G) = 11) f o r p s u f f i c i e n t l y large), then the map P @ : (nGp)o rIG G e!Go, induced by the map 8 : rIG -+ IIG P,O’ P90 P P90 which rationaZizes each component, i s i n j e c t i v e . If, f u r t h e r , G is abelian, -+
then $
admits a l e f t inverse. Proof. Of course, $
But since 0 = IIr r : G P’ P P
+
is injective iff
ker 8 is a torsion group.
G the rationalization, we have PSO
ker 8
=
II ker r
P = nTP(G)
and this is a torsion group if (and only if!)
Tp(G) = {1}
for p
sufficiently large. The final assertion follows because
(TIGp)o and IIG P9 0 both rational vector spaces and we may invoke the Basis Theorem.
are
It is possible to formulate a version of Theorem 3 . 6 in which an arbitrary decomposition of I7 into mutually disjoint subsets is given.
If
the number of subsets in the decomposition is infinite, as in Theorem 3 . 6 , then we must impose the condition that G be finitely generated, as in Theorem 3.6.
On the other hand, if the number of subsets in the decomposition is
finite, it is unnecessary to impose a finiteness condition on G.
Since, in
the sequel, we shall be particularly concerned with the case in which rI
Localization of nilpotent groups
30
is decomposed i n t o two d i s j o i n t s u b s e t s , we s t a t e t h e r e s u l t i n t h i s form, while r e c o r d i n g t h e f a c t t h a t t h e g e n e r a l i z a t i o n t o a f i n i t e decomposition of
Il is v a l i d . If
Theorem 3.9.
G E N,
then we have a puZZback diagram eP
GG I
IP
r p , r p l denoting the rationaZization maps.
Proof.
Consider f i r s t t h e c a s e t h a t
G
is a b e l i a n .
Since t h e
a s s e r t i o n is c l e a r f o r c y c l i c groups, i t is t r u e a l s o f o r f i n i t e l y generated a b e l i a n groups, a s i n t h e proof of Theorem 3.6.
I n general,
G
may be expressed
as t h e d i r e c t l i m i t of i t s f i n i t e l y generated subgroups G E But
I& GaQ = (liln Ga)Q
%'
+G a y GQ
G" f i n i t e l y generated
f o r any c o l l e c t i o n of primes
Q , and
I&
p r e s e r v e s p u l l b a c k diagrams, so t h e a s s e r t i o n is v e r i f i e d f o r a r b i t r a r y a b e l i a n groups. Again, a s i n Theorem 3.6, we argue by i n d u c t i o n on
nil(G)
t o prove
t h e theorem f o r a r b i t r a r y n i l p o t e n t groups. Remark.
It is e a s i l y proved t h a t t h e diagram of Theorem 3.9 is a l s o a
pushout i n
Ab
if
G
is abelian.
f o r an a r b i t r a r y n i l p o t e n t group as
This remark g e n e r a l i z e s t o t h e s t a t e m e n t , G , t h a t every element of
r p ( x ) r p l ( x ' ) , x E Gp, x ' € G p l .
Go
is expressible
A s i m i l a r remark a p p l i e s t o Theorem 3.7.
While, i n Theorem 3.9, no f i n i t e n e s s c o n d i t i o n is imposed on
G,
i t i s n e v e r t h e l e s s u s e f u l t o know when such a c o n d i t i o n can b e deduced from
analogous c o n d i t i o n s on groups.
Gp, G p r .
We prove t h e f o l l o w i n g r e s u l t f o r a b e l i a n
Further properties of localization Theorem 3.10.
4,
If
A C Ab
then A
are f i n i t e l y generated Z Proof.
We assume t h a t
i s a f i n i t e l y generated abeZian group i f f P
-,
Zpl-
%,
modules, respectively.
a r e f i n i t e l y generated
Z p l - modules, r e s p e c t i v e l y , and prove t h a t
A
f i n i t e l y generated R-modules.
IS1,
A a9 R
...,6 II 1
Let
$ @%I
Moreover,
be a s e t of R-generators
5 j B
for
B >-A
which i s t o r s i o n - f r e e , w e
A
S
A
b e t h e r i n g Zp d Z p l .
A @ R
a s R-modules,
R
and w r i t e
ij
C = A/B.
A@R--
C A.
a i j ’ we get a Tensoring w i t h R ,
C@R,
t h e i n d i c a t e d isomorphism f o l l o w i n g from (3.11). clearly implies t h a t
Let
g e t a n e x a c t sequence
B@R>-w
C = 0, so t h a t
Thus
C @ R = 0 , which
A = B , which is f i n i t e l y g e n e r a t e d .
Theorem 3.10 admits an obvious g e n e r a l i z a t i o n , i n which we have a
decomposition of
i 7 i n t o f i n i t e l y many m u t u a l l y d i s j o i n t s u b s e t s .
g e n e r a l i z a t i o n f a i l s f o r an a r b i t r a r y ( i n f i n i t e ) decomposition of f o r example, but
-,
g e n e r a t e d by t h e
C, with
->
Qo
rij E R, a
= Z(aij@l)rij, i
t o b e t h e subgroup of
s h o r t e x a c t sequence
Remark.
R
is f u r n i s h e d w i t h t h e n a t u r a l R-module s t r u c t u r e .
(3.11) I f we d e f i n e
P
i n h e r i t n a t u r a l R-module s t r u c t u r e s and, as such, a r e
and
where
Z
is a f i n i t e l y generated abelian
group, t h e converse i m p l i c a t i o n b e i n g t r i v i a l . Then
31
@ Z/p
P
Theorem 3.12. : G + K @P P P
The
ll
since,
(eP Z / P ) ~ i s a f i n i t e l y g e n e r a t e d Z -module f o r a l l primes q q
is n o t a f i n i t e l y generated a b e l i a n group.
Let
Q: G
+
K be i n
N.
Then Q i s an isomorphism i f f
is an isomorphism f o r a l l p .
Localizationof nilpotent groups
32
Proof.
We assume 0 is an isomorphism for all p. Thus, by the P Fundamental Theorem, 4 is a p-isomorphism for all p . Since ker 0 is a torsion group, and all primes are forbidden, ker @
=
{l}.
Now let y t K .
ynp
Then, for each p, we have x(~) t G, n prime to p, and = 4x(,). P Since gcd(n ) = 1, we may find integers a almost all 0, such that P a P' Ca n = 1. Set x = llx It i s then plain that y = ox. P P (PI ' Theorem 3.13. Let
Proof. map
&: K
$,$I:
G
+
K
be i n N.
Then
+
= $I
iff 0 P
-
$I
P
for aZZ
p.
This is an immediate consequence of the injectivity of the
noted in the proof of Theorem 3 . 6 . P' The assertion of Theorem 3 . 1 3 , whose homotopy-theoretical counterpart
-+
nK
is of considerable significance, is that the morphisms in N are completely
determined by their localizations. It is fundamental to note, however, that Thus, if we define the genus
this is not true of the objects in N.
G(G)
of
to be the set of isomorphism classes
a finitely generated nilpotent group G
of finitely generated nilpotent groups K satisfying K S G for every prime P P p, it is not necessarily the case that K % G, when K belongs to the genus of G.
The following specific examples, to some extent inspired by similar
examples in the homotopy category, were pointed out to us by Milnor:
For
let N be the nilpotent group of nilpotency r1 s class 2 which is generated by four elements xl, x2, yl, y2 subject to the
mutually prime integers r,
8,
defining relations that all triple commutators are trivial and [x1,x21r = [Y,,Y,I. Nr/s
Nr'/s
Then N
iff either r
~ and / ~ Nrt,s 3
2' (mod
s)
[Xl.X2IS
-
1,
are in the same genus but or rr' :21 (mod s ) .
Thus, for
example, NlIl2 $ N7/12 although these groups have isomorphic p-localizations for every prime p. p-isomorphisms
(In fact, for every prime p, it is easy to construct
N1/12 +. N7/12' N7/12
N1/12)'
Further properties of localization
33
Subsequently, f u r t h e r examples have been d i s c o v e r e d by M i s l i n [ 611. I t should b e noted t h a t , i n d e f i n i n g t h e genus, we have r e s t r i c t e d
o u r s e l v e s t o f i n i t e l y generated groups. s i z e d genus sets.
For example, i f
A
T h i s i s done i n o r d e r t o avoid over-
is t h e a d d i t i v e subgroup of
c o n s i s t i n g of elements e x p r e s s i b l e as f r a c t i o n s
A(n)
f r e e " by
with square-free
A 2 Z f o r e v e r y prime p . More g e n e r a l l y , P P i s d e f i n e d i n t h e same way a s A e x c e p t t h a t w e r e p l a c e "square-
L, t h e n
denominator if
k/k
Q
A'$
"nth-power-free",
Z but
we o b t a i n i n f i n i t e l y many m u t u a l l y nonisomorphic
a b e l i a n groups w i t h p - l o c a l i z a t i o n s
isomorphic t o
Z
f o r e v e r y prime p . P With o u r d e f i n i t i o n of genus, t h e genus of a f i n i t e l y g e n e r a t e d
a b e l i a n group
A
c o n s i s t s of ( t h e isomorphism c l a s s o f )
A
a l o n e . We s t a t e
t h i s a s a theorem, even though i t i s e l e m e n t a r y , s i n c e we w i l l wish t o r e f e r t o it l a t e r . Theorem 3.14.
abelian and
Let
B C G(A).
Proof.
be f i n i t e l y generated nilpotent groups with A
A, B
Then B
A.
The n i l p o t e n c y c l a s s of a n i l p o t e n t group is an i n v a r i a n t
of t h e genus ( s e e t h e Remark f o l l o w i n g Theorem 3 . 6 ) .
The s t r u c t u r e theorem
f o r f i n i t e l y generated a b e l i a n groups shows t h a t any f i n i t e l y g e n e r a t e d a b e l i a n group i n t h e genus of
A
must c e r t a i n l y b e isomorphic t o
A.
More g e n e r a l l y , i t i s known t h a t t h e genus of a f i n i t e l y g e n e r a t e d n i l p o t e n t group is a f i n i t e s e t . [ 651.
T h i s f a c t f o l l o w s from r e s u l t s of P i c k e l
( P i c k e l ' s u s e of t h e term "genus" d i f f e r s from o u r s . )
The
homotopy-theoretical c o u n t e r p a r t of t h e f i n i t e n e s s of t h e genus i s as y e t unsolved i n g e n e r a l , a l t h o u g h p a r t i a l r e s u l t s a r e known.
Localization of nilpotent groups
34
4. Actions of a nilpotent proup on an abelian group Throughout this section, we denote by A
w: Q
an arbitrary group, and by
-f
Aut(A)
an abelian group, by Q
an action of Q
on A .
We adopt
x E Q , a € A.
the customary abbreviation x - a for w(x)(a),
Define the lower central w-series of A ,
... by setting
1 = A, rw(A)
rF(A)
=
Observe that if I Q
group generated by
{x-a-alx € Q , a E T,(A)), i
i
3
1.
is the augmentation ideal of the integral group ring Z Q ,
then ri+'(A) i in particular, each rw(A)
We say that Q j sufficiently large. we say that
operates nilpotently on A
If c
A
w on A.
A >-
if rA(A) = 111
is the largest integer for which
w has nilpotency class
Proposition 4.1. Let
(IQ)i.A;
is a submodule of A.
Proposition is easily proved.
Q-action
=
G
-
Then G E N i f f
c and write nil(,)
Q
= c.
f(A)
for
# Ill,
The following
be an extension giving r i s e t o the Q € N
and
Q
operates nizpotently on
through w. Indeed, max{ nil ( Q ) .nil (0)1.5 nil (GI 5 nil ( 9 ) + nil (w) In the situation of Proposition 4.1, we may define
$(A)
of A by setting
. a
subgroup
Actions of a nilpotent group on an abelian group
35
I t i s t h e n clear t h a t
A r e s u l t c l o s e l y r e l a t e d t o P r o p o s i t i o n 4 . 1 , w i t h almost i d e n t i c a l
proof, i s t h e following.
Let
Proposition 4.3.
A'
respect t o the Q-actions w',
then
are n i l p o t e n t .
w'l
w',
w"
B.
a b e l i a n group
Notice t h a t and
+
w',
w,
A" w"
be an exact sequence of Q-modules w i t h respectively.
Then
i s niZpotent i f
w
If the sequence is short exact and i f
w
is n i l p o t e n t ,
R
on t h e
are n i l p o t e n t , and
L e t now
homomorphism
* A
A(R,B)
b e t h e s e t of a c t i o n s of t h e group
The l o c a l i z a t i o n map
Aut(A)
+
e: A
(pw)'
%
e v i d e n t l y induces a
A u t ( % ) , which i n t u r n g i v e s rise t o a map
v r e s p e c t s submodules; t h u s , i f
w' = wIA',
-t
=
IJW~G for
A'
is a submodule of
A
w F A(Q,A), then
By analogy w i t h Theorem 2 . 7 , we now prove Theorem 4 . 5 .
Let
Proof.
w
<
A(Q,A).
Then
I n view of ( 4 . 4 ) i t s u f f i c e s t o prove t h i s f o r
s i n c e a n e a s y i n d u c t i o n then completes t h e argument. Q-module map i f we f u r n i s h
+
w i t h t h e Q-action
pw
Now
i = 2
e: A + +
and p l a i n l y
i s a e
induces
Localization of nilpotent groups
36
eo: r:(A)
+
2 rllw(Ap)
by restriction. By the Fundamental Theorem, we need to prove that is P-local and that eo is a P-isomorphism. To prove of
2
I';w(Ap)
P-local, it is sufficient, by the commutativity
to show that any generator x*b - b, x E Q, b t
r,,(fh),
%,
may be
n
rtw(Ap).Now
divided by n, n t P', in
b
5
nb', b' C
Ap,
since
Ap
is
P-local, so x.b
-b
Since e
=
x'(nb')
- nb'
=
n(x*b')
-
nb' = n(x*b'
-
b').
i s obviously P-injective, it remains to prove
eo
P-surjective. But the argument here i s very similar to that in the previous paragraph. Namely, given any element of the form x'b n t P', a C A with nb = e(a)
then there exist
n(x+b
- b)
=
e (x-a
It follows from the commutativity of ri(A), Let AV(Q,A)
5 A(Q,A)
-
and
- b, x
t Q, b €
Ap,
so
a).
2
rpw(fh) that
eo is P-surjective.
consist of the nilpotent Q-actions on A.
Then the following is a direct consequence of Theorem 4.5. Corollarv 4 . 6 .
?.IA~(Q,A) 5 AV(~,%).
nil(pw) 5 niliw)
.
If now A >-+ Q-action
w,
G
-
Indeed, if w € Av(Q,A),
then
Q i s any extension corresponding to the
we have a commutative diagram
(4.7)
where the Q-action induced by the lower extension is
pw.
By ( 4 . 2 ) , we have
Moreover, if G E N, then by Proposition 4.1 and Corollary 4.6, applied to the lower extension in ( 4 . 7 ) , we conclude that G ' t N, f
i s a P-isomorphism.
Actions of a nilpotent group on an abelian group Q E N
Now assume
and l e t
e: Q
--t
37
P-localize
Q,
Q.
Then
e
induces
and, o b v i o u s l y ,
Theorem 4.8.
Let
be P-ZocaZ,
A
e*: A,,(Q,,A)
Proof.
Let
w
Then
Q C N.
s A,,(Q,A).
E A,,(Q,A) and l e t
e x t e n s i o n corresponding t o
A
Q
>Gt--j>
By P r o p o s i t i o n 4 . 1 ,
w.
G C N
be t h e s p l i t s o we may l o c a l i z e
to obtain
(4.9)
Let
Since
h w C A(Q,,A)
be t h e a c t i o n o b t a i n e d from t h e lower e x t e n s i o n i n ( 4 . 9 ) .
Gp F N, hw C Av(Qp,A)
and s i n c e t h e r i g h t hand s q u a r e i n (4.9) i s a
pullback,
e*Aw = w
so t h a t
satisfies
e*h = 1.
But i f we s t a r t w i t h
s p l i t extension
A >-
E->
Q,
C A (Qp,A)
f o r this action
and form t h e
i, t h e n
C N, by
P r o p o s i t i o n 4.1, and is P-local by C o r o l l a r y 2 . 5 , s o t h a t e s s e n t i a l l y t h e same diagram ( 4 . 9 ) shows t h a t
h e * = 1. Thus
h
is i n v e r s e t o
e*.
Localization of nilpotent groups
38
Let
C o r o l l a r y 4.10.
w C AV(Q,A)
be any extension corresponding t o
% >+ is
G
P
Q,
->
with Q C N and Zet W.
A
-G
LocaZizing yieZds an extension
and hence an action o f
on Ap.
Qp
Then t h i s action
X ~ W . independent of the original choice of extension.
Proof.
W e f i r s t assume
A
P-local.
Then ( 4 . 9 ) , where t h e
e x t e n s i o n s a r e no longer assumed s p l i t , again shows t h a t t h e a c t i o n Q,
on
A , given by t h e lower e x t e n s i o n , s a t i s f i e s
Now c o n s i d e r t h e g e n e r a l c a s e . f
Q
is a P-isomorphism.
where
ef
Xuw.
Theorem 4.11.
Let
Proof.
A
W.
Thus
T =
of Xu.
We r e v e r t t o (4.7) and r e c a l l t h a t
W e t h u s may amalgamate (4.7) and (4.9) t o o b t a i n
is P-localizing.
extension i s
e*r =
T
Thus t h e a c t i o n of
be P-local.
i Then r,(A)
Q,
on
%
given by t h e lower
i = rXw(A).
Reverting t o (4.9), w e s e e t h a t
ri, ( ~ )=
i
rG(A),
i rxw (A)
=
ri
(A).
GP
W e now claim
For
i = 2 , t h i s may b e proved by an argument s i m i l a r t o t h a t of Theorem 2.7
(apply t h e 5-term homology sequence t o t h e diagram
Actions of a nilpotent group on an abelian group
i , we u s e an e a s y i n d u c t i o n .
and,for general
On t h e o t h e r hand, Theorem 4.5 i m p l i e s t h a t
Thus
i
rG(A)
=
r
39
i
i s P-local.
Ti(A)
(A).
GP We are now i n a p o s i t i o n t o g e n e r a l i z e Theorem 2 . 9 and C o r o l l a r y 1 . 1 4 . Theorem 4.12. w,
Q C N.
Let
A
be a n a b e l i a n group equipped w i t h a n i l p o t e n t
Then t h e n a t u r a l homomorphism
induced by P - l o c a l i z i n g b o t h
Proof. n = 0
Q-action
A
and
Q, P-localizes.
2 Ho(Q;A> = A / r w ( A ) , Ho(Qp;Ap)
=
2 kp/rAuw(Ap). Thus
*
t h e case
f o l l o w s from Theorem 4.5 and Theorem 4.11. W e suppose
w e a l s o have
n 2 1 and a r g u e by i n d u c t i o n on
n i l ( p w ) = 1, n i l ( h p w ) = 1 Now write
e x t e n s i o n of Theorem 2 . 9 .
and so
n i l w.
For
nil w
e* P - l o c a l i z e s by an e a s y
A2 = r L ( A ) , s o t h a t w e have a s h o r t
e x a c t sequence of Q-modules A
(4.13) Suppose
nil w
5 c, where
Q-actions of n i l p o t e n c y 5 c we s e t
w2 = wIA2.
2
A
>-
A/A2.
c 2 2 , and t h a t t h e theoeem i s demonstrated f o r
-
1.
Then w e have
n i l ( w 2) 5 c
Moreover, t h e induced a c t i o n of
Q
on
W e may t h u s a p p l y (4.13) and Theorem 4.5 t o o b t a i n a diagram
-
1 where
A/A2
is t r i v i a l .
= 1,
Localization of nilpotent groups
40
where w e know t h a t
Let
Theorem 4 . 1 4 .
Q-action
0,
ek2, e , 4 , e,5
e,l,
P-localize.
e*3 P-localizes.
Thus
be a P-local abeZian group equipped with a nilpotent
A
Then
Q E N.
e*: H " ( Q ~ ; A ) H"(Q;A), n 2 0.
Proof.
Ho(Q;A) = A" = {a E A1x.a = a , a l l Referring t o ( 4 . 9 ) , we see t h a t
Ho(Qp;A) = A'".
A" where
)
Z(
A
=
n
z ( G ) , "'A
=
A
n
z(G~),
denotes, a s u s u a l , t h e c e n t e r .
(or Theorem 2.8) an i n c l u s i o n
e : G+Gp
that
A" 5 A'".
sends
But p l a i n l y "'A
We suppose
Z(G)
We know from Proposition 1.10 to
C Ae*'w
Z(Gp). =
Thus ( 4 . 9 ) induces
Am. Thus A" = ."'A
n ? 1 and again argue by induction on
= 1, t h i s is p r e c i s e l y Corollary 1 . 1 4 .
nil(")
x C Q}; s i m i l a r l y ,
from Theorem 4.5 t h a t
A2
nil(w).
For
Referring t o ( 4 . 1 3 ) , we see
is P-local and hence a l s o
A/A2.
Thus, invoking
( 4 . 1 3 ) , we o b t a i n a diagram
.. . + H n-1 ( Q ~ ; A / A+ ~H)" ( Q ~ ; A+~H) " ( Q ~ ; A-)+ H " ( Q ~ ; A / A+ H~n+l ) ( Q ~ ; A ~ ).. . +
1.*
g
n-1
. .. -+H
& ' e* g/e* /e* Rt-1 (Q;A/A~) + H " ( Q ; A ~ )-+H"(Q;A) + H ( Q ; A / A ~ )-+H ( Q ; A ~ ) -+
J,
...
and t h e Five Lema completes t h e proof. Remark, that
For a r b i t r a r y
(Aw), 5
<".
Q , a r b i t r a r y (abelian)
If further
Q
A
and
w E A(Q,A), i t i s t r u e
is f i n i t e l y generated, then
(Am), =
<".
For t h e proofs, we r e f e r t o Hilton [351. Consider f i n a l l y a n i l p o t e n t a c t i o n
+J
C Av(Q,A), where
Q
i s not
Actions of a nilpotent group o n an abelian group
41
necessarily nilpotent. We have, of course, an induced action of Q on the homology (and cohomology) of A axd we wish to assert the nilpotency of this action. First we state a general Proposition. Proposition 4.15. Given F: Ab
+
Ab.
w €
AV(Q,A)
as above and a haZf-exact functor
Then the induced action Fw of
Proof.
Q on FA i s nilpotent.
Fw is simply the composition Q
Thus the conclusion is clear for nil(w)
=
Aut (A) +Aut (FA).
1.
We proceed as usual by induction on nil(w).
Applying F to
(4.13) yields an exact sequence
by the half-exactness of F. The proof is then completed with the aid of Proposition 4.3. Corollary 4.16.
Note that, in fact, nil (Fo)
Let
w €
AV(Q,A)
Then the induced actions of
C
nil w.
and l e t B be an arbitrary abeZian group.
Q on A 8 B, Tor(A,B)
and
H,(K;A),
K any
group & t h t r i v i a l action on A, are nilpotent. Theorem 4.17. If
w €
Av (Q,A) , then the induced action of Q on H,(A;C)
,c
triu-ial A-moduZe, is nilpotent. (A similar statement holds for H*(A;C) .) Proof. In case nil(w) = 1, the result is clear. The inductive step is carried out by applying the Lyndon-Hochschild-Serre spectral sequence to (4.13).
We have
A/A2 acting trivially on H,(A2;C).
It follows from the inductive hypothesis 2 together with Corollary 4.16 that the induced action of w on Ers is nilpotent.
Localization of nilpotent groups
42
By t h e f i n i t e convergence of t h e s p e c t r a l sequence, we conclude, by r e p e a t e d a p p l i c a t i o n of P r o p o s i t i o n 4.3, t h a t t h e induced a c t i o n of
also on
w
on E;s,
hence
is nilpotent.
H,(A;C),
F i n a l l y , we draw a t t e n t i o n t o t h e f o l l o w i n g u s e f u l addendum t o Theorem 4.14.
Let
Theorem 4.18.
Q
be a finitely-generated n i l p o t e n t group operating
nilpotentZy on the abelian group H " ( Q ; A ) ~ =H"(Q;+)
Proof.
Then
A.
= H"(Q~;$).
The second isomorphism was proved i n Theorem 4.14.
The
f i r s t i s proved by t h e u s u a l i n d u c t i o n on t h e n i l p o t e n c y of t h e a c t i o n , once i t is proved f o r t h e c a s e of t r i v i a l Q-action. from t h e n e x t s e c t i o n , t h e f a c t t h a t t h e homology of
I n t h a t c a s e , we t a k e , Q
is finitely-generated
i n each dimension ( P r o p o s i t i o n 5 . 4 ) , when t h e r e s u l t f o l l o w s from t h e following elementary p r o p o s i t i o n . P r o p o s i t i o n 4.19.
Let
A, B
be abelian groups with B finitely-generated.
Then Hom(B,AIp = Hom(B,$),
Ext(B,A)p = Ext(B,Pp),
P r o p o s i t i o n 4.19 h a s obvious i m p l i c a t i o n s f o r t h e cohomology groups of t o p o l o g i c a l spaces.
Indeed, i t e n a b l e s us (once we have e s t a b l i s h e d an
a p p r o p r i a t e l o c a l i z a t i o n theory) t o i n f e r t h e analog of Theorem 4.18 when
is r e p l a c e d by a t o p o l o g i c a l space generated (and
A
X
whose homology groups a r e f i n i t e l y -
i s merely an a b e l i a n c o e f f i c i e n t group).
Such an analog
i s i m p l i c i t l y invoked, f o r example, i n t h e p r o o f s of Theorems 111.1.7 and
111.1.14.
Q
Generalized Serre classes of groups
5.
43
G e n e r a l i z e d S e r r e c l a s s e s of groups The n o t i o n of " c l a s s of a b e l i a n groups" goes back t o t h e fundamental
paper of S e r r e [73].
For t h e t o p o l o g i c a l a p p l i c a t i o n s we have i n mind, i t is
n e c e s s a r y t o c o n s i d e r n o n a b e l i a n groups, so w e f i n d i t c o n v e n i e n t t o extend S e r r e ' s theory accordingly.
D e f i n i t i o n 5.1.
We b e g i n w i t h t h e d e f i n i t i o n .
A generaZized Serre class i s a c o l l e c t i o n
C
of groups
satisfying: (i)
That i s , i f
c l a s s i n t h e o r d i n a r y sense.
e x a c t sequence of a b e l i a n groups, t h e n
are a b e l i a n groups, t h e n then
H.(A)
GI,
G" € C
iff
A ' >-A
A ' , A" C C
A @ B , Tor(A,B) C C ; i f
€ C , i > 0 ; and
(ii)
-
The s u b c o l l e c t i o n of a b e l i a n groups i n
G ' >-
A C C
G
forms a S e r r e
A"
i s a short
A € C; i f
iff
0 C C.
Given a c e n t r a l e x t e n s i o n
C
-
A, B C
C
i s an a b e l i a n group,
of g r o u p s , t h e n
G"
G € C.
The f o l l o w i n g are examples of g e n e r a l i z e d S e r r e classes: (a)
The class
G
of a l l groups.
(b)
The c l a s s
N , resp.
FN, of a l l n i l p o t e n t , r e s p . f i n i t e l y
g e n e r a t e d n i l p o t e n t groups. (c)
The class
G(p) , r e s p .
FG(p)
, of
a l l p-groups,
resp. f i n i t e
p-groups. (Observe t h a t
FG(p)
W e remark t h a t i f v i r t u e of D e f i n i t i o n 5 . 1 ( i i ) ,
C
i s , i n f a c t , a s u b c l a s s of
FN.)
i s any g e n e r a l i z e d S e r r e c l a s s , t h e n , by t h e n i l p o t e n t groups i n
C
form a s u b c l a s s .
Another consequence of D e f i n i t i o n 5 . l ( i i ) i s t h a t an o r d i n a r y S e r r e c l a s s w i l l almost n e v e r be a g e n e r a l i z e d S e r r e c l a s s . The f o l l o w i n g p r o p o s i t i o n i s e s s e n t i a l l y proved by S t a m b a c h [78 1 , i n t h e c o n t e x t of t e n s o r i a l cZasses of groups.
Localization of nilpotent groups
44
G
iff Gab
C
€
C be generalized Serre class and l e t
Let
Proposition 5 . 2 .
€
N. Then
C C.
Proof. Assume G T 3
G
€ C.
Setting
r i = r i (G)
and letting c = nil(G),
have central extensions
from which we conclude, by Definition 5,1(ii),
-
Conversely, if we assume Gab
ri/ri+'
€
C, 1
P
i i c.
€
that Gab = G / r
2
€
C.
C, then observe first that
Indeed, the function i factors G X . . . X G - ~
I
which sends an i-tuple of elements of G into the corresponding i-fold commutator clearly induces a surjective homomorphism
G~~ 8
.. . 8 G~~ ->r
i/r i+l,
It follows from De'finition 5 . 1 ( i ) that Gab 0 belongs to C .
.. . 63 Gab
and hence
ri/I?+'
But then, by appealing to \the extensions ( 5 . 3 ) (in reverse
order), we conclude that G € C. We have also the following variant of Proposition 5 . 2 . Proposition 5.4. Let iff
HI(G)
€ C, i >
Proof.
C be a generalized Serre class and l e t
G
€ N.
0.
We assume G € C
and argue by Induction on c = nll(G).
If c = 1, then the conclusion is Incorporated into Definition S . l ( i ) . c
? 2,
Then G
If
we apply the Lyndon-Hochschild-Serre spectral sequence to the central
€
C
extension Tc
Generalized Serre classes of groups
-
G ->
4s
G/rC and obtain the desired result.
The converse is a special case of Proposition 5.2 in view of H (G) 1
%
G ab' If
Corollarv 5.5. then H*(G)
%
G, K are f i n i t e l y generated nilpotent groups i n the same genus,
H*(K).
Proof.
We apply Theorems 1.12 and 3.14, since, by Proposition 5.4,
we know that the homology groups of G, K Theorem 5.6. Let that
the relation
are finitely generated.
C be a generalized Serre class, l e t G
G € N and operates nilpotently on the d e l i a n g r m p
€ C
A
and suppose further through
W.
We
have :
(i) i f A
C , then Hi(G;A) € C, i
€
?
0;
(ii) i f A f C , then Ho(G;A) f C .
Proof.
(i) Referring to (4.13) for the definition of A2, we have
Ho(G;A) = A/A2, hence Ho(G;A) C C. (not nil(G)!), 5.4.
For i
z
0, we argue by induction on nil(w)
the assertion for nil(w) = 1 being a consequence of Proposition
The short exact sequence (4.13) gives rise to the exact sequence Hi(G;A2)
- Hi(G;A)
Hi(G;A/A2),
from which the conclusion evidently follows. (ii)
We again argue by induction on nil(w),
clear since then, Ho(G;A)
=
A.
the case nil(w) = 1 being
There are two possibilities:
Case 1: A/A2 # C: As the induced action of G on A/A2 is trivial, we have Ho(G;A/A2) = A/A2, thus Ho(G;A/A2) # C. But we have a surjection Ho(G;A)
+
Ho(G;A/A 2 1, Case 2:
so
we conclude Ho(G;A) f C.
A/A2 € C:
In this case, A2 f C, otherwise A € C. Thus,
46
Localization of nilpotent groups
by the inductive hypothesis and (i), we infer Ho(G;A2)
C, H1(G;A/A2)
f
c.
From the exact sequence H1(G;A/A2)
----f
Ho(G;A2)
+
Ho(G;A),
6 C.
we thus conclude Ho(G;A)
We conclude by using Proposition 5.2 to prove a basic theorem on generaffzed Serre classes. Theorem 5 . 7 .
Let
be a generalized Serre class and l e t
C
be an arbitrary (not necessarily central) extension i n N.
G
G'
G ->
G"
Then G ' , GI' € C i f f
€ C.
Proof. Gab € C .
Assume G', G"
€
C. By Proposition 5.2, it suffices
to show
But the given short exact sequence induces the short exact sequence
of abelian groups
Moreover, G'/G' n r 2
belongs to C since it is a quotient group of Gib which
belongs to C by Proposition 5.2. follows that Gab
As
Gib
€ C,
again by Proposition 5.2, it
€ C.
Now assume G
€
C. Then, as previously noted, Gab maps surjectively
and two applications of Proposition 5.2 allow us to conclude that G" € C . tob''G To show G' € C, we argue by induction on c = nil(G), the result being obvious for c = 1. Since nil(G/rC) = c Girc/rc c C.
But
-
1, we have, by the inductive hypothesis, that
~'r~/r'G G'/GlnrC and
abelian, it is clear that G'
n c'I
with the two extreme groups in C .
€
rc E
c by (5.3).
Since
rc
C. We thus have a central extension
It follows from Definition 5.1(ii) that
G' € C , thereby completing the induction.
is
Chapter I1 Localization of Homotopy Types Introduction In this chapter we apply localization methods to homotopy theory. We use the definitions of local groups and localization given in Chapter I, in order to introduce the corresponding notions into homotopy theory; and we prove the basic theorems that relate to localization in homotopy theory. These theorems find many applications in homotopy theory, but we will reserve the applications to Chapter 111. Our definition of a P-local (pointed) space is simply that its homotopy groups should be P-local groups. This definition could be made quite generally for an arbitrary pointed space. However we are concerned to obtain a localization theory and also to obtain useful criteria for establishing when a given map of spaces does in fact P-localize.
It is
therefore necessary for us to work in a restricted category of (pointed) topological spaces. It is also necessary for us to work in a homotopy category (that is, in a category in which the morphisms are homotopy classes of continuous maps), since our procedures for establishing the existence of a localization theory will all operate up to homotopy. A more general treatment, valid in the semisimplicial category, has been given by Bousfield-Kan u 4 ] . We will always suppose that our spaces have the homotopy type of CW-complexes. In Section 1, we present a localization theory in the homotopy category H1
of 1-connected CW-complexes. We establish two fundamental
theorems in H1, namely that every object of the category does admit a P-localization, and that we can detect the P-localizing map
f: X
+.
Y either
through the induced homotopy homomorphisms, which should also P-localize, or through the induced homology homomorphisms, which should also P-localize.
In the course of establishing that there is a localization theory in H1,
Localization of homotopy types
48
we a c t u a l l y c o n s t r u c t t h e l o c a l i z a t i o n of a given CW-complex i m i t a t i n g t h e c e l l u l a r c o n s t r u c t i o n of t h a t of a ZocaZ c e l l .
X
by
X, r e p l a c i n g t h e i d e a of a c e l l by
The f a c t t h a t t h e l o c a l i z a t i o n can b e d e t e c t e d e i t h e r
through homotopy o r through homology h a s t h e immediate consequence t h a t we may l o c a l i z e f i b r e and c o f i b r e sequences i n
H1,
I n S e c t i o n 2 , we d e s c r i b e a broader homotopy c a t e g o r y i n which we w i l l a l s o b e a b l e t o e s t a b l i s h a s a t i s f a c t o r y l o c a l i z a t i o n theory.
It t u r n s
o u t t h a t we would wish t o e n l a r g e t h e c a t e g o r y t o which we apply l o c a l i z a t i o n methods from our o r i g i n a l c a t e g o r y
H1.
confined t o o b j e c t s of
H1,
H1,
even i f our main i n t e r e s t were
For, i n o r d e r t o prove theorems about l o c a l i z a t i o n of i t is v e r y u s e f u l t o employ function-space methods, and
t h e function-space c o n s t r u c t i o n t a k e s u s o u t s i d e t h e c a t e g o r y . i t is t r u e t h a t i f
and i f into
W
X
X
However,
is a niZpotent s p a c e , i n a s e n s e defined i n S e c t i o n 2 ,
is f i n i t e , t h e n t h e f u n c t i o n space Xw is a g a i n n i l p o t e n t .
f a c t s about t h e category
S e c t i o n 2 concerns i t s e l f w i t h some b a s i c
NH of n i l p o t e n t s p a c e s , and may be regarded i n
p a r t as propaganda f o r t h e u s e of t h i s c a t e g o r y i n homotopy theory. i t has a l r e a d y been shown by Dror [23] t h a t
homotopy t h e o r y .
W
of pointed maps of
NH
Indeed,
is a s u i t a b l e c a t e g o r y f o r
Roughly speaking, one may s a y t h a t most of t h e t e c h n i q u e s
of homotopy t h e o r y which have been developed s i n c e t h e p u b l i c a t i o n of S e r r e ' s t h e s i s can a l l be c a r r i e d o u t i n t h e c a t e g o r y
NH
techniques were of course o r i g i n a l l y formulated i n
although many of t h o s e
H1,
The b a s i c theorem
proved i n S e c t i o n 2 is t h a t a space is n i l p o t e n t i f and only i f i t s Postnikov tower admits a p r i n c i p a l refinement. t h e category
Mi
It is t h i s theorem which e x p l a i n s why
is s u i t a b l e f o r homotopy theory; f o r t h e given refinement
of t h e Postnikov tower may be used i n p l a c e of t h e Postnikov tower i n t h o s e arguments i n which t h e c r u c i a l f a c t which is r e q u i r e d is t h a t t h e f i b r a t i o n s which appear i n t h e tower should b e induced o r p r i n c i p a l .
Introduction
49
However, it should be pointed out that the category NH has eertain defects over the category H1.
One of the defects is that it is not closed
under the mapping cone operation. This defect has a serious consequence in Section 3 .
We also describe in Section 2 how to relativize the notion of a
nilpotent space to obtain that of a nilpotent map. In Section 3 we generalize the theorems of Section 1 from the category H1
to the category NH. Formally, we get the corresponding
formulations of the two fundamental theorems of Section 1. However there is an important difference in the way in which we construct the localization of an object. For, whereas in the category H1 we are able to proceed cellularly, since the mapping cone construction respects the category H1, we cannot in the nilpotent case proceed cellularly, since the mapping cone construction would take us outside the category. It is therefore necessary for us to proceed homotopically rather than cellularly in constructing the localization. In this way, of course, we lose much of the conceptual simplicity of the construction in Section 1. Section 4 is a brief technical section in which we introduce the idea of a quasifinite complex in Mi. relative to the category H1.
Here again we see a certain disadvantage
For if X
is a 1-connected CW-complex whose
homology groups are all finitely generated, and vanish above a certain dimension, then X itself has the homotopy type of a finite complex. If we discard the condition of simple-connectivity, we can no longer assert this conclusion. Indeed, we have the obstruction theory of Wall which enables
US
to discuss the question whether a CW-complex X whose homology looks like that of a finite complex in fact has the homotopy type of a finite complex. Thus we are led to introduce the concept of a quasifinite CW-complex, meaning a nilpotent CW-complex X such that the homology of X is finitely
Localization of homotopy types
50
generated i n each dimension and v a n i s h e s above a given dimension.
We prove
t h a t such a q u a s i f i n i t e complex always h a s t h e homology type of a f i n i t e complex. I n S e c t i o n 5 we prove t h e fundamental p u l l b a c k v a r i o u s v a r i a n t s as consequences of t h a t theorem.
theorem and
Here we l e a n v e r y h e a v i l y
on t h e r e s u l t s of Chapter I . The fundamental p u l l b a c k theorem a s s e r t s t h a t t h e p o i n t e d set i s t h e p u l l b a c k of t h e pointed sets
[W,Xl set
1, provided t h a t
[W,X
W
{[W,Xpll
over t h e p o i n t e d
i s a f i n i t e connected CW-complex and
a n i l p o t e n t complex of f i n i t e type.
X
is
T h i s a s s e r t i o n f a l l s i n t o two p a r t s .
The f i r s t p a r t s t a t e s t h a t given two maps
f,g: W
-+
X
such t h a t
= e g: W + X f o r a l l primes p, t h e n f = g . T h i s p a r t of t h e a s s e r t i o n P P P’ does not r e q u i r e t h a t X b e of f i n i t e t y p e . The second a s s e r t i o n s t a t e s e f
that i f
f(p): W
-+
c l a s s of t h e map
X
P
a r e maps, f o r a l l primes
r f(p): W P
-+
Xo
p , such t h a t t h e homotopy
i s independent of
i s t h e r a t i o n a l i z a t i o n map, t h e n t h e r e exists a map
e f P
2
f(p)
f o r a l l primes
t h e condition t h a t
W
p.
p , where
rp: Xp
f: W
such t h a t
-+
X
-+
Xo
We show by an example t h a t we cannot omit
should be f i n i t e .
However, provided t h a t
W
is
n i l p o t e n t , we may i n f a c t weaken t h e hypotheses of t h e p u l l b a c k theorem by simply r e q u i r i n g t h a t
W
be q u a s i f i n i t e .
I n S e c t i o n 6 we make a p r e l i m i n a r y s t u d y of t h e l o c a l i z a t i o n of H-spaces.
Our main r e s u l t i n t h i s s e c t i o n i s a g e n e r a l i z a t i o n of t h e p a r t
of t h e fundamental theorem of Chapter I which t e l l s u s how t o d e t e c t t h e P - l o c a l i z a t i o n of a n i l p o t e n t group i n terms of t h e P - b i j e c t i v i t y of t h e l o c a l i z i n g homomorphism. I n S e c t i o n 7 w e formulate t h e fundamental mixing technique of Zabrodsky w i t h i n t h e c o n t e x t of t h e l o c a l i z a t i o n of n i l p o t e n t s p a c e s .
The
Introduction
51
p a r t i c u l a r r e s u l t which w e emphasize is t h a t , given n i l p o t e n t spaces
X, Y
with equivalent r a t i o n a l i z a t i o n s , and given a p a r t i t i o n of t h e primes
Il
= P
u
Q , then t h e r e e x i s t s a n i l p o t e n t space
2
such t h a t
2
P
= Xp
and
ZQ = YQ. We make very considerable a p p l i c a t i o n of t h e r e s u l t s of t h e l a s t two s e c t i o n s i n Chapter 111.
Indeed, we a r e r a t h e r l i t t l e concerned t o g i v e
e x p l i c i t examples and a p p l i c a t i o n s i n t h i s Chapter i n view of t h e f a c t t h a t Chapter 111 is e n t i r e l y concerned with applying t h e theory of Chapter 11.
52
Localization of homotopy types
1.
Localization of 1-connected CW-complexes.
H1 of 1-connected
We work i n t h e pointed homatopy category CW-complexes. X
X C H1,
If
and i f
P
is a family of primes, we say t h a t
is P-zocal i f the homotopy groups of
W e say t h a t
f: X + Y
P-localizes
H1
in
X
a r e a l l P-local a b e l i a n groups. X
if
Y
i s P-local and*
f*: [Y,Z] z [X,Zl f o r a l l P-local
2 C H1.
Of course t h i s u n i v e r s a l property of
c h a r a c t e r i z e s i t up t o canonical equivalence: both P-localize H1
with
in
H1.
X
hfl = f 2 .
if
fi: X
-+
then t h e r e e x i s t s a unique equivalence
Yi,
f i = 1, 2 ,
h : Y1
PI
Y2
in
W e w i l l prove t h e fallowing two fundamental theorems
The f i r s t a t t e s t s t h e e x i s t e n c e of a l o c a l i z a t i o n theory i n
H1
and the second a s s e r t s t h a t we may d e t e c t t h e l o c a l i z a t i o n by looking a t induced homotopy homomorphismor induced homology homomorphisms. Theorem 1A.
( F i r s t fundamental theorem i n H1.)
Every
X
We T r i t e Theorem 1B.
Let
admits a P-localization.
i n HI e: X
+
Xp
f o r a f i x e d choice of P-localization
of
X.
(Second fundamentaZ theorem i n H1.l f: X * Y
( i ) f P-localizes (ii) nnf: n X (iii) Hn f : HnX
Then the following statements are equivalent:
i n H1.
X;
nnY
P-localizes f o r a l l
n 3 1;
-+ H Y
P-localizes f o r a l l
n 2 1.
-t
We w i l l prove Theorems l A , 18 simultaneously.
*We w r i t e , a s usual, [Y,Z] of maps from Y t o 2.
f o r H1(Y,Z),
W e r e c a l l from
t h e s e t of pointed homotopy classes
Localization of I -connectedCW-complexes
Proposition 1.1.9 that a homomorphism
B
if and only if
is P-local and
$:
A
+
B
53
of abelian groups P-localizes
is a P-isomorphism; this latter condition
@
+
means that the kernel and cokernel of
belong to the Serre class C of
abelian torsion groups with torsion prime to P.
Thus to prove that (ii)
(iii)
in Theorem 1 B above it suffices to prove the following two propositions. Proposition 1.1. Let Y C H1. only if H Y
is P-locat f o r a l l n
Proposition 1.2.
all
Then
f: X
Let
-+
n E 1 if and only if
TI
Y is P-local f o r a l l
Then
nn(f)
is a €'-isomorphism f o r aZZ
for all n E 1 if and only if Hn(Y;Z/p) = 0 disjoint from P.
n 2 1.
P
is a P-local abelian group, so are the homology groups
of the Eilenberg-MacLane space K(A,m).
K(A,m-l)
-+
-+
K(A,m),
with E
if H (A,m-1; Z/p) = 0 n Now let
...
of Y.
is a P-local abelian
1. It now follows, by induction
Hn(A,m)
E
is P-loca?
for all n 2 1 and all primes
Now, by Proposition 1.1.8, if A
group, so are the homology groups H A, n on m, that if A
1 if and
is a P-isomorphism for
Proof of Proposition 1.1. We first observe that HnY
p
?
2 1.
Y in H1,
Hn(f)
n
For we have a fibration
contractible, from which we deduce that,
for all n E 1, then Hn(A,m; Z/p) = 0 -+
Ym
-+
Ymm1-+
...
Thus there is a fibration K(nmY,m)
Thus, if we assume that
nnY
for all n 1 1.
Y2 be the Postnikov decomposition
* Ym
+
Ym-l, and Y2 = K(n 2Y , 2 ) .
is P-local for all n P 1, we may assume inductively
that the homology groups of Ym-l
are P-local and we infer (again using homology
with coefficients in Z / p , with p disjoint from P) that the homology groups of Ym
are P-local.
Since Y
-+
Y,
is m-connected, it follows that HnY
P-local f o r all n 1 1. To obtain the opposite implication, we construct the 'dual' Cartan-Whitehead decomposition
is
Localization of homotopy types
54
There i s then a f i b r a t i o n if we assume t h a t
K(amY,m-l)
i s (m-1)-connected,
Y(m)
*
Y(m+l)
n
i s P-local f o r a l l
HnY
t h a t t h e homology groups of Y(m)
+
T
m
and
Y(2) = Y .
Since
Y Z H Y(m) m
Y(m) = n Y m m
P)
t h a t the homology groups of
s t e p i s complete and
T
Y 2 H Y(n) n
and i s P-local.
to
C
a r e P-local,
p
disjoint
so t h a t the i n d u c t i v e
is P-local.
Proof of Proposition 1 . 2 . mod C , where
Y(m+l)
and
a
Thus we i n f e r (again using homology w i t h c o e f f i c i e n t s i n Z / p , w i t h from
Thus,
2 1, w e may assume i n d u c t i v e l y
a r e P-local.
i t follows t h a t
Y(m)
Since a P-isomorphism
is an isomorphism
i s t h e c l a s s of a b e l i a n t o r s i o n groups with t o r s i o n prime
P, Proposition 1 . 2 is merely a s p e c i a l case of t h e c l a s s i c a l Serre theorem.
We have thus proved t h a t ( i i ) t h a t (ii) * (i). counterimage of
f.
(iii) in Theorem 1 B .
We now prove
The o b s t r u c t i o n s t o t h e e x i s t e n c e and uniqueness of a g: X
-+
under
Z
Now, given ( i i ) (or ( i i i ) ) ,H,f of t h e map
Q
f*: [Y,Z]
C C , where
-+
[X,Z]
H,f
l i e in
H*(f;n,Z).
r e f e r s t o t h e homology groups
Thus (i) follows from the u n i v e r s a l c o e f f i c i e n t theorem f o r
cohomology and Proposition 1.1.8(v).
We now prove Theorem 1 A . of
f: X
-c
Y
in
H1
More s p e c i f i c a l l y , we prove t h e e x i s t e n c e
s a t i s f y i n g (iii). Since we know t h a t (iii) 3 (i), t h i s
w i l l prove Theorem 1 A .
Our argument is f a c i l i t a t e d by t h e following key
observation. Proposition 1.3.
Let
we have constructed
U be a f u l l subcategory of f: X
-+
Y
automatically y i e l d s a functor
satisfying l i i i ) . L: U
transfornation from the embedding U
-+
H1,
5 H1
Then the assignment X * Y
f o r which t o L.
f o r whose objects X
HI
f
provides a natural
Localization of 1-connectedCW-complexes
Proof of P r o p o s i t i o n 1 . 3 .
g: X
Let
-+
in
X'
U.
55
W e t h u s have a
diagram
Y in
H1
with
f, f'
Y'
satisfying ( i i i ) .
Since
f
s a t i s f i e s ( i ) and
P-local by P r o p o s i t i o n 1.1, we o b t a i n a unique ( i n
H1)
Y'
is
h 6 [Y,Y'] making
t h e diagram
I t i s now p l a i n t h a t t h e assignment
commutative.
desired functor
X
rf
Y, g* h
yields the
L.
We e x p l o i t P r o p o s i t i o n 1 . 3 t o prove, by i n d u c t i o n on may l o c a l i z e a l l n-dimensional
CW-complexes i n
H1.
n, t h a t w e
.If n = 2, t h e n such a
complex i s merely (up t o homotopy e q u i v a l e n c e ) a wedge of 2-spheres
x = v s2 , a
a
where
runs
through some index s e t , and w e d e f i n e
Y = VM( ZP,2), a
where map
M(A,2) f: X
+
fo: Xo + Y o dim X = n
Y
i s t h e Moore s p a c e having satisfying ( i i i ) . satisfying ( i i i ) i f
+ 1, X
€
H1.
H M = A. 2
There i s t h e n an e v i d e n t
Suppose now t h a t w e have c o n s t r u c t e d dim X
5 n , where
n 1 2 , and l e t
Then w e have a c o f i b r a t i o n
vsn R, xn i . x By t h e i n d u c t i v e h y p o t h e s i s and P r o p o s i t i o n 1 . 3 , we may embed (1.5) diagram
i n the
Localization of homotopy types
56
where fo, fl satisfy (iii) and the square in (1.6) homotopy-commutes. embeds Yo
Thus if j (1.6) by
f: X
+
Y
in the mapping cone Y of h, then we may complete
to a homotopy-commutative diagram and it is then easy
to prove (using the exactness of the localization of abelian groups) that f: X
+.
Y
also satisfies (iii).
(iii) if X
Thus we may construct f: X
+
Y satisfying
is (n+l)-dimensional, and the inductive step is complete.
It remains to construct f: X
-+
Y satisfying (iii) if X
is
infinite-dimensional. We have the inclusions
x2
cx3 2 . .
and may therefore construct
where f", fn+l
satisfy (iii).
We may even arrange that (1.7)
is strictly
If we define Y = UY(n), with the weak topology, n and the maps fn combine to yield a map f: X -+ Y which again
commutative for each n. then Y t H1
obviously satisfies (iii). Thus we have proved Theorem lA in the strong form that, to each X
in H1,
there exists f : X
-+
Y
in H1 satisfying (iii).
Finally, we complete the proof of Theorem 1B by showing that (i) = (iii).
Given f: X
-+
Y which P-localizes X, let fo: X
constructed t o satisfy (iii).
Then fo: X
+
Y
which one immediately deduces the existence of
-+
Y
be
also satisfies (i), from a
homotopy equivalence
Localization of 1-connectedCW-complexes
u: Yo
+.
Y with uf
= f.
It immediately follows that f also satisfies
(iii). Thus the proofs of Theorems l A , 1B are complete. We note that our proof of the first fundamental theorem does much more than establish the existence of a localization theory in H1;
it provides
us with a combinatorial recipe for constructing the localization of a given CW-complex. The Moore spaces S;
=
may be called P-ZocaZ n-spheres,
M(Zp,n)
and a cone on a P-local n-sphere may be called a P-ZocaZ (n+l)-ceZz.
Then,
given a cellular decomposition of X, we may--as shown in the proof of Theorem 1A--construct a P-ZocaZ-ceZZuZar decomposition of Xp by 'imitation'; that is, whenever, in building up X, we attach an n-cell to Y f : Sn-'
of a map to Yp
+.
$, we attach a P-local n-cell
Y, then, in building up
by means of the localized map
sn-l
fp:
(say) by means
P
-+
Yp.
We illustrate this
procedure by means of an example. Example 1.8. Let Sm
-+
E
-+
Sn
be an Sm-bundle over
S",
n
z
m, and let
m
a C T ~ ~ - ~) ( be S the characteristic (homotopy) class of the bundle.
it is well-known that E
Then
admits the cellular decomposition
E
=
sm ua
en
u
emh,
where we will not trouble to specify the attaching map f o r the top-dimensional cell. If m 1 2 we may now localize E Ep = S;
Ua
to obtain
nntl-n ep U ep
P
.
Let us consider,in particular, the Stiefel manifold Vn+l , 2 vectors to
S",
and let us assume that n
over Sn with fibre Sn-', a = 2 6 T~-~(S~-').
so
We obtain
of unit tangent
is even. Then 'n+1,2
that we may take E = V
n+1,2'
m = n
fibres
-
1, and
Localization of homotopy types
58
Suppose now t h a t
P
is t h e f a m i l y of a l l odd primes. Sn-'
s o t h a t i t is e a s y t o s e e t h a t
n ep
2p
Then
is i n v e r t i b l e ,
h a s t h e homotopy type o f a p o i n t .
It t h u s f o l l o w s from (1.9) t h a t
if
E = V n+1,2, n
even, and
f u r t h e r follows t h a t i f
[E,Y]
%
P
is t h e f a m i l y of odd primes.
It t h e r e f o r e
is a P - l o c a l space t h e n
Y
[I? ,Y] '2 [Sp 211-1,Y] '2 [ S 2n-1 , y ] =
P
Here t h e most s t r i k i n g f a c t is t h a t t h e s e t
[E,Y]
2n-1
y.
h a s acquired a v e r y n a t u r a l
a b e l i a n group s t r u c t u r e and h a s simply been i d e n t i f i e d w i t h a c e r t a i n homotopy group of
Y.
We have t h e f o l l o w i n g immediate c o r o l l a r i e s of t h e second fundamental theorem.
C o r o l l a r y 1.10.
Let
F
i s a f i b r e sequence i n
Proof.
-t
E + B
be a f i b r e sequence i n H1.
Then Fp
+
H1'
Of c o u r s e we a r e o n l y making t h e a s s e r t i o n up t o homotopy,
so t h a t our c l a i m amounts t o s a y i n g t h a t e x a c t sequence of homotopy groups.
Fp
-+
Ep
-t
Bp
induces t h e u s u a l
However t h i s f o l l o w s immediately from
P r o p o s i t i o n 1 . 1 . 7 and t h e e q u i v a l e n c e of (i) and (ii) i n Theorem 1B. S i m i l a r l y , r e p l a c i n g (ii) of Theorem 1B by ( i i i ) of Theorem lB,
we o b t a i n C o r o l l a r y 1.11. Let
5 + Yp
-+
Cp
Ep
X
+
Y
-+ C
be a cofibre sequence i n H1.
i s a cofibre sequence.
Then
+
B
P
Localization of I -connected CW-complexes
59
We now introduce an important definition. Definition 1.12.
A map
f: X
is called a P-equivalence if
in H1
Y
--f
fP
is a (homotopy) equivalence. Theorem 1.13. Let
primes.
f: X
Y in
+
H ,and l e t 1
P
be a non-empty f a m i l y of
Then the following statements are equivalent: (il (iil
f i s a ?-equivalence; f i s a p-equivalence f o r a l l
Q C
(iii) TInf i s a P-isomorphism f o r a l l n ( i v ) H f i s a P-isomorphism f o r a l l n
Proof.
By Whitehead's Theorem f
P; 2 1; 2 1.
is a P-equivalence iff n f n P
is an isomorphism for all n 1 1. By Theorem 1B it follows that
Thus the equivalence (i) (i)
Q
(iv).
(iii) follows from Theorem 1.3.1.
Theorem 1.3.12 ensures that
(nnf)p
TI
f = (nnf)p. n P
Similarly
is an isomorphism iff
(nnf) is an isomorphism for all p C P. Thus the equivalence of (i) P and (ii) readily follows. A further refinement is possible in the case in which
are of f i n i t e t y p e , that is, n
?
1. Notice that, in
IT
X and nnY
n
X and Y
are finitely generated for all
this is equivalent to asking that H X and
H1,
HnY be finitely generated. Theorem 1.14. Let
f: X
-+
Y i n H1 with X , Y
P be a non-empty f a m i l y of primes. f,:
Hn(X; Z/p) zz Hn(Y; Z/p) f o r Proof. Let
Z/p
f: X
+
Y
Then
of f i n i t e type, and l e t
f i s a P-equivalence i f f
p € P.
be a P-equivalence. Then, since, for p C P,
is P-local, it follows from Theorem 1B and PropOsftiOn I.1.8(ii)
we have a comutative diagram
that
Localization of homotopy types
60
Thus
is a n isomorphism; n o t i c e t h a t t h e i m p l i c a t i o n we have proved does
f,
not require t h a t
X, Y
It is i n t h e o p p o s i t e i m p l i c a t i o n
b e of f i n i t e type.
t h a t t h i s condition plays a decisive r o l e . induces
Hn(X; Z f p )
f,:
Hn(Y;
We w i l l prove t h a t
type,
H f n
Consider t h e diagram, f o r each
ZIP),
Thus w e suppose t h a t
n 2 1, p 6 P , where
i s a p-isomorphism,
f: X + Y
are of f i n i t e
X, Y
Hnf: HnX
H Y , n 11.
-+
n 5 1,
$
(1.15)
f
*n
t h e v e r t i c a l homomorphisms being induced by
f.
i t f o l l o w s t h a t we must prove t h a t each
is b i j e c t i v e and each :f
It f o l l o w s immediately from (1.15) t h a t e a c h
surjective. and each
f i
surjective.
It a l s o f o l l o w s from (1.15)
Suppose, i n d u c t i v e l y , t h a t we have shown Then
f:
By P r o p o s i t i o n 1 . 1 . 8 ( i i ) ,
Hrf: HrX
--t
fi,
is a p-isomorphism f o r
HrY
It t h u s f o l l o w s from (1.15) t h a t
bijective.
that
..., f C 1 r 5 n f:
-
f;
is injective
fi
is bijective.
bijective,
1, so t h a t
n Z 2.
f:-l
is
is b i j e c t i v e , and t h e i n d u c t i v e
s t e p i s complete. Since
H f
Theorem 1.13, t h a t
i s a p-isomorphism
f
for a l l
p € P , we conclude, from
is a P-equivalence.
Remark.
Theorems 1.13 and 1 . 1 4 show t h a t we have t h r e e p r a c t i c a l ways t o t e s t
if
+
f: X
Y
p-isomorphism
i s a P-equivalence. for a l l
We may t r y t o show t h a t
n Z 1, p € P; we may t r y t o show t h a t
II
f Hnf
is a
is a
Localizationof 1-connected CW-complexes
p-isomorphism for all n 1 I, p t P; or, if X, Y
are of finite type, we
have the potentially most practical procedure, namely to try to show that f,:
Hn(X; Z/p)
-+
Hn(Y; Z/p)
is an isomorphism for all n 1 1, p € P.
In the case when P is empty, we have the following evident modification of Theorem 1 . 1 3 . Theorem 1.16. Let
f: X
-+
Y i n H1.
Then the f o l l o w h q statements are
equivalent: (il (iil
f
i s a 0-equivaZence;
nnf
f i i i l Hnf ( i v ) f,:
i s a O-$somorphism f o r a12 n 2 1; is a 0-isomorphism f o r a l l Hn(X;Q)
2
H (Y;Q)
n 2 1;
for a12 n 2 1.
61
Localization of homotopy types
62
2.
Nilpotent spaces. It turns out that the category
is not adequate for the full
H1
exploitation of localization techniques.
This is due principally to the fact
that it does not respect function spaces. We know, following Milnor, that is a (pointed) CW-complex and W
if X
a finite (pointed) CW-complex, then
the function space Xw of pointed maps W
-+
X
has the homotopy type of a
CW-complex. However its components will, of course, fail to be 1-connected even if X Xw
is 1-connected. However, it turns out that the components of
are nilpotent if X
is nilpotent. Moreover, the category of nilpotent
CW-complexes is suitable for homotopy theory (as first pointed out by E. Dror), and for localization techniques [14,83]. Definition 2.1.
A connected CW-complex X
and operates nilpotently on
IT
is nilpotent if nlX
X for every n
is nilpotent
>_ 2.
n
Let NH be the homotopy category of nilpotent CW-complexes. Plainly NH
2
H1.
Moreover, thesimple CW-complexes are plainly in MH; in particular,
NH contains all connected Hopf spaces. It isalsonotdifficult tosee (Roitberg [69])
that, if G
is a nilpotent Lie group (not necessarily connected) then its
classifying space BG
is nilpotent in the sense of Definition 2.1.
We prove
the following basic theorem, which provides us with a further rich supply of nilpotent spaces. Theorem 2.2.
Let F
Then F C NH if
Proof.
-i
E
f
B be a fibration of connected CW-compzexes.
E €NH. We exploit the classical result that the homotopy sequence
of the fibration is a sequence of is
IT
IT
E-modules. 1
E-nilpotent of class icy then 1
IT
n
F
is
IT
We will prove that, if nnE F-nilpotent of class 5c 1
+
1.
Nilpotent spaces
63
(A mild modification of the argument is needed to prove that if
nilpotent of class Zc, then
71
F is nilpotent of class 5c 1
+
IT
E
is
1
1; we will
deal explicitly with the case n 1 2.) We will need the fact that and that the operation of I T ~ Eon
TI
E 1
F
IT
operates on
IT
B
through f,,
is such that
It will also be convenient to write IF, IE for the augmentation ideals of rlF,
IT
E. 1
Then the statement that anE is
IT
E-nilpotent of class 5c 1
translates into
Consider the exact sequence of
... and let S-CC=
,€ €
I;, a
€
a ~ B, c IT,+IB.
(i*n-.l)['a,
=
-IT
F.
Let
n+l B
IT
E-modules 1
- - a
IT
nF
Then i*(S.a) 11 €
i*
IT
=
nE
(i*c)*i,(a)
rlF. Then a((i*n-l).B)
( n - l ) c . c ~ , by ( 2 . 3 ) .
But
... = 0 =
by ( 2 . 4 ) .
(i,n-l).aB
(i*Q-l)*B = (f,i,n-l).B
=
Thus
=
0, SO
0. This shows that IC+'*~ F = (O), and thus the theorem is F n proved. Note that, in fact, our argument shows that, even if F is not (n-1)S-a
=
connected, each component of
F is nilpotent. F e w i l l feel free to invoke
this more general statement. Now let W be a finite connected CW-complex and let X be a connected CW-complex. Let Xw b e the function space of pointed maps W W + X and let Xfr be the function space of free maps. Choose a map W as base point and let g € XW (g€Xfr) of
g.
(XW ,g)((XfrW,g))
be the component
Localization of homotopy types
64
(Compare G. Whitehead [871 , Federer [ 2 6 1 . )
Theorem 2 . 5 .
( i ) (xw,g) i s nilpotent. W
liil
x
i s nilpotent i f
(xfr,g)
Proof. We may suppose t h a t ( i ) , ( i i ) are certainly true i f i n d u c t i o n on t h e dimension of
i s nitpotent. is a p o i n t .
Wo
i s 0-dimensional,
W
Thus t h e a s s e r t i o n s and w e w i l l argue by
We w i l l be c o n t e n t t o prove ( i ) . We have
W.
a cof i b r a t i o n
v is a wedge of
V
where
-+
wn
*
wn+l,
g i v i n g r i s e t o a f i b r a t i o n (where we d i s p l a y
n-spheres,
one component of t h e f i b r e )
where
w"+'-+
g:
Wn (X ,go)
X
and
g
= glw".
Our i n d u c t i v e h y p o t h e s i s i s t h a t
is n i l p o t e n t , so t h a t Theorem 2 . 2 e s t a b l i s h e s t h e i n d u c t i v e s t e p .
Let
Corollary 2 . 6 .
W
be a f i n i t e CW-comptex and
W (X ,g)
X € NH. Then
and
W (Xfr,g) are nilpotent.
Proof. L e t
Wo,
W1,
..., Wd
b e t h e components of
W, w i t h
o € Wo.
Then
xw =
x"0
x
;*
x
...
x
Xd'f r .
Since p l a i n l y a f i n i t e product of n i l p o t e n t s p a c e s is n i l p o t e n t , i t f o l l o w s that
W (X ,g)
is n i l p o t e n t .
Similarly
W (Xfr,g)
is n i l p o t e n t .
C o r o l l a r y 2 . 6 t h u s e s t a b l i s h e s ( i n view of M i l n o r ' s theorem) t h a t we s t a y i n s i d e t h e c a t e g o r y NH when we t a k e f u n c t i o n s p a c e s
X € NH and
f i n i t e , i n t h e s e n s e t h a t each component of
W
Xw
Xw
is i n
with
NH.
W e now proceed t o g i v e an important c h a r a c t e r i z a t i o n of n i l p o t e n t
spaces.
Let
X
be a connected CW-complex and l e t
-
...
(2.7)
Nilpotent spaces
- ...
P
xn 4 xn-l
be i t s Postnikov decomposition, so t h a t K(nnX,n).
65
-x1-0 i s a f i b r a t i o n with f i b r e
pn
W e s a y t h a t t h e Postnikov decomposition
refinement a t stage
x
(2.8)
n
qc.
Yc
=
n
where t h e f i b r e of
Let
decomposition of
if and only i f Proof.
TI
pn
may be f a c t o r e d as a product of f i b r a t i o n s
- -...
91
Y1
gi: Yi-l + K(Gi,n+l),
Y n o
.
K(Gi,n)
x
admits a principal refinement a t stage
X
operates n i l p o t e n t l y on
1
X
71
LK(Gi,n+l),
Since
IT
Y = (O), n o
TI
and
n ? 2
Suppose conversely t h a t W e consider
p :X n n
-t
Xn-l.
IT,X
Suppose
Then we may r e g a r d
i = 1,
X(=nlYi,05i5c) 1
rnYC = rnXn =
(stage 1)
n 2 2.
..., c , o p e r a t e s t r i v i a l l y on
Thus, by r e p e a t e d a p p l i c a t i o n s of t h e proof of Theorem 2.2,
o p e r a t e s n i l p o t e n t l y on
qi
( T I ~ Xi s n i l p o t e n t ) .
We w i l l be c o n t e n t t o g i v e t h e argument f o r
yi
IT
'n-1'
Then the Postnikov
f i r s t t h a t we have t h e p r i n c i p a l refinement (2.8).
as a fibration.
o
1 5 i 5 c.
be a connected CW-compZex.
X
Y
is an Eilenberg-MacLane s p a c e
qi
i s induced by a map Theorem 2 . 9 .
if
principal
admits a
nlX
X.
IT
is
IT
X-nilpotent of c l a s s 3. 1
Then, by t h e r e l a t i v e Hurewicz Theorem we have
a n a t u r a l isomorphism
where Thus
n+l
(p ) n
Gn+l(pn)
a s a n element of
i s o b t a i n e d from
I T ~ + ~ ( P , )by k i l l i n g t h e a c t i o n of
may be i d e n t i f i e d w i t h Hn+l
2 (pn;nnX/r rnX).
IT
2
n
X/r I T ~ X ,and h-'
Thus
h-l
nlXn.
may b e regarded
g i v e s rise t o a diagram
Localization of homotopy types
66
with
u b - 0.
If
u
induces
ql: Y
1 -+ Xn-1'
then
pn
factors a s
(2.10) with
q1
The homofopy sequence of (2.10) reduces t o
induced a s required.
rl replacing
Thus we may r e p e a t t h e above procedure, with
p
and,
n'
continuing i n t h i s way, we reach
xn
(2.11) each
qi
&
r yC
Yc-l
- -
being induced by a map
...
Yi-l
However, a l l t h e homotopy groups of
-f
r
o
Y2
Gi =
K(Gl,n+l), where
r
vanish, s o t h a t
n-1'
r innX/ri+lnnX.
i s a homotopy
equivalence, and (2.11) is e s s e n t i a l l y t h e p r i n c i p a l refinement a t s t a g e
n
whose e x i s t e n c e we set out t o prove. We would say t h a t t h e Postnikov system of
X
refinement i f i t admits a p r i n c i p a l refinement a t s t a g e
admits a principal
n
f o r every
n 2 1.
We then have the evident Corollary 2.12.
Let
X
be a connected CW-complex. Then X
i s nilpotent i f
and only i f i t s Postnikov system a h i t s a principal refinement. W e p o i n t out t h a t t h e s i m p l e spaces a r e i d e n t i f i e d , by t h e
correspondence i m p l i c i t i n t h i s c o r o l l a r y , with those spaces whose Postnikov system is i t s e l f principal.
Remark.
Once we have obtained a p r i n c i p a l refinement of t h e Postnikov system
of a space, t h e r e i s , of course, no d i f f i c u l t y i n obtaining f u r t h e r refinements,
Nilpotent spaces
which w i l l remain p r i n c i p a l .
61
Thus i f , f o r example,
i s of f i n i t e t y p e
X
and n i l p o t e n t we may r e f i n e i t s Postnikov system so t h a t each map
of t h e r e f i n e d system i s induced by some map
ZIP,
or
f o r some prime
Yi-l
+
f: E
i f a l l of IT
+
nlF).
To t h i s end we s a y
a r e connected ( s o t h a t
f,
maps
n E
1
F
onto
n i l p o t e n t l y on t h e homotopy groups of
f.
nlB),
and
( i n c l u d i n g , of c o u r s e ,
W e could a l s o e x p r e s s t h i s l a s t c o n d i t i o n by a s k i n g t h a t
by t a k i n g
A = Z
F , of ( p o i n t e d ) CW-complexes i s nilpotent
o p e r a t e s n i l p o t e n t l y on t h e homotopy groups of
E
1
Yi-l
p.
B, w i t h f i b r e
F, E, B
+
where
K(A,n+l)
We w i l l need a r e l a t i v e form of Theorem 2.9. t h a t a map
Yi
n E 1
operate
Note t h a t w e r e c o v e r D e f i n i t i o n 2 . 1
t o b e a p o i n t , provided w e adopt t h e r i g h t n o t i o n of n i l p o t e n c y
B
f o r t h e o p e r a t i o n of
T
E
1
on
TI
F.
Although we w i l l n o t need t h e g e n e r a l
1
case i n t h i s t e x t , w e now d e s c r i b e t h i s n o t i o n f o r t h e a c t i o n of a group
on a group
Q
With r e s p e c t t o such a n a c t i o n w e d e f i n e a lower central series
N.
as f o l l o w s (see H i l t o n [36]): rlN = N ,
Q
rrh
=
gp{(x.a)ba
Q
W e t h e n s a y t h a t t h e a c t i o n of
YC+lN = 11).
Q
N
N
i s commutative.
by c o n j u g a t i o n , t h e n
r% = r 9
nilpotent map, it f o l l o w s t h a t i f
i s nilpotent of class
b€N, i21. 5c
if
f
Note a l s o t h a t i f
i N.
Q = N
and o p e r a t e s
T h u s , w i t h o u r d e f i n i t i o n above of a
i s n i l p o t e n t , t h e n t h e f i b r e of
f
W e a l s o have t h e f o l l o w i n g f a i r l y e v i d e n t p r o p o s i t i o n .
nilpotent.
P r o p o s i t i o n 2.13.
connected f i b r e .
Proof. Q =
N
r iN ,
Note t h a t t h i s d e f i n i t i o n a g r e e s w i t h t h a t g i v e n i n 1.4 i n
t h e case i n which
on
on
-1 -1 b 1 , x C Q, a €
rlE, and
Let
f: E
+
B
Then, if E , B
be a map of connected CW-complexes with are nilpotent,
f
i s nilpotent.
We have a n e x a c t sequence of groups w i t h Q-action,
F = f i b r e of
f,
where
is
Localizationof homotopy types
68
...
+
IT
n+l
B - +IT F + n
E+ n
IT
...
+
s B
2
-+
TI
F +
1
E+ 1
TI
IT
B. 1
are nilpotent, slE operates nilpotently on nnB, TI E n for all n 2 1. Thus, if n 5_ 2 , the conclusion that IT E operates nilpotently 1 on n F follows from Proposition 1.4.3, since our definition of nilpotent
Now since E, B
action coincides, in the case of a commutative group, with that of 1.4. Thus the case n = 1 remains. We have an exact sequence IT
B-+n F+TIE
2
1
1
of Q-groups and the argument of Proposition 1.4.3 may be adapted to yield the result in this case in view of the fact that the image of n2B lies in the center of
IT
F.
1
It is, of course, necessary to take account of both facts
noted after the definition of a nilpotent Q-action. The relative form of Corollary 2.12 reads Theorem 2.14.
Let
f: E
+
B
be a map of connected CW-complexes inducing a
surjection of fundamental gruups.
Then f i s niZpotent i f and only i f i t s
Moore-Postnikou system admits a principal refinement.
be the Moore-Postnikov system of f .
Now if pn may be factored as in ( 2 . 8 ) ,
we obtain a sequence of extensions of n E-modules
Gi>where Gi
nYi
IT
-
1
nnYi-l, i
*
1,
is a trivial module. Now the fibre of
an Eilenberg-MacLane space K(Hi,n) an extension of
nlE-modules
..., c,
is i = ql’”qi: Yi Y and the relation siqi+l = si+l yields s
-+
69
Nilpotent spaces where Ho = {O}, Hc
=
~ l ~ = + n~ F. p ~ It follows from (2.15) and Proposition
1.4.3, by an easy induction, that
TI
F is a nilpotent
n
~l
1E-module.
(The
case n = 1 is again slightly special, but we will omit the details in this case.) The converse implication is proved exactly as in the absolute case; see the Proof of Theorem 2 . 9 . Before proceeding to discuss how to intr0duce.a localization theory Here we confine
into NH we show how Serre's C-theory may be applied to NH.
attention to the absolute case, since the relative case requires stronger axioms on a Serre class, as is already familiar in the classical case of the Thus we will be considering generalized Serre classes in the
category H1.
sense of Definition 1.5.1.
We prove the one basic theorem which we need in
the sequel. Theorem 2.16.
Let
X E NHand l e t
be a generalized Serre class.
C
Then
the following assertions are equivalent: (il
T I ~ Xf
C for a l l
(ii) HnX E C f o r all n (iii) nlx c cover of
1
n Z
c and H ~ Xc c
1
for a l l
n 2 1, where
X
i s the u n i v e r s a ~
X.
Proof.
We need two lemmas, which are interesting in their own right.
The first is a generalization (to general m?l) of Theorem 1.4.17, though we here only state the result for homology with integer coefficients. Lemma 2.17.
If
~l
acts n i l p o t m t t y on the abelian group
A, then
n
acts
nilpotently on Hn(A,m), n 1 0 .
Proof. n-series of A
Let 0 = rC+'A
5 rCA 5
... 5 I-1A = A
(see Section 1.41, and write Ai = r iA
be the lower central for convenience,
Note that each Ai is a nilpotent a-module, of class less than that of A
Localization of homotopy types
70
if
i 2 2.
Moreover,
a
a c t s t r i v i a l l y on
Ai/Ai+l.
We have a s p e c t r a l
sequence of a-modules,
converging ( f i n i t e l y ) t o t h e graded group a s s o c i a t e d w i t h filtered.
I f w e assume i n d u c t i v e l y t h a t
i t o p e r a t e s n i l p o t e n t l y on
n i l p o t e n t l y on
Hn(%) where
K(nmX,m) + that TI
x
E2 whence i t r e a d i l y f o l l o w s t h a t P4'
X € NH and Zet
a = nlX.
i s the universaZ cover of
Proof.
o p e r a t e s n i l p o t e n t l y on
operates
X.
m Z 2 , where
X
1
= 0.
%. We
o p e r a t e s n i l p o t e n t l y on t h e homology of
have a f i b r a t i o n
Thus we may suppose i n d u c t i v e l y
o p e r a t e s n i l p o t e n t l y on t h e homology of
IT
Hq(Ai+l,m),
Then a operates n i l p o t e n t l y on
Consider t h e Postnikov system of
+ Xm-l,
IT
suitably
completing t h e i n d u c t i v e s t e p .
Hn(Ai,m),
Let
Lemma 2.18.
a
Hn(Ai,m),
%m-l
and, by Lemma 2.17,
K(nmX,m).
We ?iave a s p e c t r a l
sequence of n-modules
converging ( f i n i t e l y ) t o t h e graded group a s s o c i a t e d w i t h filtered.
We s e e immediately t h a t
i t r e a d i l y follows t h a t
the inductive step.
IT
Sihce
a
o p e r a t e s n i l p o t e n t l y on
o p e r a t e s n i l p o t e n t l y on
k
+
Hnk,
imi s m-connected,
Hnim.
suitably
EL
P4'
whence
This completes
the c o n c l u s i o n of t h e
lemma f o l l o w s . We now r e t u r n t o t h e proof of Theorem 2.16. (i)0 (iii) is c l a s s i c a l , s i n c e t h e a b e l i a n groups i n
c l a s s i n t h e o r i g i n a l sense.
(ii)
0
(iii).
Of c o u r s e , t h e e q u i v a l e n c e
c
constitute a Serre
Thus we may complete t h e proof by showing t h a t
For t h i s we invoke t h e s p e c t r a l sequence of t h e covering
I n t h i s s p e c t r a l sequence we have
k*
X.
Nilpotent spaces
71
and t h e s p e c t r a l sequence converges t o t h e graded g oup a s o c i a ed w i t h a ( f i n i t e ) f i l t r a t i o n of
HnX.
By Lemma 2 . 1 8 and Theorem 1 . 5 . 6
Assume, t h e n , t h a t ( i i i ) h o l d s .
EL C C u n l e s s p + q = 0. I t t h e r e f o r e q u i c k l y follows t h a t P4 n 2 1. Assume now, c o n v e r s e l y , t h a t ( i i ) h o l d s . By P r o p o s i t i o n
we i n f e r t h a t
c,
H X f
1.5.2 we know t h a t
TI = II
X C C.
1
( i f s u c h e x i s t s ) such t h a t
E2
infer that
f
Pq
c
H
q
q c s
if
q = s 2 2
Let
2 fC
.
b e t h e s m a l l e s t v a l u e of
By Lemma 2.18 and Theorem 1.5.6 we
(unless
p
+
q = 0)
2
and t h a t
Eos
f C.
Consider t h e diagram, e x t r a c t e d from t h e s p e c t r a l sequence,
I
Es+l
s+l,O Then, by t h e axioms of a S e r r e class, each of
c , while
belongs t o 3 EoS,
..., Eoss+l, EEs
E2
0s
r' c.
2 E2,s-l,
3
..., Es+l s+l ,0
E3,s-2,
We t h u s deduce, s u c c e s s i v e l y , t h a t
do n o t belong t o
C.
But
E:s
i s a subgroup of
HsX,
which b e l o n g s t o C , s o t h a t w e have a r r i v e d a t a c o n t r a d i c t i o n . Theorem 2.16 w i l l , i n p a r t i c u l a r , be a p p l i e d i n t h e s e q u e l t o t h e c a s e i n which Remark.
(2.19)
c
i s t h e class of f i n i t e l y g e n e r a t e d n i l p o t e n t groups.
It is e a s y t o see t h a t t h e converse of Lemma 2.18 h o l d s .
Let
X be a connected CW-complez.
Then X f NH i f
nlX
That i s ,
is
nilpotent and operates nilpotently on the homology groups of the universal cover of
X. However, no use w i l l b e made of (2.19) i n t h e s e q u e l .
q
Localization of homotopy types
12
3. Localization of nilpotent complexes. In this section we extend Theorems 1A and 1B from the category
H1
to the category NH. To do so we need, of course, to have the notion of the localization of nilpotent groups, which was developed in Chapter I. We are thus able to make the following definition. Let X ENH. Then X
Definition 3.1.
all n 2 1. A map
X is P-local for n in Ni P-localizes if Y is P-local and
f: X + Y
is P-local if
TI
f*: [Y,Z] s [ X , Z ] for all P-local
in NH.
Then the main theorems of this section extend the enunciations of Theorems lA, 1B from H1
to NH.
Theorem 3A (First fundamental theorem in NH.)EVery
X in NH admits a
P-localization. Theorem 3B (Second fundamental theorem in NH.) Let f: X
-f
Y in NH. Then
the following statements are equivalent: li)
f P-localizes X;
(iil vnf: snx+nnY (iii) Hnf: HnX
+.
P-localizes f o r all n P 1;
HnY P-localizes for all n P 1.
The pattern of proof of these theorems will closely resemble that of Theorems lA, 1B. However, an important difference is that the construction of localization in NH
does not proceed cellularly, as in the 1-connected case,
but via a principal refinement of the Postnikov system. We first prove that universal covers of X, Y
so
(ii)
=3
(iii) in Theorem 3 B .
that we have a diagram
Let X, i! be the
Localization of nilpotent complexes
2
73
-X
K(nlX,l)
Y
Jfl K(slY,l)
Ii-If-
(3.2)
Y Since
induces localization in homotopy, it induces localization in homology
by Theorem 1B. Moreover, we obtain from ( 3 . 2 ) a map of spectral sequences 2
which i s , at the E -level, (3.3)
By Lemma 2.18 n X operates nilpotently on H and alY operates nilpotently 1 q on H 9 . We thus infer from Theorem 1 . 4 . 1 2 , together with Theorem 1 . 2 . 9 q
if q = 0, that ( 3 . 3 ) is localization unless p = q = 0. Passing through the spectral sequences and the appropriate filtrations of HnR, Hna, we infer that Hnf localizes if n 2 1. Now let ( i ' )be the statement: f*: [Y,Z] Z in
Zi
[X,Z]
f o r aZZ P-zOCUZ
NH.
-
Note that this statement differs from (i) only in not requiring that
Y be P-local. We prove that (iii) (ii)=a
(i').
This will, of course, imply that
(0. If Z i s P-local nilpotent, then we may find a principal refinement
of its Postnikov system. Moreover this principal refinement may be chosen that the fibre at each stage is a space K(A,n),
where A
so
is P-local abelian.
For, as we saw i n the proof of Theorem 2 . 9 , we may take A = riITnZ/ri+'anZ for some i , and we know (Theorem 1 . 2 . 7 ) that P-local. Given g: X
+
r iB
i s P-local if
B is
Z, the obstructions to the existence and uniqueness
of a counterimage to g under f* will thus lie in the groups H*(f;A)
and,
as in the corresponding argument in the 1-connected case (note that we have trivial coefficients here, too), these groups will vanish if f induces P-localization in homology.
Localization of honiotopy types
14
Next we proceed to prove Theorem 3A, via a key observation playing the role of Proposition 1.3. Proposition 3 . 4 .
Let
U be a f u l l subcategory of
have constructed
f: X
-+
Y
s a t i s f y i n g (ii). Then t h e assignment
automatically y i e l d s a functor
L: U
transformation from the embedding
diagram
-+
X
r+
X
we
Y
NH,f o r which f provides a natural
U LNH t o
Proof of Proposition 3 . 4 .
L.
Let g : X
+
X' in U.
We thus have a
If If
in NH,where
x
X'
Y
Y'
f, f' satisfy (ii).
,fi
(3.5)
satisfies (i) and Y'
Then f
P-local, so that there exists a unique h
commutes.
NH, f o r whose o b j e c t s
Y
is
in NH such that the diagram
If'
Y'
It i s now plain that the assignment X I + Y, g * h yields the
desired functor L. We now exploit Proposition 3 . 4 to prove Theorem 3A. consider spaces X
in
We first
NH yielding a f i n i t e refined principal Postnikov
system and, for those, we argue by induction on the height of the system. Thus we may assume that we have a principal (induced) fibration
where G
is abelian even if n = 1, and we may suppose that we have constructed
f ' : X ' + Y'
satisfying (ii).
(The induction starts with X ' =
0.)
Since
Localization of nilpotent complexes
75
( 3 . 6 ) i s induced, we may, i n f a c t , assume a f i b r a t i o n
-
X Now we may c e r t a i n l y l o c a l i z e
i s t h e l o c a l i z a t i o n of
X'
K(G,n+l); we o b t a i n
-
X'
be t h e f i b r e of
K(Gp,n+l), where
Gp
K(G,n+l)
If'-
Y' Y
K(G,n+l)
and s o , by P r o p o s i t i o n 3 . 4 , w e have a diagram
G
x
Let
-&
h
K(Gp,n+l)
There i s then a map
h.
f: X
-+
Y
rendering t h e
diagram X --+
X'
K(G,n+l)
Y
Y'
K(Gp,n+l)
4f -4f' A
commutative i n NH and a s t r a i g h t f o r w a r d a p p l i c a t i o n of t h e exact homotopy sequence shows t h a t
f
satisfies ( i i ) .
It remains t o consider t h e case i n which t h e r e f i n e d p r i n c i p a l Postnikov system of
has i n f i n i t e height ( t h i s i s , of course,the ' g e n e r a l ' c a s e ! ) .
X
Thus we have p r i n c i p a l f i b r a t i o n s
...
(3.7)
-
g
Xi
4-XiWl
and t h e r e i s a weak homotopy equivalence
- ...
X
*
0
Lim Xi.
Now w e may apply t h e reasoning already given t o embed ( 3 . 7 ) i n t h e diagram, commutative i n
NH,
... -xi
gi. I
- ...
0
(3.8)
where each
fi
satisfies (ii).
Moreover, w e may suppose t h a t each
hi
is
Localization of hornotopy types
16
a f i b r e map. of
@Yi.
Let
Y
be t h e geometric r e a l i z a t i o n of the s i n g u l a r complex
Then t h e r e is a map
is homotopy-commutative.
f: X
-+
such t h a t t h e diagram
Y
Moreover, t h e construction of (3.8) shows t h a t t h e
Y -sequence is again a r e f i n e d p r i n c i p a l Postnikov system, from which i t i
r e a d i l y follows t h a t
is i n NH.
@ fi
satisfies (ii).
So t h e r e f o r e does
f , and
f
Thus we have completed t h e proof of Theorem 3A i n t h e s t r o n g e r form
t h a t t h e r e e x i s t s , f o r each The proof t h a t (i) t h e category
H1.
X =)
i n NH, a map
f: X
-+
Y
in NH s a t i s f y i n g (ii).
( i i ) proceeds exactly a s i n t h e e a s i e r case of
Thus we have e s t a b l i s h e d t h e following s e t of i m p l i c a t i o n s ,
r e l a t i n g t o Theorem 3B:
(3.9)
(ii) = (iii), ( i i i ) * (if), (ii)
=)
(i), (i)
=a
(ii).
All t h a t remains is t o prove t h e following p r o p o s i t i o n , f o r then we w i l l be a b l e t o i n f e r t h a t , i n f a c t , (iii) =. (i) Proposition 3.10.
is P-local f o r every n 1 1, then n Y
If Y C NH and HnY
is P-local f o r every n
?
. n
1.
To prove t h i s , we invoke Dror's theorem, which we, i n f a c t , reprove s i n c e i t follows immediately from (3.9). P
- n,
where
n
Thus we consider t h e s p e c i a l case
is t h e c o l l e c t i o n of a l l primes.
Then a homomorphism of
( n i l p o t e n t , abelian) groups Il-localizes i f and only i f i t i s an isomorphism. Moreover, every space i n NH is II-local, so t h a t , i n t h i s s p e c i a l c a s e , t h e d i s t i n c t i o n between (if) and (i) disappears. t h e equivalence of (ii) and ( i i i ) f o r
P =
n,
Thus (3.9) implies, i n p a r t i c u l a r , which i s Dror's theorem.
Localization of nilpotent complexes We construct f: Y
Now we prove Proposition 3.10. (ii).
I1
It thus also satisfies (iii); but HnY i s P-local,
so
+
Z satisfying
that f induces
an isomorphism in homology. By Dror's theorem, f
induces an isomorphism in
homotopy. However, the homotopy of Z i s P-local,
so
that Proposition 3.10
is proved, and, with it, the proof of Theorems 3A and 3B is complete.
Remark. Of course, we do not need the elaborate machinery assembled in this section to prove Dror's theorem. In particular, Theorem 3A is banal for P
-
IT, since, then, the identity X
-r
X n-localizes!
The fact that we have both the homotopy criterion (ii) and the f
homology criterion (iii) of Theorem 3B for detecting the localizing map enables us to derive some immediate conclusions. For example we may use (ii) to prove
Theorem 3.11. If X i s nilpotent and
W connected f i n i t e a d i f
localizes, then fw : (Xw ,g) (Yw,fg) localizes, where W and (X ,g) i s the component of xW containing g. +-
f: X
-+
Y
w x
g i s any map
-t
Proof. We argue just as inthe proofs of Theorem 2.5 and Corollary 2.6, using Theorem 3.12 below. A similar result holds for
W Xfr
(Roitberg [ 6 9 ] ) ; thus we may
remove the condition that W be connected in the theorem. We also note that
-
the theorem implies that H(Fp) = E(F)p
-
where F € NH is finite and H
is
the identity component of the space of (free or pointed) self-homotopy-equivalences. Theorem 3.12. Let
F
+-
E
+
B be a f i b r e sequence i n NH.
Then Fp
+
Ep
-+
is a f i b r e sequence i n tti. Theorem 3.13.
Then
% + Yp -+
Let
X
+
Y
-+
C be a cofibre sequence i n NH. With
c
Cp is a cofibre sequence i n NH.
These two theorems are proved exactly in the manner of their counterparts in H~
(Corollaries 1.10, 1.11).
Our reason for
H1-
Bp
Localization of homotopy types
I8
imposing i n Theorem 3.13 t h e condition
C
proof t h a t , i n general, t h e c o f i b r e of
5
If
7
i s t h a t w e have given no
E H1 -t
is necessarily nilpotent.
Yp
were t h i s c o f i b r e , we would, of course, have a homology equivalence
H1
k k e w i s e Theorens1.13, 1.14, and 1.16 extend from
t o NH; we
w i l l f e e l f r e e t o quote them i n t h e sequel in t h i s extended context. Given
k
X C NH l e t
component of t h e loop space of be t h e supension of a l l belong t o
X.
b e the u n i v e r s a l cover of
X
X, l e t
ZX
be t h e
containing t h e constant loop, and l e t
k , PX
It i s , of course, t r i v i a l t h a t
NH ( f o r t h i s we do not even need t h a t
X
and
CX
EX
i t s e l f be n i l p o t e n t ! ) .
We then have Theorem 3.14.
(i)
N
($)
ru
(k)p; (ii) E ( X p ) =
Proof. To prove (i) that
B
we l i f t
e: X
3
(zX)p; ( i i i j to
Xp
E:
s a t i s f i e s c r i t e r i o n (ii) of Theorem 3B (or 1B).
follow immediately from Theorems 3.12, 3.13 r e s p e c t i v e l y .
k
Z(%)
3
rr/
3
(ZX),.
and observe
(X,)
P a r t s (ii) and (iii) Notice t h a t
Theorem 3.14(i) has t h e following g e n e r a l i z a t i o n ; r e c a l l t h a t l o c a l i z a t i o n preserves subgroups (Theorem 1.2.4). Theorem 3.15.
Let
covering space o f of
3
X E NH and Let
be a subgroup of
X corresponding t o Q and l e t
corresponding t o Q,.
P-ZocaZizes.
Q
Then e : X
+
5
2
nlX.
Let
Y
be the
be the covering space
l i f t s to
e: Y
-+
Z
which
Quasifinite nilpotent spaces
19
4. Quasifinite nilpotent spaces. In this short section we present a result which will enable us to prove an important modification of the main theorem (The Pullback Theorem) of is of f i n i t e type if anX is finitely
Section 5. Let X € hkl. We say that X generated for all n 2 1 and that X
is q u a s i f i n i t e if X is of finite type
and moreover H X = {O}
for n
and H X = {O}
N, we will say that X has homological dimension
for n
and may write dim X
(iil
x
3-l
N.
i s of f i n i t e type;
H X i s f i n i t e Z y generated f o r n
(iii) X
is quasifinite
X € NH. Then the following statements are equivalent:
Theorem 4.1. Let
(i)
5
sufficiently large. If X
N
Y, where
Y
n 1 1;
i s a CW-complex with f i n i t e skeleta.
Proof. The equivalence of (i) and (ii) follows from Theorem 2.16. That (iii) implies (ii) is trivial. We prove that (i) implies (iii).
Since
nlX is finitely-generatednilpotent, the integral group ring Z[alX]
is
noetherian. Moreover, if
x
Is
the universal cover of X, Hi?
is certainly
finitely-generated over Z [ n X I , being, in fact, finitely-generated as abelian 1 group. Thus (iii) follows from Wall's Theorem (p. 61 of [ S S ] ) . From Theorem 4.1 we deduce the result in which we will be interested in the next section. Theorem 4.2. Let f:
x
-+
x
X 6 NH. Then X i s q u a s i f i n i t e i f f there e x i s t s a map
o f a f i n i t e CW-complex i n t o X inducing isomorphisms i n homology.
Proof.
It is obvious (in the light of the equivalence of (i) and
(ii) in Theorem 4.1) that the existence of such a map quasifinite. Suppose conversely that X
f
implies that X
is
is quasifinite. By Theorem 4.1 we
Localization of homotopy types
80
may assume that each skeleton of X
is finite. If dim X 5 N, we will show
that we can attach a finite number of (N+l)-cells to XN to obtain a finite complex X such that the inclusion XN 5 X extends to f: .+ X inducing
-
x
homology isomorphisms. We have a diagram
where the vertical arrows are Hurewicz homomorphisms. Now %+l(X,X N) , as a N subgroup of H# , is free abelian and finitely-generated. Let B be a basis N N for s+l(X,X ) and let be a subset of K~+~(X,X) mapped by h bijectively to B. Attach (N+l)-cells to XN by maps in the classes ab, b € B, to form X. It is then obvious that the inclusion XN 5 X‘ extends to a map X -+ X.
-
Let f:
x
+
X be any such extension.
N It is plain that f induces an isomorphism s + p , x ) It follows almost immediately that %+lX isomorphism
HN”; % €$X.
Corollary 4 . 3 . 4.2.
Let
-
=
?2 5
N + p , x 1.
{O}, and that f induces an
This completes the proof of the theorem.
X € NH be q u a s i f i n i t e and l e t
f:
x
.+
X be a s i n Theorem
Then
f*: [X,Y] for all
Y
E
[X,Y]
NH.
-.Proof. Construct
a
principal refinement
... -Yi & Yi-l
-
* *.
of the Postnikov tower of Y. Then, if the fibre of
gi
is K(Gi,ni),
nil 1, the pbstructiomto the existence and uniqueness of a counterimage,
Quasifinite nilpotent spaces
under i
=
f*, of an arbitrary element of
1, 2,
..., r
= ni
+
1
or
ni.
these cohomology groups all vanish.
[x,Y]
Since
f
will all be in Hr(f;Gi), induces homology isomorphisms,
81
Localization of homotopy types
82
5. The Main (Pullback) Theorem. We will denote by X
the p-localization of the nilpotent CW-complex P X; by e the canonical map X + X where p E II, or p = 0; by r : X X P P) P P 0 the rationalization, p E n , and by can ('canonical map') the function -+
[W,Xp]
[W,Xo] induced by
-+
r P
.
We also denote by
g P
the p-localization of
a map g. Theorem 5.1. (The Pullback Theorem). and
Let
W be a connected f i n i t e CW-complex
X a n i l p o t e n t CW-complex of f i n i t e type.
pullback of the diagram of s e t s
{[W,Xpl
Then the 3et [w,x0i
IP
E
[W,X] i s the
ni.
It will follow that, under the conditions stated, X is determined r by the family {X a Xolp E n). Indeed, X is the unique object in the P homotopy category of connected CW-coriplexes which represents the functor
{[W,X 3 + [W,X ]Ip E II} from the category of connected finite P CW-complexes to the category of pointed sets.
W
I+
pullback
Our main theorem also implies, in the light of Corollary 4 . 3 , that, for X
as in Theorem 5.1 and W now quasifinite nilpotent, a map
g:
W+ X
is completely determined (up to homotopy) by the family of its p-localizations {gplp E rI),
and, conversely, a family of maps
a unique homotopy class g: W the maps g(p)
-+
rationalize to
X with a
{g(p):
X Ip E n) determines P for all p, provided that We
-t
g N g(p) P common homotopy class not depending on p.
Therefore the situation is analogous to that in the theory of localization of finitely-generated nilpotent groups (Theorem 1.3.6).
Indeed, this algebraic
fact provides one with an easy proof of Theorem 5.1 in case W or X
is a suspension
a loop space, in view of Theorem 3B. The method we use to prove Theorem 5.1 is the localization of function
spaces (Theorem 3.11), which enables us to prove the result by induction on the number of cells of the CW-complex W.
The main (pullback) theoreni
Definition 5.2. g,:
g: X
A map
-f
Y
83
i n NH i s an F-monomorphism i f
i s i n j e c t i v e f o r a l l connected f i n i t e CW-complexes
[W,X]+ [W,Y]
2: X
W.
IIX t h e map with components { e p l p C rI]. We P prove one h a l f of Theorem 5.1, b u t , f o r t h i s h a l f , remove a f i n i t e n e s s Denote by
r e s t r i c t i o n on
Theorem 5.3.
2: X
IIX
-+
P
+
(Compare Theorem 1.3.6.)
X.
Then t h e canonical map
be a n i l p o t e n t CW-complex.
X
Let
is an F-monomorphism.
Proof.
W e have t o show t h a t
f o r an a r b i t r a r y f i n i t e CW-complex
[W,X] If
W.
the cofibration
Sn-l
+
Z l[W,X ]
P
i s injective
i s a f i n i t e wedge of s p h e r e s ,
W
i:W
Given
3
W = V U en
W , and assume
V + W.
P
Hence we can proceed by induction
t h e theorem follows from Theorem 1.3.6.
on the number of c e l l s of
[WJX
-+
-+
X, l e t
n 2 2.
with
We consider
g = g l V ; we g e t a f i b r a t i o n ,
up t o homotopy, ( i n which we e x h i b i t one component of t h e f i b r e )
(x',E)
+
(xv,g)
+
p-1 (X ,o), n 2 . 2 ,
giving r i s e t o a diagram with exact rows
Here and l a t e r where
h
[W,X]g
[
, Ih
s e r v e s a s basepoint f o r t h i s s e t .
6
i
and, by exactness, the o r b i t of
which a r e homotopic t o that
denotes t h e s e t of (based) homotopy c l a s s e s of maps
g
Notice t h a t
i m $'
when r e s t r i c t e d t o
g'
i m $J g
X
o p e r a t e s on
c o n s i s t s p r e c i s e l y of t h o s e maps
i s i n j e c t i v e , and we have t o show t h a t
i n j e c t i v e and s i n c e
71
V.
By induction we may assume y-'(Yp)
=
g.
Since
a r e t h e i s o t r o p y subgroups d
r e s p e c t i v e l y , i t follows t h a t the s e t
Y
-1
(YE)
i,
6
is
Ispi)
i s i n one-one correspondence
Localization of homotopy types
84
with the set ker (coker $ localize their domain and
g
-+
so,
coker J, ) . The components of B clearly all g too, do those of a by Theorem 3.11. Therefore
the cokernel of J, splits into a product of p-local groups and the map g coker 0 + coker J, has components which p-localize. Hence g
ker (coker 0 g required.
+
coker J, ) = I01 by Theorem 1.3.6, and y
-1
g
(yp) =
9,
as
Notice that no finiteness conditions on X were needed for this argument. But if the space X is of finite type then, by following the lines of the proof of Theorem 5.3,we obtain the following corollary. Corollary 5.4.
Suppose W is a connected f i n i t e CW-complex and X a
nilpotent CW-complex of f i n i t e type.
Let
S
5 T denote s e t s of primes.
Then: a)
The canonical map
[W,XT]
b ) The canonical map
f i n i t e l y many primes c)
map
+
[W,Xs] is finite-to-one.
[W,Xp] + [W,Xo] i s one-one f o r a l l but
p.
There e x i s t s a c o f i n i t e s e t of primes Q such that the canonicaZ
[W,XQl -+ [W,X
I
i s one-one.
Notice also that we may replace the partition of I7 into singleton sets of primes, in the enunciation of Theorem 5.3, by any partition of lT. We now illustrate, by means of an example, the fact that, even when A
X is a sphere, the map X A n X is not a monomorphism in the homotopy P category of a l l CW-complexes
.
Proposition 5.5.
Let
W = (Si
V
S;)UAen+l
non-empty complementq s e t s of primes, and Then there is an essential map primes
p.
K:
w + sn+'
where n 1. 2, R and A = (1,l) C nn(S;
such t h a t
K.
P
T are
v $j
= o for a l l
The main (pullback) theorem
Proof.
Let
W
K:
+
Sn+'
85
be the collapsing map and consider the
Puppe sequence
Then, for all primes p, E X (CS;)p
or
wP "4. sP n But, were
K
cA
has a left homotopy-inverse since either P is homotopy equivalent to S*l. From the cofibration P
= 0 for all p. P = 0, this would imply that ZX had a left homotopy-inverse and
+ 1 4 (CS;
V
Cs;Ip
we conclude that
K.
hence, by taking homology, Z would be a direct summand of ZR @ZT which rISn+l i s not a monomorphism. P We now complete the proof of Theorem 5 . 1 .
i s absurd. Thus
Theorem 5 . 6 .
Let
Sn+'
-+
W be a connected f i n i t e CW-complex and X a nilpotent
CW-complex of f i n i t e type. p C I'l U {O],
such that
i s the canonical map. that e g P
= g(p)
Proof.
Suppose given a f a m i l y of maps
g(p):
W
-+
xP'
n. g(0) f o r a21 p f Il where r : X + X P P P 0 Then there i s a unique homotopy class g: W - + X such
r g(p)
for all
p.
Uniqueness has already been proved in Theorem 5.3,
have only to prove the existence of g.
If W
then the theorem follows from Theorem 1.3.6.
so
we
is a finite wedge of spheres,
Hence we proceed again by
induction. Let W = VUXen, n 1 2 , and assume that we have constructed g': V such that epg'
= g(p)
IV for all p.
such an extension exists since by Theorem 5.3.
(g'k)p
Let
i:W +X
be an extension of g';
0 for all p and hence g'A = 0
Now consider the diagram
+
X
Localization of homotopy types
86
7 U {O) p C l
For each a(p)
*
t h e r e i s a unique
*
epp = g ( p ) , t h e
on t h e set
0
-1
(epg').
d e n o t i n g t h e f a i t h f u l a c t i o n of
Note t h a t
used t o prove Theorem 5 . 3 . action
x
a ( p ) C coker $ g l ( p )
coker $ , ( p ) e' (coker $ g g
Further, since
eog(p)
is f a i t h f u l , i t f o l l o w s t h a t each
C=
g(0)
,p
such t h a t
coker $
(p)
by t h e argument
P C
g'
n, and
the
n, r a t i o n a l i z e s
a(p), p C
to
coker $ i s f i n i t e l y g e n e r a t e d , i t f o l l o w s from Theorem 1.3.6 g t h a t t h e family {o(p)} C n(coker $ ) d e t e r m i n e s a unique element g' P a C coker $ which p - l o c a l i z e s t o a ( p ) f o r a l l p . By n a t u r a l i t y w e g' a(O),
Since
conclude t h a t
a x
h a s t h e p r o p e r t i e s r e q u i r e d of
g.
P u t t i n g t o g e t h e r Theorems 5 . 3 and 5.6 w e o b t a i n our main r e s u l t , Theorem 5.1.
One can, of c o u r s e , g e n e r a l i z e Theorem 5.1, w i t h o u t changing a n y t h i n g e s s e n t i a l i n i t s p r o o f , t o t h e case of a n a r b i t r a r y p a r t i t i o n of mutually d i s j o i n t famil ies
Pi
Il i n t o
of primes.
I n o r d e r t o deduce t h e e x i s t e n c e of certain g l o b a l s t r u c t u r e s on o u t of given s t r u c t u r e s on t h e
X Is, as w e w i l l w i s h t o do i n Chapter 111, P
i t i s p a r t i c u l a r l y u s e f u l t o know how t o c o n s t r u c t
i n a " t o p o l o g i c a l " way.
We w i l l d e n o t e by
s i n g u l a r complex of
.
map, and
p:
Xo
w i l l assume t h a t
-r
l7X P
by
Exp r:
X
o u t of t h e maps
xp +. xo
t h e geometric r e a l i z a t i o n of the
EXP - + ~ X p ) ot,h e
rationalization
EX
l o c a l i z e d a t 0. We P are f i b r a t i o n s (without changing t h e n o t a t i o n ) ,
t h e c a n o n i c a l map
r
p
by a l t e r i n g t h e domains of Theorem 5 . 7 .
There are maps
&p)o, and
X
r
and
p
X
+
in t h e u s u a l way.
Suppose X i s a nilpotent CW-complex of f i n i t e type.
51 the topologiaal pullback
of
Xo
ex
) PO
&EX
P
Denote
, Then t h e canonical
The main (pullback) theorem
map
X
+
x
a7
is a homotopy equivaZence.
Proof.
Consider t h e p u l l b a c k
-
square
The "Mayer-Vietoris" sequence i n homotopy g i v e s a n e x a c t sequence
... r n iTi (5.8)
where
@
... - n p xiX
- -
nixo
nn.x 1 P
mnix)o
(n X ) x (rrn X ) l o 1 P
i s f i n i t e l y generated.
The maps
.1 -
n,rr
nn are a l l p u l l b a c k diagrams.
a g a i n by Theorem 1.3.7.
x
mnlxp)o,
r*
,
i 2 2,
defined f o r
n
x
io
i l l
(Trn.x ) I P O
i P
But s o are t h e diagrams
The map
X
+
TI
which i s t h e i d e n t i t y on t h r e e c o r n e r s . w X i
P*
Hence i t f o l l o w s from (5.8) t h a t t h e
are a l l s u r j e c t i v e by Theorem 1 . 3 . 7 .
diagrams
-
...
i n d u c e s a map of p u l l b a c k
diagrams
I t t h u s i n d u c e s isomorphisms
&? TT
X, and s o is a homotopy e q u i v a l e n c e .
i
Of c o u r s e t h e r e i s a l s o a form of Theorem 5.7, mutatis mutandis, for an a r b i t r a r y p a r t i t i o n of
II into m u t u a l l y d i s j o i n t f a m i l i e s of primes.
I f t h e p a r t i t i o n i s f i n i t e , i t i s e a s y t o see t h a t we need no l o n g e r i n s i s t
Localization of homotopy types
88
that
be of f i n i t e t y p e .
X
Theorem 1.3.7,
W e may a l s o e x p l o i t Theorem 1.3.9 i n s t e a d of
ll
t h a t we a r e concerned w i t h t h e c a s e of a p a r t i t i o n of
so
i n t o two d i s j o i n t s u b s e t s . Theorem 5.9.
Let
partition of
n.
n
be a nilpotent CW-complex and l e t
X
Denote by rp:
Xp
-+ Xo
rO: X
a d
.
canonical m a p s , which we assume t o be fibrations. equivalent t o the topological pullback of
X
Q -+
= P U Q
0
be a
the
Then X i s homotopy
rp and
rQ'
The proof e x p l o i t s Theorem 1 . 3 . 9 j u s t a s t h e proof of Theorem 5.7 e x p l o i t e d Theorem 1.3.7.
W e omit t h e d e t a i l s .
Often one reduces a problem i n v o l v i n g i n f i n i t e l y many primes t o one i n v o l v i n g o n l y f i n i t e l y many by means of a c o r o l l a r y which is i n some s e n s e T h i s c o r o l l a r y f o l l o w s a t once by u s i n g t h e diagram
d u a l t o C o r o l l a r y 5.4.
X
used i n t h e proof of Theorem 5.6, r e p l a c i n g C o r o l l a r y 5.10.
by
Suppose W i s a connected f i n i t e
nilpotent CW-complex of f i n i t e type.
Given a map
a ) For a l l but a f i n i t e nwnber of primes There e x i s t s a c o f i n i t e s e t of primes
b) f €
QI
im([W,X
+
X
Q
and
X P
by
CW-complex and f: W
+
Xo,
X a
then:
p , f E im([W,X ] P
Q
Xo.
-+
[W,Xo])
such t h a t
[W,Xol).
Combining t h i s w i t h C o r o l l a r y 5.4 w e g e t
and
f
be as i n Corollary 5.10.
e x i s t s a c o f i n i t e s e t of primes
Q
such that
C o r o l l a r y 5.11.
where
w
g:
-+
Let
xQ,
I n case
W, X
and rQ: xQ -+ X W
f
Then there
factors uniquely as
f
-
i s the canonical map.
i t s e l f is n i l p o t e n t , we can r e f o r m u l a t e Theorems 5 . 3
and 5.6 u s i n g t h e u n i v e r s a l p r o p e r t y of l o c a l i z a t i o n , namely, t h e f a c t t h a t e : W
P
-+
W
P
induces a b i j e c t i o n
e*: [W ,X ] P P P
+
[W,Xp].
W e get
rQg
The main (pullback)theorem
Let W be a nilpotent f i n i t e CW-complex and X an arbitrary
Corollary 5.12.
nilpotent CW-compZex. Given t u o maps g, h: W i f
gp
hp f o r aZZ primes
n.
89
+
X, then
g
n.
h i f and o n l y
p.
This is immediate from Theorem 5.3.
In case h = 0 this answers a
conjecture of Mimura-Nishida-Toda [ 5 3 ] affirmatively. From Theorem 5 . 6 we get
Let
Corollary 5.13.
W be a nilpotent f i n i t e CW-complex and
CW-compZex o f f i n i t e type.
such t h a t cZass
g:
g(p),
w
e
x
g(p'),
Given m y f m i Z y o f maps f o r aZI
p, p' c
n,
{g(p):
a niZpotent
X
Wp
-+
n)
Xplp €
there is a unique homotopy
g n. g(p) f o r a11 p. P However, we may further improve on Corollaries 5.12, 5.13 by exploiting -+
Corollary 4 . 3 .
with
For, according to that result, if W
-
f*: [W,X]
2
[W,X], where f:
w -+ W
is quasifinite, then
is a map of a finite CW-complex W
Thus Theorems 5.3, 5.6 remain valid if the assumption that W replaced by the assumption that W is quasifinite (nilpotent).
to W.
is finite be Thus we
conclude Theorem 5.14.
The conczusions of Corozlaries 5.12, 5.13 remain valid, i f
i s supposed q u a s i f i n i t e instead of f i n i t e .
W
Localization of homotopy types
90
6.
Localizing H-spaces I n t h i s s e c t i o n we prove a theorem which w i l l be c r u c i a l i n our study
of t h e genus of an H-space i n 111.1, and which provides a n a t u r a l analog of t h e b a s i c recognition p r i n c i p l e i n t h e l o c a l i z a t i o n theory of n i l p o t e n t groups. X
Let
be a connected H-space.
so may be l o c a l i z e d .
-+
Xp
i s an H-map.
Then, f o r any CW-complex
For any monoid
M
and any element x
in
M
x € M,
and we w i l l
f o r such an nth power, even though t h e r e i s , i n general, no unique
n t h power.
It i s thus c l e a r what we should understand by t h e claim t h a t a
homomorphism
$: M
Theorem 6 . 2 .
The map
-+
f: X
e,
let
P-local rmd
f,:
[W,X]
W.
Then
CW-complexes
Proof. W
of monoids i s P - i n j e c t i v e (P-surjective,
N
Conversely,
true i f
property of
W, t h e induced map
we may, in an obvious way, speak of an n t h power of xn
i s n i l p o t e n t and
may be endowed with an H-space s t r u c t u r e such t h a t
Xp
i s a homomorphism of monoids?
write
X
Moreover, i t i s p l a i n , from t h e u n i v e r s a l
l o c a l i z a t i o n , t h a t each e: X
Then c e r t a i n l y
-+
(6.1)
i s f i n i t e connected.
be an H-map of connected spaces such that
Y
-+
i s P - b i j e c t i v e if W
P-bijective).
[W,Y]
f
We prove
i s P - b i j e c t i v e f o r a l l f i n i t e connected
P-localizes. e,
(6.1) P-bijective.
This a s s e r t i o n i s c l e a r l y
is 1-dimensional, by t h e Fundamental Theorem of Chapter I.
t h e r e f o r e argue by induction on t h e number of c e l l s of of Theorem 5 . 1 ) .
We assume
is
Y
W
We
(compare t h e proof
W = V U en, n 2 2 , and t h a t w e have a l r e a d y
proved t h a t e,:
P,XI
* [V,%l
is P - b i j e c t i v e f o r a l l connected H-spaces
X.
W e consider t h e diagram (of
monoid-homomorphisms) *By monoid, we understand a s e t
endowed with a m u l t i p l i c a t i o n with two-sided unity
Localizing H-spaces
We prove
e*: [W,X] + [W,Xp]
e*ix = 1, s o
Then
$pexa = e*$a = 1.
ix" = 1, f o r some
f o r some
respect t o
flX
m
1
so t h a t and
is P-injective.
$Jcm2
f o r some
e*:
Then
ipym = e*a
that
jam' = 1 f o r some
Thus
yml
with
e*x = 1.
Thus
We conclude t h a t
QXP.
e*a
ml
=
e*$c,
m m =
W e now prove
ipe,x
m € P'.
x € [W,X]
h e r e we invoke t h e i n d u c t i v e h y p o t h e s i s w i t h
and i t s l o c a l i z a t i o n
m m a 1 2
and
€ P';
Thus l e t
xm = $ a , a C TI X , and m e*a = Jipb, b € [ZV,$,], and b = e*c,
It f o l l o w s t h a t
c f [CV,X]
e*
P-injective.
91
f o r some
=' : ,e
m
[w,x]
-+
[W,%]
P-surjective.
a € [V,X], m C P I .
1
= ipym'
= (e*x).($pb),
m2 6 P' , whence f i n a l l y
C P'.
am1
Now
= i x , x C [W,X],
mm 1-power of
( f o r a s u i t a b l y bracketed b C vnXp.
bm2 = e*c, f o r some
Thus, by Lemma 6 . 4 below, ynrmlm2= ek(xm2.$c)
[W,%l.
y €
Let
= 1
e,ja = j Pe*a = 1, so
Thus
It f o l l o w s t h a t
(xm)m1m2 = $ a
c
<
y).
unX, m2 C P ' .
and t h e a s s e r t i o n i s proved.
(Note t h a t , i n t h e s e arguments, w e have w r i t t e n a l l monoid s t r u c t u r e s i n ( 6 . 3 ) multiplicatively. ) The converse i s t r i v i a l .
f,: II X
-+TI
n 11.
Thus
For i f we s e t
W = Sn
t h e n we know t h a t
i s a P-isomorphism t o a P - l o c a l group and hence P - l o c a l i z e s ,
Y f
P - l o c a l i z e s by Theorem 3B.
The f o l l o w i n g lemma, t h e n , s u p p l i e s t h e one m i s s i n g s t e p .
Lemma 6 . 4 .
Let
X
attaching the cone W
*
ZA
induces
be an H-space and l e t CA
to
V
W = V
by means of a map
U
CA, t h e space obtained b y A
-t
V.
The p r o j e c t i o n
Lacalization of homotopy types
92
4 i s central in the monoid
and the image of
Proof.
Let c: W
+
[w,x] in the strong sense that
W V CA be the cooperation map, In the terminology
of Eckmann-Hilton. Then, for x € [W,X], a
€
[ZA,X], we have
x.$a = c*<x.a>, where <x,a> € [WVCA,X] Thus
-
[W,X]
(xl.$al) (x,.4ia2)
c*<x1x2,a1a2> = x1x2. 4 (ala2>
[ZA,X].
X
=
(c*<xl,al>)(c*<x2,a2>) = c*(<xl,a1><x2,a2>) =
.
Remark. Note that we could have proved that
e*
the following stronger sense, namely, that if e,x xn = yn for some nth power with n
€
P'.
in (6.1) is P-injective in =
e*y, x , y € [W,X], then
In the presence of a nilpotency
condition, this sense of P-injectivity in fact coincides with the obvious one (obtained by setting y = 1); and, indeed, it is true, with appropriate definitions, that
[W,X] is a nilpotent loop (non-associative group),
Corollary 4 . 3 enables us to deduce the following modification of Theorem 6.2. Corollary 6.5. Let
CW-complex.
X be a connected H-space mrd W a quasifinite
Then ZocaZization induces
and eg i s P-bijective. The following consequence of this corollary will be very important in the sequel. Theorem 6.6.
Let W be a quasifinite CW-compZex and l e t
H-space such that Wp
9
Xp.
Then there e x i s t s a map
X be a connected
f: W * X such that
Localizing H-spaces
fp:
wp
eY
$.
Proof.
Let
g,
= ng*: R*(Wp)
g: Wp
-+
$
n C P' suchthat
6 . 5 there e x i s t s n
93
-+
n,($)
gn = e l ( f ) , f : W
and t h a t , consequently,
isomorphism of homotopy groups found the required map
b e a homotopy equivalence.
f
.
(n C Zt). Thus
-+
X.
n
g,
g": Wp
By Corollary
But i t i s c l e a r that is,like '\I
$,
g*,
an
so that we have
94
7.
Localization of homotopy types
Mixing of homotopy t y p e s T h e i d e a o f m i x i n g h o m o t o p y t y p e s g o e s b a c k t o Zabrodsky [ 9 3 ] a n d h a s been
e x t e n s i v e l y used t o c o n s t r u c t examples and counterexamples i n homotopy t h e o r y ; see, e . g .
[79,93,96] and Chapter 111 of t h i s monograph.
It seems t h a t l o c a l i z a t i o n
t h e o r y p r o v i d e s t h e r i g h t framework f o r d i s c u s s i n g t h i s i d e a and r e n d e r i n g i t most e a s i l y u s a b l e i n a p p l i c a t i o n s . We b e g i n by d i s c u s s i n g puZZbacks
i n homotopy t h e o r y , a t o p i c of some
independent i n t e r e s t , i n p a r t i c u l a r w i t h r e s p e c t t o l o c a l i z a t i o n .
Given a
diagram
X
If
(7.1) Y-B
i n t h e category
g
T of based CW-complexes, we may r e p l a c e
and t a k e t h e ( s t r i c t ) p u l l b a c k
which we c a l l t h e weak
T.
by a f i b r e map
We o b t a i n a diagram
puZZback of (7.1) i n t h e homotopy c a t e g o r y H.
known t h a t t h e homotopy t y p e of
as a diagram i n
in
f
2
depends only on t h e diagram ( 7 . 1 ) , i n t e r p r e t e d
H, and i s symmetric w i t h r e s p e c t t o
we might j u s t as w e l l have r e p l a c e d i n s t e a d of choosing t o r e p l a c e
f.
I t is
g
(or both
Of c o u r s e , i f
f
f , g, i n the sense t h a t and
f
(or
g) by a f i b r e map, g) were a l r e a d y a
f i b r e map, n o replacement would be n e c e s s a r y . I f (7.1) were a diagram i n
To, t h e s u b c a t e g o r y of
T
c o n s i s t i n g of
connected CW-complexes, we would o b t a i n t h e weak p u l l b a c k i n the corresponding homotopy c a t e g o r y base point.
Ho by r e p l a c i n g
W e would t h u s o b t a i n
2
i n (7.7.) by t h e component
Zo
of i t s
Mixing of homotopy types U
x
zo
1. If
(7.3)
in Ho.
We are interested in the question of when we may infer that zO
is, in fact, in NH. Theorem 7 . 4 . i f
W e prove:
Suppose t h a t
X , Y C NH
i n (7.31.
Then
nlZo operates n i l p o t e n t l y on nnB, n 2 2 , v i a
Proof.
fu
Zo
E NH i f and onZy
.
The diagram ( 7 . 3 ) gives rise to a Mayer-Vietoris sequence
of groups with nlZo-action, where
Suppose that nlZo
G
i s the pullback of the diagram of groups
operates nilpotently on TInB, n
operates nilpotently (via u
vo)
nlZo operates nilpotently on
?
2. Then, since n lZ o
on the homotopy groups of X
it follows from Proposition 1 . 4 . 3 that nlZo Now
95
TI
2
and Y,
operates nilpotently on nnZo, n ? 2.
B and hence on Im n2B C n l Z o .
However
here the operation is by conjugation and thus the operation of G on Im n2B induced by the exact sequence
Im n2B is also nilpotent.
-TI
Z
l o
-
Since G, as a subgroup of
we infer from Proposition 1.4.1 that r1Z0 Conversely, suppose that Zo
G
IT
X 1
x TI
Y, is nilpotent, 1
is nilpotent.
is nilpotent. Then an immediate
application of Proposition 1 . 4 . 3 to the Mayer-Vietoris sequence
Localization of homotopy types
96
shows that nlZo operates nilpotently on nnB, n 1 2 . Of course, it is most useful to have a criterion for Z
to be
nilpotent which is independet of the maps uo, vo, but depends only on (7.1). Thus we now enunciate Corollary 7.6.
Let ( 7 . 1 ) be a diagram i n NH.
Then, i n the weak pullback
(7.3) i n Ho, Zo C NH.
The following immediate consequence of Theorem 7.4, generalizing Theorem 2 . 2 , 1s also useful. Corollarv 7.7.
Let ( 7 . 1 ) be a diagram i n Ho with X, Y C NH.
If X
OP
Y
i s 1-connected, then Zo C N-l. We now suppose that (7.3) i s a weak pullback in N a n d we localize at the family of primes P.
We obtain
yp
Diagram (7.8) i s a weak pullback in NH.
Proposition 7.9.
Proof.
Form the pullback in To
(7.9)
where we may 8:
Zop+ 2'
assume fp to be a fibration. There is then a map
yielding a commutative diagram
Mixing of homotopy types
in
91
NH, andhence a map of t h e P - l o c a l i z a t i o n of t h e Mayer-V
!to1
3
sequence of
(7.3) t o t h e Mayer-Vietoris sequence of (7.9); h e r e Theorem 1.2.10 p l a y s a c r u c i a l r o l e i n e n s u r i n g t h a t , when we l o c a l i z e
G
i n (7.5) w e o b t a i n
t h e p u l l b a c k of t h e diagram
K1yP
-rB
rigp
1P
I n t h i s map of Mayer-Vietoris sequences a l l groups e x c e p t mapped by t h e i d e n t i t y .
Thus
s
rnZoP
are
i n d u c e s an isomorphism of homotopy groups
and hence is a homotopy-equivalence. Suppose, i n (7.31,
C o r o l l a r y 7.10.
Then Zo
€ Mi
and
Proof.
that
f
is a P-equlvalence and X, Y, B
is a P-equivalence.
vo
We a l r e a d y know t h a t
Z
€ NH
i s an e q u i v a l e n c e so t h a t , by P r o p o s i t i o n 7.9, v
€
by C o r o l l a r y 7 . 6 . vop
Now
fp
is an e q u i v a l e n c e and so
i s a P-equivalence.
Of c o u r s e , t h i s c o n c l u s i o n could more e a s i l y have been drawn w i t h o u t e s t a b l i s h i n g P r o p o s i t i o n 7.9 i n f u l l g e n e r a l i t y . We w i l l b e i n t e r e s t e d i n e s t a b l i s h i n g c o n d i t i o n s under which w e may i n f e r t h a t t h e space
Z
i n (7.2)
is a l r e a d y connected, so t h a t
Z = Zo.
NH.
Localization of homotopy types
98
Obviously this holds if (7.1) is a diagram in To
in which f
(or g)
induces a surjection of fundamental groups. However, we will require a more general criterion. Proposition 7.11. Let ( 7 . 1 ) be a diagram i n nlB i s of the form 17.21 in
H,
f*a.g,f?,
c1
E
Ti
To
i s which every eZement of
Then i n the weak pullback
X, f? E nlY. 1
i s connected.
Z
Proof.
Let us assume f a fibre map, so that ( 7 . 2 )
pullback in T. Given (x,y) E Z, x E X, y E Y, let k o
to x, and m
a path in Y
from o
reverse of m, is a loop in B on p
0 , so
is the strict
be a path in X
to y. Then fII *gi, where
i
from is the
in X,
that there are loops h
in Y with
-
Thus f(x
* L)
-
fk*gm- fh*gp. g(p *m), re1 endpoints,and, since f is a fibre map, we find
L' * h * II, re1 endpoints, that
(II',m')
so
that
f&' = gm', where m' = p *m.
is a path in Z from o
to
It follows
(x,y).
We exploit Proposition 7.11 in the following way.
Let ( 7 . 2 ) be a diagram i n To i n which f,: nlX * TIIB is a
Corollary 7.12.
P-surjection and of the primes.
g,:
TI
Y
1
-+TI
B i s a Q-surjection for some p a r t i t i o n 1
Then, i n (7.21,
Proof.
Z
yn = g,n
P
for m E Q, n € P.
are relatively prime we find integers k, II with km II and then y = f,Sk* g,n ,
+ an =
We are now ready to prove the mixing theorem which is the main objective of this section.
=
i s connected.
Let y E alB. Then ym = f,S,
Since m, n
n
1
u
Q
Mixing of homotopy types
Let
Theorem 7.13.
with Xo
X , Y C NH
of the primes. Then there exists
2
0
X
and Let rI
Yo
with
Z C NH
There a r e c a n o n i c a l maps
Proof. h: Y
2
99
s:
Zp
Xp
+
2
= P U Q
$,
Xo,
ZQ
t: Y
N
Q
Y
-f
be a partition
9' Let
'0'
and c o n s i d e r t h e diagram
0
1
(7.14) Y-%
Q
xO
Form t h e weak p u l l b a c k of ( 7 . 1 4 ) ,
Certainly
s
i s a Q-equivalence and
7.12 e n s u r e s t h a t Corollary Thus
u
7.10 g u a r a n t e e s t h a t induces
up: Zp
2
Xp
u
and
i s a P-equivalence.
Thus C o r o l l a r y
Corollary 7.6 then ensures t h a t
i s connected.
Z
ht
i s a P-equivalence
v
induces
vs:
and
v
2 E NH and
i s a Q-equivalence.
ZQ r- YQ.
The following addendum i s important i n a p p l i c a t i o n s .
(i) Let X ,
P r o p o s i t i o n 7.15. Z
Y
in Theorem 7.13 be quasifinite. Then
is quasifinite. lii) Let X , Y in Theorem 7.13 be 1-connected. Then
Z
is 1-connected. liiil Let X,
Y
in Theorem 7.13 have the homotopy type of
a finite 1-connected CW-complex. Then
Z
has the hornotopy type of a finite
1-connected CW-comp Zex.
Proof.
(i) Observe t h a t i f
generated L -module and P by Theorem 1.3.10, is quasifinite.
A
A
Q
A = WiZ
then
is a finitely-generated
%
is a f i n i t e l y -
%-module.
Thue,
is a f i n i t e l y - g e n e r a t e d a b e l i a n group, so t h a t 2
100
Localization of homotopy types (ii) Observe that
nlZ
is a nilpotent group which l o c a l i z e s t o
the t r i v i a l group a t every prime and hence is c e r t a i n l y t r i v i a l . (iii) This follows from (i) and (ii),using the techniques of
homology decomposition.
Chapter 111 A p p l i c a t i o n s of l o c a l i z a t i o n t h e o r y Introduction I n t h i s c h a p t e r , we p r e s e n t some a p p l i c a t i o n s of t h e t h e o r y developed
i n the previous chapters.
I t would seem t h a t t h e r e are two main d i r e c t i o n s
a l o n g which t h e a p p l i c a t i o n s of l o c a l i z a t i o n t h e o r y should proceed.
First,
w e may w i s h t o s t u d y a problem concerning ' i n t e g r a l ' s p a c e s and maps by p a s s i n g t o t h e corresponding l o c a l i z a t i o n s .
The l o c a l i z e d s p a c e s and maps o f t e n have
much s i m p l e r s t r u c t u r e , t h e r e b y making t h e l o c a l i z e d problem more t r a c t a b l e .
As a s i m p l e example, r e c a l l from Chapter I1 (Example 1.8) t h a t i f t h e S t i e f e l manifold of 2-frames i n 7-space, X
P
is homotopy e q u i v a l e n t t o
S", P
t h e n f o r any odd prime
X = V
792
p,
t h e p - l o c a l i z a t i o n of t h e 11-sphere.
example arises i n o u r s t u d y i n S e c t i o n 3 of n o n - c a n c e l l a t i o n
is
phenomena.
This As
a n o t h e r example, in connection w i t h o u r s t u d y of f i n i t e H-spaces i n S e c t i o n 2,
we are a b l e t o show, by p a s s i n g t o t h e l o c a l i z e d s i t u a t i o n , t h a t c e r t a i n c a n d i d a t e s i n f a c t f a i l t o admit H-space s t r u c t u r e s . L o c a l i z e d s p a c e s are n o t o n l y s i m p l e r t h a n t h e i r a n c e s t o r s , b u t are,
in a s e n s e , more ' f l e x i b l e ' .
The r i c h e r symmetry o f l o c a l s p a c e s stems from
t h e f a c t t h a t Z*, t h e group of u n i t s of P
Z?
P'
which a c t s on t h e p - l o c a l
s p h e r e s , and on t h e homology and homotopy groups o f p - l o c a l s p a c e s , is v e r y l a r g e , whereas
E* = {tl}. A v e r y s u b t l e example of t h i s symmetry, which
w i l l n o t b e d i s c u s s e d i n d e t a i l i n t h i s monograph, is S u l l i v a n ' s theorem t h a t if
p
is a prime and
k
a number which d i v i d e s
p
-
1, t h e n t h e
S2k-1 admits a loop space s t r u c t u r e . Actually, P i2k-1 S u l l i v a n proves t h i s f i r s t f o r t h e p - p r o f i n i t e completion of t h e P p-localized
(2k-l)-sphere,
(2k-l)-sphere
by making j u d i c i o u s u s e of t h e s t r u c t u r e of t h e group of u n i t s
of t h e p-adic i n t e g e r s , and t h e n u s e s t h e r e l a t i o n s h i p between l o c a l i z a t i o n and p r o f i n i t e completion t o deduce t h e r e s u l t f o r
S2k-1 P
Applications of localizationtheory
102
The second type of application of localization theory, and one in which we are particularly interested, derives from the fact (see, e.g., Example 1.2) that a space X
in NH is not determined uniquely in general by
the family of its p-localizations X although X can be reconstructed from P) the rationalizations Xp -+ Xo in case X is of finite type ( s e e Theorem 11.5.1 and subsequent remark).
We are thus able to construct many new
examples of spaces exhibiting various types of phenomena. Particularly noteworthy in this regard is the construction of several sorts of exotic finite H-spaces, a program pioneered by Zabrodsky. The organization for the rest of the chapter is as follows. Section 1 discusses the concept of the genus of a space of finite type X in NH, which by definition is the collection of all homotopy types Y
in NH which are
of finite type, such that the p-localizations of X are homotopy equivalent to the corresponding p-localizations of Y. We illustrate and give some general theorems concerning this notion and, in particular, study the possibility of furnishing a space with a structure which is present in all of its localizations. In Section 2, we are concerned with the theory of finite H-spaces. While we do not present an exhaustive study of the construction of new finite H-spaces --we do not
enter into
some
of the more technical aspects
of the theory, such as An-structures--we do discuss in some detail the rank 2 case, where the classification problem is essentially solved, and give a sampling of the sorts of strange behavior which finite H-spaces, in contrast with Lie groups, may exhibit. In Section 3 , we discuss the relationship between localization theory and the non-cancellation phenomena first discovered in Hilton-Roitberg [451. The existenceof sucharelationship is not surprising inview of the connection between the non-cancellation phenomena and rank 2 H-spaces. Indeed, as we attempt to show, localization theory sheds considerable light on
Introduction
the examples of non-cancellation, and conversely our main theorem concerning non-cancellation offers an excellent opportunity for application of the fundamental Theorem 11.5.1.
103
Applications of localization theory
104
1.
Genus and H-spaces We have seen in Chapter I1 that a space X C NH determines a
family {X Ip € l-l} of p-local spaces, its p-localizations, together with a P X Ip € II}, the rationalization maps. Moreover, family of maps {rp: X P O we have observed in case X is of finite type that X may be reconstructed +
in a suitable way out of these two pieces of data (TheorenrsII, 5.1, 11.5.7). However, if one is given a collection of rationally equivalent p-local
-
n}
such that H (Y 72 ) is a finitely generated i P’ P Z -module for all i and all p, one cannot deduce in general that there is P only one ‘integral‘ space X (i.e., a space X of finite type) whose spaces
{Yplp C
are homotopy equivalent to Y P P the following fundamental definition.
p-localizations X
Definition 1.1.
The genus G ( X )
for all p.
This prompts
of a space of finite type X € NH,
is the
collection of all objects of finite type Y ENH such that X
P
%
Y
P’
for all p € II.
Further, a homotopy-theoretic property is said to be a generic property if it is shared by all or none of the members of a genus.
Our definition of the genus G(X)
differs from the one originally
given in Mislin[59] in thatwe require afiniteness condition. The definition chosen in this way in order that the genus sets should not be too big. Actually all presently known examples of genus sets G(X) complex are finite sets.
For instance, G(S1)
= IS1}
with X
a finite
whereas there exist
infinitely many different homotopy types X € NH with X “1 S1 for all P P primes p, because there are infinitely many non-isomorphic abelian groups A with A E Z for all primes p (cf. examples following Theorem I. 3.13). P P We observe (using Theorem I. 3 . 1 4 ) that members of the same genus
Genus and H-spaces
105
have abstractly isomorphic homology and higher homotopy groups, so that we may describe these groups as generic, or genus invariants.
However, their
fundamental groups are not necessarily isomorphic, unless they are abelian. For instance, let X = K(N
1) and Y = K(N7/12,1) where and 1/12' N1 112 N 7/12 are the groups described following Theorem 1.3.13. Then Y C G(X) but rr Y * n X. 1 1 From the results proved in Chapter I1 concerning the localization of products, wedges, suspensions, loopspaces and mapping spaces, it is immediate that for X, Y
and 2
spaces of finite type in NH
and W
a not necessarily
connected finite complex, the equality of genus sets G(X) = G(Y) G(x
(i)
x
G(Xk)
(ii)
2) = G(Y x 2) = G(Yk)
(iii)
G(ZX) = G(cY)
(iv)
G ( k ) = G(EY)
(v) G ( x W , o ) In case X, Y
v
k
2
implies that
= G(Yw,o)
and 2 are in addition 1-connected and if we denote by
the k-fold wedge of a space 2, then one can also conclude that (vi) G(X
V 2) = G(Y V 2)
(61.0 G ( v k = G(v% It is not known whether being of the homotopy type of a finite complex is a generic property; but certainly quasifiniteness is a generic property. Example 1.2. or if X
If X
is a sphere Sn, or more generally, a Moore space K'(A,n),
is an Eilenberg-MacLane space K(A,n)
abelian group and n Theorem 1.3.14.
2
with A a finitely-generated
1, then we have G(X) = {X).
This follows from
106
Applications of localization theory
Let
Example 1.3. element
€ n
LY
n-1
be t h e mapping cone
X
p.
Cka
if
p
r 2 2, of a homotopy
In t h i s c a s e
given by that,
uLYe n ,
S r, which we suppose f o r s i m p l i c i t y t o be i n t h e s t a b l e range
and of prime o r d e r
so
Ca = Sr
-
k
denotes an odd prime, t h e c a r d i n a l i t y of t h e s e t
G(CLY)
i s (p-1)/2. To prove t h e s e a s s e r t i o n s , we begin by showing t h a t i f
then
Y
has t h e r e q u i r e d form.
t h e obvious f a c t t h a t
Y
Y € G(CLY)
I t i s c l e a r from homology c o n s i d e r a t i o n s and
must be 1-connected, t h a t
Y may be put i n t h e
form
Y for a suitable
rr
cB
=
sr uB en,
For every prime
B € T,-~S~.
h = h ( q ) : (C ) a q Assuming
h
+
q, we have a homotopy equivalence
(CB)q.
c e l l u l a r , and invoking a c l a s s i c a l argument ( H i l t o n [ 3 3 1 ) , we
deduce a commutative diagram
with
u = u(q)
and
v = v(q)
of (1.4) r e a d i l y i m p l i e s
t h e desired conclusion
Bq
homotopy e q u i v a l e n c e s . = 0
for
The l e f t hand s q u a r e
q # p; and, t a k i n g
q = p , we o b t a i n
Genus and H-spaces
since then u and v may be viewed as elements of
107
Z*
P
and we are in the
stable range. The same argument, applied in the unlocalized situation, proves the assertion that C =C iff k a ka
3
51 (mod p ) .
It remains to show that any G(Ca).
Now the composite sn-l
of ka
-ska
r
-c
and the inclusion map is trivial, Sn-l
sr
ka
kl
11
a
sn-l
Since
Cka, (k,p) = 1, actually belongs to
sr
~
so
there is a commutative diagram
@ I k a ,
ca
(k,p) = 1, it follows by the Five Lemma that
@*:H,(Cka;
ZP) H,(C,; +
ZP)
is an isomorphism and hence that :
(cka)p
-+
(CaIp
@P is a homotopy equivalence. Since for q # p (C ) aq
= sr v sn = (C 9
q
we have
)
kaq
our assertion is established. For more results on the genus of complexes with two cells the reader is referred to Molnar [631. Remark. One gets similar examples in the dual situation, i.e. using 2-stage Postnikov systems instead of spaces with two non-vanishing homology groups.
It is to be expected, of course, that many homotopy-theoretic properties are In fact generic properties. We will illustrate this with a few examples.
Recall the following definition.
Applications of localizationtheory
108
D e f i n i t i o n 1.5.
A space
n > 0
i s c a l l e d reducible provided t h e r e e x i s t s an
X
and a map
f : Sn
i s an isomorphism f o r a l l
i 2 n.
integer
A space
+
such t h a t
X
We s a y i n t h i s c a s e t h a t
i s c a l l e d S-reducible i f f o r some
X
Hi(Sn; Z) -+ Hi(X; Z)
f,:
k 1 0, C k x
reduces
f
X.
is reducible.
F o r i n s t a n c e , t h e Thom space of t h e normal bundle of a c l o s e d m a n i f o l d
embedded i n some Euclidean space i s r e d u c i b l e . then
is S-reducible (Browder-Spanier
X
Let
Theorem 1 . 6 .
If
i s a f i n i t e H-complex,
X
[16]).
X € NH be of f i n i t e type and
Then
Y € G(X).
( i ) X i s reducible i f f Y i s reducible, (iil
X i s S-reducible i f f
Proof. Hi(X; Z) = 0 Further, that
X
TI
Suppose
for
i > n.
can
n Y
f:
Sn
Hence
-f
X
reduces
Hn(Y; Z) E L
HI(Y; Z)
and
H (X; Z) is s u r j e c t i v e , and t h e r e f o r e
Hn(Y; Z) i s s u r j e c t i v e by Theorem 1 . 2 . 1 ( i i ) .
t o b e a counterimage of a g e n e r a t o r of
( i n t h e homological s e n s e ) and
m
Recall that
X
-
0
Y € G(X) p.
k
C X
d u a l i t y w i t h (untwisted) i n t e g r a l c o e f f i c i e n t s .
i > n.
implies
Hence
Choosing
sn
g: g
-f
Y
reduces
i s S-reducible i f f
X
is r e d u c i b l e f o r
is a Poincare? complex i f
and
for
Hn(Y;Z), i t i s c l e a r t h a t
To g e t t h e second a s s e r t i o n , w e observe t h a t
dim X <
H (X; Z) G Z
Then
X.
Hn(Y ; Z) i s s u r j e c t i v e f o r a l l primes P
n P
nnY
Y.
i s S-reducible.
Y
X
k
-
dim X
s a t i s f i e s Poincar6
A Poincard complex n e c e s s a r i l y
h a s finitelygeneratedhomology groups (Browder [ 1 5 ] ) , a n d h e n c e i s q u a s i f i n i t e . Theorem 1.7. Y
Let
X E NH be
a Poincar6 complex and l e t Y
€ G(X).
Then
i s a Poincare? complex.
Proof. cap product
Let
p € Hn(X;
+ 1.
Z) G Z be a fundamental c l a s s
so t h a t t h e
Genus and H-spaces i nu: H (X; Z) is an isomorphism for all i. tl
E H (Y; Z) Z Z
Hn-,(X;
Z)
If Y E G ( X ) , we pick a generator
and attempt to show that
is also an isomorphism for all i.
equivalence
-f
h ( p ) : X,
+
Y
0
.
For each prime p
choose a homotopy
From this we deduce a commutative diagram
!J is a *P for some w(p) € Zt. This
which proves that nh(p),pp
is an isomorphism. Hence h(p)
generator of Hn(Yp; Z ) and v = o(p)h(p),pp P P proves that nv is an isomorphism for all primes p. Since nv = (flvIp, P P this proves that nv is an isomorphism and hence Y is a Poincar6 complex. Remark.
It may well be conjectured that the properties 'having the homotopy
type of a closed manifold' and 'having the homotopy type of a closed rr-manifold' are generic properties. The latter conjecture may indeed be verified in certain cases, e.g.when
X isl-connected and dim X is odd or of the form 4k with k > l ,
by using the Browder-Novikov Theorem in conjunction with Theorems 1.6 and 1.7. We are going to give much attention to the question whether the property of admitting an H-structure is generic. For aconnectedH-space X with multiplication u: X f o r which
e :X P from u .
x
X, there is a unique H-structure p(p) : X x X -+ X P P P is an H-map. We call p(p) the H-structure induced
X
+
X P It follows from the universal property of p-localization,
+
on X P that ~ ( p ) is homotopy-associative (homotopy-commutative) if
p
is.
Applications of localization theory
110
N
Similarly, i f
is a c o n n e c t e d l o o p s p a c e , s a y f : X-QY,
X
loop s t r u c t u r e s f ( p ) : X P
7ClYP
thenthere existunique
e :X P
f o r which t h e maps
-+
X
are l o o p maps.
P
If c o n v e r s e l y one wants t o p r o d u c e a n H-space s t r u c t u r e o n X H - s t r u c t u r e s on t h e p - l o c a l i z a t i o n s
one n e e d s a c e r t a i n ' r a t i o n a l c o h e r e n c e '
P'
More p r e c j s e l y we h a v e
condition.
Let
Theorem 1.8.
X C NH
Lie of f i n i t e type and suppose t h a t each X
equipped with an H-structure H*(X;Q),
X
from g i v e n
induced from e : X P
H-structure
f o r which
p
furthermore,
~ ( p ) such that the Hopf algebra structure on -+
X
i s independent of
P'
ep: X
X
-+
(homotopy-commutative) then so i s
a Loop space, then the
for
Proof. By Theorem 1 1 . 5 . 7
If,
p.
~ ( p ) i s homotopy-associative
FinaZZy, i f i n addition each
p.
same i s t m e
Then X admits an
p.
i s an H-map f o r a l l primes
P
i s q u a s i f i n i t e and each
X
is
P
X
P
is
X.
X
is homotopy e q u i v a l e n t t o
-
X, t h e
(weak) p u l l b a c k of
nxP liX P
is a n H-space and
induced by
r.
r
(flxp)o
is a n H-map,
A xo; i f we equip
b e induced by t h e p r o j e c t i o n
X
H - s t r u c t u r e on
P,O
liX P
+
i n d u c e d from
-+
. X . P X
P
(XpIo
-+
X
=
xP
Clearly
10
+(p)
is a n H-map f o r t h e
The c o n d i t i o n s t i p u l a t e d f o r
e q u i v a l e n t t o t h e e x i s t e n c e of a n H - s t r u c t u r e
r :X
w i t h the H - s t r u c t u r e
Let +(p): o x p ) o
maps
fiXp)o
~ ( 0 )o n Xo
X
is
f o r which a l l t h e
are H-maps o r , e q u i v a l e n t l y , f o r w h i c h a l l t h e c a n o n i c a l
P P 0 homotopy e q u i v a l e n c e s
X(p): X p,o
-+
Xo
are H-maps (for a more g e n e r a l
s t a t e m e n t c o n c e r n i n g t h e r e l a t i o n s h i p between H-maps and induced maps i n homology compare Lemma 1.15).
Now t h e c o m p o s i t e map Xo
--t
@Xp),
can
-t
""P
,O
Genus and H-spaces
h a s components
{A(p)-'lp
€
n);
111
hence, by.assumption, it is an H-map.
Since, for a finitely generated abelian group
G,
is a split monomorphism (Theorem I.3.8), we deduce, using the fact that X is of finite type, that the canonical map are the maps
$(p)
above, is a (split) monomorphism in the homotopy category.
is an H-map, and therefore
Clearly $
flXp)o -+iiXp,,, whose components
$:
must be an H-map. The first
p
assertion of the theorem then follows. is quasifinite and each ~ ( p ) is homotopy-associative
In case X
(homotopy-commutative), we obtain the corresponding property for v : X by applying Theorem 11.5.1
(ps, p:
X
x
X
+
S
is the switching map).
In case one has in addition H-homotopy equivalences ~(p): Xp
J/
*
5
IIK(P),
Y
+
W(p)
a prime or 0, one gets a commutative diagram
rnY(p)
with
+
to
X respectively; here
for certain Y ( p ) C NH, p
X
x
induced by
- + @
and
-c A
3(i=iY(p))o
X =
fiY(0)
Yyp~(o)-~,
It remains to
prove that A
is a loop map; then the conclusion of the theorem is evident.
Certainly, A
is an H-map, since K ( o ) ,
k if nY(o) = II K(Q, ri) i=1
.
Hence, A
p
and
Y
being an H-map,
are. Notice that
X
Applications of localization theory
112
[A] = [A1]
+
... + [ A k ]
E H*(QY(o);A)
is a sum of p r i m i t i v e elements i n
hA(xl , . . . , ~ k )
%
H*(nY(o) ;A).
Thus
l i e s i n the
[A]
image of t h e cohomology s u s p e n s i o n , and i t f o l l o w s t h a t
is a loop map.
A
Remark.
I f we a r e only i n t e r e s t e d i n Theorem 1 . 8 i n t h e q u a s i f i n i t e c a s e ,
then we
can prove a l l b u t t h e f i n a l a s s e r t i o n of t h e theorem simply by
applying Theorem 11.5.1
t o get the H-structure
unique map which induces
p ( p ) : Xp
x
X
P
-+
X
P
1~: X x X
a t each prime
coherence c o n d i t i o n s t i p u l a t e d i n Theorem 11.5.1 maps
r : (XP,p(p)) P
+
(Xo,p(0))
+
X
as the
p.
The n e c e s s a r y
is f u l f i l l e d , s i n c e t h e
a r e H-maps.
I n t h e q u a s i f i n i t e c a s e Theorem 1.8 may b e g e n e r a l i z e d t o t h e e x t e n t t h a t one r e q u i r e s t h a t t h e Hopfalgebra s t r u c t u r e s on ep: X
+
Xp,
a r e isomorphic, r a t h e r t h a n e q u a l .
H*(X;Q), induced by
This g e n e r a l i z a t i o n is c r u c i a l
t o deduce t h a t a q u a s i f i n i t e H-complex admits an H-space s t r u c t u r e i f admits a homotopy-associative H-space s t r u c t u r e f o r a l l primes
X
P
p ( s e e Theorem 1 . 7 ) .
It aeemsnot t o b e knownwhether thehomotopy-associativityconditioncould bedropped
i n t h i s assertion.
However one can prove t h a t being of t h e homotopy type of a
q u a s i f i n i t e H-complex is a g e n e r i c p r o p e r t y , and t h i s i s our n e x t o b j e c t i v e . For t h i s , we w i l l f i r s t need some lemmas, which a r e of g e n e r a l use i n t h e s t u d y of f i n i t e H-complexes. R e c a l l t h a t f o r a n a r b i t r a r y connected s p a c e
is a coalgebra w i t h d i a g o n a l
F, H,(X;F)
w i t h c o u n i t induced by that for
x E G*(X;F) A,x
The elements
-
x 8 1
X
-+
0,
A*
X
induced by
and a r b i t r a r y f i e l d A: X
-f
t h e projection onto t h e basepoint.
X x X , and
It f o l l o w s
one has
+ 1-3 x + Exi
x E H,(X;F)
63 yi;
such t h a t
A,x
deg xi, deg yi < deg x = x 8 1
+ 1 8x
a r e , naturally, called
Genus and H-spaces
primitive elements. a map
f: X
+
so t h a t , i f
They form a l i n e a r subspace
and an element
Y
x
x € H,(X;F),
is p r i m i t i v e ,
is a l s o p r i m i t i v e . by
113
A,f,x
W e d e n o t e by
=
Pf,:
f,x
0
wehave
1
PH,(X;F)
+
5 H,(X;F).
PH,(X;F)
= (f,@f,)A,x,
A,f,x
1 8 f,x
and hence
PH,(Y;F)
-+
For
f,x
t h e map induced
f,.
Let
Lemma 1.9.
a map.
X and
Then f,:
be arbitrary connected spaces and
Y
H,(X;F)
-+
i s one-one if Pf,:
H,(Y;F)
f: X
PH,(X;F)
+
Y
-+ PH,(Y;F)
i s one-one.
Proof.
Now every element i n
t h a t w e have e s t a b l i s h e d t h a t
let
w C Hi+l(X;F).
then
= 0
f,w
A,w
If
f,
is p r i m i t i v e .
Suppose, t h e n ,
is one-one i n dimensions 3,i P 1, and
= to 8 1
implies t h a t
H1(X;F)
A,f,w
+
1 8w
+
Zv
= (f,@f,)A,w
j
Qw
j'
8 1
= f,w
, deg w j 5 i, j 1 Q f,w
deg v
+
+
Zf v 8 f w = 0. Thus Zf v 8 f w = 0 and t h e r e f o r e Zv a 9 w = 0 , s i n c e "j * j * j "j j j f, i s one-one i n dimensions 3 . T h i s means t h a t w is p r i m i t i v e and hence
w = 0. If
Y
is a n H-space w i t h m u l t i p l i c a t i o n
u: Y
x
Y
-+
Y, then
H,(Y;F)
is a (not n e c e s s a r i l y a s s o c i a t i v e o r commutative) H o p f a l g e b r a , w i t h d i a g o n a l A,,
u,
and m u l t i p l i c a t i o n
Lemma 1.10.
tmo maps.
Let
u.
be an arbitrary space,
X
Define
induced by
fg: X
+
Y
Y
an H-space, and
f ,g: X
by
( f g ) a = f ( a ) - g ( a ) 6 Y , a C X,
using the muZtipZication of
Then, i f
Y.
(fg)*x = f*(x)
Proof. f g = u(fxg)A: X (fg),x
-+
If
!J:
Y.
Hence f o r
= u,(f,@g,)A,x
Y x Y
-+
= u,(f,x@l
Y
x E PH,(X;F),
+ g,(x). d e n o t e s t h e H-structure map, t h e n
x E PH,(X;F)
+
1
one h a s = f,(x>
+ g,(x).
+
Y
1 I4
Applications of localization theory
A s an immediate consequence we have
Lemma 1.11. Let
inductively by one has
Y be an H-space and $(k)(y)
=
$(k): Y
y*$(k-1) (y), $‘(y)
-+
= y.
Y t h e k-power map, defined
Then, f o r
x E PH,(Y;F),
$ik)x = kx. N Define, by abuse of language,the k -power map
inductively by
~$(~”)(y)
= $ (k) ( p N - 1 ) (y)),
Y
$(k’N):
+
Y
$(kJ) (y) =. $(k) ( y) .
Let Y be a connected H-complex of f i n i t e homological dimension Then the pN-power map $(pBN) = $(p) ,
Lemma 1.12. N.
is a
{PI’-equivalence and induces
Proof.
The map
$(p)
induces, in homotopy, multiplication by pN
and is
therefore certainly a {el’-equivalence. We prove the second statement by induction. If x 6 H1(Y; Z / p ) , then $ip)x = px = 0, since all elements of H1 are primitive. Suppose $ ( p s i ) 3 , where
i 2 1, and let y € Hi+l(Y; Z / p ) .
Then A*y = y
Hence A*$ipyi)y = $ie’i)y 8 1
deg Yj’ deg $ip*i)(y)
induces zero on H*(Y; Z/p) in dimensions
= 0
1
+
1 8y
+ 1 8 $!psi)y
j i* is primitive. Lemma 1.11 shows that $(*psi+l)(y) =
p*$2yi)(y) = 0. Thus $*
€9
in dimension i
$iP)
€9
=
it is certainly
0 in dimensions 3 . This establishes the inductive hypothesis and the result
follows immediately. From this lemma we can deduce the following consequence. Lemma 1.13. Let
Denote hy
P
Y be a q u a s i f i n i t e connected H-compzex and l e t
a f i n i t e s e t of primes. h(P):
X
+
X € G(Y).
Then there i s a P-equivalence, Y.
z
and therefore
($*(p’i)(y))
+ 1; but
+ Cyj
j’
Genus and H-spaces
Proof. p -equivalence i
P = {pl, . . . , p m}
Let
f(i): X
g ( i ) = $(p,) where
$(p )
1
0
+
and choose, f o r each
( s e e Theorem 11.6.6).
Y
$(p2)
... $A ( P J . ...
0
N p -power map
denotes t h e
115
j
is a p -equivalence and, f o r i
Y
p C P-{pij,
0
+
pi C P , a
Define
$(pm) o f ( i )
Y, a s i n Lemma 1.12.
Then
g(i)
one h a s
Define
where t h e product is performed in t h e monoid
We claim t h a t
h(P)
is a P-equivalence.
i t is enough t o prove t h a t , f o r
p
[X,Y], u s i n g some f i x e d b r a c k e t i n g .
Because of t h e f i n i t e n e s s assumptions
C P , h(P),:
j
h*(X; Z / p j ) +H,(Y;
B y L e m m a 1 . 9 i t i s e n o u g h t o check t h i s on p r i m i t i v e s . be a p r i m i t i v e element.
u s i n g Lemma 1.10. x = 0.
Hence
.i
x E H,(X; Z / p ) j
Then
h(P),x
= Pg(i)),x
Since
g(j)
h(P)
So l e t
Z / p ) i s one-one.
= zg(i),x
= g(j),x,
is a p -equivalence j
h(P),x
= 0
implies t h a t
is a P-equivalence.
We a r e now ready t o prove t h a t b e i n g of t h e homotopy t y p e of a
q u a s i f i n i t e H-complex is a g e n e r i c p r o p e r t y . Theorem 1.14.
Let
(i) X (ii) If
Y
be a quasifinite H-complex and l e t
X € G(Y).
i s a quasifinite H-complex. G(Y)
then there e x i s t s a
x
x
W".Y
x
z.
w
such that
Then
Applications of localization theory
116
Proof.
Choose a quasifinite H-complex V E G(Y), for instance V
and choose a rational equivalence B: X integral homology B,
X
+
K = nK( Z,m,)
(see Theorem 11.6.6).
V
has a finite kernel and cokernel, B
for T a cofinite set of primes. A:
-+
=
Y,
Since in
is a T-equivalence
Further choose a rational equivalence
such that A//:
nlX
+
II
1K is surjective; such a X
exists since H*(X;Q)
h(x l,...,x ) , an exterior algebra on odd-dimensional n generators. Clearly X is a nilpotent map, whose fibre has finite homotopy as a composite of u and inducedfibrations A
groups. Therefore we can factor A
j’
where A
has fiber K( L/p n ) and a is (2N-1)-connected, N being the j j’ j homological dimension of Y. Let S = T’ u {p 10 5 j < r} and let a = h(S) : X j
Further let $j = $ ( p j ) : V
be an S-equivalence (see Lemma 1.13). N p -power map. Form
+
V be the
j
$ =
... o
$ r - l ~$ r - 2 ~
$o
and
X
Y
=
$j-lo$j-20...o
$oy
1 5 j < r.
We will prove that {cr,B}:
+
V
x
has a homotopy left inverse. Notice that a $6
is an S-equivalence and
is an S’-equivalence. Hence {a,$B}*: H*@ XV; L) -+ H*(X; L) is
surjective, since, for trivial reasons, H*(Y XV; Lp) H*(X; L ) is P surjective for all primes p . We conclude that there is a map p: Y x -+
such that
-
!.I o ~ a , $ B ~ A:
X
+
To solve our lifting problem X
I
X ,*l I
K.
v
+K
+
Y
Genus and H-spaces
I17
it is enough to prove that we can find a lifting in the following typical diagram (i 11) :
Here ui = Xi-l o Xi-*
0..
.o
X ou
ui+l
and
may be assumed inductively to
exist such that
and
ur
= P.
We have an exact cohomology sequence for the map
(where we write the ‘relative’group in traditional notation), which breaks up into short exact sequences
0
-
H*(YxV.,X; Z/pi)
-%
H*(Y; Z/pi)
@
* H*(X;
H*(V; Z/pi)
z/pi) --t 0
ni+l
x
Tf
C H
(YxV,X;Z/pi)
then it follows from
(Di)
lies in
But
im(184Jt).
denotes the obstruction to the factorization pi, and the naturality of the obstruction that 6x $* = 0 on reduced cohomology with
by construction. Hence 6x = y
@J
is a pi-equivalence we infer that From this we conclude that
Z/pi coefficients,
i
Pi
retract of the H-space Y x V.
1 and
6x = 0 = a*y.
i
Since a
y = 0 and, 6 being one-one, x
exists in Thus X
(Di)
and hence that X
=
0.
is a
certainly admits an H-structure.
For part (ii) of the theorem observe that Z is an H-space by (i).
Following up the proof of (i) with V = Z, we see that
of Y x Z, with retraction map p,
then certainly X x W
p:
Y x Z + X.
Y x Z, since Y x 2
If W
X
is a retract
denotes the fibre of
is an H-space.
Applications of localization theory
118
Remark. It is not hard,to prove that the W constructed above actually (See Mislin [60]; see also Wilkerson [921).
also belongs to the genus of Y.
To be able to construct specific maps between rational H-spaces we will need the following lemma. Lemma 1.15.
Let
X, Y C NH and assume that Yo i s an H-space whose rational,
homology i s finitely-generated over Q
i n each dimension.
Consider the
canonical map
Then lil (iil
e i s a bijection. Xo i s an H-space whose rational homology
If, i n addition,
i s finitely-generated over Q i n each dimension, then a b i j e c t i o n betueen H-maps Xo H*(Yo;Q)
+
H*(Xo;Q)
+.
induces by r e s t r i c t i o n
6
Yo and Hopf-algebra homomorphisms
*
Proof. The assumptions on Y imply that H*(Yo;Q)
is a free
graded commutative and associative algebra, on free generators {yil i C I). If deg yi = mi, then Y -17K(Q,mi) Hence the elements of
in NH.
[Xo,Yo] are in one-one correspondence with families
of homotopy classes {Xo+.K(Q,mi)}
which themselves are in one-one
correspondence with algebra maps H*(Yo;Q)
+
H*(Xo;Q)
by the freeness of
H*(Yo;Q). To prove (ii), first observe that an H-map
induces a morphism of Hopf algebras H*(Yo;Q)
+
Xo
H*(Xo;Q)
+.
.
Yo certainly Conversely, if
Genus and H-spaces
f*
i s a map of Hopf a l g e b r a s , then t h e f o l l o w i n g diagram commutes f o r every K(Q,n):
r a t i o n a l Eilenberg-MacLane space
Therefore t h e same diagram commutes w i t h t o t h e i d e n t i t y map Xo x Xo
px:
f
119
+
X
Yo
and
-t
Yo
py:
K(Q,n)
this yields
Yo x Yo
+
r e p l a c e d by
Yo.
Applied
f o u x = p Y o ( f x f ) , where denote t h e H - s t r u c t u r e maps.
Yo
Hence
is an H-map.
w e announced
We can now prove t h e e x t e n s i o n of Theorem 1 . 7 earlier.
Theorem 1.16. p,
X
P
Let
X E NH be q u a s i f i n i t e and suppose t h a t , f o r every prime
i s equipped with an H-structure such t h a t the maps
e : X P
-+
X
P
Then X admits an
induce isomorphic Hopf-aZgebra structures on H*(X;Q). H-space structure.
Proof.
We w i l l produce an H-space
f o l l o w s from Theorem 1.14. c a n o n i c a l map
r 2 : X2
+
Xo
corresponding s t r u c t u r e map
X
Equip
w i t h t h e H - s t r u c t u r e induced by t h e
p : Xo x Xo
e xe xxx-
Q
-+
that
rQ:
XQ.
(+p(Q)) + (Xo,p)
and d e n o t e by
u(p,6)
e ve
Xo.
X2; c a l l the
By C o r o l l a r y 11.5.11 t h e r e
such t h a t t h e two maps
xo
x
xo -bxo
xo
v
xo
and
have unique l i f t s t o
Then t h e r e s u l t
from t h e g i v e n H - s t r u c t u r e on
e x i s t s a c o f i n i t e s e t of primes
xvx-
E G(X).
Y
7
xo
Hence w e o b t a i n a n H-structure
is an H-map.
u(p)
Denote by
u(Q)
0
XQ
such
t h e €I-structure
t h e induced H-structure on (X ) = X
P
on
P,O
on X
. The assumption on
P
Applications of localization theory
120
the X ' s implies that there are abstract isomorphisms of Hopf algebras P
with respect to the Hopf algebra structures induced by u
and p(p,o)
respectively. By the previous lemma we can realize these isomorphisms by H-maps K(P) : (XP,,,u(p,o)) orp = K(p):
K(P)
(Xp,u(p))
H-may. Define Y
+
(Xo,u).
+
(Xo,u)
It follows that is a rational equivalence which i s an
to be the weak pullback of the finite
family of
H-maps {rQY;(p);p CQ'). It is now not difficult to prove that Y E G(X) py:
Y
(Y,uy)
x
Y .*
+
Y
such that the canonical maps
(Xp,p(p)),
and there is an H-structure
(Y,uy)
+
(XQ,u(Q))
p € Q', are H-maps. Then X € G(Y),
so
and
that X is an H-space.
An important special case is the following, for which the rational coherence condition is automatically fulfilled. Theorem 1.17. Let X be quasifinite in NH and suppose that, f o r each p, is equipped with a homotopy-aesociative H-space structure. Then X admits P an H-space structure. X
Proof. By the Hopf-Samelson Theorem there is, up to isomorphism, only one coassociative Hopf algebra structure on H*(X;Q).
Therefore the
X * X induce isomorphic Hopf algebra structures on H*(X;Q) P P the result follows from the previous theorem.
maps
e :
and
There are many ways to combine the mixing theorems of Chapter I1 with the results of this section. We will only mention one theorem, which will be used later on.
Genus and H-spaces
Theorem 1.18.
by
P
and
Q
Let
X
and
Y
be q u a s i f i n i t e complexes i n
t u o complementary s e t s of primes.
equipped w i t h H-structures such t h a t as Hopf algebras.
121
H*($;Q)
xp
Suppose and
NH and denote
H*(Y ;I))
Q
Then there e x i s t s a q u a s i f i n i t e H-complex
and
Y
Q
are
are isomorphic 2
and H-homotopy
equivalences
zp “ x p ’ z
Q
“.Y
Q‘
Proof. Choose (by Lemma 1.15) an H-homotopy equivalence
Then the (weak) pullback
Z
in the diagram Z-Y
1
S
f Q
T ‘Q,o
is quasifinite by Proposition 11.7.15.
Since r
and
prp
are H-maps,
admits an H-structure such that the canonical homotopy equivalences Zp -%Xp
and
Z %- Y
Q
Q
are H-maps.
Z
122 2.
Applicationsof localizationtheory Finite H-spaces. special results We begin this section with a discussion of H-spaces of rank 2.
Recall that if X
is an H-space of the homotopy type of a quasifinite complex
(or, as we say, a quasifinite H-space), then
the exterior algebra on odd-dimensional generators xl, deg(xi) = ni
and assuming n1 5
..., x .
Setting
... 5 nr, we define
rank(X) = r, type(X)
=
(nl,.
..,nr).
From the point of view of applications of localization theory, the only interesting cases for rank 2 H-spaces occur when
so
we shall restrict attention to these cases.
In fact, we shall impose the
further condition that X be 1-connected;hence X will be a finite complex. The classical examples of 1-connected H-spaces of type (3,7) are, of course, S 3
x
S7 and the 2-dimensional symplectic group Sp(2).
homotopy structure of
Sp(2) 3
The
has been long known and can be described as
follows. The inclusion S = Sp(1)
+
Sp(2)
gives rise to a principal
SJ-bundle
s3 -+ Sp(2) which is classified by an element in as an element of
TI
+
s7 3
7(BS
) G
TI (S
6
3
) 2 2/12. 'When viewed
r 6 ( S J ) , this Blakers-Massey class u
with the class of the map induced by the commutator map
may be identified
Finite H-spaces,special results
123
and is known to be a generator. We now form the principal S3-bundle S3 classified by
ko,
SO
+
Eku+ S 7 , 0
C
k
11,
C
that Sp(2) = Ew, and state our first theorem, which
summarizes results from various sources [18,45,46,75,79,93,941. Theorem 2.1. The space
Ekw a h i t s an H-space structure i f f
Conversely, any 1-connected f i n i t e H-space equivalent t o some
Proof.
Assuming k # 2, 6 , 10, we show that Eko
only with the cases k = 3, 4 , 5 =
o f type (3,71 i s homotopy
Eku.
H-space structure. This is clear for k
k
X
k # 2, 6, 10.
=
admits an
0 or 1 so we need concern ourselves
since, plainly, Ekw
9
E
(12-k)w'
For
3, we use the commutative diagram
where the vertical maps are the bundle projections, the lower horizontal maps are maps of the indicated degrees and the upper horizontal maps are bundle maps covering the maps on the bases. Localizing the right hand square of (2.2) at any prime p # 3 gives a homotopy-commutative diagram
w i t h the columns fibrations by Theorem 11.3.12.
homotopy equivalence for p # 3
so,
But
3 is obviously a P by the Five Lemma, we conclude
(E3Jp = (Ew)p, P # 3. Similarly, localizing the left hand square of (2.2) at any prime p # 2
124
Applications of localization theory
shows that 3 7 (E ) = (S X S )p, p # 2. 3w P Thus, (E3w)p
admits an H-space structure for all p C P
and since the
condition stipulated in Theorem 1.16 on the various comultiplications on is evidently satisfied for dimensional reasons, we may conclude
H*(E3w;Q)
our result for E3,
from Theorem 1.16.
Very similar arguments, using the diagrams
show that Ekw and E5,
also admit H-space structures.
The proof that EL
and
Eh
do not admit H-space structures is
quite complex and will not be reproduced here.
The result is due to
[94] and uses the theory of higher order mod 2 cohomology
Zabrodsky operations.
See also Sigrist-Suter 1771 for a proof of this result which
i s based on K-theory.
(EZwIp and
(E6w)p
a8y we ~~t~all , can see from the diagrams
admit H-space structures for all odd primes
problem of showing that E2w and
E6-
so
the
do not admit H-space structures is,
as indicated above, a purely mod 2 problem.
Also, the diagram
shows that E2w admits an H-space structure iff the same is true of E6w' We now sketch a proof of the converse, emphasizing those points relevant to localization theory. To begin with, we must invoke certain general
Finite H-spaces, special results results on the homology o f H-spaces [ 4 6 ]
12.5
to infer that an H-space X
satisfying the hypotheses of the theorem has no homological torsion. It then follows that X possesses a cellular structure o f the form
AS f o r the second attaching map
and, of course, a = kw, 0 5 k C 6 . various techniques " 4 6 , 621)
satisfies
1(B) = tu,'31;
(2.4)
here, j: ng(Ca) and
B
may be used to show that
B,
l3 €
-+
3
ng(CapS )
T3(S 3 ) = L
Whitehead product of u
is the natural homomorphism,
are generators, and and
i3.
[u,i3] E h9(C
,S
(J
3 6 a7(Ca,S ) = L
3)
is the relative
The condition ( 2 . 4 ) may be used to show
that X has the homotopy type of an S3-fibration over
7
S ;
indeed, close
examination of the set of homotopy types o f the form ( 2 . 3 ) with 6
as in
( 2 . 4 ) reveals that there are ten such in number and that each one has a
representative which is an orthogonal
S
3 -bundle over S7.
We compare X
with the corresponding principal S3-bundle Ekw Since
j(@) = j ( B ' ) ,
= S3
.
Ukwe7 UB, e10
the exact sequence
shows that
Now i f
( k , 3 ) = 1, then
i = 0 because S g ( S 3 )
Thus,
X %,EL i f
( k , 3 ) = 1.
is generated by
woZ
3
W.
Applications of localization theory
126
On the other hand, if k is a multiple of 3
element, (Ch)3
N-
7
and
S3 V S 3 ,
injective. Localizing X
where t3
[ I ~ , I ~is ] the ~
3
E n3(S ),
i7
at
3 , then
kw i s a 2-primary
i, as well as its localization i3’ is 3 , we get
3-localization of the Whitehead product of generators
7
In particular, the fibration
C a7(S ) .
s3 3 + x 3 + s 37 admits a section S
7 3
+
Combining this section with the fibre inclusion
X3.
and utilizing the H-space structure on X3
induced from that on X, we obtain
a map
4 : s33
x
s37
+
x3
which induces a homotopy isomorphism and is hence a homotopy equivalence. Assuming $
cellular and applying [ 3 3 ] , we obtain a commutative diagram
(see (2.5)) 3 7 s3vs
I 3
with u
and v homotopy equivalences. Straightforward calculation using
the left-hand square of (2.6) now shows that i3(e3) = 0, hence
i(e)
= 0, so
that
X=E
kw
3,
if k is a multiple of
and the proof of the theorem is completed. Remarks.
1. Our proof shows that E5w E G(sp(2))
so
that, by Theorem 1.8,
E g w is a loop space.
2.
The techniques used in the second part of the proof of Theorem 2.1
Finite H-spaces, special results
127
l e a d t o a d e t e r m i n a t i o n of t h e genus s e t s of t h e s p a c e s G(Ew) = {Eu,E5w}, G ( E ~ J = {Ekw}
Indeed, f o r any
k, Ekw
we have
Ekw:
( k , l 2 ) # 1.
if
i s a n S-reducible Poincar6 complex
(it
i s i n f a c t e a s i l y checked t h a t t h e t o t a l s p a c e of a p r i n c i p a l G-bundle, where G
is a L i e group, w i t h b a s e s p a c e a n-manifold,
thesame is t r u e f o r any of t h e form (2.3) w i t h
by Theorems 1 . 6 , 1.7.
X € G(Eku)
B
is stably parallelizable),So Hence
w i l l be
X
a s i n (2.4) and t h e proof of our a s s e r t i o n i s
e a s i l y completed. We t u r n now t o H-spaces of t y p e (3,11) and r e c a l l t h a t t h e c l a s s i c a l example h e r e i s t h e e x c e p t i o n a l L i e group w h i l e n o t an H-space, In fact, i f
Note a l s o t h a t
G2.
S3
x
Sll,
becomes an H-space when l o c a l i z e d a t any prime
p
# 2.
S2k+1 is any odd-dimensional s p h e r e , t h e n t h e s o l e o b s t r u c t i o n S2k+1
t o p u t t i n g an H-space s t r u c t u r e on [ I ~ ~ + ~ , Iof~ a~ g + e n~ e r a] t o r c l a s s i c a l l y t o have o r d e r
is t h e Whitehead s q u a r e 2k+l)
1 2k+l
€ T ~ ~ + ~ ( S
52, it follows t h a t , i f
.
S i n c e t h i s is known
p
i s odd,
S2 k+l P
admits
an H-space s t r u c t u r e . One may t h e n apply Theorem 1.18 t o t h e s p a c e s
G2
and
S3 x S l l
t o c r e a t e new examples of f i n i t e H-spaces of type (3,ll) and, i n f a c t , t h i s was done i n [ & I , u s i n g some knowledge of t h e homotopy s t r u c t u r e of
A
G2.
c l o s e r a n a l y s i s of t h e s i t u a t i o n w a s c a r r i e d out i n Mbmura-Nishida-Toda
[54]
and can b e s u m a r i z e d as f o l l o w s ; we u s e t h e n o t a t i o n of [411. G2
3 may b e d e s c r i b e d a s t h e t o t a l s p a c e of a p r i n c i p a l S -bundle
over t h e S t i e f e l manifold
792
= S0(7)/S0(5),
c:S3+G
(2.7)
Since
V
V
792
2
+ V
7,2'
has t h e c e l l u l a r s t r u c t u r e
v7,2 = S5
U2 e
6
U e
11
,
128
Applications of localization theory
it follows that 11
= sp ,
(v7,2)p where P
(see Example 11.1.8)
denotes the family of odd primes. Hence if
classifies (2.7), we may view the localization ap
Moreover, since all(BS 3
II lo(G2)
=
0, it follows that ap
Let B be the generator of nll(BS 3 ) ap
-
V
+ BS3 7Y2 as an element of
a:
is a generator of
corresponding to ap , i.e.,
B 8 1.
Now form the principal S 3 -bundle
Sk: S3
-f
\
+
V7,2, 0 5 k 5 14,
which I s classified by the composition
-
v7,2 c
'7,2
S1'
,(k-1) B>
BS
,
where c is the cooperation map (In the terminology of Eckmann-Hilton) arising from the attachment of el1 to form V7,2.
S1
=
6.
We may now state one of the main results of 1541.
Theorem 2.9. (%=Xa X
Note that X1 = G 2 ,
Each of the spaces Xk a h i t s an H-space structwle
iff k -&t(mod
15) .)
Conversely, any 1-connected f i n i t e H-space
of type (3,111 such that H*(X;22/2)
equivalent t o some
Proof.
i s primitively generated is homotopy-
5. We sketch a proof of the fact that each
%
admits an
H-space structure. The proof of the converse Involves extensive homotopy calculations and so I s omitted here.
Finite H-spaces,special results
129
The structure of the classifying map (2.8) for Sk (XkI2
=
(G2j2,
(SIP = (Eka)p
if P
where EkB is the principal S3-bundle over S1’ assert that each
P
=
shows that {21’,
classified by
kB. We
(EkB)p, p € P, admits an H-space structure. In fact,
according to [54],
so
that certainly
statement for any
(Ea)p, p C P, admits an H-space structure. The corresponding (EkB)p, p € P, now follows from the type of reasoning used
in the first part of the proof of Theorem 2.1. structure for any p €
n,
Thus,
(X,)p
admits an H-space
and since the condition stipulated in Theorem 1.8
on the various comultiplications on H*(X,;Q)
is clearly satisfied for
dimensional reasons, we conclude from Theorem 1.8 that
%
does have an
H-space structure, as claimed. Remarks.
1. Clearly
\
€
G(G2)
iff
(k, 15) = 1. In these cases,
%
is, by Theorem 1.8, a loop space.
2. The genus sets of the
X,
are computed as follows:
Theorems 2.1 and 2.9 suggest that a fruitful source for further examples of finite H-spaces is the collection of total spaces of principal G-bundles over spheres and related spaces. There are in fact a number of papers in the literature (see, for example [18,32,96J ) describing results along these lines, We content ourselves here with stating one of the more comprehensive results in this direction, due to Zabrodsky [961.
Applications of localization theory
130
If
dn
-
ahits an H-space structure iff
1 z 7 , then Xm(n,d)
m <s odd.
In general, it is not reasonable to expect a homotopy classification of finite H-spaces of a given type since the homotopy calculations involved rapidly become prohibitively difficult. For a slight indication,of what seems to occur for H-spaces of arbitrary rank, see Mislin-Roitberg [62]. Our next result
suggested by an old result in Lie group theory,
I s
according to which the integral homology of a Lie group has p-torsion, p a prime, i f f it has q-torsion for all primes q
5 p.
The following result
of Mislin [58] shows that this result does not generalize to arbitrary finite H-spaces
.
Theorem 2.11. There exists a finite H-space Z
such that H,(Z;
Z)
possesses 3-torsion but no 2-torsion.
Proof. Y = Sp(6)
Let X = F
4
x
S7
x
S1',
F4
the exceptional Lie group,
and let P = {31, Q = {31'. As F4 has type (3,11,15,23), it
is clear that X
and Y are rationally equivalent. Moreover
Xp and Y
Q
evidently admit H-space structures and the resulting Hopf algebra structures H*(ILp;Q)
and H*(Y
Q ;Q) have to be isomorphic for dimensional reasons. It
follows that the space Z guaranteed by Theorem 1.18 Since Sp(6)
F4 Is
Is
a finite H-complex.
has both 2- and 3-torsion in its integral homology and since homologically torsionfree, we conclude from
zp
%
$,
ZQ
that 2 has the advertised properties.
CX
YQ
131
Finite H-spaces, special results
5
S i n c e , by a cohomology argument,
Remark.
a s s o c i a t i v e s t r u c t u r e , n e i t h e r can
2.
cannot s u p p o r t a homotopy-
Thus, i t may s t i l l b e c o n j e c t u r e d
t h a t t h e pathology of Theorem 2.11 does n o t occur f o r q u a s i f i n i t e homotopya s s o c i a t i v e H-spaces. Thus f a r , a l l of t h e examples of f i n i t e H-spaces which we have c o n s t r u c t e d have t h e p r o p e r t y t h a t each of t h e i r l o c a l i z a t i o n s i s homotopy e q u i v a l e n t t o t h e corresponding l o c a l i z a t i o n of a ' c l a s s i c a l '
example.
As
our f i n a l a p p l i c a t i o n i n t h i s s e c t i o n , we show, f o l l o w i n g Mimura-Toda [561 ( s e e a l s o S t a s h e f f 1811 and Zabrodsky [96] f o r independent t r e a t m e n t s ) t h a t t h i s need n o t b e t h e c a s e i n g e n e r a l .
Theorem 2.12.
There e x i s t s a f i n i t e H-space
such t h a t Z 3 is not
2
homotopy equivalent t o the 3-localization of the product of a Lie group and odd-dimensional spheres. Proof. over
S9
Let
X'
5
be t h e t o t a l s p a c e of any o r t h o g o n a l S -bundle 5
(Such bundles c e r t a i n l y e x i s t s i n c e
3.
T ~ ( S) = Z / 2 4 h a s o r d e r
whose c h a r a c t e r i s t i c elqment i n
r 8 ( S 0 ( 6 ) ) 8 Z3
5
+
n8(S ) 8 Z 3
s u r j e c t i v e ; a l s o , i t may be v e r i f i e d , u s i n g t h e f a c t t h a t
n
is
5 13(S ) 8 Z 3 = 0,
t h a t t h e 3 - l o c a l i z a t i o n s of any two such bundles a r e fibre-homotopy e q u i v a l e n t . ) It f o l l o w s from a s t u d y of t h e a c t i o n of t h e mod 3 Steenrod a l g e b r a on t h e Z/3-cohomology of
where
Eu
SU(5)
( s e e Oka [ 6 4 ] as w e l l a s [561) t h a t
h a s i t s p r e v i o u s meaning.
Hence
Xi,
and so a l s o
X3,
where w e
set
x admit
H-structures.
=
x'
x
s3
x
SJ,
W e may now apply Theorem 1.18 w i t h
Y = SU(5), P = { 3 1 , Q = {31' t o o b t a i n a f i n i t e H-space which s a t i s f i e s i n p a r t i c u l a r
X Z
a s above, of t y p e (3,5,7,9)
Applications of localization theory
132
By comparing the effect of the Steenrod reduced power P i
(small) list of all the classical examples of type
on Z and on the
(3,5,7,9), we easily
conclude that Z does indeed satisfy the conclusion of the theorem. The argument of Theorem 2.12 may be suitably generalized so as to provide similar examples for other odd primes, but the prime 2 appears to be exceptional
Non-cancellation phenomena
I33
3. Non-cancellation phenomena Our first general theorem on non-cancellation phenomena concerns total spaces of what we call quasiprincipal bundles (seeHilton-Mislin-Roitberg We begin with the definition.
1401).
bundle with structural group G, and
g: X
principal G-bundle associated with 5 . provided
g of
rr-
+
BG
---f
the classifying map of the
We say that
5
is quasipAn&pal
0.
Note that if 5 gof
f X a fibre
Let G be a topological group, 5 : F*E
Definition 3.1.
is a principal G-bundle, then the composition
is trivial since it factors through the contractible total space EG
of the universal bundle over BG; this justifies the terminology 'quasiprincipal' In a similar way to that of our previous studies of spaces at individual primes, it is plainly very useful to study fibrations (over a fixed base space) by p-localizing the fibration (see Theorem 11.3.12).
We will
introduce the notion of the genus of a fibration which, in case the base space consist of a point only, reduces to the definition of the genus of a homotopy type, the total space of the fibration in question. The notion of the genus of a fibration turns out to play a central role in the theory of non-cancellation phenomena. Definition 3 . 2 .
Two fibrations Si: Fi
+
E i + X, i = 1, 2,
with Fi, Ei, X C N H
are called p-fibre homotopy equivalent, if the localized bundles
(Si)p:
(Fi)p
We say that
(Ei)p
-r
c1
and
are fibre-homotopy equivalent for all primes p.
Xp
-r
belong to the same genus, if all the spaces
C2
Fi, Ei, X 6 NH are of finite type and if, in addition, C1
and
C2
are
p-fibre homotopy equivalent for all primes p. Definition 3.3. spaces F, E
If
c:
F
-f
E+X
is a fibration in M-l with all the
and X of finite type, then the genus of
6, G ( C ) , consists
Applications of localization theory
134
NH
of a l l f i b r e homotopy equivalence c l a s s e s of f i b r a t i o n s i n
over
X,
5.
which belong t o t h e same genus a s
We now prove t h e f o l l o w i n g , which e x t e n d s a r e s u l t of [40].
Let
Theorem 3.4.
Fi
NH which are p-fibre El
and
E2
Ei
-t
-t
be quasiprincipaZ G-bundZes i n
X, i = 1, 2
homotopy equivaZent f o r a22 primes
are q u a s i f i n i t e rmd that
Assume
p.
(For example,
BG C NH.
G
that
may be a
connected topoZogicaZ group, or an arbitrary niZpotent topoZogical group [69 ]I. Then El
F2
x
rmd
Proof. with
6,:
Let
F +E i i
f
i
--t
gi:
p € Il
X
c l a s s i f y t h e p r i n c i p a l G-bundles a s s o c i a t e d
BG
-+
-
X; t h u s we a r e g i v e n t h a t
f i r s t aim is t o show t h a t f o r each
are homeomorphic.
E2 x F1
g2 o f l
and
0
giofi
g of2 1
N
0.
= 0,
i = 1, 2.
To t h i s end, choose
a homotopy equivalence
O(P) : (Ellp
+
such t h a t (f Then, s i n c e
(g2)p o ( f 2 I p
(g*)p
0
5
1
1 P
= (f2)p OO(P).
0 , we o b t a i n
(fl)p
=
(g21p
0
(f21 P
0
@(PI =
and so,by Theorem 11.5.14, g2 Ofl Similarly
glof2
CI
0.
= 0.
Next, form t h e p u l l b a c k
i"
X
g2
* BG
Our
0,
p
n,
Non-cancellation phenomena
Since g2 ofl".O, t h e product
135
i t f o l l o w s t h a t t h e i n d u c e d p r i n c i p a l G-bundle
over
Thus, t h e a s s o c i a t e d bundle w i t h f i b r e
E l x G.
F2
El
is
El
is
X
F
2'
S i n c e induced bundles commute w i t h passage t o a s s o c i a t e d bundles, we i n f e r that
E12 = El where e q u a l i t y means homeomorphism.
X
F2
Similarly, using t h e f a c t t h a t
glo
f2
=
0,
we f i n d E12
= E2
X
F
1'
so t h e theorem i s proved.
I n o r d e r t o make use of Theorem 3.4 t o manufacture n o n - c a n c e l l a t i o n examples i n v o l v i n g s p a c e s of f i n i t e t y p e , we w i l l b e e s p e c i a l l y i n t e r e s t e d i n t h e case t h a t
F = F = F 1 2
is a s p a c e of f i n i t e t y p e . An immediate consequence
of t h e p r e v i o u s theorem is t h e n t h e following. Theorem 3.5.
Suppose
F
+
Ei
+
X, i = 1, 2,
are quasiprincipal G-bundlesof the
same genus with BG € NH, and suppose t h a t the t o t a l spaces quasifinite.
Then El
F
x
and
E2 x F
x
F
and E2
x
F
and
E2
me
are homeomorphic. Moreover, i f
a l l spaces involved are differentiable manifolds, and i f then El
El
i s a Lie group,
G
are diffeomorphic.
W e w i l l now develop a c r i t e r i o n , which w i l l e n a b l e u s , i n t h e c a s e
of p r i n c i p a l G-bundles over s p h e r e s , t o deduce t h a t two f i b r a t i o n s belong t o t h e same genus.
More g e n e r a l r e s u l t s , i n v o l v i n g p r i n c i p a l bundles over
suspensions, may b e found i n [ 4 4 ] , Remark 2. L e t then
(F,o)
be a p o i n t e d CW-complex,
(under composition) of self-homotopy e q u i v a l e n c e s of e: H(F)
+
F
H(F) F
t h e H-space and
Applications of localization theory
I36
the evaluation map
-
h
e
It i s c l e a r t h a t
is a f i b r a t i o n with f i b r e
self-homotopy equivalences of when
h ( o ) , h € H(F).
F.
Ho(F), the space of pointed
Moreover, i n t h e important s p e c i a l case
o
F = G , a topological group, and
i s t h e i d e n t i t y of
G, t h e r e i s a
canonical s e c t i o n s: G
-+
H(G),
given by
which together with t h e f i b r e i n c l u s i o n of
H(G)
Now t h e a c t i o n of
on
Ho(F)
ho.h.hil,
I-+
n n-1 (H(F)). on
H(F), given by
ho € Ho(F), h € H(F),
Ho(F)
( i n f a c t , of
no(Ho(F))
Furthermore, t h e r e i s an a c t i o n of
n n- 1(F)
given by
(ho,a)
ho.a,
I-+
yields a representation
H(G)
H(G) = Ho(G) x G.
c l e a r l y induces an a c t i o n of
no(Ho(F)))
-+
as t h e t r i v i a l f i b r a t i o n
(ho,h)
on
Ho(G)
ho C Ho(F),
and, by d i r e c t c a l c u l a t i o n , we have:
C
H (F)
n n-1 (F),
( i n f a c t , of
Non-cancellationphenomena Turning again to the case where F we note that, i n general,
I37
is a topological group
is not a no(Ho(G))-module
s*
G,
map. However we
may prove (see [ 4 0 ] ) :
If the 'Scheerer' diagram
Lemma 3.7.
Sn-' x G
where
ho C Ho(G),
c1
€
TI
and v : G
(G), n-1
map, i s homotopy-comtative,
lJ (ax11 ____t
x
G
G
+
G i s the muZtipZication
then
Sx(ho.a) = ho*s*(a) y
in
V
n-1
@(GI).
Proof. (t,x)
The hypothesis asserts that the maps +
ho.(a(t)*x),
(t,x)
are homotopic. Now, s,(ho*a)
t E Sn-',
ho(cx(t))'ho(x),
+
is represented by the map
u:
x € G,
Sn-l +
H(G)
given by u(t) (x) = ho(a(t)) and ho.s,(a)
*x,
is represented by the map
v(t)(x>
=
v: S"-'
-t
H(G)
given by
ho(a(t)hol(x)),
where hi1 is a homotopy inverse of ho. The hypothesis therefore implies that the adjoints of u and v
are homotopic, and
so
therefore are u
and v.
is connected; then, clearly, G €NH and we
We assume now that G
of the s&ace G. ( I n [ 4 1 ] it is may speak of the p-localizations G P implicitly assumed that G is connected. That is why we spoke there of the
no(Ho(G))-actions.
Since H(G)
when G is connected.)
-
Ho(G)
x
G, no(Ho(G))
=
Localizing Lemma 3.7, we obtain:
no(H(G))
precisely
Applications of localization theory
138
I f the diagram
Lemma 3.8.
where
ho(p) C Ho(G ) P
is
(ho(p)
p-localization of an element
not assumed t o be homotopic t o the
ho € Ho(G)),
i s homotopy-comutative, then
are then fibre-homotopy equivalent.
Proof.
Only t h e l a s t s t a t e m e n t remains t o b e proved.
i t is e v i d e n t t h a t t h e elements
same o r b i t of
(sp)*(ho(p)*a ) P
T ~ - ~ ( H ( G ~ under )) t h e a c t i o n of
But, by c l a s s i c a l t h e o r y , t h i s means t h a t
Scr P
and T~
(sp),(ap)
From ( 3 . 9 ) , l i e i n the
(Ho (Gp) 1 = r0 (H(Gp) 1
and
'ho(p) 'ap
.
are fibre-
homotopy e q u i v a l e n t . We a r e now i n a p o s i t i o n t o e n u n c i a t e one of our c e n t r a l r e s u l t s .
Let
Theorem 3.10.
Suppose t h a t
k
G
be connected and l e t
i s an integer prime t o the order of sn-l x G sn-jx
K:
G
+
G
p(kax1);
1.
and that t h e diagram
,
the k t h power map, i s homotopy-commutative.
G-bundles
c l a s s i f i e d by
a
G
I X K
with
a € T ~ - ~ ( G be ) of f i n i t e order.
a , ka
belong t o the same genus.
Then the principal
Non-cancellationphenomena
139
Remark. Under the hypothesis of Theorem 3.10, it is in fact possible to prove directly that ka’ of (a’
the adjoint of
a)
3
0
and this was the manner in which non-cancellation
examples were first constructed.
(See [45] for the case G = S3 and [441
for the general case. See also Sieradski [75] for related results using yet a different approach.)
Thus, in case the base spaces of the fibrations
involved are spheres, it is possible (though not necessarily desirable) to bypass the theory of localization altogether. However, Theorem 3.10 has an obvious local version and, as we show later, there are fibrations Si, i = 1, 2, over a space X which is not a sphere but such that the local version of Theorem 3.10 applies to
Xp
Sp”
for some family of primes P, while the
for p f P
(cl)p, (C,)
equivalence of
3
follows from other, more obvious,
considerations. Proof of Theorem 3.10. then
(La),
and
(€,ka)p
If p € Il
is prime to the order of
are fibre-homotopy equivalent since they are both (p,k) = 1, then clearly
fibre-homotopy trivial. On the other hand, if
G + G KP: P P is a homotopy equivalence and we may apply Lemma 3.8 with ho(p) =
K
P’
Applying Theorems 3.5, 3.10 in the case G = S3, we get: Theorem 3.11.
Let
3
a C T~-~(S )
have order m, l e t
k be an i n t e g e r
prime t o m, and suppose
k(2k-l)w o z3a
(3.12)
Then Ea
x S
3 and
Eka
a,
x
S3
Furthermore, Ea & Eka
=
o
3
6 +n+2(~ )
.
are diffeomorphic.
unless k
!
+1
(mod m).
140
Applications of localization theory
Proof.
A s t a n d a r d homotopy c a l c u l a t i o n shows t h a t t h e diagram 3
of Theorem 3.10 (with
is homotopy-commutative i f f (3.12) h o l d s .
G = S )
Thus t h e f i r s t p a r t of t h e theorem f o l l o w s from Theorems 3.5 and 3.10. To prove t h e second p a r t , n o t e t h a t
so t h a t a homotopy equivalence
t i o n , a homotopy equivalence
h: E
6:
Ca
a
+
+
E
i n d u c e s , by c e l l u l a r approxima-
ka
Cka.
By a s l i g h t m o d i f i c a t i o n of t h e argument used i n Example 1 . 3
(a need not b e s t a b l e , b u t
S3
is an H-space),
it follows t h a t
'
k
5
+1
(mod m),
a s claimed. A s a c o n c r e t e example i l l u s t r a t i n g Theorem 3.11, l e t
a = w , k = 7 . 3
Then c o n d i t i o n (3.12) is m e t because
3
i n t h e course of proving Theorem 2 . 1 ,
Eo & E70, Ew
has o r d e r 3; indeed, a s noted
w o C w
w OC w
S3 = E7w
x
generates x
S
3
3 ng(S ) = 1213.
Thus,
.
A second a p p l i c a t i o n of Theorem 3.5 and ( t h e l o c a l v e r s i o n o f ) Theorem 3.10 is provided by t h e s p a c e s
$
s t u d i e d i n S e c t i o n 2 ( s e e Theorem
2.9). Theorem 3.13. x
We have diffeomorphisms s3 =
x1
x4
x
s3 = x7
x
s3 =
X13
x
s3,
x3
x
s3 = X6
x
s3
.
Proof.
C,,
Consider, i n t h e n o t a t i o n used i n Theorem 2.9, C 1 and 3 P. = 4 , 7 , 13. Since .rrll(BS ) = 12/15, i t is c l e a r from (2.8) t h a t
(El), and
and
(C2lp
p = 5.
map of
5
have, f o r
a
are fibre-homotopy e q u i v a l e n t e x c e p t p o s s i b l y f o r
p = 3
For t h e s e primes, we may i d e n t i f y t h e l o c a l i z e d c l a s s i f y i n g with
!Lap =&Bp.
P. = 4 , 7, 13,
Now, i f
6' € II (S 3 ) 10
is a d j o i n t t o 6 , w e
Non-cancellation phenomena
141
31 (a-1) , 12w = 0, 156' = 0.
since
Thus, we may apply Theorem 3.10 and t h e succeeding remark w i t h
P = 13,5>
t o conclude t h a t
equivalent f o r
p = 3
(c,),
c3
a r e a l s o fibre-homotopy
P
p = 5.
and
Similarly,
(5,)
and
c6
and
belong t o t h e same genus and t h e proof
i s completed by a p p e a l i n g t o Theorem 3 . 5 . Thus f a r , a l l o u r examples have been p r i n c i p a l G-bundles f o r
G
A s a f i n a l a p p l i c a t i o n of
a L i e group and hence a t most 2-connected.
Theorem 3 . 2 , we p r e s e n t examples of n o n - c a n c e l l a t i o n w i t h t h e s p a c e s involved being a r b i t r a r i l y h i g h l y connected manifolds ( s e e 1 4 0 1 ) .
It is t o o b t a i n
t h e s e examples t h a t we have made t h e g e n e r a l i z a t i o n ( D e f i n i t i o n 3.1) from p r i n c i p a l t o q u a s i p r i n c i p a l bundles. Theorem 3 . 1 4 . p > q es
and l e t
C IT
n-1
be a f k e d odd number,
q
+
Denote by
1 mod p, where
e : SO(q+l)
q
=
2p
e x i s t s , since
s
(Sq)
-
2.
n
has degree
such an
a
Let
q 1 3, let
s: Sq +
Sq
+
be an element of order p and l e t
a map such that
SO(q+l)
denotes the evaZuation map;
i s a regular prime f o r
p
be a prime,
p
sO(q+l).
a = s a E IT
n-1
Let (SO(q+l)).
Consider
nka: the orthogonal
Sq-bundle over
i s c l a s s i f i e d by (il liil (iiil
Sq
IG(na) If
Sn
3
{nkal(k,p) =
I
2 (p-1) / 2
(k,p) = 1 then
f i v ) If k 2 +1 (mod p)
Proof.
Bka
Sn
+
whose associated principal
SO (q+l) -bundle
Then
ka.
G(na)
+
Since
11
Ba x Sq
and Bka
x
Sq
are diffeomorphic
then Ba $ Bka.
a = sa, and a ,
a
a r e of o r d e r
p, i t f o l l o w s t h a t
142
Applications of localization theory
-
a = e a , and t h e n
= sq uka-en u
Bka
en+q,
Thus ( i v ) is proved i n t h e same way a s t h e l a s t s t a t e m e n t of Theorem 3.11,
a
using t h e f a c t t h a t
has order
p.
Next, we want t o show t h a t
# 1 then
if
(k,p)
if
(k,p) = 1, t h e n
equivalent, i f case.
q
qka
I
(qa)q
qka
E G(n,)
iff
s i n c e t h e n even
G(qa)
and
(nka)q
(k,p) = 1.
(Bkalp
+ (Balp.
Clearly, Conversely,
a r e c e r t a i n l y fibre-homotopy
# p , s i n c e they a r e both fibre-homotopy t r i v i a l i n t h i s
It remains t o s t u d y t h e s i t u a t i o n f o r
q = p.
To t h i s end, c o n s i d e r
t h e diagram
Here,
1,
is induced by t h e obvious i n c l u s i o n ,
r e s p e c t i v e evaluationmaps,
(ep)*
E*
e* by t h e
and
by l o c a l i z a t i o n and
(gp)
*
l o c a l i z a t i o n ' (see t h e d i s c u s s i o n f o l l o w i n g Theorem 11.3.11).
by ' f i b r e w i s e Setting
a' = G p ) * i * ( a ) we w i l l show t h a t under t h e
a'
and
ka'
l i e i n t h e same o r b i t of
ao(Ho(Sq))-action, thereby proving t h a t P
a r e fibre-homotopy e q u i v a l e n t . n-1 (Ho (Sq)) p
'TI
i t follows from t h e c h o i c e s of
Since nn-l+q(Sq) p, q
and
0 Ep
n
that
n n-1 (Ho (Sq)) = 0 p so t h a t
?'*
is injective.
Hence, i f w e now s e t a" = ? * ( a ' )
(qJP
IT
n-1 (H(Sjf))
and
(nkcr)p
Non-cancellation phenomena
we a r e reduced, by Lemma 3 . 6 , t o showing t h a t same o r b i t of
IT
n-1
under t h e
(Sq)
p
a"
143
and
ka"
l i e i n the
(H ( S q ) ) - a c t i o n induced by l e f t -
IT O
O
P
T h i s l a t t e r a s s e r t i o n i s c l e a r because
composition.
k o a" = ka" as
i s an H-space;
Sq P
and k C E* = no(Ho(Sq)) P P
(k,p) = 1. T h i s completes t h e proof of ( i ) .
as
The a s s e r t i o n ( i i ) f o l l o w s
(Bka)p $ (BRa)p i f
now from ( i ) by observing t h a t
k
$kR
(mod p ) .
We
g e t (iii) from (i) by v i r t u e of Theorem 3 . 5 , once w e have v e r i f i e d t h a t t h e bundles
nka
nka: Sq gk: Sn
and l e t
-+
p r i n c i p a l bundle.
is a
A:
-
are a l l quasiprincipal.
Sq+l
+
BSO(q+l)
jk
Sn
B
kcr
be t h e c l a s s i f y i n g map f o r t h e a s s o c i a t e d
To prove t h a t
BSO(q+l)
Let
gkofk
N
0
i t s u f f i c e s t o show t h a t
there
making t h e f o l l o w i n g diagram commutative uZkti,Jka>- $q+l /
//A
(3.15) /
i! i
where t h e t o p l i n e i s t h e Puppe sequence of X
t h e a d j o i n t of
is adjoint t o X oJka? 0
and
s: Sq
order
SO(q+l).
Now
gk
jk
( s e e [ 4 0 ] ) . We t a k e f o r
is a d j o i n t t o
ka
and
AoZka
Hence (3.15) w i l l b e commutative, provided t h a t
s o k a = ka. g k o x rr 0.
Our c h o i c e of
n (S") n+q
+
BSO(q+l)
n, q
i s z e r o , and t h a t p, we i n f e r t h a t
g u a r a n t e e s t h a t t h e p-primary component of x
g ox
k
i s a suspension.
=
Thus, s i n c e
gk
i s of
0.
On t h e o t h e r hand, w r i t i n g
'n
f o r t h e p-primary component of
'TI,
Applications of localization theory
144
By our choice of
n , q , t h e second summand is zero; f o r
2p
-
3 < n
-
1 < 4p
Thus (S2q+1)
Jka = [i,i] o y , y C and Thus,
i s a suspension.
y
A o
Now
’TI
n+q
C
[I ,I]
TI
2q+l
(BSO(q+l))
is an element of f i n i t e o r d e r prime t o
h o[I,I]
It follows t h a t A o J k a =
X
o[I,I]
oy
N
2
azq(SO(q+l)).
p y since
p > q.
This completes t h e proof of t h e
0.
theorem. We consider now another type of non-cancellation phenomenon, which i n v o l v e s H-spaces
.
Let
Theorem 3.16.
Ekw and
XI1
have themeanings given i n Section 2 .
Consider the bijections
G(G2) = IX1,X2,X4,X71
% Then one has, for spacesin E~~ x E~~ Xk
x
=
Xk =
Proof.
G(Sp(2))
-
( 2/15)*/I&l)
-i;
and
G(GZ) respectivezy,
E ~ , x E~~
iff
IZ
=
iii i n (z/’iz)*/ +I
xm
iff
iz
=
i;
x
Xn
in
(2/15)*/
+1
We w i l l o n l y consider t h e c a s e of t h e spaces i n
o t h e r c a s e i s similar and a c t u a l l y s i m p l e r . f:
3 x?, a x m x xn
Suppose given
G ( G ~ ) ;t h e
k, a , m y n
and
-
145
Non-cancellation phenomena
Denote by P
so
the set of odd primes. Now
we can assume a homotopy commutative diagram
where A , B
are localizations ofhomotopy equivalences. Since
we may regard C and D as 2x2-matrices with entries in
The map B
TI
10(S3) = 22/15
22/15. Thus
is represented by the P-localization ofa unimodular integral
matrix. The axes of A
are P-localizations of integral vectors
(al,a2),
(a3,a4), such that
is
is unimodular. The.homotopy commutativity of the left-hand square in (*)
expressed by the matrix equation KC = DB over L/15. Taking determinants yields W E +mn (mod 15). given k, E, m, n
-
certainly Xm, Xn with W x Xi of type
(units mod 15) with c F =
< G(X,)
Xm x Xn.
in
Conversely,
(22/15)*/{+1},
then
and by Theorem 1.14 there exists an H-space W It follows that W
(3,11), and hence W
c"
is a 1-connected finite H-complex
Xi for some i relatively prime to 15.
--
--
From the first part of the proof we conclude that ill = mn and hence
i
=
Applications of localization theory
146
in
( Z/15)*/{+1}.
I t follows that
-
Xi
$
and hence
3 x x t = x
m
x x .
n
A s our f i n a l r e s u l t , we have the following corollary.
Let
Theorem 3 . 1 6 .
Eko and
Then the powers of
Ekw, XQ are related by:
2
fi) E w
(ii) X:
Proof.
4 Hence X 1
c= X4
-
4 -
have t h e meanings given them in Section 2.
Xt
'u
E
c1
X:
2
50
+ X:
c1
2 x7,
X;
Theorem 3 . 1 5 g i v e s
X2 2
X
X2
- -
7 -
X4
2 -
X4
7'
2
X;
E
'u
2
X:
2
c1
E50
-
x47 '
and
Bibliography 1. J. F. Adams, The sphere considered as an H-space mod p , Quart. J. Math. 12 (19611, 52-60. 2. D. W. Anderson, Localizing CW complexes, Illinois J. Math. 16 (1972), 519-525 3. M. Arkowitz, The generalized Zabrodsky theorem, Lecture Notes in Math., Springer (1974).
4. M. Arkowitz, C. P. Murley and A. 0. Shar, The number of multiplications on H-spaces of type (3,7), preprint. 5. M. Artin and B. Mazur, Etale homotopy, Lecture Notes in Math. 100, Springer (1967). 6. G. Baumslag, Lecture Notes on Nilpotent Groups, Amer. Math. SOC. Regional Conference Series No. 2 (1971). 7. M. Bendersky, Localization of mapping spaces, preprint.
, A functor which localizes the higher homotopy groups of
8.
an arbitrary CW complex, Lecture Notes in Math., Springer (1974). 9. R. Body, Homotopy types whose rational cohomology has a regular set of relations, Lecture Notes in Math., Springer (1974). 10. A. K. Bousfield, The localization of spaces with respect to homology, preprint. 11.
, Homological localizations of spaces, Lecture Notes in Math., Springer (1974).
12. A. K. BousfiePd and D. M. Kan, Homotopy with respect to a ring, Proc. Symp. Pure Math. her. Math. SOC. 22 (19711, 59-64. 13.
, Localization and
complet on in homotopy
theory, Bull. Amer. Math. SOC. 77 (1971), 1006-1010.
14.
, Homotopy limits, completions and localizations, Lecture Notes in Math. 304, Springer (1972).
148
15.
Bibliography W. Browder, Poincar6 s p a c e s , t h e i r normal f i b r a t i o n s and s u r g e r y ,
Inv. Math. 17 (1972), 191-202. 16.
W. Browder and E. S p a n i e r , H-spaces and d u a l i t y , P a c i f i c J . Math. 12
(1962), 411-414. 17.
A. H.Copelandand A. 0. S h a r , F i n i t e n e s s and l o c a l i z a t i o n , p r e p r i n t .
18.
M. L. C u r t i s and G. M i s l i n , H-spaces which a r e bundles over
S
7
,
J . Pure and Appl. Alg. 1 (19711, 27-40.
19.
A.Deleanu,
20.
A . h l e a n u , A. F r e i and P. H i l t o n , Idempotent t r i p l e s and completion,
Existence of t h e Adams completion f o r CW-complexes, p r e p r i n t .
preprint.
, Generalized
21. 22.
Adams completion, p r e p r i n t .
A. Deltanu and P e t e r H i l t o n , L o c a l i z a t i o n , homotopy and a c o n s t r u c t i o n
of Adams, Trans. h e r . Math, SOC. 179 (1973), 349-362. 23.
E. Dror, A g e n e r a l i z a t i o n of t h e Whitehead theorem, L e c t u r e Notes i n
Math. 249, S p r i n g e r (1971), 13-22. 24.
, The
p r o - n i l p o t e n t completion of a space, Proc. h e r . Math.
SOC. ( t o a p p e a r ) . 25. 26.
, Acyclic
s p a c e s , Topology ( t o a p p e a r ) ,
H. F e d e r e r , A s t u d y of f u n c t i o n s p a c e s by s p e c t r a l sequences, Trans. h e r . Math. SOC. 82 (1956), 340-361.
27.
H. H. Glover and Guido M i s l i n , M e t a s t a b l e embedding and 2 - l o c a l i z a t i o n ,
Lecture Notes i n Math.,
S p r i n g e r (1974).
, Immersion
28.
i n t h e m e t a s t a b l e range. Proc.
h e r . Math. SOC. 43 (21, 1974, 443-448. 29.
J. Harper, Quasi-regular
30.
, The
primes f o r H-spaces,
mod 3 homotopy type of
Springer (1974).
preprint.
F4, L e c t u r e Notes i n Math.,
Bibliography
149
31. J. Harrison and H. Scheerer, Zur Homotopietheorie von Abbildungen in homotopie-assoziative H-Uume, Archiv der Mathematik, Vol. XXIII (1972), 319-323. 32. J. Harrison and J. Stasheff, Families of H-spaces, Quart. Jour. Math. 22 (1971), 347-351. 33. P. Hilton, Homotopy theory mzd duaZity, Gordon and Breach, New York (1965).
, Localization and cohomology of nilpotent groups, Math. Zeits.
34.
132 (19731, 263-286.
, Remarks
35.
on the localization of nilpotent groups, Corn. Pure
and Appl. Math. XXVI (1973), 703-713.
, Nilpotent actions on nilpotent groups, Proc. Austr. Summer
36.
Institute (1974). 37*
, On direct limits of nilpotent groups, preprint.
38.
, Localization in
39.
, On
topology, her. Math. Monthly (to appear).
direct limits of nilpotent groups, Lecture Notes in Math.,
Springer (1974).
40. P.-$ilton,
G. Mislin and J. Roitberg, Sphere bundles over spheres and
non-cancellation phenomena, J. Lond. Math. SOC. (2) 6 (1972), 15-23.
41.
, H-space of rank two and noncancellation phenomena, Inv. Math. 16 (19721, 325-334.
42.
, Topological localization and nilpotent groups, Bull. her. Math. SOC. 78 (19721, 1060-1063.
43.
, Homotopical localization, Proc. London Math. SOC. 26 (1973), 693-706.
44.
, Note Illinois J. Math. 17 (4) (1973), 680-687.
on a criterion of Scheerer,
Bibliography
150
45. P. Hilton and J. Roitberg, On principal
S
3 -bundles over spheres, Ann.
of Math. 90 (1969), 91-107.
, On the classification problem for H-spaces
46.
of rank two, Comm. Math. Helv. 46 (19711, 506-516. 47. P. Hilton and U. Stambach, A course i n homological algebra, Graduate Texts in Mathematics No. 4, Springer Verlag (1971). 48. P. Hoffman and G. Porter, Cohomology realizations of 91x1, Quart. J. Math. 24 (1973), 251-255. 49 *
P. G. Kumpel, On p-equivalences of mod p H-spaces, Quart. J. Math. Oxford (11) 23 (1972), 173-178.
50. M. Lazard, Sur les groupes nilpotents et les anneaux de Lie, Ann. sci. Ecole Norm. Sup. 71 (1954), 101-190. 51. G. Lieberman and D. Smallen, Localization and self-equivalences,Duke Math. Journ. 41 (1974), 183-186. 52. A. L. Malcev, Nilpotent groups without torsion, IZV.Akad. Nauk. SSSR, Math. 13 (1949), 201-212. 53. M. Mimura, G. Nishida and H. Toda, Localization of CW-complexes and its applications, J . Math. SOC. Japan 23 (19711, 593-624.
, On the classification of H-spaces
54.
of rank 2, Jour. Math. Kyoto Univ. 13 (1973), 611-627. 55. M. Mimura, R. O'Neill. and H. Toda, On p-equivalence in the sense of Serre, Japanese Jour. Math. 40 (1971), 1-10. 56. M. Mimura and H. Toda, Cohomology operations and the homotopy of compact Lie groups I, Topology 9 (1970), 317-336.
, On
57.
p-equivalences and p-universal spaces, Comm.
Math. Helv. 46 (1971), 87-97. 58. G. Mislin, H-spaces mod p I, Lecture Notes in Mathematics 196, Springer, (1971), 5-10.
Bibliography 59. G. Mislin, The genus of an H-spacc, Lecture Notes in Mathematics 249, Springer (1971), 75-83.
, Cancellation properties of H-spaces, Comm. Math. Helv., 49
60.
(2) (1974), 195-200.
, Nilpotent groups with finite commutator subgroups, Lecture
61.
Notes in Math., Springer (1974). 62. G. Mislin and J. Roitberg, Remarks on the homotopy classification of finite-dimensional H-spaces, J. London Math. SOC. XXII (19711,593-612. 63. E. A . Molnar, Relation between wedge cancellation and localization for complexes with two cells, J. Pure and Appl. Algebra 3 (1972), 73-81. 64.
S.
Oka, The homotopy groups of sphere bundles over spheres, Jour. Sci.
Hiroshima Univ. 33 (1969), 161-195. 65. P. F. Pickel, Finitely generated nilpotent groups with isomorphic finite quotients, Trans. Amer. Math. SOC. 160 (1971), 327-341 66. D. Quillen, Rational homotopy theory, Ann. of Math. 90 (1969), 205-295. 67. D. L. Rector, Subgroups of finite dimensional topological groups, J. Pure and Appl. Algebra 1 (3) (19711, 253-275.
, Loop structures on the homotopy type of S3, Lecture Notes
68.
in Math. 249, Springer (19711, 99-105. 69. J. Roitberg, Note on nilpotent spaces and localization, Math. Zeits. (to appear).
, Rational Lie algebras and p-isomorphisms of nilpotent groups
70.
and homotopy types, Comm. Math. Helv. (to appear). 71.
,
, Nilpotent groups, homotopy types and rational Lie algebras,
Lecture Notes in Math., Springer (1974). 72. H. Scheerer, On principal bundles over spheres, Indag. Math. 32 (1970), 353-355.
151
Bibliography
152
73. J. P. Serre, Groupes d'homotopie et classes de groupes abeliens, Ann. of Math. 58 (1953), 258-294. 74. A. Shar, Localizations and the homotopy groups of certain complexes, Quart. Jour. Math. 23 (1972), 249-257. 75. A. Sieradski, An example of Hilton and Roitberg, Proc. her. Math. Soc. 28 (L971), 247-253.
, Square roots up to homotopy type, her. J. Math. 94
76.
(19721, 73-81. 77. F. Sigrist and U. Suter, Eine Anwendung der K-Theorie in der theorie der H. R'gume, Corn. Math. Helv. 47 (1972), 36-52. 78. U. Stammbach, Homology in group theory, Lecture Notes in Math. 359, Springer (1973). 79. J. D. Stasheff, Manifolds of the homotopy type of (non-Lie) groups, Bull. Amer. Math. Soc. 75 (1969), 998-1000.
, H-spaces
80. in Math. 81.
from a homotopy point of
Vim,
Lecture Notes
161, Springer, (1970).
, Sphere bundles
over spheres as H-spaces mod p > 2,
Lecture Notes in Math. 249, Springer (1971) , 106-110. 82.
, The mod
p decomposition of Lie Groups, Lecture Notes in
Math., Springer, (1974). 83. D. Sullivan, Geometric topology, part I: Localization, periodicity and Galois symmetry, MIT, 1970 (mimeographed notes).
a4. J. Underwood. Finite dimensional associative H-spaces and products of sphere, preprint. 85. C. T. C . Wall, Finiteness conditions for CW-complexes, Ann. of Math.
81 (1965), 56-59. 86. R. B. Warfield, Localization of nilpotent groups, Forschungsinstitut f u r Mathematik, ETH ZUrich, 1973.
Bibliography
153
87. G. Whitehead, On mappings into group-like spaces, Comm. Math. Helv. 28 (1954), 320-328. 88.
C.
Wilkerson, Spheres which are loop spaces mod p, Proc. her. Math.
SOC. 39 (3) (1973), 616-618. 89.
, K-theory operations in mod
p loop spaces, Math. Zeits.
132 (1973), 29-44. 90.
, Rational maximal
91.
, Genus and cancellation, preprint.
92.
, Genus and cancellation for H-spaces, Lecture Notes in
tori, preprint.
Math., Springer, (1974). 93. A . Zabrodsky, Homotopy associativity and finite CW-complexes. Topology 9 (1970), 121-128. 94.
, The
classification of simply connected H-spaces with three
cells I, 11, Math. Scand. 30 (1972), 193-210 and 211-222. 95.
, On the homotopy type
of principal classical group bundles
over spheres, Israel J. Math. 11 (3)(1972), 96.
, On
315-325.
the construction of new finite CW H-spaces, Inv. Math.
16 (1972), 260-266. 97.
, On the genus of finite CW H-spaces, Comm. Math. Helv. 49, 1 (1974), 48-64.
98.
,p
equivalences and homotopy type, Lecture Notes in Math.,
Springer (1974). 99.
, O n rank 2 mod odd H-spaces, New developments in topology
(ed. G. Segal), C.U.P., Lond. Math. SOC. Lecture Note Series 11 (1974).
Index Abelianization 20
F-monomorphism 83
Action (of nilpotent group) 34
Function space 48, 63, 77 Fundamental Theorem 7
Basic commutators 5 Bousfield-Kan 1, 47
Generalized Serre class 43, 69
Browder-Novikov Theorem 109
Generic property 104, 115 Genus 32, 102, 104, 133
Class (of abelian groups) 43
Genus invariant 105
Cofibre sequence 48, 58, 77 Cofinite (set of primes) 26,84
Half-exact functor 41
Cohomology of groups 1, 15
€!all 5, 25, 26
Commensurable 24
Hilton 1, 40, 67
1-Connected 47, 52
H-map 109
Cooperation map 92, 128
Homological dimension (of quasifinite space) 79, 114
CW-complex 47 Homology decomposition 100 Homology of groups 20, 39 Decomposition (= partition) 29, 31 Homotopy-associative H-structure 120 Dror 48, 76 Homotopy category 47, 94 Hopf algebra structure 110, 112, 119 0-Equivalence 61 H-space 50, 90, 104, 119, 128 Evaluation map 136 Induced H-structure 109 Fibre sequence 48, 58, 77 0-Isomorphism 61 Finite H-space 122, 130, 131 Finite type 59, 79 Lazard 1 Five-term exact sequence 20 0-Local 4
Index
Local cell 48
155
Orthogonal bundles 141
Localization 1 functor 2
p-fibre homotopy equivalent 133
of connected CW-complexes 52
p-local 4
of homotopy types 47
p-universal 4
of nilpotent complexes 72
P-bijective 5, 92
of nilpotent groups 3, 19
P-equivalence 59
Lower central series 3, 20, 67 w-series 34, 67 Lyndon-Hochschild-Serre spectral sequence 14, 41, 44
P-injective 5, 23 P-isomorphism 1, 5, 24 P-local abelian group 7 cell 57 group 1, 4
Malcev 1 space 41, 52, 72 Mayer-Vietoris sequence (in homotopy) 87, 95 sphere 57 Milnor 26, 32 P-localization 1, 47 Mislin 33, 104, 130 theory 4, 7 Mixing homotopy types 94 P-localizing functor 4 Moore-Postnikov system 68 map 4, 41, 52, 1 2 P-surjective 5, 23 Nilpotency class 3, 34 P-universal 4 Nilpotent action 2 , 34 Partition (of the set of primes) 28, 51 complex 62 Pickel 33 homotopy types 1 Poincar6 complex 108 group 1, 3 Postnikov decomposition 65 Lie group 62 map 67
k-Power map 114 N k -Power map 114
space 48, 62 Primitive elements (of coalgebra) 112 Non-cancellation phenomena 102, 133, 144
Index
156
P r i n c i p a l refinement 65
Tensorial c l a s s 43
P r o f i n i t e completion 101
Thom s p a c e 108
Pullback 21, 2 6 , 28, 3 0 , 8 6 , 8 8
Type (of H-space)
122
i n homotopy t h e o r y 94 Theorem 79, 82
0-Universal 4
Pushout 28
Upper c e n t r a l s e r i e s 3 , 20
Q u a s i f i n i t e (space) 4 9 , 79, 89
Weak pullback 9 4 , 96
Q u a s i p r i n c i p a l (bundle) 133 Zabrodsky 50, 9 4 , 1 0 2 , 129 Rank 122 Rank 2 H-space 1 0 2 , 122 R a t i o n a l i z a t i o n 2 , 4 , 2 4 , 26 Reducible (space) 1 0 8 Roitberg 2 6 , 6 2 , 77
Scheerer diagram 137 S e r r e c l a s s 2 , 43 Simple (space) 62 S p l i t e x t e n s i o n 37 S-reducible (space) 1 0 8 Stallings-Stammbach Theorem 2 1 S t m b a c h 43 S t i e f e l manifold 57 Symplectic group 122
