We indicate two short proofs of the Goresky-MacPherson topological invariance of intersection homology. One proof is very short but requires the Goresky-MacPherson support and cosupport axioms; the other is slightly longer but does not require these axioms and so is adaptable to more general perversities.
Measure homology was introduced by Thurston in his notes about the geometry and topology of 3-manifolds, where it was exploited in the computation of the simplicial volume of hyperbolic manifolds. Zastrow and Hansen independently proved that there exists a canonical isomorphism between measure homology and singular homology (on the category of CW-complexes), and it was then shown by Loeh that, in the absolute case, such isomorphism is in fact an isometry with respect to the L^1-seminorm on singular homology and the total variation seminorm on measure homology. Loehs result plays a fundamental role in the use of measure homology as a tool for computing the simplicial volume of Riemannian manifolds. This paper deals with an extension of Loehs result to the relative case. We prove that relative singular homology and relative measure homology are isometrically isomorphic for a wide class of topological pairs. Our results can be applied for instance in computing the simplicial volume of Riemannian manifolds with boundary. Our arguments are based on new results about continuous (bounded) cohomology of topological pairs, which are probably of independent interest.
We calculate the singular homology and v{C}ech cohomology groups of the Harmonic archipelago. As a corollary, we prove that this space is not homotopy equivalent to the Griffiths space. This is interesting in view of Edas proof that the first singular homology groups of these spaces are isomorphic.