2 views

Uploaded by Epic Win

save

You are on page 1of 3

May

The Segal conjecture, in its nonequivariant form, provides a spectacular example of the failure of duality for infinite complexes. The purpose of this note

is to point out that the Segal conjecture, in its equivariant form, implies the validity of duality for certain infinite G-complexes in theories, such as equivariant K-theory, which enjoy the same kind of invarianee property that cohomotopy enjoys. To establish context, we give a quick review of duality theory. spaces X, Y, and Z, there is an evident natural map For based

~: F(X,Y) A Z

)

F(X,Y ^ Z).

Here

F(X,Y)

is the function space of based maps

X + Y

and

v

is specified by

v(f^z)(x) = f(x)^z.

Any up-to-date construction of the stable category comes F X is and an analogous natural or Z is a finite CWwhere k S

equipped with an analogous function spectrum functor map ~ defined for spectra ~ X, Y, and Z. If either X

spectrum, then

is an equivalence. Replacing

The dual of Z

DX = F(X,S),

denotes the sphere spectrum. theory of interest, we obtain ~.: kq(DX) + k-q(x), and ~.

by the representing spectrum On passage to X ~q,

of some

~: DX^k + F(X,k).

this gives

is an isomorphism if

is finite. Classical

Spanler-Whitehead duality amounts to an identification of the homotopy type of DZ~X when X is a polyhedron embedded in a sphere, where Z~ denotes the

suspension spectrum functor.

This outline applies equally well equivariantly, with G. We need only remark that

spectra replaced by G-spectra for a compact Lie group

a map of G-spectra is an equivalence if and only it induces an isomorphism on passage to H of G ~q(?) = [G/H+ Asq,?] G (where the + for all integers q and all closed subgroups

denotes addition of a disjoint basepoint) and that homology

and cohomology are specified by

k (Xl :

and

:

for any G-spectra

X

and

kG.

See [6] for details on all of this.

304

We restrict our discussion of the Segal conjecture to finite p-groups for a fixed prime p, and we agree once and for all to complete all spectra at p

without change of notation. spectra.

See [4] for a good discussion of completions of

Completions of G-spectra work the same way (and have properties analogous

to completions of G-spaces [7]). The nonequivariant formulation of the Segal conjecture [1,5,8] asserts that a certain map

m: VE~ W + : °B H

is an equivalence, where B

> DBG+

denotes the classifying space functor and the wedge H of BG+ G. Since both the mod p

runs over the conjugacy classes of subgroups homology of DBG+ and the mod p cohomology of

are concentrated in noncannot

negative degrees, we see that the duality map possibly be an isomorphism.

v,: H,(DBG+) + H-*(BG+)

It is not much harder to see that the corresponding

duality map in p-adic K-theory also fails to be an isomorphism. As explained in [5], the map spectra from the map of G-spectra a above is obtained by passage to G-fixed point

B: S ~ F(sO,s)

> F(EG+,S)

induced by the projection

EG + pt,

where

EG

is a free contractible G-space. The 8 is an equivalence. More

equivariant form of the Segal conjecture asserts that generally, the analogous map with finite G-CW complex X EG+

replaced by its smash product with any based The crux of our observation is just is any G-spectrum.

is an equivalence. kG

the following naturality diagram, where

DX^kG--SAI

;D(EG+^X)^k G

i

F(X,kG ) 8 ; F(EG+ AX, kG) The left map also ~^i, ~ is an equivalence since X is finite. If ~ The top map 6, hence is an equivalence by the Segal conjecture. carries G-maps which 6 on the bottom is H C G) and we can

are nonequivariant homotopy equivalences to isomorphisms, then an equivalence (as we see by replacing conclude that v X with G/H+^X for all

on the right is an equivalence. EG+~X;

In particular, duality holds in

d -theory

for the infinite G-complex

that is,

v,: k~(D(EG+ ^X)) --~ k~q(EG+ ~ X)

305

is an isomorphism.

Of course, equivariant K-theory has the specified invariance

property by the Atiyah-Segal completion theorem [3]. Equivariant cohomotopy with coefficients in any equivariant classifying space also has this property [5,8,9]° In the examples just mentioned, spectrum k kG and its underlying non-equivariant

(which represents ordinary K-theory or ordinary cohomotopy with

coefficients in the relevant nonequivariant classifying space) are sufficiently nicely related that, for any free G-CW spectrum X,

k~(X) ~ k*(X/G) (See [6,II].) With X replaced by

and EG+~X

k~(X) ~ k.(X/G). for a finite G-CW complex X, this

may appear to be suspiciously close to a contradiction to the failure of duality in non-equivariant K-theory cited above. G-CW The point is that the dual of a free finite G-CW spectrum [2,8.4; 5,III.2.12], G-

spectrum is equivalent to a free finite G-CW

but the dual of a free infinite CW spectrum, and in fact

spectrum need not be equivalent to a free

Z~EG+^X

provides a counterexample.

Bibliography

i. J. F. Adams.

Grame Segal's Burnside ring conjecture. 6(1982), 201-210.

Bull. Amer. Math. Soc.

2.

J, F. Adams.

Prerequisites (on equivariant theory) for Carlsson's lecture. Springer Lecture Notes in Mathematics Vol. 1051, 1986, 483-532. Equivariant K-theory and completion. J. Diff.

3.

M. F. Atiyah and G. B. Segal.

**Geometry 3(1969), 1-18. 4. A. K. Bousfield. The localization of spectra with respect to homology. Topology 18(1979), 257-281.
**

L. G. Lewis, J. P. May, and J. E. McClure.

5-

**Segal conjecture. 165-179.
**

6.

Classifying G-spaces and the Canadian Math. Soc. Conf. Proc. Vol. 2, Part 2, 1982,

L. G. Lewis, J. P. May, and Mark Steinberger (with contributions by J. E.

McClure). Equivariant stable homotopy theory. Mathematics. To appear. 7. J. P. May. Equivariant completion. 231-237.

Springer Lecture Notes in

Bull. London Math. Soc. 14(1982),

8.

J. P. May. The completion conjecture in equivariant cohomolog<f. Springer Lecture Notes in Mathematics Vol. 1051, 1984, 620-637. J. P. May. A further generalization of the Segal conjecture. To appear.

9.

- qfUploaded byEpic Win
- riminiUploaded byEpic Win
- tokyoUploaded byEpic Win
- RomeUploaded byEpic Win
- rept-rusUploaded byEpic Win
- sUploaded byEpic Win
- paUploaded byEpic Win
- New 18Uploaded byEpic Win
- TalkUploaded byEpic Win
- OutlineUploaded byEpic Win
- romaUploaded byEpic Win
- Ram RecUploaded byEpic Win
- WarnUploaded byEpic Win
- taUploaded byEpic Win
- InequalitiesUploaded byEpic Win
- appuntiUploaded byEpic Win
- Nelson BibUploaded byEpic Win
- hmUploaded byEpic Win
- iUploaded byEpic Win
- cvUploaded byEpic Win
- istUploaded byEpic Win
- bmotionUploaded byEpic Win
- 1Uploaded byEpic Win
- FlowsUploaded byEpic Win
- FaithUploaded byEpic Win
- IntUploaded byEpic Win
- elemUploaded byEpic Win
- FogUploaded byEpic Win
- eUploaded byEpic Win
- HopeUploaded byEpic Win