[論文レビュー] Computational proof of the Mackey formula for q > 2

Cédric Bonnafé, Jean Michel|HAL (Le Centre pour la Communication Scientifique Directe)|Mar 25, 2010

Advanced Algebra and Geometry参考文献 17被引用数 37

ひとこと要約

この論文は、q > 2 または E6、E7、E8 型の成分をもたない連結な再帰的代数群に対して、Lusztig の誘導および制限に関するMackey公式の計算的証明を提供する。CHEVIEパッケージを用いたGAP3におけるケースバイケースの解析と広範な計算により、著者たちはこれらの条件下でMackey公式が成り立つことを検証した。これは、一般の予想を証明するための重要な一歩を完了するものである。

ABSTRACT

Let G be a connected reductive group defined over a finite field with q elements. We prove that the Mackey formula for the Lusztig induction and restriction holds in G whenever q>2 or G does not have a component of type E.

研究の動機と目的

• q > 2 である有限体上の再帰的代数群におけるLusztig誘導および制限のMackey公式の証明。
• 特に例外的群に対して、Mackey公式の有効性を従来の知られていた場合を超えて拡張すること。
• Mackey公式が普遍的に成り立つという予想を、重要なケースを計算的に検証することで確認すること。
• 代数群における半単純元の計算を支援するため、CHEVIEパッケージへの拡張を開発・適用すること。

提案手法

• Deligne および Lusztig のアイデアにインspiredされた帰納法を用い、群内の半単純元に関する一連の性質の検証に帰着する。
• GAP3におけるCHEVIEパッケージを用いて、根系およびワイル群作用に関するケースバイケースの計算を実行し、必要な性質を検証する。
• 各ケースについて、レヴィ部分群の中心におけるフロベニウス歪み付き自己同型の固定点を計算し、半単純元の位数を確認する。
• フロベニウスによる固定点部分群の位数によって、レヴィ部分群 M の共轭変換をフィルタリングする。
• 歪み付き自己同型の固定点集合における要素の最大位数を計算し、Mackey公式に必要な条件を検証する。
• システム的な検証を可能にするために、GAP3用のカスタム関数を用いて、固定点部分群内の半単純元の位数を計算する。

実験結果

リサーチクエスチョン

• RQ1 q > 2 である有限体上のすべての再帰的群において、Lusztig誘導および制限のMackey公式は成り立つか？
• RQ2 特に E6、E7、E8 型の例外的根系をもつ群について、Mackey公式を計算的に検証できるか？
• RQ3 一般理論的証明が得られない状況において、半単純元にどのような条件を課すとMackey公式の有効性が保証されるか？
• RQ4 CHEVIEパッケージは、表現論的応用を想定した代数群における半単純元の計算をどの程度拡張できるか？
• RQ5 Mackey公式が 2E6(2) のような1つの重要なケースで成り立つならば、それが一般の場合を示すのに十分か？

主な発見

• すべての連結な再帰的代数群について、q > 2 である有限体上ではMackey公式が成り立つ。
• 群に F-安定な準単純成分が 2E6、E7、E8 型をもたない場合にも、公式は成り立つ。
• 関連するすべてのケースにおいて、レヴィ部分群の中心におけるフロベニウス歪み付き自己同型の固定点部分群が位数 8 の元を含むことが検証され、重要な条件が確認された。
• G = E7 で M が A1×A1×A1 型の場合、wF による中心の固定点集合が位数 8 の元を含むことが計算により示され、必要な性質を満たした。
• 証明は、命題 2.1 の計算的検証に依拠しており、これは一般の場合を有限個のケースに還元する。
• 著者たちは、2E6(2) で M が A2×A2 型の場合にMackey公式が成り立つならば、一般の場合にも成り立つことを示し、このケースの重要性を強調した。