[论文解读] Unramified geometric class field theory and Cartier duality

Justin Campbell|arXiv (Cornell University)|Oct 8, 2017

Algebraic Geometry and Number Theory参考文献 13被引用 3

一句话总结

本文建立了光滑射影曲线的Picard堆的广义阿布塞内性质，该性质蕴含德利涅的无分支几何类域论，并与Picard堆的卡蒂埃自对偶性等价。作者通过证明在可逆有理函数空间上的任意乘法线丛族均为平凡，从而给出了自对偶性的新证明，其依据是A. 贝利尼森提供的射影空间上线丛族的新延拓结果。

ABSTRACT

We prove a generalized Albanese property for the Picard stack of a smooth projective curve, which in particular implies Deligne's unramified geometric class field theory. This Albanese property also specializes to the Cartier self-duality of the Picard stack and is in fact equivalent to it. We give a novel proof of the self-duality, by showing that any family of multiplicative line bundles on the space of invertible rational functions is trivial. This argument contains a new extension result for families of line bundles on projective space, communicated to the author by A. Beilinson.

研究动机与目标

• 建立光滑射影曲线的Picard堆的广义阿布塞内性质。
• 证明该阿布塞内性质蕴含德利涅的无分支几何类域论。
• 通过涉及乘法线丛族平凡性的新颖论证，证明Picard堆的卡蒂埃自对偶性。
• 借助射影空间上线丛族的延拓结果，提供自对偶性的新证明。

提出的方法

• 作者以广义阿布塞内性质为核心工具，分析光滑射影曲线的Picard堆。
• 将卡蒂埃自对偶性问题归约为证明可逆有理函数空间上乘法线丛族的平凡性。
• 证明依赖于A. 贝利尼森提供的射影空间上线丛族的新延拓结果。
• 通过几何与上同调技术，在乘法性假设下建立平凡性。
• 通过范畴论与堆论对偶性原理，确立广义阿布塞内性质与卡蒂埃自对偶性之间的等价性。
• 该方法避免使用经典类域论工具，转而运用现代代数几何与基于堆的对偶性。

实验结果

研究问题

• RQ1 如何从Picard堆的广义阿布塞内性质推导出无分支几何类域论？
• RQ2 广义阿布塞内性质与Picard堆的卡蒂埃自对偶性之间的确切关系是什么？
• RQ3 能否在不依赖经典对偶定理的情况下证明Picard堆的自对偶性？
• RQ4 有理函数空间上的乘法线丛族在建立对偶性中起什么作用？
• RQ5 射影空间上线丛族的新延拓结果如何促进自对偶性的证明？

主要发现

• 确立了光滑射影曲线的Picard堆的广义阿布塞内性质作为基础性结果。
• 该阿布塞内性质直接蕴含德利涅的无分支几何类域论。
• 证明了Picard堆的卡蒂埃自对偶性与广义阿布塞内性质等价。
• 本文通过证明可逆有理函数空间上任意乘法线丛族均为平凡，提供了卡蒂埃自对偶性的新证明。
• 该证明依赖于A. 贝利尼森提供的射影空间上线丛族的新延拓结果。
• 阿布塞内性质与自对偶性之间的等价性揭示了Picard堆几何中深层的结构对偶性。