[论文解读] Magnitude homology of geodesic space

Kiyonori Gomi|arXiv (Cornell University)|Feb 19, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 5

一句话总结

本文在非分支条件下，对测地度量空间的标量同调群提供了完整的代数拓扑描述。它证明了第二标量同调群是挠自由的，并通过测地线给出了几何解释；对于偶数度数，证明了标量同调群是自由阿贝尔群，且同构于非冗余测地线元组的直和，其显式生成元与测地线路径及其交点相关。

ABSTRACT

This paper studies the magnitude homology groups of geodesic metric spaces. We start with a description of the second magnitude homology of a general metric space in terms of the zeroth homology groups of certain simplicial complexes. Then, on a geodesic metric space, we interpret the description by means of geodesics. The third magnitude homology of a geodesic metric space also admits a description in terms of a simplicial complex. Under an assumption on a metric space, the simplicial description allows us to introduce an invariant of third magnitude homology classes as an intersection number. Finally, we provide a complete description of all the magnitude homology groups of a geodesic metric space which fulfils a certain non-branching assumption.

研究动机与目标

• 澄清标量同调的几何意义，其虽为代数定义但缺乏直观的几何解释。
• 解决第二标量同调是否可能包含挠的开放问题，基于先前工作表明高阶中存在挠。
• 为满足非分支条件的测地度量空间提供标量同调群的完整结构描述。
• 通过单纯复形和测地线数据，为第三标量同调类引入交点数不变量。

提出的方法

• 当 $\rho > d(a,b)$ 时，通过单纯复形 $B^{ ho}(a,b)$ 的零阶同调描述第二标量同调 $H^{ ho}_{2}(a,b)$；当 $\rho = d(a,b)$ 时，通过 $\overline{H}_{0}(A(a,b))$ 描述。
• 利用单纯复形 $A(a,b)$，将 $H^{ ho}_{2}(a,b)$ 解释为连接 $a$ 到 $b$ 的测地线等价类。
• 对于第三标量同调，通过分析与测地线及其交点相关的循环，构造一个基于交点数的不变量。
• 应用光滑性谱序列分析高阶标量同调，证明在非分支假设下 $E^{2}_{p,1}$ 消失且谱序列退化。
• 建立 $H^{ ho}_{n}(X)$ 沿测地线路径及其长度索引的直和分解，从而完整描述同调群。
• 引入从链到 $\mathbb{Z}\tilde{\Gamma}$ 的同态 $\varrho$，证明其单射性，从而在偶数度数下实现同调的基描述。

实验结果

研究问题

• RQ1 第二标量同调的度量空间是否可能包含挠，且这是否依赖于空间的几何结构？
• RQ2 在测地度量空间中，标量同调如何通过测地线进行几何解释？
• RQ3 可以为第三标量同调类定义哪些不变量，它们如何与几何交点数据相关？
• RQ4 在何种条件下，测地空间的标量同调可完全用测地线路径及其组合学描述？
• RQ5 满足非分支条件的测地空间中，高阶标量同调群的结构如何？

主要发现

• 对于任意度量空间 $X$ 和任意 $\rho$，第二标量同调 $H^{ ho}_{2}(X)$ 是挠自由的，解决了关于第二度数中挠存在的开放问题。
• 在测地度量空间中，当 $\rho = d(a,b)$ 时，有 $H^{ ho}_{2}(a,b) \cong \overline{H}_{0}(A(a,b))$，且该群同构于由从 $a$ 到 $b$ 的测地线等价类生成的自由阿贝尔群，其中等价关系将通过测地线同伦的测地线视为等价。
• 在非分支假设下，第三标量同调类具有基于单纯复形和循环分析的交点数不变量。
• 对于偶数 $n = 2q$，标量同调 $H^{ ho}_{2q}(X)$ 同构于所有总长度为 $\rho$ 的 $q$-元组非冗余测地线 $f_1, \ldots, f_q$ 的直和，其中每个分量为由元组形式符号生成的自由阿贝尔群 $\mathbb{Z}(f_1, \ldots, f_q)$。
• 在非分支假设下，标量同调的谱序列在 $E^2$ 退化，从而实现对同调群的完整描述。
• 对于半径为 $r$ 的圆 $S^1$，当 $n$ 为偶数且 $\rho = \pi r n / 2$ 时，有 $H^\rho_n(S^1) \cong \mathbb{Z}[S^1]$，否则为零，显示出精确的周期性结构。