Families of subgroups and completion (Q1063284): Difference between revisions

To a family \({\mathcal F}\) of subgroups of a compact Lie group G a classifying space \(E{\mathcal F}\) is assigned. Let \(h_ G\) be an equivariant multiplicative cohomology theory. The family \({\mathcal F}\) defines a topology on \(h_ G(pt)\) under which a basis for the neighborhoods of zero is \(I(H_ 1)\times...\times I(H_ n)\), \(H_ i\in {\mathcal F}\), where \(I(H_ i)=\) Kernel of \(h_ G(pt)\to h_ G(G/H_ i)\). This topology is called the \({\mathcal F}\)-topology. The author discusses the completion conjecture which states that for a G-space X the projection \(X\times E{\mathcal F}\to X\) induces an isomorphism \(h_ G(X){\hat{\;}}\to h_ G(X\times E{\mathcal F})\), where \({\hat{\;}}\) denotes completion with respect to the \({\mathcal F}\)-topology. In the case of \(h_ G=K_ G\) the equivariant K-theory, this was proved by \textit{M. F. Atiyah} and \textit{G. B. Segal} [J. Differ. Geom. 3, 1-18 (1969; Zbl 0215.244)] when \({\mathcal F}\) consists only of the identity subgroup, and proved by the author [Transformation Groups, Proc. Conf. Univ. Newcastle 1976, 76-91 (1977; Zbl 0343.55002)] when \({\mathcal F}\) consists of cyclic subgroups of a finite group. In this paper the author proves it for \(h_ G=K_ G\) and \({\mathcal F}\) any family of subgroups of a compact Lie group, and also proves a number of substantial results on the conjecture.