[论文解读] On the structure of some p-adic period domains

Miaofen Chen, L Fargues+1 more|arXiv (Cornell University)|Oct 18, 2017

Advanced Algebra and Geometry参考文献 6被引用 12

一句话总结

本文证明了关于 p-进周期域的 Fargues-Rapoport 猜想，确立了弱可接受子集等于可接受子集当且仅当 Kottwitz 集 $ B(G,\mu) $ 完全霍奇-牛顿可分解。通过 Fargues-Fontaine 曲线上的 G-丛与 Harder-Narasimhan 理论，作者给出了这些域参数化的晶体表示何时可延拓为局部系统之几何刻画，从而解决了 p-进霍奇理论与典型簇中的一个核心问题。

ABSTRACT

We prove the Fargues-Rapoport conjecture for p-adic period domains: for a reductive group G over a p-adic field and a minuscule cocharacter μ of G, the weakly admissible locus coincides with the admissible one if and only if the Kottwitz set B(G,μ) is fully Hodge-Newton decomposable.

研究动机与目标

• 为解决 p-进周期域中弱可接受子集与可接受子集相等的 Fargues-Rapoport 猜想。
• 刻画在 p-进周期域中，可接受子集何时非空且支持一个插值晶体表示的 p-进局部系统。
• 建立一个几何判据——完全霍奇-牛顿可分解性——以在 Kottwitz 集 $ B(G,\mu) $ 的术语下，确定两个子集相等的条件。
• 通过 Fargues-Fontaine 曲线上的 G-丛理论，将 Hartl 与 Faltings 对可接受子集的构造推广至任意半单群。

提出的方法

• 利用 Fargues-Fontaine 曲线上的 G-丛，通过同构 $ B(G) \xrightarrow{\sim} H^1_{\text{ét}}(X, G) $ 几何实现 Kottwitz 集 $ B(G,\mu) $。
• 应用 Fargues-Fontaine 曲线上的 G-丛的 Harder-Narasimhan 约化理论，分析无穷远点处的修正的稳定性与分解性质。
• 将可接受子集 $ \breve{\mathcal{F}}(G,\mu,b)^a $ 构造为在 Harder-Narasimhan 分解下为半稳定的 G-丛修正的集合。
• 通过分析 $ B(G,\mu) $ 中元素的牛顿多边形与霍奇多边形，将该猜想约化为一个群论条件。
• 利用 Fargues-Fontaine 曲线的几何性质，将 p-进霍奇理论条件（弱可接受性）与几何稳定性条件（半稳定性）联系起来。
• 借助 $ J_b(F) $-等变局部系统与上同调对偶理论，将可接受子集的上同调与自守表示联系起来。

实验结果

研究问题

• RQ1 在 p-进周期域中，弱可接受子集何时与可接受子集重合？
• RQ2 在 $ B(G,\mu) $ 上何种群论条件可确保可接受子集支持一个插值晶体表示的 p-进局部系统？
• RQ3 如何利用 Fargues-Fontaine 曲线上的 G-丛与 Harder-Narasimhan 理论几何刻画可接受子集？
• RQ4 在何种条件下 Kottwitz 集 $ B(G,\mu) $ 是完全霍奇-牛顿可分解的？
• RQ5 当 $ \mathcal{F}^a = \mathcal{F}^{wa} $ 时，对可接受子集上局部系统的上同调有何同调后果？

主要发现

• 弱可接受子集 $ \breve{\mathcal{F}}(G,\mu,b)^{wa} $ 等于可接受子集 $ \breve{\mathcal{F}}(G,\mu,b)^a $ 当且仅当 Kottwitz 集 $ B(G,\mu) $ 完全霍奇-牛顿可分解。
• 该等式成立的充要条件是：对于 $ B(G,\mu) $ 中每个非基本元素，其牛顿多边形在正 Weyl 胸腔内除端点外与由 $ \mu $ 定义的霍奇多边形相切。
• 可接受子集被几何地构造为 Fargues-Fontaine 曲线上在 Harder-Narasimhan 分解下为半稳定的 G-丛修正的集合。
• 在尖形式性假设下，可接受子集上取值于 $ J_b(F) $-等变局部系统的上同调，同构于全旗簇模 $ J_b(F) $ 的上同调。
• 该猜想对所有半单群 $ G $（而不仅 $ \mathrm{GL}_n $）均得证，将 Hartl 的结果推广至一般情形。
• 该结果表明可接受子集的边界是抛物诱导的，对自守表示的上同调具有后果。