[論文レビュー] Formal Degree of Regular Supercuspidals

David Schwein|arXiv (Cornell University)|Jan 3, 2021

Advanced Algebra and Geometry参考文献 32被引用数 4

ひとこと要約

本稿は、非アーチメデス的局所体上の再帰的群に対して、ユーの超臨界的表現の形式的次数を、ブルハット＝ティツ理論とメイ・プラサフィルトレーションを用いて計算する。また、明示的な体積計算とガロアコhomologyの恒等式を用いて、自動的側とガロア側の公式を一致させることで、カレタの正則L-パックェットがヒラガ＝イチノ＝イケダの形式的次数予想を満たしていることを検証する。

ABSTRACT

Supercuspidal representations are usually infinite-dimensional, so the size of such a representation cannot be measured by its dimension; the formal degree is a better alternative. Hiraga, Ichino, and Ikeda conjectured a formula for the formal degree of a supercuspidal in terms of its $L$-parameter only. Our first main result is to compute the formal degrees of the supercuspidal representations constructed by Yu. Our second, using the first, is to verify that Kaletha's regular supercuspidal $L$-packets satisfy the conjecture.

研究の動機と目的

• 非アーチメデス的局所体上の再帰的群に対して、ユーの方法で構成された超臨界的表現の形式的次数を計算すること。
• カレタの正則L-パックェットが、ヒラガ、イチノ、イケダの形式的次数予想を満たしていることを検証すること。
• 形式的次数公式の自動的側（コンパクト誘導と体積計算を経て）とガロア側（Lパrameterの不変量を経て）の間の正確な一致を確立すること。
• 明示的な表現論的計算とラングランズパラメータ化を組み合わせることで、広範なクラスの超臨界的表現に対して形式的次数予想を解決すること。

提案手法

• コンパクト開部分群上の有限次元表現からのコンパクト誘導を用いて形式的次数を計算し、問題を誘導部分群の体積計算に還元する。
• Moy-Prasadフィルトレーションを適用して、体積計算をリー代数の部分商の長さ計算に翻訳する。
• ブルハット＝ティツ理論を用いて、コンパクト開部分群の構造と、ブルハット＝ティツのビルディング上の点の安定化部分群との関係を分析する。
• 特定のリー代数部分商の長さを計算する重要な技術的結果（定理38）に依拠する。
• トーラスに対してNéron-Ogg-Shafarevichの基準の類似を確立し、コcharacter格子のガロア不変量とMoy-Prasadフィルトレーションを関連付ける。
• ガロアコhomologyの恒等式（特に補題79およびその帰結）を用いて、自動的側とガロア側の形式的次数予想の指数関数的項と有理数係数を一致させることで、両側を比較する。

実験結果

リサーチクエスチョン

• RQ1 ユーの超臨界的表現の形式的次数は、そのLパラメータに基づくヒラガ＝イチノ＝イケダの予想と一致するか？
• RQ2 Moy-Prasadフィルトレーションとブルハット＝ティツ理論を用いて、コンパクト誘導超臨界的表現の形式的次数を明示的にどのように計算できるか？
• RQ3 正則L-パックェットに対して、形式的次数予想のガロア側の不変量（例えば、成分群の位数やフロベニウス作用の固定点）は、自動的側とどの程度一致するか？
• RQ4 カレタのパラメータ化によって構成された正則超臨界的表現に対して、そのL-パックェットの明示的構成を踏まえて、形式的次数公式を検証できるか？
• RQ5 ユーの構成におけるコンパクト開部分群の体積と、関連するLパラメータの不変量との間の明確な関係は何か？

主な発見

• ユーの超臨界的表現 π に対して、一般のカスプ的 G-データ Ψ が与えられたとき、その形式的次数は次の式で与えられる： deg(π,μ) = [dim ρ / [G⁰(k)_[y] : G⁰(k)_y,₀₊]] × exp_q(½dim G + ½dim G⁰_y,₀:₀₊ + ½∑ᵢ rᵢ(|Rᵢ₊₁| − |Rᵢ|))。
• ユーの構成におけるコンパクト開部分群 K の体積は、Moy-Prasadフィルトレーションを用いて計算され、問題はリー代数の部分商の長さ計算に還元され、これが主要な技術的結果（定理38）である。
• 自動的側の形式的次数予想は、コホモロジー的恒等式を用いてガロア側と一致しており、指数関数的項と有理数係数を一致させることで示された。
• 自動的側とガロア側の有理数係数の比が 1 であることが、|X_*(S^a)^{I_k}_Frob · X_*(S^a)^Frob_I_k| / |X_*(S^a)_{Γ_k}| = 1 という恒等式により示され、[Kal15, 補題5.18] で確立されている。
• 両側の指数関数的項は同一であり、exp_q(½dim G^a + ½dim M + ½∑ᵢ rᵢ(|Rᵢ₊₁| − |Rᵢ|)) という因子が両側に共に現れる。
• 正則L-パックェットに対して、明示的な体積計算、ガロアコホモロジー、およびトーラスに対するNéron-Ogg-Shafarevich型補題の組み合わせにより、形式的次数予想は完全に検証された。