Skip to main content
2 of 6
added 1 character in body
Greg Friedman
  • 5.5k
  • 23
  • 38

Manifolds up to homeomorphisms VS Manifolds up to homotopy equivalence

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:

  1. 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...?)
  2. Is there some (partial) understanding of the Kernel of the map $K(i)$ ? (torsion elements, generators, other relations,...)
Paris
  • 717
  • 3
  • 13