Realization of homology classes of PL-manifolds with singularities (Q1095459)

Let p be an odd prime, and let \(MSPL_{(p)}^{CP^{p-1}}\) be the spectrum which represents the p-localized oriented PL-cobordism with \(CP^{p-1}\) Sullivan singularity. Theorem. \(MSPL_{(p)}^{CP^{p-1}}\) is the graded Eilenberg-MacLane spectrum and hence represents the ordinary (co)homology theory (with respective coefficients). Corollary 1. The natural map \((MSPL_{(p)}^{CP^{p-1}})_*(X)\to H(X;Z_{(p)})\) is epic. Corollary 2. Every homology class \(z\in H_*(X)\) may be realized (in the Steenrod-Thom sense) as the sum of singular polyhedra \(f: V\to X\) of the form \(V=M\cup_{\phi}cone(CP^{p-1})\times A\), p running through all (odd) primes; here M is a PL-manifold with \(\partial M=CP^{p-1}\times A\), A is a closed PL-manifold, and \(\phi\) is a PL- isomorphism \(\phi\) : \(\partial M\cong CP^{p-1}\times A\), where \(CP^{p-1}\) is the bottom of \(cone(CP^{p-1})\). Hence, as models which realize cycles, such PL-models are more convenient than the analogous smooth models, where one has to admit infinitely many Sullivan singularities. Now, using the formal group law theory, the author has obtained from the theorem the following results (to appear). Corollary 3. Let x be a low dimensional p-torsion element in \(\pi_*(MSPL)\), dim x\(=2p^ 2-2p-1\). Then \([CP^{p-1}]x=0\in \pi_*(MSPL)\). Corollary 4. For all natural n we have \((n+1)| [CP^ n]\) in \(\pi_*(MSPL_{(p)}^{CP^{p-1}})/tors\).