[論文レビュー] Leray theorems in bounded cohomology theory

Nikolai V. Ivanov|arXiv (Cornell University)|Dec 15, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 8

ひとこと要約

この論文は、被覆のネ载体のコホモロジーを通じて、有界コホモロジーから単体的コホモロジーへの標準的写像を因数分解する Leray ホモーマーフィズムを導入することにより、Leray の定理の有界コホモロジー版を確立する。主な結果は、被覆のすべての有限交叉が有界的アセイクル（あるいは弱有界的アセイクル）であるならば、空間の有界コホモロジーがネ バーのコホモロジーと同型であることを示しており、これはアメニタブルでない基本群への Gromov の消失定理の一般化である。

ABSTRACT

The paper is devoted to a generalized and simplified version of author's approach to covering theorems in bounded cohomology theory. The amenability assumptions are replaced by weaker and more natural acyclicity assumprions. In the case of open coverings the paracompactness assumption is removed. It is shown that for paracompact spaces the case of closed coverings can be reduced to the case of open coverings if spaces and subspaces in question behave nicely with respect to fundamental groups and covering spaces. Another covering theorem for closed coverings assumes nice behavior with respect to singular homology; now only its proof uses the sheaf theory. The methods apply also to $l_1$-homology. The exposition is largely self-contained. In particular, the required results from the theory of paracompact spaces are presented with full proofs.

研究の動機と目的

• 局所的に定義できない有界コホモロジーへ古典的 Leray の定理を拡張すること。
• アメニタブル性ではなく有界的アセイクル性を用いた Gromov の消失定理の概念的枠組みを提供すること。
• 先行研究 [I₁], [I₂] の結果を、アセイクル性の条件を弱有界的アセイクル性に緩和することによって一般化すること。
• ダブル複体と直接的なホモロジー代数を用いた、層論を含まない初等的証明を提供すること。
• 被覆が有界的アセイクルであるとき、空間の有界コホモロジーがネ バーのコホモロジーにのみ依存することを示すこと。

提案手法

• 被覆に関連するダブル複体を用いてスペクトル系列を解析し、有界コホモロジーとネ バーのコホモロジーを関連付ける。
• 標準的写像 $ \hat{H}^*(X) \to H^*(X) $ が因数分解される主要な写像として、Leray ホモーマーフィズム $ l_{\text{U}}: H^*(N_{\text{U}}) \to H^*(X) $ の定義。
• 弱有界的アセイクル性の導入：$ \pi_1(U) \to \pi_1(X) $ の像が有界的アセイクルであることで、$ U $ が有界的アセイクルであるよりも弱い条件となる。
• 初等的ホモロジー代数の応用、特にコチェーンの上昇の構成と双複体における可換性の検証。
• 有界コホモロジーがパス連結空間においては群平均化に依存せず、基本群にのみ依存することの利用。
• コホモロジーにおける同型性を用いてサイクルを上昇し、余境界項を補正する帰納法によるコチェーンレベルの上昇の明示的構成。

実験結果

リサーチクエスチョン

• RQ1 有界コホモロジーにおいてコホモロジーが局所的に定義されない場合に、Leray 型の定理を拡張できるか？
• RQ2 標準的写像 $ \hat{H}^*(X) \to H^*(X) $ がネ バー $ N_{\mathcal{U}} $ のコホモロジーを通じて因数分解される条件は何か？
• RQ3 有界的アセイクル性は必要か、それとも被覆の交叉における弱有界的アセイクル性に弱めることができるか？
• RQ4 新しい枠組みは、アメニタブルでない基本群の範囲でも Gromov の消失定理とどのように関係するか？
• RQ5 有界コホモロジー版の Leray の定理に対して、層論を含まない初等的証明を構築できるか？

主な発見

• 被覆 $ \mathcal{U} $ が有界的アセイクルであるとき、標準的写像 $ \hat{H}^*(X) \to H^*(X) $ は Leray ホモーマーフィズム $ l_{\mathcal{U}}: H^*(N_{\mathcal{U}}) \to H^*(X) $ を通じて因数分解される。
• 弱有界的アセイクル性の下でも成立：すべての $ U \in \mathcal{U}^\cap $ に対して $ \pi_1(U) \to \pi_1(X) $ の像が有界的アセイクルである。これは $ U $ が有界的アセイクルであるという条件よりも厳密に弱い。
• 証明は初等的であり、層論を一切用いず、ダブル複体と直接的なコチェーンレベルの構成に依存する。
• この枠組みにより、アメニタブル性を有界的アセイクル性に置き換えることで Gromov の消失定理が一般化され、アメニタブル性からは有界的アセイクル性が導かれない。
• コホモロジーにおける同型性により、明示的なコチェーンの上昇が可能であり、次数に関する帰納法により、コチェーンレベルでの因数分解が証明される。
• この手法は任意の位相空間および開被覆に適用可能であり、有界的アセイクル性以外の追加仮定は必要としない。