[論文レビュー] The coincidence of the homologies of integral currents and of integral singular chains, via cosheaves

Ayato Mitsuishi|arXiv (Cornell University)|Mar 31, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 6

ひとこと要約

この論文は、局所リプシッツ可縮（LLC）な計量空間上で、積分的カレントホモロジーと積分的特異ホモロジーの同型性を、コシェーブ理論を用いて確立している。リプシッツチェーンを介した自然変換を構成し、コシェーブホモロジーの一般比較法を証明することで、両ホモロジー理論がLLC空間上で一致することを示しており、CW複体を超えたホモトピー不変性の拡張を実現している。

ABSTRACT

We consider the notion of metric spaces being locally Lipschitz contractible introduced by Yamaguchi, and a category of metric spaces satisfying this condition. Many objects in metric geometry including CAT-spaces and Alexandrov spaces, belong to this category. We consider the homology of integral currents with compact support in a metric space, introduced by Ambrosio and Kirchheim, and prove that it and the usual integral singular homology are isomorphic on the category. The proof of it is based on the theory of cosheaves. A method to compare the homologies associated to cosheaves is also proved in this paper.

研究の動機と目的

• 局所リプシッツ可縮（LLC）計量空間上で、積分的カレントホモロジーと積分的特異ホモロジーの同等性を確立すること。
• 積分的カレントホモロジーがホモトピー不変であることを示すことにより、特異ホモロジーのホモトピー不変性をLLC計量空間へ一般化すること。
• 幾何学的・位相的設定に適用可能な、コシェーブに関連するホモロジーを比較する一般手法を開発すること。
• CW複体構造に依存する従来の証明の制限を克服し、より広いクラスの計量空間において結果を証明すること。

提案手法

• ホモロジー理論を比較するために、層の双対としてのコシェーブ理論を用い、そのカテゴリカルな双対性を活用する。
• リプシッツ特異チェーンから積分的カレントへの自然変換 $[\,⋯\,]$ を導入し、ホモロジー上への写像を誘導する。
• ホモロジー理論の局所的自明性に基づいた、一般化された比較定理（定理4.9）を適用する。
• 直径が小さい開被覆上での局所チェーンデータをモデル化するため、Čech型複体 $\check{C}_k(\mathcal{U}, \mathfrak{S}_\bullet)$ を用いる。
• 分割技術と局所的リプシッツ収縮性質を用いてチェーンを精緻化し、補助集合の制御を保証する。
• コシェーブ比較定理の条件を満たすことで、$H_*^{\mathrm{Lip}}(X) \cong H_*^{\mathrm{IC}}(X)$ がLLC空間上で成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 局所リプシッツ可縮計量空間上では、積分的カレントホモロジーが積分的特異ホモロジーと一致するか？
• RQ2 直接的検証に代えて、コシェーブ理論的手法を用いて、これらのホモロジー理論の同型性を確立できるか？
• RQ3 CW複体にホモトピー同値でないLLC計量空間に対しても、積分的カレントのホモロジーはホモトピー不変か？
• RQ4 幾何的文脈において、コシェーブに関連するホモロジーを比較する一般手法を開発できるか？
• RQ5 局所的リプシッツ可縮性とホモロジー理論の局所的自明性の関係は何か？

主な発見

• すべての局所リプシッツ可縮計量空間上で、積分的カレントホモロジー $H_*^{\mathrm{IC}}(X)$ と特異ホモロジー $H_*^{\mathrm{sing}}(X)$ は同型である。
• 自然変換 $[\,⋯\,]_*: H_*^{\mathrm{Lip}}(X) \to H_*^{\mathrm{IC}}(X)$ が同型を誘導し、二つのホモロジー理論の一致を確立する。
• コシェーブを用いた証明により、コシェーブに関連するホモロジーを比較する一般枠組み（定理4.9）が得られ、これは新規かつこの特定のケースを超えた応用が可能である。
• 結果は、CW複体でない計量空間に対しても成り立つため、Mongodiの結果をCW設定を超えて拡張する。
• LLC計量空間のカテゴリは、局所的強いリプシッツ収縮を許容する空間のクラスよりも厳密に大きいことが示されたが、同型性は依然として成立する。
• $H_*^{\mathrm{Lip}}$ と $H_*^{\mathrm{IC}}$ のホモロジー理論は、すべてのLLC計量空間と連続写像のカテゴリ上の関手として拡張可能であり、特異ホモロジーと自然に同型である。