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$ のコホモロジーから誘導されることを述べている。この予想の重要な帰結として、シムラ多様体のコホモロジーに現れるすべての超尖点表現は基本軌道に沿って集中していることが挙げられる。この予想は、PEL 型データ（Mantovan）、ホッジ型データ（Hong）、および $GL_n$ のような特定の場合（Hansen）については確立されているが、ホッジ・ニュートン可約性のもとでのアーベル型の非分岐局所シムラデータに対する一般的な証明は未解決であった。

手法
著者であるサンドラ・ナイールとシンユー・ヂョウは、シャンのアーベル型 RZ 空間の構成を活用することで、ハリス・ヴィーマン予想の証明をアーベル型の設定に拡張する。彼らの手法は以下の主要なステップを含む：

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}$ を定義し、ホッジ型に対する既知の降下データ（キムの構成による）および $p$ 進局所シュタウカのモジュライ（パパス・ラポポートによる）との整合性を保証する。これら二つの構成が一致することを証明する（定理 6.3、系 6.5）。
4. 関手性と商：著者は、局所シムラデータの準同型に対する RZ 空間の関手性を解析する。随伴商 $Gad$を介してホッジ型データ$H$からアーベル型データ$G$への移行を慎重に扱う。これには、基本群 ($\pi_1$) 上の写像の核を管理し、特定の群作用に関する形式スキーム$RZ_G$、$RZ_{Gad}$ とそれらのホッジ型対応物との間の同型を確立することが含まれる（補題 5.1、補題 10.4）。
5. コホモロジー比較：アーベル型空間とホッジ型空間の「プラス」成分 ($RZ^+$) のコホモロジー間の同型を確立し、ホッジ型の場合の既知の結果（特にホンとマントヴァンの研究）を活用することで、著者は放物誘導の性質をホッジ型からアーベル型へ移す。

主要な貢献と結果

• 主要定理（定理 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}$ などの相似群が満たす条件）を活用することで、アーベル型データの問題を随伴型の場合に効果的に還元する。

意義
本論文は、ハリス・ヴィーマン予想の有効性を、ホッジ型データを厳密に含むアーベル型の非分岐データという、より広範な局所シムラデータのクラスに拡張することを主張する。この設定における放物誘導公式を確認することで、シムラ多様体のコホモロジーの構造的理解を強化する。序論で指摘されているように、この結果は、ラングランズ・プログラム内での超尖点表現が基本軌道に沿って集中するというより広範な期待を支持する。著者は、すべての局所シムラデータ（例えば、非可約な場合や分岐した場合）に対する予想の解決を主張するものではなく、マントヴァン、ホン、シャンの基礎的な研究に立脚して、アーベル型におけるホッジ・ニュートン可約な場合を具体的に対象としている。