Cohomologie de de Rham du revêtement modéré de l'espace de Drinfeld

技术摘要：Drinfeld 空间第一层覆盖的 De Rham 上同调

问题陈述
本文研究了 Drinfeld 对称空间 $H^d_K$ 之上 Drinfeld 塔中的第一层覆盖（记作 $M^1_{Dr}$）的 De Rham 上同调。虽然该塔的 $\ell$-adic 上同调（$\ell \neq p$）已被确立为局部 Langlands 与 Jacquet-Langlands 对应关系的几何实现（通过 Harris, Taylor, Boyer 等人的工作），但 $p$-adic 情况（特别是 De Rham 上同调）面临着显著的挑战。主要的困难在于，与拥有 Deligne 模型的基空间 $M^0_{Dr}$ 不同，$M^1_{Dr}$ 缺乏已知的半稳定（或广义半稳定）模型。由于缺乏此类模型，涉及比较泛型纤维与特殊纤维的标准技术（例如消灭循环理论/vanishing cycles 的研究）无法直接应用于 De Rham 领域。

方法论
作者采用了一种纯粹的局部方法，尽可能避免全局几何论证。该方法依赖于三大支柱：

1. 激化结果的推广： 本文扩展了 Grosse-Klönne 关于刚性解析空间中上同调激化（excision）的结果。具体而言，定理 B 确立了对于一个具有广义半稳定还原的正则形式方案 $X$ 以及一个 tame 循环覆盖 $\pi: T \to X_\eta$，其在特殊纤维不可约分量交集上的管状区域（tube）的 De Rham 上同调，同构于该交集除去“边界”分量后的管状区域的上同调。这使得将全局上同调计算简化为特定开集上的局部计算成为可能。

2. 显式几何描述： 利用作者之前的研究工作，第一层覆盖 $\Sigma_1$（与 $M^1_{Dr}$ 相关的解析空间）被显式地描述为 Drinfeld 空间的一个 Kummer 覆盖（一个阶数与 $p$ 素数的循环覆盖）。在对应于 Bruhat-Tits 建筑顶点的特定开集上，该覆盖被证明同构于一个单项环面（monomial torus）的循环覆盖。

3. 与 Deligne-Lusztig 簇的比较： 本文确定了在 Bruhat-Tits 建筑的一个顶点之上的覆盖的特殊纤维同构于一个 Deligne-Lusztig 簇 $DL^d_F$。作者计算了这些单项环面循环覆盖的 De Rham 上同调，并将之与 Deligne-Lusztig 簇的 rigid 上同调联系起来。

核心贡献与结果

• 定理 5.1（循环覆盖的激化）： 本文证明了一个关于具有广义半稳定还原的正则形式方案之 tame 循环覆盖的 De Rham 上同调的广义激化定理。这一结果对于将整个覆盖的上同调归约为特殊纤维不可约分量上特定“管状区域”的上同调至关重要。
• 定理 5.8（单项环面循环覆盖的上同调）： 作者对单项环面的 tame 循环覆盖的 De Rham 上同调提供了显式描述。该上同调被证明分解为对应于 Galois 群特征的同型分量，其基由对数微分形式给出。
• 定理 6.1（局部计算）： 对于 Galois 群 $F_{q^{d+1}}^*$ 的一个原始特征 $\theta$，第一层覆盖的紧支撑 De Rham 上同调在 $\theta$-同型分量上是集中在 $d$ 次的。具体而言：
  $$H^i_{dR,c}(\Sigma_1)[\theta] \cong \begin{cases} \bigoplus_{s \in BT_0} H^d_{rig,c}(DL^d_F / \breve{K})[\theta] & \text{若 } i = d \\ 0 & \text{否则} \end{cases}$$
  此处，$BT_0$ 表示半单 Bruhat-Tits 建筑的顶点集。
• 定理 6.9（Jacquet-Langlands 对应关系的实现）： 本文确立了第一层覆盖的超尖点（supercuspidal）部分的 De Rham 上同调实现了局部 Jacquet-Langlands 对应关系。具体而言，对于一个原始特征 $\theta$，从表示 $\rho(\theta)$ 到上同调 $H^i_{dR,c}(M^1_{Dr})$ 的 $D^*$-等变映射的空间，当 $i=d$ 时同构于 $GL_{d+1}(K)$ 的表示 $JL(\rho(\theta))$，当 $i \neq d$ 时则为零。

意义

本文声称提供了一个纯粹局部的证明，证明了第一层 Drinfeld 覆盖的超尖点部分的 De Rham 上同调实现了局部 Jacquet-Langlands 对应关系。这成为了经典 $\ell$-adic 结果（由 Wang 等人建立）的 De Rham 类比。

其意义在于：

1. 桥接上同调理论： 它表明，只要忽略 Weil 群的作用（这在 De Rham 设定中是不可见的），$\ell$-adic 上同调中所编码的“超尖点”信息同样存在于 De Rheim 上同调中。
2. 克服模型限制： 通过利用循环覆盖的广义激化定理（定理 B）以及将覆盖描述为 Kummer 扩张，作者绕过了需要 $M^1_{Dr}$ 全局半稳定模型的障碍，而这曾是此前尝试中的主要障碍。
3. 方法论扩展： 文中指出，所开发的技巧，特别是针对循环覆盖的激化结果，对于研究 Lubin-Tate 空间的第一层覆盖具有潜在用途，因为后者存在类似的几何复杂性。

作者指出，虽然结果对于 $n=1$（第一层覆盖）且任意维度 $d$ 均成立，但对于更高层级（$n > 1$）的情况要复杂得多，且纯局部方法可能不足以处理这些情形。这项工作高度依赖于作者此前发表的关于第一层覆盖的几何描述。