[論文レビュー] On the Schur indices of cuspidal unipotent characters

Meinolf Geck|ArXiv.org|Jun 18, 2003

Advanced Algebra and Geometry参考文献 16被引用数 5

ひとこと要約

この論文は、良い特性における型 $F_4$ および $E_8$ の有限群のカスピダル一意的特徴のシュール指標を決定し、それらがすべて 1 であることを証明し、$E_7$ についてはシュール指標が 2 以下であることを示している。カワナカの一般化されたゲルファンド＝グラエフ表現と表現論的技法を用いて、特定の誘導表現が $\mathbb{Q}$ または $\mathbb{Q}$ の二次拡大上で実現可能であることを示し、これにより特徴乗法公式を用いてシュール指標を計算できる。

ABSTRACT

In previous work of Gow, Ohmori, Lusztig and the author, the Schur indices of all unipotent characters of finite groups of Lie type have been explicitly determined except for six cases in groups of type $F_4$, $E_7$ and $E_8$. In this paper, we show that the Schur indices of all cuspidal unipotent characters for type $F_4$ and $E_8$ are~1, assuming that the group is defined over a field of ``good'' characteristic. This settles four out of the six open cases. For type $E_7$, we show that the Schur indices are at most~2.

研究の動機と目的

• 有限リー型群の一意的特徴のシュール指標分類における未解決事例を解消すること。
• 型 $F_4$、$E_7$、$E_8$ の群におけるカスピダル一意的特徴のシュール指標を特定すること、特に以前に解決されていなかったケースを含む。
• 特定の一意的部分群に関連する一般化されたゲルファンド＝グラエフ表現が、$\mathbb{Q}$ または $\mathbb{Q}$ の二次拡大上で実現可能であることを示し、これにより特徴乗法データを用いてシュール指標を有界化すること。

提案手法

• 著者たちは、リー型有限群の表現論的構造を研究するために、一意的部分群から誘導されるカワナカの一般化されたゲルファンド＝グラエフ特徴を用いる。
• $F_4$ および $E_8$ では、特定の一般化されたゲルファンド＝グラエフ表現が $\mathbb{Q}$ 上で実現可能であることを示し、$E_7$ では $\mathbb{Q}$ の二次拡大上で実現可能であることを示している。これはオームォリにインspiredされた技法を用いて達成された。
• カワナカおよびルシュティグの明示的公式を用いて、これらの誘導表現における一意的特徴の乗法度を計算し、関連するカスピダル一意的特徴が乗法度 1 で現れることを示している。
• 特徴のシュール指標は、誘導表現が実現可能な $\mathbb{Q}$ 上の体拡大の次数と、その誘導特徴における特徴の乗法度を組み合わせたものによって有界化される。
• ブラウアー＝スパイーザーの定理を適用し、誘導特徴の非有理数値成分のシュール指標を 2 以下に有界化する。
• 標準的なシュール指標に関する結果（イサース、補題 10.4）を用いて、シュール指標が体拡大次数と乗法度の積を割り切ることを結論づけ、これは良い特性において奇数である。

実験結果

リサーチクエスチョン

• RQ1 良い特性における型 $F_4$ および $E_8$ の有限群の一意的特徴のシュール指標は何か？
• RQ2 型 $F_4$、$E_7$、$E_8$ において、一意的部分群に関連する一般化されたゲルファンド＝グラエフ表現が $\mathbb{Q}$ または $\mathbb{Q}$ の二次拡大上で実現可能か？
• RQ3 一般化されたゲルファンド＝グラエフ表現におけるカスピダル一意的特徴の乗法度が、そのシュール指標にどのように制限を加えるか？
• RQ4 型 $E_7$ の二つのカスピダル一意的特徴 $E_7[\pm\xi]$ のシュール指標の正確な有界値は何か？
• RQ5 特性 5 における $E_8[\pm\sqrt{-1}]$ のシュール指標は、誘導特徴法を用いて特定可能か？

主な発見

• 良い特性における型 $F_4$ および $E_8$ の有限群のすべてのカスピダル一意的特徴のシュール指標は 1 に等しい。
• 型 $E_7$ において、二つのカスピダル一意的特徴 $E_7[\pm\xi]$ のシュール指標は 2 以下である。
• $E_7$ の一意的元に関連する一般化されたゲルファンド＝グラエフ表現は、$[K:\mathbb{Q}] \leq 2$ を満たす体 $K$ 上で実現可能であり、特徴 $E_7[\pm\xi]$ はこの表現に乗法度 1 で現れる。
• $E_7[\pm\xi]$ のシュール指標は $[K:\mathbb{Q}]$ を割り切るため、2 以下に有界である。
• $E_7[\pm\xi]$ のシュール指標は、1 または 2 であり、これは $E_7[\pm\xi]$ と誘導特徴の有理数値成分との内積の偶奇性に依存する。
• $E_7[\pm\xi]$ のシュール指標を計算する問題は、一般化されたゲルファンド＝グラエフ特徴の有理数値成分を含むスカラー積の計算に還元され、これは今後の研究で取り上げられる予定である。