[论文解读] 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₂ ]的结果。
• 使用双复形和直接同调代数方法，提供初等且无需层论的证明。
• 表明空间的有界上同调仅依赖于覆盖的单纯复形的上同调，当覆盖为有界余挠时。

提出的方法

• 使用与覆盖相关的双复形分析谱序列，并将有界上同调与单纯复形的上同调联系起来。
• 定义Leray同态 $ l_{\text{U}}: H^*(N_{\text{U}}) \to H^*(X) $ 作为关键映射，使得典范映射 $ \hat{H}^*(X) \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的消去定理，而有界余挠性并不被可约性所蕴含。
• 上同调上的同构允许显式构造上链提升，通过度数归纳法在上链层面证明因子化。
• 该方法适用于任意拓扑空间和开覆盖，仅需有界余挠性，无需额外假设。