[論文レビュー] Existence of cuspidal representations of p-adic reductive groups

Arno Kret|arXiv (Cornell University)|May 12, 2012

Advanced Algebra and Geometry参考文献 1被引用数 3

ひとこと要約

本稿は、非アーチメデス的局所体上の再帰的群に対して、すべての cuspidal 複素表現の存在を示している。Deligne-Lusztig 理論を用いて、問題を楕円的 maximal tori 上の一般位置にある特徴の存在に還元する。主な結果は、有限 Lie 型群における幾何学的・群論的技法を用いて、このような表現を構成することで、長年のフォールバック予想を確認したものである。

ABSTRACT

We prove that any reductive group G over a non-Archimedean local field has a cuspidal complex representation.

研究の動機と目的

• 非アーチメデス的局所体上の任意の再帰的群に対して、cuspidal 複素表現の存在を確立すること。これは長年にわたりフォールバック的とみなされてきたが、公式的な証明が存在しなかった結果である。
• 最大パラハオリ部分群の再帰的商を分析することで、問題を Lie 型有限群に還元すること。
• すべての古典的および例外的根系に対して、有限体上での楕円的 maximal tori 上に一般位置にある特徴の存在を確認すること。
• スピンおよび非スピンの古典的群（$^2A_n$、$^2D_n$、および $^3D_4$ を含む）に対して、このような特徴の存在を確認することで証明を完成させること。
• 大きな Weyl 群をもつ小さな残差体において生じる可能性のある障害を、一般位置にある適切な特徴を明示的に構成することで克服すること。

提案手法

• Lie 型有限群におけるトーラス $T$ 上の有理的特徴 $θ$ に対して、仮想的特徴 $R_T^\theta$ を Deligne-Lusztig 理論を用いて関連付ける。
• $( -1 )^{\sigma(G)-\sigma(T)} R_T^\theta$ が、$θ$ が一般位置（すなわち Weyl 群が $θ$ に自由に作用する）にあるとき、可約表現 $π_T^\theta$ に引き上げられることを用いる。
• もし $T$ が楕円的で $θ$ が一般位置にあるならば、$π_T^\theta$ は cuspidal であることを証明する。
• このような特徴 $θ$ が有限 Lie 型群における楕円的 maximal tori 上に存在することを確認することで、問題を還元する。
• Frobenius の作用と Weyl 群 $W_0$ を用いて、有理的 Weyl 群 $W_T(k)$ を分析し、写像 $φ: W_0 \to \mathfrak{S}_n$ を用いて固定点を特定する。
• 特徴が一般位置にあることを保証するために、$2e_n$ が $(w\Phi - 1)\Lambda$ の像に属さないことを示し、$2e_n \pm 2e_r$ が $w\Phi - 1$ の像に属さないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 非アーチメデス的局所体上のすべての再帰的群は、cuspidal 複素表現をもつか？
• RQ2 このような表現の存在は、有限 Lie 型群における楕円的 maximal tori 上の一般位置にある特徴の存在に還元可能か？
• RQ3 小さな残差体においても、古典的群の楕円的トーラス上に常に一般位置にある特徴が存在するか？
• RQ4 非スピン群（例：$^2D_n$）に対して、有理的 Weyl 群の作用が一般位置にある特徴の存在にどのように影響するか？
• RQ5 小さな残差体と大きな Weyl 群をもつ場合に生じる障害は、このような特徴を明示的に構成することで克服可能か？

主な発見

• 本稿は、非アーチメデス的局所体 $F$ 上の任意の再帰的群 $G$ に対して、cuspidal 複素表現が存在することを確立した。これは、長年のフォールバック的結果を確認するものである。
• Lie 型有限群においては、cuspidal 表現の存在が、楕円的 maximal tori 上に一般位置にある特徴の存在と同値である。
• すべての例外的根系（$E_6$、$E_7$、$E_8$、$F_4$、$G_2$ など）において、Carter の特徴表は正の数の cuspidal unipotent 特徴を示しており、存在を確認している。
• スピン古典的群（$A_n$、$B_n$、$C_n$、$D_n$）に対しては、有理的 Weyl 群の分析と Frobenius の作用を用いて、一般位置にある特徴の存在を確立した。
• 非スピン群（$^2A_n$、$^2D_n$）に対しては、$2e_n$ が $w\Phi - 1$ の像に属さないことを示すことにより、このような特徴の存在を確認した。
• すべての $r$ に対して $2e_n \pm 2e_r \notin (w\Phi - 1)\Lambda$ であることを確認することで、証明が完成した。これは、大きな Weyl 群と小さな体をもつ場合でも、特徴が一般位置にあることを示している。