Talk:Finitely dominated CW complexes (Ex)
From Manifold Atlas
(Difference between revisions)
Markus Land (Talk | contribs) (Created page with "<wikitex>; The obstruction to being homotopy equivalent to a finite complex lies in the group $\tilde{K}_0(\Z\pi_1(X))$ which is the trivial group if $\pi_1(M)$ is trivial. ...") |
m (A link to the related theorem is added.) |
||
| Line 1: | Line 1: | ||
<wikitex>; | <wikitex>; | ||
| − | The obstruction to being homotopy equivalent to a finite complex lies in the group $\ | + | The obstruction to a finitely dominated CW-complex to being homotopy equivalent to a finite complex lies in the group $\widetilde{K}_0(\Z[\pi_1(X)])$ by the [[Wikipedia:Wall%27s_finiteness_obstruction|Wall's finiteness obstruction theorem]]. The related obstruction for such a 1-connected CW-complex lies so in $\widetilde{K}_0(\Z)$ which is trivial. |
</wikitex> | </wikitex> | ||
Latest revision as of 18:45, 3 September 2013
The obstruction to a finitely dominated CW-complex to being homotopy equivalent to a finite complex lies in the group ![\widetilde{K}_0(\Z[\pi_1(X)])](/images/math/5/6/b/56b92dee518517971467d3fcd27ec62e.png)
by the Wall's finiteness obstruction theorem. The related obstruction for such a 1-connected CW-complex lies so in 
which is trivial.
