The geometry of the unipotent component of the moduli space of Weil-Deligne representations

技術的概要：ウェイル・デルイニ表現のモジュライ空間の単一性成分の幾何学

問題提起
本論文は、局所体上の分裂半単純群 $G$ に値を持つ単一性ウェイル・デルイニ表現のモジュライ空間の幾何学を調査する。具体的には、半単純元 $\Phi$ と、関係式 $\text{Ad}(\Phi)N = qN$ を満たす冪零元 $N$ の対 $(\Phi, N)$ をパラメータ化するスキーム $S_{G,O}$ に焦点を当てる。このスキームは単一性ウェイル・デルイニ表現のための枠付きモジュライ空間として機能し、モジュラリティ持ち上げ定理の証明に用いられるテイラー・ワイルス・キシン・パッチング法の中心である局所ガロア変形環と密接に関連している。

扱われている主要な幾何学的問題は、$S_{G,O}$ の既約成分の滑らかさの特性付けである。スキームが冪零軌道によって添字付けられた既約成分の和集合であることは知られているが、変形理論に必要な「考慮的（considerate）」な条件の文脈において、これらの成分が滑らか（正則）であるか特異であるかの条件は、特に一般的な半単純群に対して完全には確立されていなかった。

手法
著者は、代数幾何学、表現論、可換代数を組み合わせ、$S_{G,O}$ の局所構造を分析する。

1. 考慮性と無害性（Banality）: 論文は、群 $G$ のコクセター数 $h_G$ に対する素数べき $q$ に関する条件である「$q$-考慮性」の概念を導入し、利用する。これにより、$q$ が群の構造に対して適切に振る舞うことが保証される（具体的には、$1, q, \dots, q^{h_G}$ が剰余体上で互いに異なること）。これは Dat、Helm、Kurinczuk、Moss の研究における「$G$-無害性」および「幾何学的 $G$-無害性」の概念と関連している。
2. バラ・カーター理論と余重量: 解析は、冪零軌道を分類するためにバラ・カーター理論に大きく依存している。冪零元 $e$ に対して、著者は余重量 $\lambda: \mathbb{G}_m \to G$ を対応させ、リー代数 $\mathfrak{g}$ を $\text{Ad}(\lambda(t))$ の固有空間に分解する。「区別された（distinguished）」冪零軌道（中心化群が特定の構造を持つもの）と区別されない軌道の区別が重要である。
3. 滑らかさの証明:
   • 滑らかさ: 区別された冪零軌道（または零軌道）に対応する成分について、著者は群 $G$ と特定の滑らかな部分スキーム $Y$（冪零元の中心化群のレヴィ分解を通じて定義される）の積からの滑らかな全射射影を構成する。この写像が滑らかな射影の引き戻しであることを示すことで、その成分の滑らかさを確立する。
   • 特異点: 区別されない軌道について、著者はその成分内の特定の点を構成し、その点における接空間の次元が成分の次元を厳密に超えることを示す。これは、軌道、トーラス、冪零錐、単一性部分群の接空間の相互作用を分析し、ディンキンの図における「露出（exposed）」された根の性質を利用することで達成される。
4. パッチングと保形形式: 幾何学的結果は、テイラー・ワイルス・キシン・パッチング法を用いて算術的設定に適用される。著者は、ユニタリ群上の通常の保形形式のヒダ族を考慮し、大域変形環 $R^{\text{univ}}_S$ を構成する。

主要な貢献と結果

1. 滑らかな成分の特性付け（定理 1.2）:
   論文は、$q$ が $G$ に対して考慮的であるという仮定の下で以下のことを証明する。

   • 区別された冪零軌道 $C$（または零軌道）に対応する $S_{G,O}$ の既約成分 $X_C$ は、基底環上で滑らかである。
   • 逆に、$C$ が非自明かつ区別されない冪零軌道である場合、成分 $X_C$ は特異である。
     この結果は、Bellovin と Helm による先行研究を一般化し、これらのモジュライ空間の滑らかさの完全な幾何学的分類を提供する。

2. 変形環の正則性:
   区別された軌道（特にステインバーグ表現と離散級数表現）に関連する局所変形環の滑らかさを確立することにより、論文はこれらの局所変形環の一般ファイバーが正則局所環であることを確認する。これはパッチング論法が成功するための前提条件である。

3. 通常の保形形式の自由性（定理 1.3）:
   幾何学的結果を大域的設定に適用し、著者は通常の保形形式の加群 $S^{\text{ord}}(U(p^\infty), L/\mathcal{O})^\vee$ が、大域変形環 $R^{\text{univ}}_S[1/l]$ 上の有限局所自由加群であることを証明する。

   • これは、これらの形式に作用するヘッケ環が（$l$ を逆元として）大域変形環と同型であることを意味する。
   • 決定的なことに、与えられた標数 0 のガロア表現を持つ保形形式の重複度が、変形環の連結成分に沿って一定であることを確立する。

意義と主張
本論文は、現代のモジュラリティ持ち上げ定理で使用される局所変形環の滑らかさに対する厳密な幾何学的基盤を提供すると主張している。ウェイル・デルイニのモジュライ空間のどの成分が滑らかであるかを明示的に同定することにより、この研究はパッチング論法においてしばしば行われる正則性の仮定を正当化する。

ヒダ族への応用は重要である。なぜなら、それは古典的な保形形式からの重複度結果を、非古典的なヒダ族へと拡張するからである。著者は、特定の連結成分上の古典的形式に対して重複度が 1 である場合、幾何学的な自由性の結果は、その成分内のすべての形式（古典的および非古典的）に対して重複度が 1 であることを意味すると指摘している。これは、古典的な数論と $p$ 進族の幾何学の間の溝を埋め、この族全体にわたって「重複度 1」の性質が保持されることを保証する。

この研究は、ユニタリ群における通常の設定での加群の自由性とヘッケ環および変形環の間の同型を確立するという即時的な範囲を超えて、新しい実験的応用や将来の予想を提案するものではない。これは、既存の機構（テイラー・ワイルス・キシン、ヒダ理論）を、ウェイル・デルイニパラメータの文脈における冪零軌道の閉包の特異点に関する新しい幾何学的洞察と統合することに依存している。