[論文レビュー] Comparison of sheaf cohomology and singular cohomology

Yehonatan Sella|arXiv (Cornell University)|Feb 22, 2016

Homotopy and Cohomology in Algebraic Topology被引用数 12

ひとこと要約

この論文は、任意の半局所的に可縮な位相空間について、特異コホモロジーと層コホモロジーの間に自然な同型が存在することを確立し、従来の関連結果で必要とされていたパラコンパクト性の仮定を排除した。証明は、特異チェーンに洗練されたチェーンホモトピーを用いたフレアスキー解体を構成し、ヒエラルヒカルパラコンパクト性に依存しないようにすることで、ラマナンの手法を一般化した。

ABSTRACT

A classic result states that on any locally contractible and paracompact topological space, singular cohomology and sheaf cohomology are isomorphic. A result by Ramanan claims that the paracompactness assumption may be removed, but Ramanan's proof in fact implicitly relies on the assumption of paracompactness and does not work in the stated generality. This paper gives a modified proof that, in fact, singular cohomology and sheaf cohomology agree on any locally contractible topological space.

研究の動機と目的

• 特異コホモロジーと層コホモロジーの同型がパラコンパクト性を必要とするかどうかという未解決の問題を解決すること。
• ヒエラルヒカルパラコンパクト空間を仮定する必要があったラマナンの結果を、パラコンパクト性の仮定を排除することで一般化すること。
• 特異チェーン上の変更されたチェーンホモトピー構成を用いて、定数層 $\underline{A}$ のフレアスキー解体を構成すること。
• 半局所的に可縮であることだけが、特異コホモロジーと層コホモロジーが自然に同型であることを保証するのに十分であることの証明。

提案手法

• 空間 $X$ 上の層の複体 $\mathcal{F}^\bullet$ を構成し、$\mathcal{F}^\bullet(U)$ が特異コチェーン複体 $C^\bullet(U;A)$ からの射影極限の射影の族であるようにする。
• 恒等写像と $i \circ \rho$ の間のチェーンホモトピー $H$ を用いる。ここで $\rho$ は特異チェーンを $C_\bullet^\eta(X)$ という部分複体へ写像する。
• 各単体 $\Delta^k$ に標準的なネスト $\eta$ を定義し、面写像と整合するように $\rho_{\Delta^k,\eta}: A_\bullet(\Delta^k) \to C_\bullet^\eta(\Delta^k)$ を構成する。
• $\rho: C_\bullet(X) \to C_\bullet^\eta(X)$ がチェーン写像であり、$H$ が $i \circ \rho$ と $\text{id}$ の間のチェーンホモトピーであることを示し、$i$ がホモトピー同値であることを証明する。
• この結果を適用して、特異コチェーン複体 $C^\bullet(X;A)$ が $\underline{A}$ を準同型解体することを示し、$H^n(X;A) \cong H^n(X;\underline{A})$ を得る。
• 同型が自然であり、ネスト $\eta$ の選択に依存せず、半局所的に可縮であることのみに依存することを示す。

実験結果

リサーチクエスチョン

• RQ1 特異コホモロジーと層コホモロジーの同型がパラコンパクト性を必要とするのか？
• RQ2 ラマナンの同型の証明をヒエラルヒカルパラコンパクト空間を超えて一般化できるか？
• RQ3 半局所的に可縮であることだけが、特異コホモロジーと層コホモロジーの自然な同型を保証するのに十分か？
• RQ4 パラコンパクト性を仮定せず、特異チェーンから直接定数層 $\underline{A}$ のフレアスキー解体を構成できるか？

主な発見

• この論文は、任意の半局所的に可縮な空間 $X$ に対して、すべての $n \geq 0$ および任意のアーベル群 $A$ に対して、自然な同型 $H^n(X;A) \cong H^n(X;\underline{A})$ が存在することを証明した。
• 同型は、パラコンパクト性を必要としない、特異チェーンに洗練されたチェーンホモトピーを用いたフレアスキー解体によって構成された。
• ラマナンの元々の証明にあった欠陥を修正し、ヒエラルヒカルパラコンパクト性を要件としない解体に置き換えた。
• チェーンホモトピー $H$ と写像 $\rho$ の構成は、面写像に関して自然であり、単体間での整合性を保証する。
• 主な技術的革新は、各単体にネスト $\eta$ を導入し、部分複体 $C_\bullet^\eta(\Delta^k)$ と、この構造を尊重するチェーンホモトピーを定義することにある。
• この結果により、特異コホモロジーと層コホモロジーが、非パラコンパクトな空間を含むすべての半局所的に可縮な空間で一致することが示された。