[论文解读] Topology of angle valued maps, bar codes and Jordan blocks

Dan Burghelea, Stefan Haller|arXiv (Cornell University)|Mar 18, 2013

Topological and Geometric Data Analysis参考文献 17被引用 7

一句话总结

本文引入并分析了‘条形码’与‘若尔当代数块’——适用于良好拓扑空间上驯服角值映射的计算机友好型不变量。通过将其与贝蒂数、诺维科夫贝蒂数及单值性联系起来，确立了其拓扑意义，并证明了复平面去掉原点后条形码构型的稳定性与庞加莱对偶性。

ABSTRACT

In this paper one presents a collection of results about the "bar codes" and "Jordan blocks" introduced by Burghelea-Day as "computer friendly" invariants of a tame angle-valued map and one relates these invariants to the Betti numbers, Novikov Betti numbers and the monodromy of the underlying space and map. Among others, one organizes the bar codes as two configurations of points in C\0 and one establishes their main properties: stability property and when the underlying space is a closed topological manifold, Poincaré duality property. One also provides an alternative "computer friendly" definition of the monodromy of an angle valued map based on the algebra of linear relations as well as a refinement of Morse and Morse-Novikov inequalities.

研究动机与目标

• 为良好拓扑空间上驯服角值映射的不变量提供一种计算机友好的代数框架。
• 将条形码与若尔当代数块与经典拓扑不变量（如贝蒂数和诺维科夫贝蒂数）联系起来。
• 为复平面去掉原点中的条形码构型建立基础性质——稳定性与庞加莱对偶性。
• 通过在洛朗多项式环上的线性关系重新表述单值性，提升计算可及性。
• 利用条形码与若尔当代数块的结构，改进莫尔斯不等式与莫尔斯-诺维科夫不等式。

提出的方法

• 通过角值映射的映射锥的图表示来表示条形码与若尔当代数块。
• 使用洛朗多项式环 $\kappa[t^{-1}, t]$ 上的有限生成模来建模无限循环覆叠的同调。
• 利用PID上有限生成模的结构定理，将这些模分解为自由部分与扭部分，从而识别出条形码与若尔当代数块。
• 将构型 $C_r(f)$ 定义为 $\mathbb{C} \setminus \{0\}$ 中对应于条形码与若尔当代数块的点的多重集，包含重数。
• 应用稳定性定理，证明映射 $f$ 的小扰动会导致条形码构型的微小变化。
• 通过利用无限循环覆叠模结构中的对偶性，证明 $C_r(f)$ 的庞加莱对偶性。

实验结果

研究问题

• RQ1 条形码与若尔当代数块如何组织为 $\mathbb{C} \setminus \{0\}$ 中的几何构型？它们满足哪些拓扑性质？
• RQ2 驯服角值映射的条形码与若尔当代数块与其底空间的贝蒂数和诺维科夫贝蒂数之间有何关系？
• RQ3 该映射的单值性如何与关联模在 $\kappa[t^{-1}, t]$ 上的代数结构相关联？
• RQ4 能否利用条形码与若尔当代数块的重数与类型来改进标准莫尔斯不等式与莫尔斯-诺维科夫不等式？
• RQ5 条形码构型在映射 $f$ 的小扰动下表现出怎样的稳定性行为？

主要发现

• 条形码与若尔当代数块被组织为 $\mathbb{C} \setminus \{0\}$ 中的点的多重集，形成编码映射拓扑数据的构型 $C_r(f)$。
• 构型 $C_r(f)$ 满足稳定性性质：映射 $f$ 的小扰动会导致构型的微小变化，该变化通过瓶颈距离度量。
• 当底空间为闭拓扑流形时，构型 $C_r(f)$ 满足庞加莱对偶性，反映出无限循环覆叠上同调的对偶性。
• 角值映射的单值性通过线性关系代数被重新定义，为经典定义提供了计算上更有效的替代方案。
• 本文通过引入条形码与若尔当代数块的重数与类型，改进了莫尔斯与莫尔斯-诺维科夫不等式，从而对贝蒂数与诺维科夫贝蒂数给出了更紧的界。
• 对于有限维单纯复形，条形码与若尔当代数块可通过参考文献 [3] 中提出的算法有效计算。