[论文解读] Groups of type L_2(q) acting on polytopes

Dimitri Leemans, Egon Schulte|ArXiv.org|Jun 26, 2006

Finite Group Theory Research参考文献 14被引用 6

一句话总结

本文证明，唯一能作为抽象正则4维多胞体自同构群的 $L_2(q)$ 型群仅为 $L_2(11)$ 和 $L_2(19)$，分别对应格鲁姆的11胞体 ($\{3,5,3\}$) 和考克斯eter的57胞体 ($\{5,3,5\}$)。通过弦C-群理论与 $L_2(q)$ 的子群格分析，作者确立了其他 $L_2(q)$ 群无法实现此类4阶正则多胞体。

ABSTRACT

We prove that if G is a string C-group of rank 4 and G is isomorphic to L_2(q) with q a prime power, then q must be 11 or 19. The polytopes arising are Grunbaum's 11-cell of type {3,5,3} for L_2(11) and Coxeter's 57-cell of type {5,3,5} for L_2(19), each a locally projective regular 4-polytope.

研究动机与目标

• 确定哪些 $L_2(q)$ 型群可作为抽象正则4维多胞体的自同构群。
• 解决勒马斯与沃蒂埃（2006）关于 $L_2(q)$ 能否作为4阶正则多胞体自同构群的实现性猜想。
• 刻画 $L_2(q)$ 的完整子群格，并将其应用于弦C-群的交集性质分析。
• 确立11胞体与57胞体是唯一具有 $L_2(q)$ 自同构群的此类多胞体。
• 阐明 $L_2(q)$ 在具有两个旗轨道的多胞体中作为偶子群或完整自同构群的角色，与正则情形形成对比。

提出的方法

• 利用弦C-群理论，通过满足交集关系与弦关系的生成元来建模抽象正则多胞体。
• 使用迪克森分类法分析 $L_2(q)$ 的完整子群格，包括初等阿贝尔群、循环群与二面体群。
• 验证 $L_2(q)$ 中候选生成对合元的交集性质，特别是针对 $q = 11$ 与 $q = 19$ 的情形。
• 利用11胞体与57胞体的已知表示，确认 $L_2(11)$ 与 $L_2(19)$ 满足考克斯eter型关系及两个额外关系 $(\rho_0\rho_1\rho_2)^5 = (\rho_1\rho_2\rho_3)^5 = 1$。
• 比较通用多胞体 $\{\{5,3\},\{3,5\}_5\}$ 与57胞体的自同构群，表明若省略一个额外关系，将得到自同构群为 $J_1 \times L_2(19)$ 的群，从而确认57胞体的极小性。
• 应用文献中关于 $L_2(q)$ 作用于地图与多面体的结果，排除更高阶多胞体，将分析范围限制在4阶情形。

实验结果

研究问题

• RQ1 哪些 $L_2(q)$ 型群可作为正则抽象多胞体的自同构群？
• RQ2 为何仅 $L_2(11)$ 与 $L_2(19)$ 能实现此类多胞体？$L_2(q)$ 的何种结构特性阻止了其他 $q$ 值的实现？
• RQ3 两个额外关系 $(\rho_0\rho_1\rho_2)^5 = (\rho_1\rho_2\rho_3)^5 = 1$ 在定义11胞体与57胞体中起何作用？
• RQ4 $L_2(11)$ 与 $L_2(19)$ 的子群结构如何满足弦C-群所要求的交集性质？
• RQ5 若省略其中一个额外关系，通用多胞体会发生什么变化？这与57胞体有何关联？

主要发现

• 唯一能作为正则4维多胞体自同构群的 $L_2(q)$ 型群为 $L_2(11)$ 与 $L_2(19)$，该结论通过子群格与弦C-群条件的详尽分析得以证明。
• 对于 $L_2(11)$，唯一的正则4维多胞体为格鲁姆的11胞体 $\{3,5,3\}$，其通过粘合十一个半正十二面体构成。
• 对于 $L_2(19)$，唯一的正则4维多胞体为考克斯eter的57胞体 $\{5,3,5\}$，其具有57个半正十二面体面与57个具有半正十二面体顶点图的顶点。
• 11胞体与57胞体均为各自面与顶点图的正则多胞体中的通用对象，且其自同构群为单群，因此与它们的偶子群重合。
• 这两个多胞体由3维双曲镶嵌 $\{3,5,3\}$ 与 $\{5,3,5\}$ 的标准考克斯eter关系，加上两个额外关系 $(\rho_0\rho_1\rho_2)^5 = (\rho_1\rho_2\rho_3)^5 = 1$ 所定义，这些关系对保证其有限性至关重要。
• 若省略其中一个额外关系，将得到通用多胞体 $\{\{5,3\},\{3,5\}_5\}$，其自同构群为 $J_1 \times L_2(19)$，表明57胞体是该通用对象的商。