[論文レビュー] Lusztig's conjecture for finite special linear groups

Toshiaki Shoji|ArXiv.org|Feb 9, 2005

Finite Group Theory Research参考文献 10被引用数 3

ひとこと要約

この論文は、有限特殊線型群 $SL_n(\mathbf{F}_q)$ における Lusztig の予想を証明する。特徴的関数が、$\mathbf{F}_q$ の標数が十分に大きいとき、明示的なスカラー定数の違いを除いてほとんど文字に一致することを示す。証明は、特徴的関数と修正された一般化 Gelfand-Graev 特性関数との内積を計算することに依拠し、Lusztig の理論と Digne-Lehrer-Michel の $SL_n$ における4乗根の単位の結果を用いてスカラーを明示的に決定する。これにより、$SL_n(\mathbf{F}_q)$ の文字表を完全に計算するためのアルゴリズムが得られる。

ABSTRACT

In this paper, we prove Lusztig's conjecture for finite special linear groups, i.e., we show that characteristic functions of character sheaves coincide with almost characters up to scalar constants, under the condition that the characteristic of the base field is not too small. We determine those scalars explicitly. Our result gives a method of computing irreducible characters of these groups.

研究の動機と目的

• $G^F = SL_n(\mathbf{F}_q)$ 上の特徴的関数が、スカラー定数の違いを除いてほとんど文字に一致する Lusztig の予想を確立すること。
• $\operatorname{ch}\mathbf{F}_q$ が小さくないものと仮定したもとで、これらのスカラー定数を明示的に決定すること。
• 2 種類の $F$-安定な既約文字のパラメトライゼーションの関係を明確化すること：1 つは Harish-Chandra の誘導によるもので、もう 1 つはほとんど文字の文脈におけるねじれ誘導によるものである。
• 既知のスカラーを有する一般化グリーン関数への還元により、$SL_n(\mathbf{F}_q)$ の完全な文字表を計算するための計算手法を提供すること。

提案手法

• 特徴的関数と修正された一般化 Gelfand-Graev 特性関数との内積を計算するための修正された一般化 Gelfand-Graev 特性関数の使用。
• 標準的な一般化 Gelfand-Graev 特性関数よりも複雑な非ユニポテンツ型サポートを含む内積の計算。
• 一般化グリーン関数の Lusztig の公式と Shintani の自己同型作用素を用いて、異なるフロベニウス巾の間で文字を関連付ける。
• $SL_n$ における Lusztig の理論における4乗根の単位を明示的に決定する Digne-Lehrer-Michel の結果を活用し、スカラーの計算に不可欠な要素を得る。
• ヘッケ代数における直交性関係と Dedekind の定理の変種を用いて、フロベニウス拡張の間で恒等式を導出する。
• スカラーの一致を通じて、ほとんど文字のためのねじれ誘導と、$G^{F^m}$ の $F$-安定文字のための Harish-Chandra 诱导の両者が整合することを確立する。

実験結果

リサーチクエスチョン

• RQ1 $SL_n(\mathbf{F}_q)$ 上の特徴的関数が、Lusztig が予想したように、スカラー定数の違いを除いてほとんど文字に一致するか？
• RQ2 $SL_n(\mathbf{F}_q)$ における特徴的関数とほとんど文字の間のスカラー定数の明示的値は何か？
• RQ3 ねじれ誘導によるほとんど文字のパラメトライゼーションは、$F$-安定文字の $G^{F^m}$ に対する Harish-Chandra 诱导によるパラメトライゼーションとどのように調和するか？
• RQ4 $SL_n(\mathbf{F}_q)$ の既約文字の計算は、明示的に既知の定数を有する一般化グリーン関数への還元によって可能になるか？

主な発見

• $\operatorname{ch}\mathbf{F}_q$ が十分に大きいとき、$G^F = SL_n(\mathbf{F}_q)$ において Lusztig の予想が成立し、特徴的関数がスカラー定数の違いを除いてほとんど文字に一致することが確認された。
• 特徴的関数とほとんど文字の間のスカラー定数は、$SL_n$ における Lusztig の理論における4乗根の単位の決定に依拠して明示的に計算可能である。
• 特徴的関数と修正された一般化 Gelfand-Graev 特性関数との内積の計算により、スカラー係数が得られ、予想の主要な技術的障壁が解消された。
• ある十分に可除な $m$ に対して、ほとんど文字のねじれ誘導によるパラメトライゼーションと、$F$-安定文字の $G^{F^m}$ に対する Harish-Chandra 诱导によるパラメトライゼーションが整合することが示され、2 つの文字パラメトライゼーション手法の橋渡しとなった。
• 本手法により、$SL_n(\mathbf{F}_q)$ の完全な文字表を計算するための完全なアルゴリズムが得られ、問題が既知のスカラーを有する一般化グリーン関数への還元に帰着された。
• スカラー定数が適切に正規化された場合、結果はすべての $q$ に対して有効であることが、Dedekind の定理の変種を用いて、$r$ の稠密な集合からすべての $r$ への恒等式の拡張によって示された。