Causal order complex and magnitude homotopy type of metric spaces
Abstract
In this paper, we construct a pointed CW complex called the magnitude homotopy type for a given metric space $X$ and a real parameter $\ell \geq 0$. This space is roughly consisting of all paths of length $\ell$ and has the reduced homology group that is isomorphic to the magnitude homology group of $X$. To construct the magnitude homotopy type, we consider the poset structure on the spacetime $X\times\mathbb{R}$ defined by causal (time- or light-like) relations. The magnitude homotopy type is defined as the quotient of the order complex of an intervals on $X\times\mathbb{R}$ by a certain subcomplex. The magnitude homotopy type gives a covariant functor from the category of metric spaces with $1$-Lipschitz maps to the category of pointed topological spaces. The magnitude homotopy type also has a ``path integral'' like expression for certain metric spaces. By applying discrete Morse theory to the magnitude homotopy type, we obtain a new proof of the Mayer-Vietoris type theorem and several new results including the invariance of the magnitude under sycamore twist of finite metric spaces.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2023
- DOI:
- 10.48550/arXiv.2302.09752
- arXiv:
- arXiv:2302.09752
- Bibcode:
- 2023arXiv230209752T
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Combinatorics;
- Mathematics - Category Theory;
- Mathematics - Metric Geometry;
- 55N35;
- 51F99
- E-Print:
- ver. 2, major revision, 45 pages, 13 figures, to appear in IMRN