[論文レビュー] Notes on the bounded cohomology theory

Nikolai V. Ivanov|arXiv (Cornell University)|Aug 17, 2017

Advanced Operator Algebra Research参考文献 17被引用数 18

ひとこと要約

本稿は、可算性の仮定を排除することで、有界コホモロジー理論の包括的かつ見直された基礎を提供する。これは、従来の適用範囲を制限していた可算性仮定を除去したものである。強化されたホモロジー代数の枠組みと標準的分解を用いて、単連結空間における有界コホモロジーの消滅を確立し、層論的またはDold–Thomの構成に依存せずに、自然な半ノルム構造を提供する。

ABSTRACT

The paper is devoted to a generalized and improved version of author's approach to Gromov bounded cohomology theory. In particular, the awkward countability assumption is removed and the aspects related to homological algebra are clarified. The exposition is largely self-contained.

研究の動機と目的

• 有界コホモロジー定理における可算性仮定を除去すること、特に単連結空間における消滅結果について。
• 強相対的単射分解ではなく標準的分解を用いて、有界コホモロジーの基礎的結果を再確立すること。
• Dold–Thomや層論的道具立てに依存せずに、単連結空間における有界コホモロジーの消滅を直接的かつ透明に証明すること。
• 分解のトリックによる間接的再構成を避けて、有界コホモロジー群に自然な半ノルムを内因的に回復すること。
• 群の有界コホモロジーを空間的不変量を研究するための道具として扱うべく、理論を空間を中心に再構築すること。

提案手法

• 群代数の標準的分解を用いて有界コホモロジーを定義し、以前の研究で用いられた強相対的単射分解に代える。
• 特に二重複体とスペクトル系列の理論を用いたホモロジー代数的手法を適用し、分解のコホモロジーを分析する。
• 分解における図式走査の可換性を活用して、有界コホモロジー群間の等長同型を証明する。
• 各行がアーシアティック（acyclic）である二重複体の全複体が、コホモロジーにおいて同型を誘導することを活用する。
• 標準的分解を介して自然な半ノルムを導入し、有界コホモロジーの幾何学的・位相的応用と整合性を保つ。
• Dold–Thom構成を、すべての位相的空間に適用可能なより一般的な枠組みに置き換える。

実験結果

リサーチクエスチョン

• RQ1 CW複体の可算性を仮定せずに、単連結空間における有界コホモロジーの消滅を証明できるか？
• RQ2 標準的分解を用いて群の有界コホモロジーを定義する際、自然な半ノルムを保てるか？
• RQ3 補助的構成を用いず、有界コホモロジーに自然な半ノルムを内因的に回復できるか？
• RQ4 二重複体と全複体は、有界コホモロジー群間の同型を証明するために果たす役割は何か？
• RQ5 有界コホモロジー理論を、層論的理論やDold–Thom構成に依存しない形に再定式化できるか？

主な発見

• 任意のCW複体にホモトピー同値な単連結空間の有界コホモロジーは、正の次数において消える。可算性の仮定は不要である。
• 自然な半ノルムは標準的分解を介して内因的に回復され、臨時的な再構成技法の必要性が排除される。
• 弱同値による有界コホモロジー群間の同型は、等長同型である。半ノルム構造が保存される。
• 各行がアーシアティックである二重複体の全複体は、コホモロジー同型を誘導する。これにより、重要な定理の図式走査による証明が可能になる。
• 強相対的単射分解ではなく標準的分解を用いることで、基礎的枠組みが単純化され、透明性が向上する。
• 消滅定理の一般化により、理論は可算CW複体にホモトピー同値な空間に限らず、すべての位相的空間に適用可能になった。