[論文レビュー] Construction of Curtis-Phan-Tits system in black box classical groups

Alexandre Borovik, Şükrü Yalçınkaya|arXiv (Cornell University)|Aug 17, 2010

Finite Group Theory Research参考文献 30被引用数 7

ひとこと要約

本稿は、奇数標数の有限単純ブラックボックス古典群における拡張されたディンキン図のノードに対応するすべてのルート $\mathrm{SL}_2(q)$-部分群を構成する多項式時間モンテカルロアルゴリズムを提示する。この手法は、対合元の中心化部分群と体系的なルート部分群生成に依存し、Curtis-Phan-Tits系を用いたブラックボックスによる同型群の完全な認識を完了する。

ABSTRACT

We present a polynomial time Monte-Carlo algorithm for finite simple black box classical groups of odd characteristic which constructs all root ${ m{SL}}_2(q)$-subgroups associated with the nodes of the extended Dynkin diagram of the corresponding algebraic group.

研究の動機と目的

• 奇数標数の有限単純古典群のブラックボックス認識を完了するため、拡張されたディンキン図のノードに対応するすべてのルート $\mathrm{SL}_2(q)$-部分群を構成すること。
• アシュバックシャーの古典的対合定理に類似した、ブラックボックス群におけるルート部分群を同定する一様なアルゴリズムフレームワークを提供すること。
• Curtis-Phan-Tits系を用いて、古典群におけるすべての対合の共役類と部分系部分群を構成することを可能にすること。
• 対合の中心化部分群とルート部分群認識に関する先行研究を、古典群における完全なシステムにまで拡張すること。

提案手法

• ブラックボックスオракルを用いて、群 $G$ 内の対合 $i$ の中心化部分群 $C_G(i)$ を構成し、対合の型と中心化部分群構造に関する既知の結果を活用する。
• ランダムな群元の原始的除因子ランク解析を用いて、$t_n$ 型の対合を特定し、所望の中心化部分群構造を有する対合型を保証する。
• 補題 7.4 を適用して $C_G(i)''$ を中心積 $K_0 \circ_2 K_2$ に分解し、$K_0 \cong K_2 \cong \mathrm{SL}_2(q)$ とする。これがルート系の核をなす。
• 再帰的構成法を用いる：$\mathrm{PSp}_{2n}(q)$ に対して、$\mathrm{SL}_n^\varepsilon(q)$ の中心化部分群を介して $K_1, \dots, K_{n-1}$ を構築し、その後 $L_1 \cong \mathrm{Sp}_4(q)$ 構造を用いて $K_n$ と $K_0$ に拡張する。
• ランダムな $g$ に対して $\mathrm{pdrank}(ii^g)$ をテストすることで、対合の型を検証する。$i$ が $t_n$ 型である場合にのみ $2n$ に達することが高確率で成立する。
• 既知の同型を活用する：$q \equiv 1 \pmod{4}$ の場合 $C_G(i)'' \cong \frac{1}{2}\mathrm{SL}_n(q)$、$q \equiv -1 \pmod{4}$ の場合 $\cong \frac{1}{2}\mathrm{SU}_n(q)$ であり、これにより部分群の構成を導く。

実験結果

リサーチクエスチョン

• RQ1 ブラックボックス古典群の奇数標数において、拡張されたディンキン図のノードに対応するすべてのルート $\mathrm{SL}_2(q)$-部分群を多項式時間で構成可能か？
• RQ2 ブラックボックス群において、$t_n$ 型の対合を信頼性高く同定し、Curtis-Phan-Tits系を構築するためにどのように利用できるか？
• RQ3 対合の中心化部分群から、すべての基本的ルート部分群を体系的に構成するためのアルゴリズム的手法は何か？
• RQ4 対合の中心化部分群の構造をどの程度活用して、ブラックボックス群における完全なルート系を再構成できるか？
• RQ5 アルゴリズムは、$\mathrm{PSp}_{2n}(q)$ を含む、ス latter とねじれた古典群の両方を一様に効率的に処理できるようにどのように適合可能か？

主な発見

• 本稿は、奇数標数の有限単純古典群に対して、拡張されたディンキン図のノードに対応するすべてのルート $\mathrm{SL}_2(q)$-部分群を構成するモンテカルロ多項式時間アルゴリズムを確立した。
• アルゴリズムは、Curtis-Phan-Tits系の構成に直接的に基づき、奇数標数の古典群におけるすべての対合の共役類の代表元を効果的に構成した。
• $n \geq 3$ の $\mathrm{PSp}_{2n}(q)$ に対して、$K_1, \dots, K_n, K_0$ を構成し、$\langle K_1, K_0 \rangle = G$ かつ $j = 1, \dots, n-2$ に対して $[K_n, K_j] = 1$ となることを確認した。これによりルート系構造が裏付けられた。
• 原始的除因子ランクに基づく確率的検証を用いて、対合が $t_n$ 型であることを確認する。20n 回のランダム共役化のうち、成功確率は少なくとも $1 - 1/e$ である。
• $C_G(i)''$ は、$q \mod 4$ に応じて $\frac{1}{2}\mathrm{SL}_n(q)$ または $\frac{1}{2}\mathrm{SU}_n(q)$ に同型であり、これにより完全なシステムの再帰的構成が可能である。
• 本手法はすべての古典群に一般化され、先行研究で開始されたブラックボックス認識パイプラインを完了し、最終段階として完全な Curtis-Phan-Tits 系の構築が達成された。