[论文解读] Comparison of sheaf cohomology and singular cohomology

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

Homotopy and Cohomology in Algebraic Topology被引用 12

一句话总结

本文建立了任意半局部可缩拓扑空间上奇异上同调与层上同调之间的自然同构，消除了此前相关结果中所需的仿紧性假设。证明通过在奇异链上使用改进的链同伦论证，构造了常值层的内射化解析，推广了Ramanan的方法，消除了对遗传仿紧性的依赖。

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.

研究动机与目标

• 解决关于奇异上同调与层上同调同构性是否需要仿紧性假设的开放问题。
• 通过消除仿紧性假设，推广Ramanan的结果，后者要求空间为遗传仿紧空间。
• 通过奇异链上的改进链同伦构造，直接构造常值层 $\underline{A}$ 的内射化解析。
• 证明仅凭半局部可缩性即可保证奇异上同调与层上同调之间存在自然同构。

提出的方法

• 在 $X$ 上构造一个层复形 $\mathcal{F}^\bullet$，使得 $\mathcal{F}^\bullet(U)$ 是奇异上链复形 $C^\bullet(U;A)$ 的商映射的直接极限。
• 使用一个链同伦 $H$，连接恒等映射与复合映射 $i \circ \rho$，其中 $\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 Ramanan 关于同构性的证明能否推广到非遗传仿紧空间？
• RQ3 仅凭半局部可缩性是否足以保证奇异上同调与层上同调之间存在自然同构？
• RQ4 能否在不依赖仿紧性的情况下，直接从奇异链构造常值层 $\underline{A}$ 的内射化解析？

主要发现

• 本文证明了对任意半局部可缩空间 $X$，对所有 $n \geq 0$ 及任意阿贝尔群 $A$，存在自然同构 $H^n(X;A) \cong H^n(X;\underline{A})$。
• 该同构通过奇异链上的改进链同伦构造的内射化解析实现，避免了对仿紧性的依赖。
• 证明修正了Ramanan原始论证中的缺陷，将其解析替换为不依赖遗传仿紧性的版本。
• 链同伦 $H$ 与映射 $\rho$ 的构造对面映射是自然的，确保了在单形之间的相容性。
• 关键技术创新在于在每个单形上使用嵌套 $\eta$ 定义子复形 $C_\bullet^\eta(\Delta^k)$，并构造一个尊重该结构的链同伦。
• 结果表明，奇异上同调与层上同调在所有半局部可缩空间上一致，包括非仿紧空间。