We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Algebraic Topology

Title: 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.
Comments: ver. 2, major revision, 45 pages, 13 figures, to appear in IMRN
Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Category Theory (math.CT); Metric Geometry (math.MG)
MSC classes: 55N35, 51F99
Cite as: arXiv:2302.09752 [math.AT]
  (or arXiv:2302.09752v2 [math.AT] for this version)

Submission history

From: Masahiko Yoshinaga [view email]
[v1] Mon, 20 Feb 2023 04:09:08 GMT (31kb)
[v2] Fri, 26 May 2023 07:43:55 GMT (34kb)

Link back to: arXiv, form interface, contact.