Stable phantom maps between classifying spaces of compact Lie groups (Q2716948)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Stable phantom maps between classifying spaces of compact Lie groups |
scientific article; zbMATH DE number 1599658
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Stable phantom maps between classifying spaces of compact Lie groups |
scientific article; zbMATH DE number 1599658 |
Statements
5 March 2002
0 references
classifying space
0 references
compact Lie group
0 references
0.73698324
0 references
0.7063056
0 references
0.70567834
0 references
0.6931995
0 references
0.69103706
0 references
0.6854544
0 references
Stable phantom maps between classifying spaces of compact Lie groups (English)
0 references
If \(\mathbb X,\mathbb Y\) are the suspension spectra of spaces \(X,Y\), write \(\text{Ph}^d(\mathbb X,\mathbb Y)\) for the group of homotopy classes of (stable) phantom maps of degree \(d\) from \(\mathbb X\) to \(\mathbb Y\). When \(X=BG\), the classifying space of a topological group \(G\), we obtain \(\mathbb X=\mathbb{BG}\). The following is the somewhat surprising main result, which has superficial similarities with the Segal conjecture for finite groups. NEWLINENEWLINENEWLINETheorem. For any two compact Lie groups \(G\) and \(H\), \(\text{Ph}^d(\mathbb{BG},\mathbb{BH})\) is trivial if \(d\) is even, or if \(d\geqslant-1\), or if either group is finite. However, if \(d\) is odd with \(d\geqslant-3\) and if \(G\) and \(H\) have positive rank, then \(\text{Ph}^d(\mathbb{BG},\mathbb{BH})\) is a rational vector space of cardinality \(2^{\aleph_0}\). NEWLINENEWLINENEWLINEThis implies that the graded group \(\text{Ph}^d(\mathbb{BG},\mathbb{BH})\) only depends on whether or not the ranks of \(G\) and \(H\) are zero. Furthermore, \(\text{Ph}^d(\mathbb{BG},\mathbb{BH})\) has no torsion and \(\text{Ph}^d(\mathbb{BG},\mathbb{BH})\cong \text{Ph}^d(\mathbb{BH},\mathbb{BG})\). The proof uses Segal's splitting of \(Q\mathbb{C}P^\infty\) [\textit{G. Segal}, Q. J. Math., Oxf. II. Ser. 24, 1-5 (1973; Zbl 0266.55009)] and operations in \(K\)-theory.
0 references