Page 1

arXiv:1105.3951v1 [math.AT] 19 May 2011

A SIMPLE HOMOTOPY-THEORETICAL PROOF OF THE

SULLIVAN CONJECTURE

JEFFREY STROM

Abstract. We give a new proof, using comparatively simple tech-

niques, of the Sullivan conjecture: map∗(BZ/p,K) ∼ ∗ for every finite-

dimensional CW complex K.

Introduction

Haynes Miller proved the Sullivan conjecture in [15]. Another proof can

be deduced from the extension due to Lannes [10], whose proof depends on

the insights into unstable modules and algebras afforded by the T functor.

There are three main problems with these proofs: they are very complicated;

the content is almost entirely encoded in pure algebra; and it is difficult to

tease out the fundamental properties of BZ/p that make the proofs work.

Our purpose in this paper is to offer a new proof avoiding these com-

plaints. The Sullivan conjecture is an easy consequence of the following

main theorem.

Theorem 1. Let X be a CW complex of finite type, and assume that

? H∗(X;Z[1

(1)? H∗(X;Fp) is a reduced unstable Ap-module and? H∗(X;Fp)⊗J(n) is

an injective unstable Ap-module for all n ≥ 0.

(2) Exts

(3) map∗(X,S2m+1) ∼ ∗ for all sufficiently large m.

(4) map∗(X,K) ∼ ∗ for all simply-connected finite complexes K.

(5) map∗(X,?∞

(6) map∗(X,K) ∼ ∗ for all simply-connected finite-dimensional CW

complexes K.

(7) map∗(X,K) ∼ ∗ for all simply-connected CW complexes K with

clW(K) < ∞.

Furthermore, if π1(X) has no perfect quotient groups (that is, if π1(X) is

hypoabelian), then the simply-connected hypotheses on K are not needed.

p]) = 0. Then each of the following conditions implies the next.

U(Σ2m+1Fp,? H∗(Σs+tX)) = 0 for every s,t ≥ 0 and all m ≥ 0.

i=1Sni) ∼ ∗ for any countable set {ni} with each ni> 1.

The notation clW(K) in part (7) denotes the cone length of K with respect

to the collection W of all wedges of spheres; see [17, §1] for a brief overview

2010 Mathematics Subject Classification. Primary 55S37, 55R35; Secondary 55S10.

Key words and phrases. Sullivan conjecture, homotopy limit, cone length, phantom

map, Massey-Peterson tower, T functor, Steenrod algebra, unstable module.

1

Page 2

2 J. Strom

of the main properties of cone length. Since (7) implies (3), the last five

statements are actually equivalent.

Every finite-dimensional CW complex K of course has finite cone length

with respect to W. The extension from part (6) to part (7) is a geometric

parallel to the passage from finite-dimensional spaces in [15] to spaces with

locally finite cohomology in [10].

Since it is known that the reduced cohomology? H∗(BZ/p;Fp) is reduced

[16, Lem. 2.6.5] and that? H∗(BZ/p;Fp) ⊗ J(n) is an injective unstable Ap-

module for all n ≥ 0 [16, Thm. 3.1.1], we obtain the Sullivan conjecture as

an immediate consequence.

Corollary 2 (Miller). If clW(K) < ∞ (and, in particular, if K is finite-

dimensional), then map∗(BZ/p,K) ∼ ∗.

The claim that our proof is simple should be justified: we make no use

whatsoever of spectral sequences, except implicitly in making use of the

well-known cohomology of Eilenberg-Mac Lane spaces; the existence of un-

stable algebras over the Steenrod algebra is mentioned only to make sense of

Massey-Peterson towers; finally, the only homological algebra in this paper

is the usual abelian kind. It has seemed appropriate at points to emphasize

the simplicity of the present approach by laying out some results that might

just as well have been cited from their sources.

Acknowledgement. Many thanks are due to John Harper for pointing out

that I had the raw materials for a proof of the full Sullivan conjecture, and

for bringing the paper [14] to my attention.

1. Preliminaries

We begin by reviewing some preliminary material on the category U of

unstable Ap-algebras, Massey-Peterson towers and phantom maps.

1.1. Unstable Modules over the Steenrod Algebra. The cohomology

functor H∗(?;Fp) takes its values in the category U of unstable modules and

their homomorphisms. An unstable module over the Steenrod algebra Ap

is a graded Ap-module M satisfying PI(x) = 0 if e(I) > |x|, where e(I) is

the excess of I and |x| is the degree of x ∈ M. We begin with some basic

algebra of unstable modules, all of which is (at least implicitly) in [16].

Suspension of Modules. An unstable module M ∈ U has a suspension

ΣM ∈ U given by (ΣM)n= Mn−1. The functor Σ : U → U has a left

adjoint Ω and a right adjoint?Σ. A module M is called reduced if?ΣM = 0.

Projective and Injective Unstable Modules. In the category U, there

are free modules F(n) = Ap/E(n), where E(n) is the smallest left ideal

containing all Steenrod powers PIwith excess e(I) > n. It is easy to see

that the assignment f ?→ f([1]) defines natural isomorphisms

HomU(F(n),M)

∼=

− → Mn.

Page 3

A simple homotopy-theoretical proof of the Sullivan conjecture3

This property defines F(n) up to natural isomorphism, and shows that F(n)

deserves to be called a free module on a single generator of dimension n.

More generally, the free module on a set X = {xα} with |xα| = nαis (up to

isomorphism) the sum?F(nα) (see [16, §1.6] for details).

A graded Fp-vector space M is of finite type if dimFp(Mk) < ∞ for each

k. Since Apis of finite type, so is F(n).

The functor which takes M ∈ U and returns the dual Fp-vector space

(Mn)∗is representable: there is a module J(n) ∈ U and a natural isomor-

phism

HomU(M,J(n))− → HomFp(Mn,Fp).

Since finite sums of vector spaces are also finite products, these functors are

exact, so the module J(n) is an injective object in U.

∼=

The Functor τ. In [16, Thm 3.2.1] it is shown that for any module H ∈ U,

the functor H⊗Ap? has a left adjoint, denoted (? : H)U. Fix a module H (to

stand in for? H∗(X;Fp)) and write τ for the functor (? : H)U; this is intended

to evoke the standard notation T for the special case H =? H∗(BZ/p;Fp).

Lemma 3. Let H ∈ U be a reduced unstable module of finite type and

suppose that H ⊗ J(n) is injective in U for every n ≥ 0. Then

(a) τ exact,

(b) τ commutes with suspension,

(c) if M is free and of finite type, then so is τ(M), and

(d) if H0= 0, then τ(M) = 0 for any finite module M ∈ U.

Proof. These results are covered in Sections 3.2 and 3.3 of [16]. Specifically,

parts (a) and (b) are proved as in [16, Thm. 3.2.2 & Prop. 3.3.4]. Parts (c)

and (d) may be proved following [16, Lem. 3.3.1 & Prop. 3.3.6], but since

there are some changes needed, we prove those parts here.

Write dk= dimFp(Hk); then there are natural isomorphisms

∼=

HomU(F(n),H ⊗ M)

∼=

HomU

HomU(τ(F(n)),M)

??

i+j=nF(i)⊕dj,M

?

,

proving (c) in the case of a free module on one generator. Since τ is a left

adjoint, it commutes with colimits (and sums in particular), we derive the

full statement of (c).

If H0= 0, then d0 = 0 and τ(F(n)) is a sum of free modules F(k)

with k < n. Since F(0) = Fp, we see that τ(Fp) = 0; then (a), together

with the fact that τ commutes with colimits, implies that τ(M) = 0 for all

trivial modules M. Finally, any finite module M has filtration all of whose

subquotients are trivial, and (d) follows.

?

1.2. Massey-Peterson Towers. Cohomology of spaces has more structure

than just that of an unstable Ap-module. It has a cup product which makes

H∗(X;Fp) into an unstable algebra over Ap. The category of unstable

algebras is denoted K.

Page 4

4 J. Strom

The forgetful functor K → U has a left adjoint U : U → K. A space X

is said to have very nice cohomology if H∗(X)∼= U(M) for some unstable

module M of finite type.

Since U(F(n))∼= H∗(K(Z/p,n)), there is a contravariant functor K which

carries a free module F to a generalized Eilenberg-Mac Lane space (usually

abbreviated GEM) K(F) such that H∗(K(F))∼= U(F). If F is free, then

so is ΩF, and K(ΩF) ≃ ΩK(F).

Lemma 4. For any X, [X,K(F)]∼= HomU(F,? H∗(X)).

It is shown in [8,11,14] that if H∗(Y )∼= U(M) and P∗→ M → 0 is a free

resolution in U, then Y has a Massey-Peterson tower

···

??Ys

??

??

Ys−1

??

??

···

??Y1

??

??

Y0

??

K(ΩsPs+1)

K(Ωs−1Ps)

K(ΩP2)K(P1)

in which

(1) Y0= K(P0),

(2) each homotopy group πk(Ys) is a finite p-group,

(3) the limit of the tower is the completion Y∧

(4) each sequence Ys→ Ys−1→ K(Ωs−1Ps) is a fiber sequence, and

(5) the compositions ΩK(Ωs−1Ps) −→ Ys−→ K(ΩsPs+1) can be nat-

urally identified with K(Ωsds+1), where ds+1 : Ps+1 → Ps is the

differential in the given free resolution.

p,

1.3. Phantom Maps. A phantom map is a map f : X → Y from a CW

complex X such that the restriction f|Xnof f to the n-skeleton is trivial for

each n. We write Ph(X,Y ) ⊆ [X,Y ] for the set of pointed homotopy classes

of phantom maps from X to Y . See [12] for an excellent survey on phantom

maps.

If X is the homotopy colimit of a telescope diagram ··· → X(n)→

X(n+1)→ ···, then there is a short exact sequence of pointed sets

∗ → lim1[ΣX(n),Y ] −→ [X,Y ] −→ lim[X(n),Y ] → ∗,

and dually, if Y is the homotopy limit of a tower ··· ← Y(n)← Y(n+1)← ···,

then there is a short exact sequence

∗ → lim1[X,ΩY(n)] −→ [X,Y ] −→ lim[X,Y(n)] → ∗.

In the particular case of the expression of a CW complex X as the homotopy

colimit of its skeleta or of a space Y as the homotopy limit of its Postnikov

system, the kernels are the phantom sets.

We will be interested in showing that all phantom maps are trivial. One

useful criterion is that if G is a tower of compact Hausdorff topological

spaces, then lim1G = ∗ (see [12, Prop. 4.3]). This is used to prove the

following lemma.

Page 5

A simple homotopy-theoretical proof of the Sullivan conjecture5

Lemma 5. Let ··· ← Ys← Ys+1← ··· be a tower of spaces such that each

homotopy group πk(Ys) is finite. If Z is of finite type, then lim1[Z,ΩYs] = ∗.

Proof. The homotopy sets [Zn,ΩjYs] are finite, and we give them the discrete

topology, resulting in towers of compact groups and continuous homomor-

phisms. Fixing s and lettting n vary, we find that lim1[Zn,Ω2Ys] = ∗, and

hence the exact sequence

0 → lim1n[Zn,Ω2Ys] −→ [Z,ΩYs] −→ limn[Zn,ΩYs] → 1

(of groups) reduces to an isomorphism [Z,ΩYs]∼= limn[Zn,ΩYs].

[Z,ΩYs] is an inverse limit of finite discrete spaces, it is compact and Haus-

dorff; and since the structure maps Ys→ Ys−1induce maps of the towers

that define the topology, the induced maps [Z,ΩYs] → [Z,ΩYs−1] are con-

tinuous. Thus lim1[Z,ΩYs] = ∗.

Since

?

The Mittag-Leffler condition is another useful criterion for the vanishing

of lim1. A tower of groups ··· ← Gn ← Gn+1 ← ··· is Mittag-Leffler

if there is a function κ : N → N such that for each n Im(Gn+k→ Gn) =

Im(Gn+κ(n)→ Gn) ⊆ Gnfor every k ≥ κ(n).

Proposition 6. Let ··· ← Gn← Gn+1← ··· be a tower of groups.

(a) If the tower is Mittag-Leffler, then lim1Gn= ∗.

(b) If each Gnis a countable group, then the converse holds: if lim1Gn= ∗,

then the tower is Mittag-Leffler [12, Thm. 4.4].

Importantly, the Mittag-Leffler condition does not refer to the algebraic

structure of the groups Gn. This observation plays a key role in the following

result (cf. [13, §3]).

Proposition 7. Let X be a CW complex of finite type, and let Y1and Y2

be countable CW complexes with ΩY1≃ ΩY2. Then Ph(X,Y1) = ∗ if and

only if Ph(X,Y2) = ∗.

Proof. The homotopy equivalence ΩY1 ≃ ΩY2 gives levelwise bijections

{[ΣXn,Y1]}∼= {[Xn,ΩY1]}∼= {[Xn,ΩY2]}∼= {[ΣXn,Y2]} of towers of sets.

Since X is of finite type and Y1,Y2are countable CW complexes, these tow-

ers are towers of countable groups. Now the triviality of the first phantom

set implies that the first tower is Mittag-Leffler; but then all four towers

must be Mittag-Leffler, and the result follows.

?

2. (1) implies (2)

Write H =? H∗(X;Fp); thus H ∈ U is a reduced module of finite type and

H ⊗ J(n) is injective for all n. If P∗→ M → 0 is a free resolution of M in

Page 6

6J. Strom

U, then Lemma 3 implies that τ(P∗) → 0 → 0 is a free resolution of 0, so

Exts

U

= Exts

=

Hs?Hom?τ(P∗),Σs+tFp

= Exts

=0.

?M,Σs+tH?

U

?M,H ⊗ Σs+tFp)?

Hs?Hom?P∗,H ⊗ Σs+tFp

??

=

??

U

?0,Σs+tFp

?

3. (2) implies (3)

Theorem 8. Suppose H∗(Y ) = U(M) for some finite M ∈ U, and Z is a

CW complex of finite type with? H∗(Z;Z[1

for all s ≥ 0, then [Z,Y ] = ∗.

p]) = 0. If Exts

U(M,Σs? H∗(Z)) = 0

Condition (2) allows us to apply Theorem 8 to Z = ΣtX and Y = S2m+1

to deduce condition (3): πt(map∗(X,S2m+1))∼= [ΣtX,S2m+1] = ∗.

Proof of Theorem 8. According to [14, Thm. 4.2], the natural map Y → Y∧

induces a bijection [Z,Y ]∼= [Z,Y∧

H∗(Y ) = U(M), Y has a Massey-Peterson tower, whose homotopy limit is

Y∧

p. Let fsbe the composite Z → Y → Ys; we will show by induction that

fs≃ ∗ for all s.

Since Y0is a GEM, f0is determined by its effect on cohomology; and since

HomU(M,? H∗(Z)) = Ext0

and hence trivial. Inductively, suppose fs−1is trivial. We have the following

situation

p

p], so it suffices to show [Z,Y∧

p] = ∗. Since

U(M,Σ0? H∗(Z)) = 0, f0is trivial on cohomology,

K(ΩsPs−1)

K(Ωsds)

??

??ΩYs−1

??

∗

??

K(ΩsPs)

??

K(Ωsds+1)

??

Ys

??

??K(ΩsPs+1)

Ys−1.

Now apply [Z, ?] to this diagram and observe that Lemma 4, together with

the isomorphism HomU(ΩsP,H)∼= HomU(P,ΣsH) (with H =? H∗(Z)), gives

[Z,Ys+1]

??

HomU(Ps−1,ΣsH)

d∗

s

??

∗

??

HomU(Ps,ΣsH)

α

??

d∗

s+1

??

[Z,Ys]

??

β

??HomU(Ps+1,ΣsH)

[Z,Ys−1].

Exactness at [Z,Ys] implies that the homotopy class [fs] is equal to α(gs)

for some gs ∈ HomU(Ps,ΣsH). Since [fs] is in the image of the vertical

Page 7

A simple homotopy-theoretical proof of the Sullivan conjecture7

map from [Z,Ys+1], it is in the kernel of β, so d∗

other words, gs is a cycle representing an element [gs] ∈ Exts

Since Exts

α(d∗

s(gs−1)) = [∗].

Since every map f : Z → Y is trivial on composition to Ysfor each s, the

exact sequence ∗ → lim1[Z,ΩYs] −→ [Z,Y∧

an isomorphism [Z,Y∧

s+1(gs) = β([fs]) = 0; in

U(M,ΣsH).

U(M,ΣsH) = 0, we conclude that gs = d∗

s(gs−1) and so [fs] =

p] −→ lim[Z,Ys] → ∗ reduces to

p]∼= lim1[Z,ΩYs], and Lemma 5 finishes the proof.

?

4. (3) implies (4)

The statement that (3) implies (4) is very similar to Corollary 11 from

[17], which is proved using only classical results: the splitting of a product

after suspension; the James construction [9]; the Hilton-Milnor theorem in

the form proved by Gray [6]; a result of Ganea on the homotopy type of the

suspension of a homotopy fiber [5, Prop. 3.3] (see also Gray’s paper [7]); and

a Blakers-Massey-type theorem for n-ads due to Barratt and Whitehead [1]

and Toda [19].

The difference is that here we restrict our attention to odd spheres. To

get this stronger statement, write R = {K | map∗(X,K) ∼ ∗}, and suppose

that R contains all odd-dimensional spheres of sufficiently high dimension;

to make the argument of [17] work, it suffices to show that R contains all

finite-type wedges of odd-dimensional spheres of sufficiently high dimension.

If W = V1∨ V2 where both V1 and V2 are wedges of odd-dimensional

spheres, then the homotopy fiber of the quotient map q : W → V2is

V1⋊ ΩV2≃ V1∧ U,

where U is a wedge of even-dimensional spheres. Now an examination of

the proof of [17, Prop. 7] reveals that if the initial wedge V0is a wedge of

odd-dimensional spheres, then so are all of the later wedges Vn, and so the

argument carries through unchanged.

5. (4) implies (5)

Write W =?∞

(ΣtX)k is compact, and so f((ΣtX)k) is contained in a finite subwedge

V ⊆ W. The homotopy commutative diagram

i=1Sni, and let Let f : ΣtX → W. Since X has finite type,

(ΣtX)k

??

f|(ΣtX)k

??

ΣtX

∗

??

f

??

W

q

??V

i

??W,

in which q is the collapse map to V and i is the inclusion, shows that

f|(ΣtX)k≃ ∗, and hence that f is a phantom map.

Page 8

8J. Strom

The conclusion f ≃ ∗ follows from taking Z = ΣtX in Proposition 9.

Proposition 9. If Z is rationally trivial and of finite type, then

Ph(Z,?∞

Proof. The Hilton-Milnor theorem implies that there is a weak product of

spheres P =?

topy) colimit of the diagram of finite subproducts of the categorical product).

By Proposition 7, it suffices to show that Ph(Z,P) = ∗.

Since the skeleta of Z are compact, every map ΣZk→ P factors through

a finite subproduct of P, so [ΣZk,P] is a weak product?

Since Z is rationally trivial, we have lim1[ΣZk,Sm] = ∗ for each m, and

since these are towers of countable groups, they are all Mittag-Leffler. Write

λ(n,m) for the first k for which the images

i=1Sni) = ∗.

αSmαsuch that Ω(?∞

1Sni) ≃ ΩP (that is, P is the (homo-

α[ΣZk,Smα].

Im([(ΣZ)n+k,Sm] → [(ΣZ)n,Sm])

stabilize. Since λ(n,m) = 0 for m > n + 1, the set {λ(n,m) | m ≥ 0}

is finite, and we define κ(n) to be its maximum. Now it is clear that the

images

Im(?

are independent of k for k ≥ κ(n).

Mittag-Leffler, Ph(Z,P) = ∗, and the proof is complete.

α[ΣZn+k,Smα] →?

α[ΣZn,Smα])

Thus the tower {?

α[ΣZk,Snα]} is

?

6. (5) implies (6)

Let f : ΣtX → K, where K is a simply-connected finite-dimensional CW

complex, which we may assume has trivial 1-skeleton. Since X is of finite

type, the image f(ΣtXk) of each skeleton is contained in a finite subcomplex

of K, and hence f factors through the inclusion of a countable subcomplex

of K, which is necessarily simply-connected and finite-dimensional. Thus to

show f ≃ ∗, it suffices to prove that map∗(X,L) ∼ ∗ for all finite-dimensional

countable simply-connected CW complexes L.

Write A = {?∞

suspension and smash product, and A ⊆ R = {K | map∗(X,K) ∼ ∗},

Theorem 8 of [17] implies that every simply-connected space which has finite

cone length with respect to A = A∨is also in R. But this includes all

simply-connected countable finite-dimensional CW complexes.

i=1Sni} (with each ni > 1).Since A is closed under

7. (6) implies (7)

We continue to write R = {K | map∗(X,K) ∼ ∗}. We know that R con-

tains all simply-connected finite-dimensional wedges of spheres, a collection

that is closed under suspension and smash product. Since generic wedges

?Snαare finite-type wedges of such wedges, Theorem 8 of [17] implies that

R contains W. The same theorem now implies that every simply-connected

space X with clW(X) < ∞ is also in R.

Page 9

A simple homotopy-theoretical proof of the Sullivan conjecture9

8. Non-Simply-Connected Targets

Suppose, finally, that K is not simply-connected and that π1(X) has no

perfect quotients. If f : ΣtX → K is trivial on fundamental groups, then

there is a lift in the diagram

? K

p

??

ΣtX

f

??

??

K

where p is the universal cover of K. Since K is finite-dimensional, so is? K,

and so f ≃ ∗. On the other hand, if f is nontrivial on fundamental groups,

then we write G = Im(f∗) and consider the covering space q : L → K

corresponding to the subgroup G ⊆ π1(K). Again, we have a lift in the

diagram

L

q

??

ΣtX

f

??

φ

??

K

and φ induces a surjection on fundamental groups.

perfect, there is a nontrivial map u : L → K(A,1) (which must be nonzero

on fundamental groups) for some abelian group A. Thus φ is nonzero on

cohomology and so Σφ : Σt+1X → ΣL is nontrivial.

To finish the proof, we observe that if L → K is a covering with L path-

connected, then forming the pullback squares

But since G is not

L0

??

??L1

??

??···

??Ln−1

??

??Ln

??

L

??

K0

??K1

??···

??Kn−1

??Kn

K

over a W-cone decomposition of K yields a W-cone decomposition of L.

Thus the nontriviality of Σφ contradicts Theorem 1(7) because ΣL is simply-

connected and clW(ΣL) ≤ clW(L) < ∞.

References

[1]M. G. Barratt and J. H. C. Whitehead, The first nonvanishing group of an (n+1)-ad,

Proc. London Math. Soc. (3) 6 (1956), 417–439. MR0085509 (19,52c)

A. L. Blakers and W. S. Massey, The homotopy groups of a triad. I, Ann. of Math.

(2) 53 (1951), 161–205. MR0038654 (12,435e)

, The homotopy groups of a triad. II, Ann. of Math. (2) 55 (1952), 192–201.

MR0044836 (13,485f)

Gunnar Carlsson, G. B. Segal’s Burnside ring conjecture for (Z/2)k, Topology 22

(1983), no. 1, 83–103, DOI 10.1016/0040-9383(83)90046-0. MR682060 (84a:55007)

T. Ganea, A generalization of the homology and homotopy suspension, Comment.

Math. Helv. 39 (1965), 295–322. MR0179791 (31 #4033)

[2]

[3]

[4]

[5]

Page 10

10J. Strom

[6]Brayton Gray, A note on the Hilton-Milnor theorem, Topology 10 (1971), 199–201.

MR0281202 (43 #6921)

, On the homotopy groups of mapping cones, Proc. London Math. Soc. (3) 26

(1973), 497–520. MR0334198 (48 #12517)

John R. Harper, H-spaces with torsion, Mem. Amer. Math. Soc. 22 (1979), no. 223,

viii+72. MR546361 (80k:55033)

I. M. James, Reduced product spaces, Ann. of Math. (2) 62 (1955), 170–

197.MR0073181 (17,396b)

[10] Jean Lannes, Sur les espaces fonctionnels dont la source est le classifiant d’un p-

groupe ab´ elien ´ el´ ementaire, Inst. Hautes´Etudes Sci. Publ. Math. 75 (1992), 135–244

(French). With an appendix by Michel Zisman. MR1179079 (93j:55019)

[11] W. S. Massey and F. P. Peterson, The mod 2 cohomology structure of certain fibre

spaces, Memoirs of the American Mathematical Society, No. 74, American Mathe-

matical Society, Providence, R.I., 1967. MR0226637 (37 #2226)

[12] C. A. McGibbon, Phantom maps, Handbook of algebraic topology, North-Holland,

Amsterdam, 1995, pp. 1209–1257, DOI 10.1016/B978-044481779-2/50026-2, (to ap-

pear in print). MR1361910 (96i:55021)

[13] C. A. McGibbon and Richard Steiner, Some questions about the first derived func-

tor of the inverse limit, J. Pure Appl. Algebra 103 (1995), no. 3, 325–340, DOI

10.1016/0022-4049(94)00107-T. MR1357793 (98c:20098)

[14] Haynes Miller, Massey-Peterson towers and maps from classifying spaces, Algebraic

topology, Aarhus 1982 (Aarhus, 1982), Lecture Notes in Math., vol. 1051, Springer,

Berlin, 1984, pp. 401–417, DOI 10.1007/BFb0075581, (to appear in print). MR764593

(86b:55011)

[15]

, The Sullivan conjecture on maps from classifying spaces, Ann. of Math. (2)

120 (1984), no. 1, 39–87, DOI 10.2307/2007071. MR750716 (85i:55012)

[16] Lionel Schwartz, Unstable modules over the Steenrod algebra and Sullivan’s fixed

point set conjecture, Chicago Lectures in Mathematics, University of Chicago Press,

Chicago, IL, 1994. MR1282727 (95d:55017)

[17] Jeffrey Strom, Miller spaces and spherical resolvability of finite complexes, Fund.

Math. 178 (2003), no. 2, 97–108, DOI 10.4064/fm178-2-1. MR2029919 (2005b:55026)

[18] Dennis Sullivan, Geometric topology. Part I, Massachusetts Institute of Technology,

Cambridge, Mass., 1971. Localization, periodicity, and Galois symmetry; Revised

version. MR0494074 (58 #13006a)

[19] Hirosi Toda, Complex of the standard paths and n-ad homotopy groups, J. Inst. Poly-

tech. Osaka City Univ. Ser. A. 6 (1955), 101–120. MR0075589 (17,773b)

[20] George W. Whitehead, Elements of homotopy theory, Graduate Texts in Mathemat-

ics, vol. 61, Springer-Verlag, New York, 1978. MR516508 (80b:55001)

[7]

[8]

[9]

Department of Mathematics, Western Michigan University, Kalamazoo,

MI, 49008-5200 USA

E-mail address: Jeff.Strom@wmich.edu