Let $\mathcal{Man}$ be the set of all connected closed orientable manifolds up to homeomerphism. It is an abelian semigroup with respect to the cartesian product $\times$ (multiplication) and unit $\ast$ (zero dimensional manifold ).
In the same way lets define $\mathcal{Man}^{h}$ as the set of all connected closed orientable manifolds up to homotopy equivalence. It is an abelian semigroup with respect to the cartesian product $\times$ (multiplication) and unit $\ast$ (zero dimensional manifold ).
There is an evident (surjective) homomorphism of abelian semigroups :
$$i:\mathcal{M}\rightarrow \mathcal{M}^{h} $$ $$M\mapsto M $$
which induces a homomorphism of abelian groups after group completion (Grothendieck construction). $$K(i):K(\mathcal{Man})\rightarrow K(\mathcal{Man}^{h}) $$
I do believe that my questions are naive, but let me try to ask them:
- Is there some (partial) understanding of the groups $K(\mathcal{Man})$ and $ K(\mathcal{Man}^{h})$ ? (e.g. Do they have torsion elements? what are other relations...?)
- Is there some (partial) understanding of the Kernel of the map $K(i)$ ? (torsion elements, generators, other relations,...)