[論文レビュー] Wavefront Sets of Unipotent Representations of Reductive $p$-adic Groups I

Dan Ciubotaru, Lucas Mason‐Brown+1 more|arXiv (Cornell University)|Dec 29, 2021

Advanced Algebra and Geometry被引用数 5

ひとこと要約

この論文は、再帰的 $p$-進群における実無限小特徴を持つ非可約 Iwahori-球面表現の波フロント集合に対して、正確な公式を確立し、代数的波フロント集合がシングルトンであることを証明する。これは Mœglin と Waldspurger の予想を確認するものである。Deligne-Langlands-Lusztig 対応と零行列の軌道の記号的パラメトライゼーションを用いて、Langlands パrameter に基づく波フロント集合の下界を導出し、古典的および例外的型において $a$-記号と Springer 対応を用いた明示的構成がなされ、すべての型にわたる波フロント集合構成の忠実性が証明に至る。

ABSTRACT

The wavefront set is a fundamental invariant arising from the Harish-Chandra-Howe local character expansion of an admissible representation. We prove a precise formula for the wavefront set of an irreducible Iwahori-spherical representation with `real infinitesimal character' and determine a lower bound for this invariant in terms of the Deligne-Langlands-Lusztig parameters. In particular, for the Iwahori-spherical representations with real infinitesimal character, we deduce that the algebraic wavefront set is a singleton, as conjectured by Moeglin and Waldspurger. As a corollary, we obtain an explicit description of the wavefront set of an irreducible spherical representation with real Satake parameter.

研究の動機と目的

• 再帰的 $p$-進群における実無限小特徴を持つ非可約 Iwahori-球面表現の波フロント集合を特定すること。
• Deligne-Langlands-Lusztig パrameter に基づく波フロント集合の正確な公式を確立すること。
• このような表現に対して代数的波フロント集合がシングルトンであることを証明し、Mœglin と Waldspurger の予想を確認すること。
• 局所 Langlands 対応を用いて、実 Satake パrameter を持つ球面表現への波フロント集合の計算を拡張すること。

提案手法

• 非可約表現を $ (s, n, \rho) $ でパラメトライズするため、Deligne-Langlands-Lusztig 対応を用い、$ s $ を半単純、$ n $ を零行列、$ \rho $ を成分群 $ A(s,n) $ の表現とする。
• 古典的および例外的リー代数における零行列の軌道とその関連表現の分類に、記号的不変量である $ a $-記号と $ s $-記号を用いる。
• Aubert-Zelevinsky 対応を用いて Bernstein ブロック間の表現を関連付け、半単純パラメータ $ s $ を保存することで、波フロント集合の性質の移行を可能にする。
• Frobenius の随伴性とコホモロジー的技法を用いて、集合 $ \mathcal{F} \tilde{\Delta} $ 内の明示的対 $ (J, \varphi) $ を構成し、波フロント集合の条件を検証する。
• 例外型において記号的構成が不十分な場合に備え、GAP を用いた計算により波フロント集合の忠実性を検証する。
• 記号を介した Springer 対応を用いて、Weyl 群の非可約表現と零行列の軌道を関連させ、明示的な波フロント集合の決定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 再帰的 $p$-進群における実無限小特徴を持つ非可約 Iwahori-球面表現の波フロント集合は何か？
• RQ2 波フロント集合は、非可約 L-パケージ内の Deligne-Langlands-Lusztig パラメータ $ (s, n, \rho) $ とどのように関係するか？
• RQ3 Mœglin と Waldspurger が予想したように、このような表現の代数的波フロント集合はシングルトンか？
• RQ4 実 Satake パラメータを持つ球面表現の波フロント集合は、局所 Langlands 対応を用いて明示的に記述可能か？
• RQ5 $a$-記号と Springer 対応は、すべての古典的および例外的型において波フロント集合の計算に果たす役割は何か？

主な発見

• 実無限小特徴を持つ非可約 Iwahori-球面表現の波フロント集合はシングルトンであり、Mœglin と Waldspurger の予想を確認する。
• 波フロント集合の正確な公式が、Deligne-Langlands-Lusztig パラメータ $ (s, n, \rho) $ に基づいて確立され、波フロント集合は $ n $ に付随する零行列の軌道に等しい。
• すべての古典的および例外的型において、波フロント集合構成は忠実であることが、明示的 $ (J, \varphi) $ 対と例外型における GAP 計算により検証された。
• 実 Satake パラメータを持つ球面表現に対しては、波フロント集合がパラメータの $ a $-記号に対応する零行列の軌道として明示的に記述される。
• 証明は、零行列の軌道とその関連表現をパラメトライズするための記号的枠組み（$ a $-記号と $ s $-記号）と、コホモロジー的技法による忠実性の保証に依存する。
• すべてのケースにおいて、波フロント集合は零行列要素 $ n $ の軌道によって決定され、Aubert-Zelevinsky 対応および局所 Langlands 対応と整合的である。