[論文レビュー] 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

ひとこと要約

本稿は、距離空間における特異（リプシッツ）ホモロジー、古典的特異ホモロジー、コンパクトな台を持つ整数的カレントのホモロジーが一致する条件を確立する。空間が局所的に強いリプシッツ収縮を備える——例えば、完全なCAT(κ)-空間——場合には、これらの3つのホモロジー理論が同型であることを示す。しかし、局所的可縮性を欠くハワイアン・イヤリングのような空間では、整数的カレントのホモロジーが顕著に異なる：その最大の可除部分群は自明であるが、他の2つの理論では非自明であり、ホモトピー的挙動における根本的な乖離を示している。

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)$.

研究の動機と目的

• 3つのホモロジー理論——特異（リプシッツ）ホモロジー、古典的特異ホモロジー、コンパクトな台を持つ整数的カレントのホモロジー——を比較すること。
• これらの3つのホモロジー理論が一致する条件を特定すること。
• 局所的可縮性を欠く空間、特にハワイアン・イヤリングにおいて同型性が失敗する理由を分析すること。
• 整数的カレントのホモロジーが、他の2つの理論とは異なり、グローバルな幾何的制約に敏感であることを示すこと。
• 錐不等式と局所的リプシッツ収縮がホモロジー的同型に与える役割を明確にすること。

提案手法

• 著者らは、部分集合を点に収縮するホモトピーを、直径を制御するリプシッツ境界で定義する強力なγ-リプシッツ収縮を定義する。
• 完全な距離空間が局所的に強いリプシッツ収縮を備えるならば、任意のコンパクトな台を持つ整数的カレントは、ε-近傍内でのリプシッツチェーンとホモロジー同値であることを証明する。
• 証明には単体的分割と、整数的カレントによるサイクルの制御された埋め込みが用いられる。
• 主な技術的道具は、特異チェーンをリプシッツチェーンとそのホモロジー同値な整数的カレント表現に制御された近似することにある。
• 著者らは、ハワイアン・イヤリングにこの手法を適用し、基本群と交換子部分群を分析する。
• 有限個の円の和集合へのリトラクションによって誘導される群準同型を用いて、ホモロジーにおける非自明性を検出する。

実験結果

リサーチクエスチョン

• RQ1 特異（リプシッツ）ホモロジー、古典的特異ホモロジー、コンパクトな台を持つ整数的カレントのホモロジーが一致する条件は何か？
• RQ2 局所的可縮性を欠く空間において、整数的カレントホモロジーは特異リプシッツホモロジーと一致するか？
• RQ3 ハワイアン・イヤリングの1次ホモロジーにおける最大可除部分群の構造は、各ホモロジー理論でどのように異なるか？
• RQ4 整数的カレントホモロジーと特異ホモロジーの同型性の失敗は、基本群と交換子部分群を用いて検出可能か？
• RQ5 錐不等式と局所的リプシッツ収縮は、サイクルの整数的カレントによる表現可能性にどのように影響するか？

主な発見

• 局所的に強いリプシッツ収縮を備える完全な距離空間では、コンパクトな台を持つ整数的カレントのホモロジーは、特異リプシッツホモロジーと同型である。
• ハワイアン・イヤリングは局所的に強いリプシッツ収縮を備えない。この空間では、整数的カレントのホモロジーは、特異ホモロジーおよびリプシッツ特異ホモロジーと顕著に異なる。
• ハワイアン・イヤリングにおいて、$ 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 \bigvee L_{n+1} $ への写像で、$ k! $ 階の交換子に移され、$ \floor{k!/2} + 1 $ 個未満の基本的交換子の積として表現できないことから、自明な可除部分群の仮定に矛盾することに依拠している。