[论文解读] 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

一句话总结

本文提出了一种多项式时间的蒙特卡洛算法，用于在奇特征的有限单黑箱经典群中构造与扩展 Dynkin 图节点对应的全部根 $\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.

研究动机与目标

• 通过构造与扩展 Dynkin 图节点相关的全部根 $\mathrm{SL}_2(q)$-子群，完成对奇特征有限单经典群的黑箱识别。
• 为在黑箱群中识别根子群提供统一的算法框架，类似于 Aschbacher 的经典对合定理。
• 通过 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 是否能在奇特征黑箱经典群中以多项式时间构造与扩展 Dynkin 图节点对应的全部根 $\mathrm{SL}_2(q)$-子群？
• RQ2 如何可靠地识别并利用类型为 $t_n$ 的对合，以在黑箱群中生成 Curtis-Phan-Tits 系统？
• RQ3 何种算法技术可实现从对合中心化子系统构造全部基本根子群？
• RQ4 对合中心化结构的何种特性可被充分利用以在黑箱群中重构完整的根系统？
• RQ5 该算法如何被适配以统一高效地处理分裂与扭结经典群，特别是 $\mathrm{PSp}_{2n}(q)$？

主要发现

• 本文建立了一种蒙特卡洛多项式时间算法，用于构造奇特征有限单经典群中与扩展 Dynkin 图节点相关的全部根 $\mathrm{SL}_2(q)$-子群。
• 该算法成功构造了奇特征经典群中所有对合共轭类的代表元，这是 Curtis-Phan-Tits 系统构造的直接结果。
• 对于 $\mathrm{PSp}_{2n}(q)$ 且 $n \geq 3$ 的情形，该方法构造了 $K_1, \dots, K_n, K_0$，使得 $\langle K_1, K_0 \rangle = G$ 且对 $j = 1, \dots, n-2$ 有 $[K_n, K_j] = 1$，从而确认了根系统结构。
• 该算法基于本原除数秩的 probabilistic 检查验证对合为 $t_n$ 型，经过 $20n$ 次随机共轭后，成功概率至少为 $1 - 1/e$。
• 中心化子 $C_G(i)''$ 同构于 $\frac{1}{2}\mathrm{SL}_n(q)$ 或 $\frac{1}{2}\mathrm{SU}_n(q)$，具体取决于 $q \mod 4$，从而支持完整系统的递归构造。
• 该方法可推广至所有经典群，并完成了先前工作启动的黑箱识别流程，最终步骤为完整 Curtis-Phan-Tits 系统的构造。