[论文解读] Cohomology with closed support on the overconvergent site

David Zureick-Brown|arXiv (Cornell University)|Aug 8, 2014

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

一句话总结

本文建立了一套层论框架，用于在过拟合范畴上定义具有紧支集的上同调，利用SGA4中的开/闭子拓扑，证明该构造与Berthelot定义的经典刚性上同调（带支集）一致。关键结果是过拟合上同调与刚性上同调（带支集）之间的函子性同构，将有限性与切除性质推广至代数堆栈。

ABSTRACT

Using the notions of open/closed subtopoi of SGA, we define a notion of cohomology with support in a closed subscheme on the overconvergent site, and show that this agrees with the classic notion of rigid cohomology support in a closed subscheme.

研究动机与目标

• 将带支集的刚性上同调理论推广至过拟合范畴，使用现代拓扑理论工具。
• 解决过拟合设定下支集缺乏系统性上同调框架的问题，这对有限性与对偶性结果至关重要。
• 将经典结果（尤其是有限性与切除性）从概形推广至代数堆栈。
• 为过拟合范畴中闭子概形上的上同调支持提供形式化、函子性的定义，使其与Berthelot的具体构造一致。
• 为算术几何中的未来应用（如zeta函数与有理点计数）建立基础工具。

提出的方法

• 本文采用SGA4中的开与闭子拓扑理论，利用范畴与拓扑的公理化形式，定义在闭子概形上的上同调支持。
• 将过拟合范畴 $\operatorname{AN}^\dagger(X)$ 构造为过拟合簇的范畴，配备比通常拓扑更精细的格罗滕迪克拓扑。
• 关键技术步骤是证明与闭浸入 $Z \hookrightarrow X$ 关联的子拓扑诱导出过拟合范畴上的良好定义的上同调支持 $\mathbb{R}p_{\operatorname{AN}^\dagger_*}\underline{\Gamma}^\dagger_Z E$。
• 通过比较过拟合与刚性上同调函子建立主要同构：$\left(\mathbb{R}p_{\operatorname{rig}}\underline{\Gamma}^{\dagger,\operatorname{Ber}}_Z E_0\right)^{\operatorname{an}} \cong \left(\mathbb{R}p_{\operatorname{AN}^\dagger_*}\underline{\Gamma}^\dagger_Z E\right)_{S_k,S_K}$，证明其与经典定义的一致性。
• 通过上同调下降与2-雅各比引理，将理论推广至代数堆栈，从而允许对纤维范畴 $\mathcal{X}$ over $k$ 定义 $\operatorname{AN}^\dagger(\mathcal{X})$。
• 利用源自超覆盖的谱序列与已知的拟射影概形上刚性上同调的有限维性，证明了有限性结果。

实验结果

研究问题

• RQ1 如何使用拓扑理论方法在过拟合范畴上系统地定义具有紧支集的上同调？
• RQ2 过拟合上同调（在闭子概形上支持）是否与Berthelot的经典刚性上同调（带支集）一致？
• RQ3 在过拟合设定下，标准性质（函子性、切除性、有限维性）能否从概形推广至代数堆栈？
• RQ4 开与闭子拓扑在非阿基米德上同调理论中定义支持条件时起什么作用？
• RQ5 如何应用上同调下降来证明堆栈上过拟合上同调（带支集）的有限性？

主要发现

• 本文建立了过拟合上同调（带支集）与经典刚性上同调（带支集）之间的典范同构，证明了新定义与Berthelot理论的一致性。
• 通过闭子拓扑构造上同调支持，确保了函子性与切除正合序列的相容性，符合经典上同调工具的要求。
• 证明了在正特征域上分离的有限型代数堆栈上，过拟合上同调（带支集）具有有限维性。
• 利用谱序列 $H^j(\operatorname{AN}^\dagger_{\operatorname{g}}X'_i) \Rightarrow H^{i+j}(\operatorname{AN}^\dagger_{\operatorname{g}}X)$，从拟射影概形上刚性上同调的已知有限维性推导出其有限维性。
• 该理论可通过上同调下降自然推广至堆栈，且当 $X$ 是 $k$ 上分离的有限型代数堆栈时，$H^i_Z(\operatorname{AN}^\dagger_{\operatorname{g}}X)$ 的有限性结果依然成立。
• 该框架可推广至具有弗罗贝尼乌斯作用的 $F$-等曲率层，此时同样保持有限维性结果。