2025-11-20T23:55:15.319591

Abstract Regular Polytopes of Finite Irreducible Coxeter Groups

Chen, Rowley

Here, for $W$ the Coxeter group $\mathrm{D}_n$ where $n > 4$, it is proved that the maximal rank of an abstract regular polytope for $W$ is $n - 1$ if $n$ is even and $n$ if $n$ is odd. Further it is shown that $W$ has abstract regular polytopes of rank $r$ for all $r$ such that $3 \leq r \leq n - 1$, if $n$ is even, and $3 \leq r \leq n$, if $n$ is odd. The possible ranks of abstract regular polytopes for the exceptional finite irreducible Coxeter groups are also determined.

academic

Abstract Regular Polytopes of Finite Irreducible Coxeter Groups

基本信息

论文ID: 2501.01288
标题: Abstract Regular Polytopes of Finite Irreducible Coxeter Groups
作者: Malcolm Hoong Wai Chen, Peter Rowley
分类: math.GR (Group Theory), math.CO (Combinatorics)
发表时间: 2025年1月2日
论文链接: https://arxiv.org/abs/2501.01288

摘要

本文研究了有限不可约Coxeter群的抽象正则多胞形。对于Coxeter群 $D_n$ （ $n > 4$ ），证明了其抽象正则多胞形的最大秩在 $n$ 为偶数时为 $n-1$ ， $n$ 为奇数时为 $n$ 。进一步证明了 $W$ 具有所有秩 $r$ 的抽象正则多胞形，其中当 $n$ 为偶数时 $3 \leq r \leq n-1$ ，当 $n$ 为奇数时 $3 \leq r \leq n$ 。同时确定了例外有限不可约Coxeter群的抽象正则多胞形的可能秩。

研究背景与动机

问题背景

Coxeter群与正则多胞形的联系：有限Coxeter群在数学文献中以多种形式出现——作为半单李代数的Weyl群、反射群以及正则多胞形的自同构群。本文关注的是最后一个方面。
抽象正则多胞形理论：根据McMullen和Schulte的工作，研究抽象正则多胞形等价于研究群的C-串（C-strings）。
已知结果的局限性：
- 对于 $A_n$ 型和 $B_n$ 型Coxeter群，其最大秩已知
- 对于 $D_n$ 型群（其Dynkin图不是串型），相关结果缺失
- 例外Coxeter群的情况需要系统性研究

研究动机

该问题重要性体现在：

理论完整性：填补Coxeter群分类中 $D_n$ 型的空白
几何意义：抽象正则多胞形是经典正则多胞形的推广
群论应用：为研究群的生成集提供新视角

核心贡献

确定了 $D_n$ 型Coxeter群的最大C-串秩：
- $n$ 为偶数时： $r_{\max}(D_n) = n-1$
- $n$ 为奇数时： $r_{\max}(D_n) = n$
证明了中间秩的存在性：构造了所有中间秩 $r$ （ $3 \leq r \leq r_{\max}$ ）的C-串
完成了例外Coxeter群的分类：确定了 $H_3, H_4, F_4, E_6, E_7, E_8$ 的最大C-串秩
提供了显式构造：给出了具体的C-串构造方法和Schläfli类型

方法详解

任务定义

研究有限不可约Coxeter群 $W$ 的C-串，即满足以下条件的对合集合 $S = \{s_1, \ldots, s_r\}$ ：

生成性： $S$ 生成群 $W$
交集性质：对所有 $J,K \subseteq I$ ， $W_J \cap W_K = W_{J \cap K}$
串性质：当 $|i-j| \geq 2$ 时， $s_i s_j = s_j s_i$

秩3：特殊构造处理基础情况
秩 $r$ （ $4 \leq r \leq n-1$ ）：基于对称群的C-串扩展

4. 验证技术

使用引理2.6和2.7验证交集性质：

引理2.6：通过检验边界条件验证C-群性质
引理2.7：通过归纳验证更一般情况

技术创新点

分奇偶性分析：发现 $D_n$ 的最大秩依赖于 $n$ 的奇偶性，这是一个重要的结构性发现
嵌入与投影结合：巧妙利用 $D_n = S \cdot N$ 的结构，其中 $S \cong \text{Sym}(n)$ ， $N$ 是符号变换子群
秩约简定理应用：使用Brooksbank-Leemans定理从最大秩C-串构造所有中间秩

实验设置

计算验证

使用Magma计算代数系统验证例外群的结果：

群	总数	秩3	秩4	秩5	秩6	秩7
$H_3$	8(1)	8(1)	0	0	0	0
$H_4$	59(6)	45(2)	14(4)	0	0	0
$F_4$	5(1)	3(0)	2(1)	0	0	0
$E_6$	147(18)	87(12)	50(4)	10(2)	0	0
$E_7$	3662(10)	1577(10)	1525(0)	465(0)	95(0)	0
$E_8$	11689(142)	6746(117)	3584(22)	986(2)	310(0)	63(1)

注：括号内为自对偶多胞形数量。

验证方法

构造验证：通过显式计算验证所构造C-串的性质
计算机辅助：使用Magma进行例外群的完整枚举
理论证明：结合群论和组合几何方法

实验结果

主要定理

定理1.1：设 $W$ 是Coxeter群 $D_n$ ， $n \geq 5$ 。

若 $n$ 为偶数，则 $r_{\max}(W) = n-1$
若 $n$ 为奇数，则 $r_{\max}(W) = n$

定理1.2： $D_n$ 具有所有秩 $r$ 的C-串，其中 $3 \leq r \leq r_{\max}(W)$ 。

定理1.3：例外有限不可约Coxeter群的最大秩：

$I_2(m), H_3, H_4, F_4$ ：等于其Coxeter秩
$E_6, E_7, E_8$ ：分别为5, 6, 7

具体构造结果

$D_n$ （ $n$ 奇数）：
- 最大秩C-串：Schläfli类型 $\{4, 3^{n-2}\}$
- 完整的秩谱： $3 \leq r \leq n$
$D_n$ （ $n$ 偶数）：
- 最大秩为 $n-1$ ，无秩 $n$ 的C-串
- 秩3：Schläfli类型 $\{12, n-1\}$
- 秩 $r$ （ $4 \leq r \leq n-1$ ）：类型 $\{3^{r-4}, 6, n-r+3, 4\}$