Phantom maps and injectivity of forgetful maps. (English) Zbl 1016.55008

Let \(P\) be the total space of a principal \(G\)-bundle, and assume that \(P\) has the homotopy type of a simply connected finite CW complex. The associated forgetful map \(F\) is the natural homomorphism from the group of homotopy classes of equivariant self-equivalences of \(P\) to the group of homotopy classes of all self-equivalences. By constructing an exact sequence, the authors show that the kernel of \(F\) is the quotient of the fundamental group of a mapping space \(M\) by a countable subgroup. By using the theory of phantom maps they obtain conditions for \(\pi_1 M\) to be trivial (in which case \(F\) is injective) or uncountable (in which case \(F\) is not injective). The injectivity of forgetful maps is also related to the Halperin conjecture in rational homotopy theory.


55R10 Fiber bundles in algebraic topology
55P10 Homotopy equivalences in algebraic topology
55P62 Rational homotopy theory
55P91 Equivariant homotopy theory in algebraic topology
55Q05 Homotopy groups, general; sets of homotopy classes
Full Text: DOI