[论文解读] Langlands correspondence for isocrystals and the existence of crystalline companions for curves

Tomoyuki Abe|arXiv (Cornell University)|Oct 2, 2013

Algebraic Geometry and Number Theory参考文献 21被引用 17

一句话总结

该论文通过证明具有有限行列式的过收敛F-等距体的晶体伴影的存在性，建立了曲线上等距体的朗兰兹对应，方法是利用具有有限对角线的代数堆栈上的算术D-模的广义六 functor形式系统。关键结果证实了德利涅关于曲线p-进伴影的猜想，通过斯蒂卡模空间和ε因子乘积公式，将朗兰兹对应扩展至p-进设置。

ABSTRACT

In this paper, we show the Langlands correspondence for isocrystals on curves. This shows the existence of crystalline companion in the curve case. For the proof, we construct the theory of arithmetic $\mathscr{D}$-modules for algebraic stacks whose diagonal morphisms are finite.

研究动机与目标

• 证明在有限域上的光滑曲线上，过收敛F-等距体的晶体伴影的存在性。
• 建立曲线上等距体的完整朗兰兹对应，将具有有限行列式的不可约过收敛F-等距体与具有有限中心特征的尖形式自守表示联系起来。
• 将算术D-模的六 functor形式系统推广至具有有限对角态射的代数堆栈，使p-进设置下的上同调工具成为可能。
• 将德利涅和德里弗林的方法扩展至p-进上下文，证明在Bertini型猜想下，ℓ-进伴影的存在性。
• 通过迹公式和模空间，验证可接受堆栈上p-进与ℓ-进上同调之间的ℓ-独立性与相容性。

提出的方法

• 将算术D-模理论推广至具有有限对角态射的代数堆栈，构建与上同调运算相容的导出范畴框架。
• 为c-可接受堆栈开发六 functor形式系统，确保在上推、拉回和对偶下有限性性质的稳定性。
• 应用由阿贝与马尔莫拉证明的p-进设置下的ε因子乘积公式，将朗兰兹对应约化为表示的匹配。
• 使用斯蒂卡模空间构造朗兰兹对应，遵循德里弗林与拉福尔日的ℓ-进策略。
• 运用迹公式与局部化技术，证明可接受堆栈上p-进与ℓ-进上同调之间的ℓ-独立性与相容性。
• 利用分解与gerbe约化，将迹公式约化为有限光滑群概形G的分类堆栈BG的情形。

实验结果

研究问题

• RQ1 每个定义在有限域上光滑曲线上不可约的过收敛F-等距体是否都存在晶体伴影？
• RQ2 能否通过斯蒂卡模空间与ε因子公式在曲线上建立等距体的朗兰兹对应？
• RQ3 在具有有限对角态射的代数堆栈上，算术D-模是否存在六 functor形式系统？
• RQ4 在何种条件下，光滑概形上的过收敛F-等距体对ℓ ≠ p存在ℓ-进伴影？
• RQ5 如何为可接受堆栈建立p-进与ℓ-进上同调之间的ℓ-独立性与相容性？

主要发现

• 曲线上等距体的朗兰兹对应已完全确立：具有有限行列式的不可约过收敛F-等距体与具有有限中心特征的尖形式自守表示之间存在双射对应。
• 所有定义在光滑曲线上过收敛F-等距体的晶体伴影均存在，证实了德利涅关于相容系统猜想的第(vi)部分。
• 算术D-模的六 functor形式系统已推广至具有有限对角的c-可接受代数堆栈，使p-进设置下的上同调工具成为可能。
• 在Bertini型猜想下，每个定义在光滑概形上的过收敛F-等距体对ℓ ≠ p均存在ℓ-进伴影，证明了德利涅猜想在光滑情形下的逆命题。
• 加布罗与藤原的ℓ-独立性结果被推广至可接受堆栈，迹公式对有限群概形作用与普遍同胚成立。
• p-进设置下ε因子的乘积公式使朗兰兹对应可约化为斯蒂卡模空间的构造，与ℓ-进策略相呼应。