[论文解读] Singular (Lipschitz) homology and homology of integral currents

Christian Riedweg, Daniel Schäppi|ArXiv.org|Feb 23, 2009

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

一句话总结

本文確立了在度量空間中，奇異（Lipschitz）同調、經典奇異同調以及具有緊支集的整流電流同調三者一致的條件。研究證明，當空間允許局部強Lipschitz收縮時——例如完備的CAT(κ)-空間——這三種同調理論是同構的。然而，對於缺乏局部可縮性的夏威夷項鍊空間，整流電流同調表現出顯著差異：其最大可除子群為平凡，而其他兩種理論的同調群則非平凡，從而揭示了同倫行為的根本差異。

ABSTRACT

We compare the homology groups $H_n ^{IC}(X)$ of the chain complex of integral currents with compact support of a metric space $X$ with the singular Lipschitz homology $H^L_n (X)$ and with ordinary singular homology. If $X$ satisfies certain cone inequalities all these homology theories coincide. On the other hand, for the Hawaiian Earring the homology of integral currents differs from the singular Lipschitz homology and it differs also from the classical singular homology $H_n(X)$.

研究动机与目标

• 比較三種同調理論：奇異（Lipschitz）同調、經典奇異同調，以及具有緊支集的整流電流同調。
• 識別這三種同調理論一致的條件。
• 分析在缺乏局部可縮性的空間中，特別是夏威夷項鍊空間中，等價性失效的原因。
• 證明整流電流同調對全局幾何約束敏感，而其他兩種理論則不然。
• 釐清錐不等式與局部Lipschitz收縮在同調等價性中的作用。

提出的方法

• 作者定義了強γ-Lipschitz收縮為一種同倫，其將子集收縮至一點，且具有直徑控制的Lipschitz界。
• 他們證明，若完備度量空間允許局部強Lipschitz收縮，則每個具有緊支集的整流電流都同調於ε-鄰域內的Lipschitz鏈。
• 證明使用了重心剖分，並透過整流電流控制填充閉鏈。
• 關鍵技術工具是將奇異鏈以Lipschitz鏈及其同調的整流電流代表進行受控逼近。
• 作者將此方法應用於夏威夷項鍊，通過分析基本群與換位子群來研究。
• 他們利用從有限個圓的並集上收縮所誘導的群同態，檢測同調群中的非平凡性。

实验结果

研究问题

• RQ1 在何種條件下，奇異（Lipschitz）同調、經典奇異同調與具有緊支集的整流電流同調會一致？
• RQ2 在非局部可縮空間中，整流電流同調是否與奇異Lipschitz同調一致？
• RQ3 在夏威夷項鍊的第一同調中，每種同調理論下的最大可除子群結構為何？
• RQ4 整流電流同調與奇異同調之間的等價性失效，能否透過基本群與換位子群檢測？
• RQ5 錐不等式與局部Lipschitz收縮如何影響閉鏈由整流電流表示的能力？

主要发现

• 對於允許局部強Lipschitz收縮的完備度量空間，具有緊支集的整流電流同調與奇異Lipschitz同調同構。
• 夏威夷項鍊不允許局部強Lipschitz收縮；在此空間中，整流電流同調與奇異同調及Lipschitz奇異同調顯著不同。
• 在夏威夷項鍊中，$ H_1^{IC}( ext{Hawaiian Earring}) $ 的最大可除子群為平凡，而 $ H_1^L( ext{Hawaiian Earring}) $ 與 $ H_1( ext{Hawaiian Earring}) $ 的最大可除子群則非平凡。
• 代表夏威夷項鍊第一個生成元的環路 $ au_1 $ 不在基本群的換位子群中，意味著其在到 $ H_1 $ 的比較映射下的像非平凡。
• 在 $ H_1^L( ext{Hawaiian Earring}) $ 中，元素 $ [ au_1] $ 屬於一個可除子群，但在 $ H_1^{IC} $ 中則不然，顯示出同調群之間的結構差異。
• 證明依賴於：將 $ [ au_1] $ 在到 $ L_n igvee L_{n+1} $ 的收縮下的像映射至階為 $ k! $ 的換位子，而此元素無法表示為少於 $ loor{k!/2} + 1 $ 個初等換位子的乘積，從而與最大可除子群為平凡的假設產生矛盾。