[论文解读] Duality for local fields and sheaves on the category of fields

Takashi Suzuki|arXiv (Cornell University)|Oct 18, 2013

Algebraic Geometry and Number Theory参考文献 23被引用 4

一句话总结

本文通过在配备格罗滕迪克拓扑的域范畴上使用层，以新视角重新诠释了具有完美剩余域的局部域的对偶性，通过将对偶性简化为经典伽罗瓦上同调，从而简化了表述与证明。核心贡献是一个范畴理论框架，能准确捕捉代数群之间的扩张，通过完美域上的有理埃雷斯特定点（rational étale site）为上同调群提供了几何解释。

ABSTRACT

Duality for complete discrete valuation fields with perfect residue field with coefficients in (possibly p-torsion) finite flat group schemes was obtained by Begueri, Bester and Kato. In this paper, we give another formulation and proof of this result. We use the category of fields and a Grothendieck topology on it. This simplifies the formulation and proof and reduces the duality to classical results on Galois cohomology. A key point is that the resulting site correctly captures extension groups between algebraic groups.

研究动机与目标

• 通过域范畴上的层论，重新表述并重新证明具有完美剩余域的完备离散赋值域的对偶定理。
• 通过引入基于域及其扩张的格罗滕迪克范畴，简化上同调群的几何结构。
• 确立代数群之间的扩张群能被有理埃雷斯特定点上的层上同调正确捕捉。
• 通过构建合适的范畴理论基础，将对偶同构简化为伽罗瓦上同调中的经典结果。
• 提供一个适用于更深层次算术问题的框架，例如格罗滕迪克关于阿贝尔簇特殊纤维的猜想。

提出的方法

• 在有理 k-代数（本质上为完美域）的范畴上定义有理埃雷斯特定点（配备埃雷斯特拓扑）。
• 通过考虑局部域 K 关于剩余域 k 的扩张 k' 的 K(k') 上的埃雷斯特定代数，构建 K 上的相对埃雷斯特定点。
• 使用完成张量积在该范畴上定义环层 O_K 与 K，其中 K(k') 是将剩余域扩展至 k' 后对 K 的完成。
• 证明所得范畴能正确捕捉伽罗瓦上同调，并通过层上同调准确计算代数群之间的 Ext 群。
• 证明 Mac Lane 分解在该范畴上的拉回是正合的，从而支持谱序列论证以实现上同调计算。
• 应用格罗滕迪克谱序列，将基范畴上的上同调与相对范畴上的上同调联系起来，通过消去结果证明对偶性。

实验结果

研究问题

• RQ1 是否能通过域范畴上的层而非概形，重新表述具有完美剩余域的局部域的对偶性？
• RQ2 如何利用域范畴上的格罗滕迪克拓扑来捕捉代数群之间的扩张群？
• RQ3 在新的范畴理论设定下，经典伽罗瓦上同调结果能在多大程度上用于证明对偶定理？
• RQ4 有理埃雷斯特定点是否能正确建模具有有限平坦概形态层系数的局部域的上同调结构？
• RQ5 该框架是否可应用于算术问题，如格罗滕迪克关于阿贝尔簇特殊纤维的猜想？

主要发现

• 在域范畴上的有理埃雷斯特定点能正确计算伽罗瓦上同调，并准确捕捉代数群之间的扩张群。
• 局部域上相对埃雷斯特定点的上同调同构于该域的经典伽罗瓦上同调，从而简化了对偶性陈述。
• Mac Lane 分解在该范畴上的拉回是正合的，从而支持使用谱序列证明上同调消去。
• 有限平坦概形态层系数的对偶同构通过范畴理论构造，可简化为伽罗瓦上同调中的经典结果。
• 该范畴理论框架使对偶性可被解释为伴随关系，从而为配对提供了几何解释。
• 该构造与格罗滕迪克关于阿贝尔簇特殊纤维的猜想相容，如作者后续工作所示。