The \(K_ *\)-local type of the orbit manifold \((S^{2m+1}\times S')/D_ q\) by the dihedral group \(D_ q\) (Q1356400)

A CW-spectrum \(X\) is said to be \(E_*\)-local if any \(E_*\)-equivalence \(A\to B\) induces an isomorphism \([B,X]_* \equiv [A,X]_*\), where \(E\) is a given CW-spectrum. For any CW-spectrum \(X\) there exists an \(E_*\)-equivalence \(X\to X_E\) such that \(X_E\) is \(E_*\)-local; \(X_E\) is called the \(E_*\)-localization of \(X\). For \(KO\) and \(KU\) (i.e. the real and the complex \(K\)-spectrum respectively), we only write \(K_*\) because there is no difference between the \(KO_*\)- and \(KU_*\)-localization. In the present note, the author studies the \(K_*\)-local type of certain orbit manifolds \(D(q)^{m,k} =D(q)^{m,k} =(S^{2m+1} \times S^k)/D_q\) by the dihedral group \(D_q\). First he establishes that the manifold \(D(q)^{m,k}\) has a decomposition as \(K_*\)-local spectrum, according to a direct sum decomposition of the \(KU^0\)-, \(KO^0\)- and \(J^0\)-groups of \(D(q)^{m,k}\). The author also studies the \(K_*\)-local type of the stunted lens spheres \(L(q)^m/L(q)^n\) for an odd prime q. His result gives a more explicit form of the \(K_*\)-local type of \(D(q)^{m,k}\) in the case where \(q\) is an odd prime.