6
$\begingroup$

Let $X$ be a compact connected manifold (with or without boundary) and let $H_1(X)$ denote its first Cech integral cohomology group or, equivalently, its first cohomotopy group. Is it true that $H_1(X)$ is finitely generated even if $X$ is not triangulable? Could you please also provide a reference?

$\endgroup$
0

1 Answer 1

11
$\begingroup$

Manifolds are ENRs and a compact ENR is a retract of a finite simiplicial complex. This is proved in corollaries A.8-A.9 of Hatcher's algebraic topology text. Retracts of finite simplicial complexes have finitely generated cohomology (of any flavor).

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .