技术摘要：$\mu$-Ordinary Igusa 簇上的 $p$-进 Maass–Shimura 算子

1. 问题陈述

本文旨在解决在 Hodge 型 Shimura 簇上对代数 Maass–Shimura 微分算子进行 $p$-进插值的问题。虽然经典的 Maass–Shimura 算子作用于近全纯自守形式，并且在研究 $L$-函数的特殊值方面至关重要，但其 $p$-进插值的构造在历史上受到了限制。先前的构造（例如 Eischen–Fintzen–Mantoman–Varma 以及 Eischen–Mantoman）成功地在特定情形下（如酉 Shimura 簇）插值了这些算子，但通常依赖于显式的坐标描述（Serre–Tate 坐标），并被限制在特定的微分算子子代数或特定的局部（ordinary 局部）上。

作者旨在将这些构造推广到一般 Hodge 型 Shimura 簇的 $\mu$-ordinary 局部。具体而言，他们寻求：

1. 在 $\mu$-ordinary Igusa 簇上构建一个系统的、无坐标的算子框架。
2. 将秩为 1 的微分算子的作用整合到显式形式群的作用中。
3. 利用 $p$-进傅里叶理论，将此作用扩展到对对偶 $p$-除群的 Tate 模的函数的代数作用上，从而实现完整的 $p$-进插值。
4. 阐明这些微分算子与 $p$-进 Hecke 算子之间的关系。

2. 研究方法

作者综合运用了 Shimura 簇的整模型、晶体 Dieudonné 理论以及 $p$-进傅里叶理论。

2.1. 几何设置与规范挠群 (Canonical Torsors)

• 整模型： 他们在反射域整数环上的 Hodge 型 $(G, X)$ Shimura 簇的规范整模型 $S_K$ 上进行研究。
• 规范挠群 ($P_{dR}$)： 他们利用了 $S_K$ 上的规范 $P_{\mu^{-1}}$-挠群 $P_{dR}$，其中 $P_{\mu^{-1}}$ 是与 Hodge 特征标 $\mu$ 的逆相关的抛物子群。代数 $p$-整近全纯自守形式的全局截面被识别为 $\mathcal{O}(P_{dR})$。
• 平行化： 一个关键的技术创新是使用 Gauss–Manin 连接来规范地平行化切丛 $T P_{dR}$。这产生了一个同构 $T P_{dR} \cong \mathfrak{g} \otimes \mathcal{O}_{P_{dR}}$，其中 $\mathfrak{g}$ 是 $G$ 的李代数。这使得李代数 $\mathfrak{u}_\mu$（相反抛物子群的单纯根的李代数）可以作为代数 Maass–Shimura 算子作用在 $\mathcal{O}(P_{dR})$ 上。

2.2. Igusa 簇与形式群

• $\mu$-Ordinary 局部： 作者关注 $\mu$-ordinary 局部，即 Newton 多边形最小的情形。他们考虑 Mantovan Igusa 簇 $Ig_M$，它是 $\mu$-ordinary 局部上 $M_\mu(\mathbb{Z}_p)$（$\mu$ 的中心化子）的 pro-étale 挠群。
• $H$ 的构造： 通过分析 $\mu$-ordinary $p$-除群的规范提升的自同构群，他们在基底上构造了一个显式的 $p$-除形式群 $H$。$H$ 的李代数被识别为单纯李代数的 $N$-不变部分 $\mathfrak{u}_\mu^N$（其中 $N = M_\mu \cap U_\mu$）。
• 积分： 他们证明了 $\text{Lie}(H)$ 在 $p$-进自守形式空间 $\mathcal{O}(Ig_M)$ 上的作用可以积分到显式形式群 $H$ 本身的作用。

2.3. $p$-进傅里叶理论

• 对偶作用： 利用 [27] 中开发的整 $p$-进傅里叶理论，形式群 $H$ 的作用被对偶化为 Serre 对偶的 Tate 模的函数代数 $\mathcal{O}(T_p H^\vee)$ 的作用。
• 局部解析函数： 通过通过在生成域中反转 $p$，他们描述了该作用在局部解析函数代数上的作用。他们引入了一个周期自同构 $\Omega_\zeta$（取决于 $\mathbb{Z}_p(1)$ 的平凡化选择），用以联系代数算子与这些解析函数。

3. 核心贡献与结果

3.1. 主要定理

• 定理 A (形式群作用)： 存在一个显式的 $p$-除形式群 $H$，其李代数与 $\mathfrak{u}_\mu^N$ 同构且具有 $M_\mu(\mathbb{Z}_p)$-等变性。该群作用在 Mantovan Igusa 簇 $Ig_M$ 上，且该作用的微分恢复了代数 Maass–Shimura 算子。
• 推论 1.2.7 (整插值)： 对称代数 $\text{Sym}(\mathfrak{u}_\mu^N)$ 的作用扩展到函数代数 $\mathcal{O}(T_p H^\vee)$ 在 $\mathcal{O}(Ig_M)$ 上的连续作用。这提供了微分算子的 $p$-进插值。
• 推论 1.2.11 (局部解析插值)： 在反转 $p$ 后，该作用扩展到 $\gamma$-局部解析函数代数 $\mathcal{O}_{\gamma\text{-la}}(u_{\mu,0}^*, C)$ 上。这将其之前的结论推广到了 $\mu$-ordinary 情况及更高维情况。
• 定理 B (近过收敛性)： 在 ordinary 情况（$E = \mathbb{Q}_p$）下，该作用扩展到近过收敛 (nearly overconvergent) 自守形式的空间，推广了 Andreatta–Iovita–Stevens 等人的结果。
• 定理 C (与 Hecke 算子的关系)： 本文确立了微分算子作用与 Hecke 作用之间的精确相容性。具体而言，局部常函数子代数在 Tate 模上的作用恰好对应于 Hecke 代数 $C[U_{\mu,0}(\mathbb{Q}_p)/U_{\mu,0}(\mathbb{Z}_p)]$ 的作用。这在单一的代数框架内统一了微分作用与 Hecke 作用。

3.2. 技术创新

• 无坐标构造： 不同于以往依赖于显式 Serre–Tate 坐标的工作，本文使用 Gauss–Manin 连接来平行化 $P_{dR}$ 的切丛。这简化了理论并使算子的复合过程变得透明。
• 向 $\mu$-Ordinary 的推广： 该构造适用于 $\mu$-ordinary 局部，该局部在非 PEL 或非分裂情况下比 ordinary 局部更广，并且处理了单单纯根非交换的情况。
• 周期自同构： 引入周期自同构 $\Omega_\zeta$ 使得能够精确匹配 $E'$-有理 Maass–Shimura 算子，从而修正了 Hodge 过滤与斜率过滤之间的差异。

4. 意义与主张

作者声称其结果：

1. 最优地扩展 了先前关于一般 Hodge 型 Shimura 簇的 $p$-进 Maass–Shimura 算子的构造到 $\mu$-ordinary 设置中。
2. 澄清 了微分算子与 Hecke 算子的关系，表明它们通过同一个局部解析函数的作用相互交织。
3. 恢复 了已知结果（如 ordinary 情况和酉 Shimura 簇的情况）作为其一般框架的特例。
4. 为构造 $p$-进 $L$-函数提供基础。 通过插值微分算子，作者暗示了一条在 $\mu$-ordinary 局部并非 ordinary 局部的情况下构造 $p$-进 $L$-函数的路径，这可能有助于澄清现有构造中测试向量 (test vectors) 的选择。

文中明确指出，虽然它并未证明所有情形下的近过收敛性（定理 B）的 $\mu$-ordinary 推广，但提出了一个乐观的猜想（猜想 6.4.2）关于此项扩展。该工作被呈现为一种系统的理论进步，而非直接的计算工具，强调了自守形式、微分算子与 $p$-进分析在结构上的统一。