[论文解读] Representation of relative sheaf cohomology

Tatsuo Suwa|arXiv (Cornell University)|Oct 15, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 4

一句话总结

本文通过Čech方法与导出范畴方法，建立了相对层上同调与基于软层或精细层解析的上同调理论之间的典范同构。证明了一个相对de Rham型定理，表明对于仿紧空间与精细解析，截面在开子集上消失的上同调，与原始层的相对上同调之间存在典范同构。

ABSTRACT

We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on the one hand the cohomology is described as the relative cohomology of the sections of the sheaf complex, which appears naturally in the theory of Cech cohomology of sheaf complexes. On the other hand it is interpreted as the cohomology of a complex dual to the mapping cone of a certain morphism of complexes in the theory of derived categories. We prove a "relative de Rham type theorem" from the above two viewpoints. It says that, in the case the complex is a soft or fine resolution of a certain sheaf, the cohomology is canonically isomorphic with the relative cohomology of the sheaf. Thus the former provides a handy way of representing the latter. Along the way we develop various theories and establishes canonical isomorphisms among the cohomologies that appear therein. The second viewpoint leads to a generalization of the theory to the case of cohomology of sheaf morphisms. Some special cases together with applications are also indicated.

研究动机与目标

• 提供一种相对层上同调的显式、可计算的表示，该表示原本通过内射解析抽象定义。
• 通过证明相对上同调可通过开覆盖上截面复形计算，弥合Čech上同调与导出范畴理论之间的鸿沟。
• 在复几何中，通过软层或精细层解析，将de Rham定理推广至相对情形。
• 通过导出范畴中的余映射锥构造，为层态射发展一种上同调理论。
• 在多种上同调框架之间建立典范同构，确保结果的一致性与选择无关性。

提出的方法

• 引入一个通过覆盖 $ \mathcal{V} = \{V_0 = X', V_1\} $ 上三元组 $ (\xi_0, \xi_1, \xi_{01}) $ 定义的上同调理论 $ H^q_{D_{\tilde{K}}}(X,X') $，其中相对上链满足 $ \xi_0 = 0 $。
• 使用覆盖 $ X $ 及其开子集 $ X' $ 上的Čech型复形 $ \mathscr{K}^\bullet(\mathcal{V}, \mathcal{V}') $，其微分由交错和定义。
• 当 $ \mathscr{K}^\bullet $ 是 $ \mathscr{S} $ 的精细解析时，建立 $ H^q_{D_{\tilde{K}}}(X,X') $ 与 $ H^q(X,X'; \mathscr{S}) $ 之间的典范同构，且该同构与 $ V_1 $ 的选择无关。
• 将相对上同调重新解释为导出范畴中映射锥的对偶——余映射锥，从而可推广至层态射的情形。
• 将该框架应用于Dolbeault上同调，通过Stein覆盖证明了相对Dolbeault定理，并与Čech-Dolbeault上同调建立典范同构。
• 考虑 $ C^\infty $-流形上的复形 $ j_!j^{-1}\mathscr{E}^{(\bullet)}_X $，证明其上同调计算了系数为 $ j_!j^{-1}\mathbb{C}_X $ 的相对上同调。

实验结果

研究问题

• RQ1 如何通过软层或精细层解析，显式表示相对层上同调 $ H^q(X,X';\mathscr{S}) $？
• RQ2 一个层复形在双开覆盖上的Čech上同调，与该复形截面的相对上同调之间有何关系？
• RQ3 相对de Rham定理能否推广至软层或精细层解析的情形？由此得到的同构是否为典范同构？
• RQ4 在层复形的背景下，导出范畴中的余映射锥概念如何与相对上同调关联？
• RQ5 该框架对复几何中的相对Dolbeault上同调与紧支集上同调有何影响？

主要发现

• 通过双开覆盖 $ \mathcal{V} = \{X', V_1\} $ 定义的上同调 $ H^q_{D_{\tilde{K}}}(X,X') $，其结果在典范同构意义下与 $ V_1 $ 的选择无关。
• 对于任意精细解析 $ 0 \to \mathscr{S} \to \mathscr{K}^\bullet $，且满足 $ \mathscr{K}^\bullet|_{X'} $ 为精细层，则存在典范同构 $ H^q_{D_{\tilde{K}}}(X,X') \simeq H^q(X,X';\mathscr{S}) $，从而证明了相对de Rham型定理。
• 相对Dolbeault上同调 $ H^{p,q}_{\bar{\vartheta}}(X,X') $ 与 $ H^q(X,X';\mathscr{O}^{(p)}) $ 之间存在典范同构，将经典Dolbeault定理推广至相对情形。
• 复形 $ j_!j^{-1}\mathscr{E}^{(\bullet)}_X $ 的上同调 $ H^q_{d'}(X) $ 与 $ H^q(X; j_!j^{-1}\mathbb{C}_X) $ 之间存在典范同构，为紧支集上同调提供了显式模型。
• 每个 $ H^q_{D'}(X,X') $ 中的上同调类可由一对 $ (\xi_1, \xi_{01}) $ 表示，其中 $ \xi_1 $ 是 $ X $ 上具有紧支集的闭 $ q $-形式，$ \xi_{01} $ 是 $ X' $ 上的 $ (q-1) $-形式，且满足 $ d\xi_{01} = \xi_1|_{X'} $。
• 该框架允许直接、符号正确的构造Čech上同调与层上同调之间的同构，避免了经典Weil引理证明中常见的符号模糊性。