技術要約：$\mu$-ordinary Igusa 変種上の $p$ 進 Maass–Shimura 作用素

1. 問題設定

本論文は、ホッジ型の Shimura 変種における代数的 Maass–Shimura 微分作用素の $p$ 進的な補間という問題に取り組んでいる。古典的な Maass–Shimura 作用素は、準正則（nearly holomorphic）な自己同型形式に作用し、$L$ 関数の特殊値の研究において極めて重要であるが、その $p$ 進的な補間は歴史的に限定的であった。先行研究（例：Eischen–Fintzen–Mantovan–Varma および Eischen–Mantoman）は、ユニタリ Shimura 変種などの特定のケースにおいてこれらの作用素の補間に成功しているが、多くの場合、明示的な座標記述（Serre–Tate 座標）に依存しており、特定の微分作用素の部分代数や特定の領域（ordinary locus）に限定されていた。

著者らは、一般的なホッジ型の Shimura 変種の $\mu$-ordinary locus において、これらの構成を一般化することを目指している。具体的には、以下の事項を追求する：

1. $\mu$-ordinary Igusa 変種上のこれらの作用素に対する、体系的かつ座標に依存しない枠組みの構築。
2. 階数 1 の微分作用素の作用を、明示的な形式群の作用へと統合すること。
3. $p$ 進 Fourier 理論を用いて、この作用を双対 $p$ 分割群の Tate module 上の関数代数へと拡張し、完全な $p$ 進補間を達成すること。
4. これらの微分作用素と $p$ 進 Hecke 作用素との関係を明らかにすること。

2. 手法

著者らは、Shimura 変種の整数モデル、結晶的 Dieudonné 理論、および $p$ 進 Fourier 理論の統合的な手法を用いている。

2.1. 幾何学的設定と標準的 torsor

• 整数モデル: 参照域の整数環上のホッジ型 $(G, X)$ の Shimura 変種の標準的な整数モデル $S_K$ を扱う。
• 標準的 torsor ($P_{dR}$): $S_K$ 上の標準的な $P_{\mu^{-1}}$-torsor $P_{dR}$ を用いる。ここで $P_{\mu^{-1}}$ は、Hodge 余特性 $\mu$ の逆に関連する放物型部分群である。代数的な準正則自己同型形式の空間は、グローバル切断 $\mathcal{O}(P_{dR})$ と同一視される。
• 平行化: 技術的な革新として、Gauss–Manin 接続を用いて接束 $T P_{dR}$ を標準的に平行化することを用いる。これにより、同型写像 $T P_{dR} \cong \mathfrak{g} \otimes \mathcal{O}_{P_{dR}}$ が得られる（ここで $\mathfrak{g}$ は $G$ の Lie 代数である）。これにより、リー代数 $\mathfrak{u}_\mu$（反対側の放物型部分群の単冪的リー代数）が、代数的 Maass–Shimura 作用素として $\mathcal{O}(P_{dR})$ に作用することが可能となる。

2.2. Igusa 変種と形式群

• $\mu$-Ordinary Locus: 著者らは、Newton 多角線が最小となる $\mu$-ordinary locus に焦点を当てる。Mantovan Igusa 変種 $Ig_M$ を、$M_\mu(\mathbb{Z}_p)$（$\mu$ の中心化群）の $\mu$-ordinary locus 上の pro-étale torsor として検討する。
• $H$ の構成: $\mu$-ordinary $p$ 分割群の標準的な持ち上げの自己同型群を解析することにより、基底上の明示的な $p$ 分割形式群 $H$ を構成する。$H$ の Lie 代数は、単冪的リー代数の $N$-不変量 $\mathfrak{u}_\mu^N$（ここで $N = M_\mu \cap U_\mu$）と同型である。
• 積分: 著者らは、Lie 代数 $\text{Lie}(H)$ の $\mathcal{O}(P_{dR})$ への作用が、形式群 $H$ 自体の作用へと積分されることを証明する。

2.3. $p$ 進 Fourier 理論

• 双対作用: [27] で開発された整数的 $p$ 進 Fourier 理理を用いて、形式群 $H$ の作用を、Serre 双対の Tate module 上の関数代数 $\mathcal{O}(T_p H^\vee)$ の作用へと双対化する。
• 局所解析的関数: 標数 $p$ で割ることで、その作用を局所解析的関数の代数として記述する。著者らは、$\mathbb{Z}_p(1)$ の自明化の選択に依存する周期自己同型 $\Omega_\zeta$ を導入し、代数的作用素をこれらの解析的関数へと関連付ける。

3. 主な貢献と結果

3.1. 主定理

• 定理 A (形式群の作用): $\mathfrak{u}_\mu^N$ と同型な $M_\mu(\mathbb{Z}_p)$-equivariant な Lie 代数を持つ明示的な $p$ 分割形式群 $H$ が存在する。この群は Mantovan Igusa 変種 $Ig_M$ に作用し、この作用の微分によって代数的 Maass–Shimura 作用素が回収される。
• 系 1.2.7 (整数的補間): 対称代数 $\text{Sym}(\mathfrak{u}_\mu^N)$ の作用は、$\mathcal{O}(T_p H^\vee)$ の関数代数による連続的な作用へと拡張される。これは、微分作用素の $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 module 上の局所定数関数の部分代数の作用は、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 への一般化: この構成は、非 PEL または非分裂の場合に ordinary locus よりも広い領域である $\mu$-ordinary locus で機能し、単冪的部分群が非アーベル群である場合も扱う。
• 周期自己同型: 周期自己同型 $\Omega_\zeta$ の導入により、$p$ 進的な補間と $E'$-有理な Maass–Shimura 作用素との正確な一致が可能となり、Hodge フィルタレーションと slope フィルタレーションの差異を補正する。

4. 意義と主張

著者らは、自らの結果が以下のことを主張している：

1. 一般的なホッジ型 Shimura 変種の $\mu$-ordinary 設定へと、従来の $p$ 進 Maass–Shimura 作用素の構成を最適に拡張している。
2. 微分作用素と Hecke 作用素の関係を明確にし、それらが単一の局所解析的関数の代数を通じて互いに絡み合っていることを示している。
3. 既知の結果（ordinary の場合やユニタリ Shimura 変数の場合など）を、彼らの一般的な枠組みの特殊なケースとして回収している。
4. $p$ 進 $L$ 関数の構成のための基礎を提供する。微分作用素を補間することにより、著者らは、$\mu$-ordinary locus が ordinary locus と一致しない設定においても $p$ 進 $L$ 関数を構成する経路を示唆しており、既存の構成におけるテストベクトルの選択を明確にする可能性がある。

本論文は、すべてのケースにおいて（near overconvergence の結果である）定理 B の $\mu$-ordinary への一般化を証明したわけではなく、その拡張に関する楽観的な予想（予想 6.4.2）を提示していることを明記している。本研究は、即座に計算可能なツールとしてではなく、自己同型形式、微分作用素、および $p$ 進解析の構造的な統一を強調する、体系的な理論的進展として提示されている。