On the Harris-Viehmann conjecture for Hodge-Newton reducible local Shimura data of abelian type

技术摘要：关于阿贝尔型霍奇–牛顿可约局部西莫拉数据的哈里斯–维曼猜想

问题陈述
本文探讨了哈里斯–维曼猜想的一个特定情形，该猜想涉及与非基本局部西莫拉数据相关的$\ell$-进上同调。该猜想提出了这些上同调群的抛物线诱导公式。具体而言，它断言，对于关于抛物子群$P$和勒维因子$L$是霍奇–牛顿可约的非基本局部西莫拉数据$(G, [b], \{\mu\})$，其关联的拉波波特–津克（RZ）空间$RZ_G$的上同调，是由与勒维子群关联的 RZ 空间$RZ_L$的上同调诱导而来的。该猜想的一个关键推论是，出现在西莫拉簇上同调中的所有超cuspidal 表示都集中在基本轨迹上。虽然该猜想已在 PEL 型数据（Mantovan）、霍奇型数据（Hong）以及$GL_n$等特定情形（Hansen）下得到证明，但在霍奇–牛顿可约性条件下，针对无分支阿贝尔型局部西莫拉数据的一般性证明此前仍属空白。

方法论
作者 Sandra Nair 和 Xinyu Zhou 利用 Shen 关于阿贝尔型拉波波特–津克空间的构造，将哈里斯–维曼猜想的证明推广至阿贝尔型情形。他们的方法论包含以下关键步骤：

1. 归约至霍奇型：作者利用阿贝尔型数据的定义，即$G$的伴随局部西莫拉数据与辅助霍奇型数据$(H, [b_H], \{\mu_H\})$的伴随局部西莫拉数据之间存在同构。他们证明，如果$(G, [b_G], \{\mu_G\})$是霍奇–牛顿可约的，则存在一个关联的霍奇型数据也是霍奇–牛顿可约的（引理 7.1）。
2. 几何对应：核心策略涉及将阿贝尔型 RZ 空间$RZ_G$的几何结构与霍奇型 RZ 空间$RZ_H$联系起来。作者构建了一个对应图，其中涉及抛物子群$P$和勒维子群$L$在阿贝尔型和霍奇型情形下的 RZ 空间。
3. 魏尔下降数据：一个重要的技术组成部分是严格构造阿贝尔型 RZ 空间的魏尔下降数据。作者定义了一个相对于反射域有限扩张$E_{opt}$的下降数据$\Phi_{Shen}$，确保其与霍奇型已知的下降数据（通过 Kim 的构造）以及$p$-进局部 shtuka 的模空间（通过 Pappas–Rapoport）相容。他们证明了这些构造是一致的（定理 6.3，推论 6.5）。
4. 函子性与商：作者分析了 RZ 空间在局部西莫拉数据态射下的函子性。他们仔细处理了通过伴随商$Gad$从霍奇型数据$H$到阿贝尔型数据$G$的过渡。这涉及管理基本群（$\pi_1$）上映射的核，并建立形式概型$RZ_G$、$RZ_{Gad}$及其霍奇对应物在特定群作用模去后的同构（引理 5.1，引理 10.4）。
5. 上同调比较通过建立阿贝尔型空间和霍奇型空间的“正”分量（$RZ^+$）上同调之间的同构，并利用霍奇型情形的已知结果（特别是 Hong 和 Mantovan 的工作），作者将抛物线诱导性质从霍奇情形转移到了阿贝尔情形。

主要贡献与结果

• 主定理（定理 1.1）：本文证明，对于关于抛物子群$P$和勒维子群$L$是霍奇–牛顿可约的无分支阿贝尔型局部西莫拉数据$(G, [b], \{\mu\})$，以及$J_b(\mathbb{Q}_p)$的任意容许$\ell$-进表示$\rho$，以下等式作为$G(\mathbb{Q}_p) \times W_{E_{opt}}$的虚拟表示成立：
  $$H^\bullet(RZ^\infty_G)_\rho = \text{Ind}_{P(\mathbb{Q}_p)}^{G(\mathbb{Q}_p)} H^\bullet(RZ^\infty_L)_\rho$$
  其中，$E_{opt}$是在定理 6.3 中构造的反射域的特定有限扩张。
• 魏尔下降的构造：作者提供了阿贝尔型 RZ 空间魏尔下降数据的完整且自包含的构造，解决了关于对辅助霍奇数据依赖性的潜在歧义（引理 6.4）。
• RZ 空间的函子性：本文确立了阿贝尔型 RZ 空间的构造尊重局部西莫拉数据的积和闭嵌入（命题 8.2），推广了此前已知的霍奇型结果。
• 归约至伴随情形：该证明有效地将阿贝尔型数据的问题归约至伴随情形，利用了映射$\pi_1(H)^\Gamma \to \pi_1(H^{ad})^\Gamma$的满射性（这一条件由如$GL_n$和$GSp_{2n}$等相似群满足）。

意义
本文声称将哈里斯–维曼猜想的有效性扩展到了更广泛的局部西莫拉数据类，具体而言是严格包含霍奇型数据类的无分支阿贝尔型数据。通过在此情形下确认抛物线诱导公式，该工作加强了对西莫拉簇上同调结构的理解。正如引言中所述，这一结果支持了朗兰兹纲领中更广泛的预期，即超 cuspidal 表示集中在基本轨迹上。作者并未声称解决了所有局部西莫拉数据（例如，不可约或非无分支情形）的猜想，而是专门针对阿贝尔型的霍奇–牛顿可约情形，建立在 Mantovan、Hong 和 Shen 的基础工作之上。