[论文解读] Linear relations, monodromy and Jordan cells of a circle valued map

Dan Burghelea|arXiv (Cornell University)|Jan 11, 2015

Topological and Geometric Data Analysis参考文献 12被引用 3

一句话总结

本文提出了一种新算法，通过线性关系计算圆值映射的若尔当代数块，提供了一种无需依赖无限循环覆盖或图表示的单值性几何证明，证明了其同伦不变性。该方法可高效计算诺维科夫贝蒂数、亚历山大多项式等拓扑不变量，适用于有限复形上的单纯映射。

ABSTRACT

In this paper we consider the definition of " monodromy of an angle valued map" based on linear relations as proposed in Burghelea-Haller (3). This definition provides an alternative treatment of monodromy and computationally an alternative calculation of the "Jordan cells", topological persistence invariants of a circle valued maps introduced in Burghelea-Day (2). We give a new geometric proof that the monodromy is actually a homotopy invariant of a pair consisting of a compact ANR and an integral degree one cohomology class without any reference to the infinite cyclic cover associated to cohomology class as in (3), or to the graph representation associated an angle valued map defining the cohomology class as in (2). Most important, we describe an algorithm to calculate the monodromy for a simplicial angle valued map defined on a finite simplicial complex, providing a new algorithm for the calculation of the Jordan cells of the map, shorter than the one proposed in (2). We indicate the computational usefulness of "Jordan cells", and in particular of the proposed algorithm, for the calculation of other basic topological invariants of the pair.

研究动机与目标

• 提供一种新的几何证明，证明单值性是配对 $(X, \tilde{\theta})$ 的同伦不变量，且不依赖于无限循环覆盖或图表示。
• 开发一种算法，用于计算有限单纯复形上单纯角值映射的若尔当代数块，其计算路径比以往方法更短。
• 展示若尔当代数块在计算基本拓扑不变量（如诺维科夫贝蒂数、$L^2$-贝蒂数和亚历山大多项式）中的计算实用性。
• 建立单值性和若尔当代数块仅依赖于配对 $(X, \tilde{\theta})$ 而不依赖于特定代表映射 $f: X \to \mathbb{S}^1$ 的关系，通过同伦与稳定化下的不变性。
• 通过线性代数结构（如线性关系和关系的正则部分）统一并简化圆值映射持久性不变量的计算处理。

提出的方法

• 通过水平集上同调群的线性关系定义单值性，避免使用无限循环覆盖或图表示。
• 该算法计算线性关系复合的正则部分 $R(A,B)_{\text{reg}}$，其来源于相邻水平集同调群之间的映射。
• 从单值算子 $T^{(X,\xi)}(r)$ 的正则部分中提取若尔当代数块，该算子表示为与 $G_{2m}$-表示相关的线性关系 $R(\rho)$。
• 该方法使用有限复形上的单纯映射，确保所有角度为弱正则，从而保证算法可计算性。
• 该构造依赖于线性关系分解为正则部分与奇异部分，其中若尔当代数块由正则部分决定。
• 通过显式例子验证该算法，其计算路径短于文献[2]中的方法，在持久同调不变量的计算中具有计算优势。

实验结果

研究问题

• RQ1 能否在不使用诺维科夫同调或无限循环覆盖的情况下，证明圆值映射的单值性为同伦不变量？
• RQ2 是否存在比基于图表示的方法更高效的算法，用于计算圆值映射的若尔当代数块？
• RQ3 如何利用若尔当代数块计算拓扑不变量（如诺维科夫贝蒂数和亚历山大多项式）？
• RQ4 若尔当代数块与关联线性关系的正则部分之间存在何种关系？
• RQ5 能否通过单纯逼近，为任意紧致ANR空间与整系数上同调类一致地定义并计算单值性？

主要发现

• 单值算子 $T^{(X,\xi)}(r)$ 是配对 $(X, \xi)$ 的同伦不变量，其几何证明不依赖于无限循环覆盖或诺维科夫同调。
• 提出一种新算法，用于计算有限单纯复形上单纯角值映射的若尔当代数块 $\mathcal{J}_r(X;\xi)$，其计算复杂度低于以往方法。
• 若尔当代数块等价于单值关系 $R(\rho)_{\text{reg}}$ 的正则部分，其结构完全由线性关系 $R(\rho) = R^\dagger(\beta_m) \cdot R(\alpha_m) \cdots R^\dagger(\beta_1) \cdot R(\alpha_1)$ 捕获。
• 该算法高效计算 $R(A,B)_{\text{reg}}$，从而实现条形码与若尔当代数块等持久性不变量的快速计算。
• 该方法可通过若尔当代数块分解计算 $L^2$-贝蒂数与诺维科夫贝蒂数，为标准无限覆盖构造提供一种计算替代方案。
• 该构造在与无圈ANR空间的稳定化下保持稳定，并尊重同伦等价，确保在拓扑数据分析中的鲁棒性。