Discrete homology theory for metric spaces. (17th June 2014)

• Record Type: Journal Article
• Authors: Barcelo, Hélène; Capraro, Valerio; White, Jacob A.
• Is Part Of: Bulletin of the London Mathematical Society. Volume 46:Part 5(2014:Oct.)
• Page Start: 889
• Page End: 905
• Publication Date: 2014-06-17
• Subjects: Mathematics -- Periodicals; 510
• DOI: 10.1112/blms/bdu043
• Languages: English
• ISSNs: 0024-6093

Abstract

Abstract : We define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from ann ‐dimensional cube to a fixed metric space. We prove that the resulting homology theory satisfies a discrete analogue of the Eilenberg–Steenrod axioms, and prove a discrete analogue of the Mayer–Vietoris exact sequence. Moreover, this discrete homology theory is related to the discrete homotopy theory of a metric space through a discrete analogue of the Hurewicz theorem. We study the class of groups that can arise as discrete homology groups and, in this setting, we prove that the fundamental group of a smooth, connected, metrizable, compact manifold is isomorphic to the discrete fundamental group of a 'fine enough' rectangulation of the manifold. Finally, we show that this discrete homology theory can be coarsened, leading to a new non‐trivial coarse invariant of a metric space.