[论文解读] Artin-Mazur-Milne duality Theorem for fppf cohomology

Cyril Demarche, David Harari|arXiv (Cornell University)|Apr 11, 2018

Algebraic Geometry and Number Theory参考文献 10被引用 1

一句话总结

本文建立了有限域及数域整环上曲线的fppf上同调的对偶定理，将经典的Artin-Verdier对偶性从étale上同调推广至fppf上同调。证明了有限性与消去结果，为这一更广泛的上同调设定提供了完整的对偶性框架。

ABSTRACT

We provide a complete proof of a duality theorem for the fppf cohomology of either a curve over a finite field or a ring of integers of a number field, which extends the classical Artin-Verdier Theorem in \'etale cohomology. We also prove some finiteness and vanishing statements.

研究动机与目标

• 将经典的Artin-Verdier对偶定理从étale上同调推广至fppf上同调。
• 建立适用于有限域及数域整环上代数曲线的对偶性框架。
• 证明这些设定下fppf上同调群的有限性与消去定理。
• 在fppf拓扑下，为对偶同构提供完整且严谨的证明。

提出的方法

• 将étale上同调的技术适配至fppf拓扑，利用fppf范畴的性质。
• 利用有限域及整环上曲线的结构，分析其上同调行为。
• 应用代数几何中的对偶定理，特别是涉及对偶复形与Grothendieck局部对偶性的定理。
• 利用fppf上同调群的有限性结果，建立对偶同构。
• 结合特定度数上同调群的消去结果，验证对偶配对。
• 依赖étale与fppf上同调之间的比较，将已知的对偶结果转移至fppf设定。

实验结果

研究问题

• RQ1 在有限域上曲线的背景下，Artin-Verdier对偶性如何从étale上同调推广至fppf上同调？
• RQ2 有限域及数环上曲线的fppf上同调群具有何种有限性性质？
• RQ3 在这些算术设定下，哪些消去定理适用于fppf上同调？
• RQ4 此类概形在fppf拓扑下的对偶同构具有何种精确形式？

主要发现

• 为有限域及数域整环上曲线的fppf上同调建立了完整的对偶同构。
• 证明了所有相关度数下fppf上同调群的有限性定理。
• 获得了在有界范围外的fppf上同调的消去结果。
• 该对偶定理将经典的Artin-Verdier对偶性从étale上同调推广至fppf上同调，同时保持了对偶配对结构。