Abstract Regular Polytopes of Finite Irreducible Coxeter Groups

Basic Information

• Paper ID: 2501.01288
• Title: Abstract Regular Polytopes of Finite Irreducible Coxeter Groups
• Authors: Malcolm Hoong Wai Chen, Peter Rowley
• Classification: math.GR (Group Theory), math.CO (Combinatorics)
• Publication Date: January 2, 2025
• Paper Link: https://arxiv.org/abs/2501.01288

Abstract

This paper investigates abstract regular polytopes of finite irreducible Coxeter groups. For Coxeter groups $D_n$ ($n > 4$), it is proven that the maximum rank of abstract regular polytopes is $n-1$ when $n$ is even and $n$ when $n$ is odd. Furthermore, it is demonstrated that $W$ possesses abstract regular polytopes of all ranks $r$, where $3 \leq r \leq n-1$ when $n$ is even and $3 \leq r \leq n$ when $n$ is odd. Additionally, the possible ranks of abstract regular polytopes for exceptional finite irreducible Coxeter groups are determined.

Research Background and Motivation

Problem Background

1. Connection between Coxeter Groups and Regular Polytopes: Finite Coxeter groups appear in mathematical literature in various forms—as Weyl groups of semisimple Lie algebras, reflection groups, and automorphism groups of regular polytopes. This paper focuses on the latter aspect.
2. Theory of Abstract Regular Polytopes: Following the work of McMullen and Schulte, the study of abstract regular polytopes is equivalent to studying C-strings of groups.
3. Limitations of Known Results:
   • For $A_n$-type and $B_n$-type Coxeter groups, maximum ranks are known
   • For $D_n$-type groups (whose Dynkin diagrams are not string-type), relevant results are lacking
   • The case of exceptional Coxeter groups requires systematic investigation

Research Motivation

The importance of this problem is manifested in:

1. Theoretical Completeness: Filling the gap in the classification of Coxeter groups for $D_n$-type
2. Geometric Significance: Abstract regular polytopes are generalizations of classical regular polytopes
3. Group-Theoretic Applications: Providing new perspectives for studying generating sets of groups

Core Contributions

1. Determination of Maximum C-String Rank for $D_n$-type Coxeter Groups:
   • When $n$ is even: $r_{\max}(D_n) = n-1$
   • When $n$ is odd: $r_{\max}(D_n) = n$
2. Proof of Existence of Intermediate Ranks: Construction of C-strings for all intermediate ranks $r$ ($3 \leq r \leq r_{\max}$)
3. Completion of Classification for Exceptional Coxeter Groups: Determination of maximum C-string ranks for $H_3, H_4, F_4, E_6, E_7, E_8$
4. Provision of Explicit Constructions: Concrete C-string construction methods and Schläfli types are provided

Detailed Methodology

Task Definition

Investigation of C-strings of finite irreducible Coxeter groups $W$, namely collections of involutions $S = \{s_1, \ldots, s_r\}$ satisfying:

1. Generativity: $S$ generates the group $W$
2. Intersection Property: For all $J,K \subseteq I$, $W_J \cap W_K = W_{J \cap K}$
3. String Property: When $|i-j| \geq 2$, $s_i s_j = s_j s_i$

Core Technical Methods

1. Embedding Technique

Utilizing Lemma 2.1 to embed $D_n$ into $\text{Sym}(2n)$: $\beta_0 = (1, n+1)(2, n+2), \quad \beta_i = (i, i+1)(n+i, n+i+1)$

2. Independent Set Theory

Application of Whiston's theorem: The maximum independent set size of the symmetric group $\text{Sym}(m)$ is $m-1$, used to establish upper bounds.

3. Constructive Methods

Odd Case ($n$ is odd): Define generators: $t_1 = \prod_{j=2}^n (j, n+j), \quad t_i = (i-1, i)(n+i-1, n+i) \text{ for } 2 \leq i \leq n$

Even Case ($n$ is even): Construct C-strings of different ranks separately:

• Rank 3: Special construction handling the base case
• Rank $r$ ($4 \leq r \leq n-1$): Extension based on symmetric group C-strings

4. Verification Technique

Using Lemmas 2.6 and 2.7 to verify intersection properties:

• Lemma 2.6: Verification of C-group properties through boundary condition checking
• Lemma 2.7: Verification of more general cases through induction

Technical Innovations

1. Parity-Based Analysis: Discovery that the maximum rank of $D_n$ depends on the parity of $n$, which is an important structural finding
2. Combination of Embedding and Projection: Clever utilization of the structure $D_n = S \cdot N$, where $S \cong \text{Sym}(n)$ and $N$ is the subgroup of sign changes
3. Application of Rank Reduction Theorem: Use of the Brooksbank-Leemans theorem to construct all intermediate-rank C-strings from maximum-rank C-strings

Experimental Setup

Computational Verification

Verification of results for exceptional groups using the Magma computer algebra system:

Note: Numbers in parentheses indicate the count of self-dual polytopes.

Verification Methods

1. Construction Verification: Explicit computation to verify properties of constructed C-strings
2. Computer-Assisted Verification: Complete enumeration for exceptional groups using Magma
3. Theoretical Proof: Combination of group-theoretic and combinatorial-geometric methods

Experimental Results

Main Theorems

Theorem 1.1: Let $W$ be the Coxeter group $D_n$, $n \geq 5$.

• If $n$ is even, then $r_{\max}(W) = n-1$
• If $n$ is odd, then $r_{\max}(W) = n$

Theorem 1.2: $D_n$ possesses C-strings of all ranks $r$, where $3 \leq r \leq r_{\max}(W)$.

Theorem 1.3: Maximum ranks of exceptional finite irreducible Coxeter groups:

• $I_2(m), H_3, H_4, F_4$: Equal to their Coxeter rank
• $E_6, E_7, E_8$: Equal to 5, 6, 7 respectively

Specific Construction Results

1. $D_n$ ($n$ odd):
   • Maximum-rank C-string: Schläfli type $\{4, 3^{n-2}\}$
   • Complete rank spectrum: $3 \leq r \leq n$
2. $D_n$ ($n$ even):
   • Maximum rank is $n-1$, no C-strings of rank $n$ exist
   • Rank 3: Schläfli type $\{12, n-1\}$
   • Rank $r$ ($4 \leq r \leq n-1$): Type $\{3^{r-4}, 6, n-r+3, 4\}$

Related Work

Historical Development

1. Early Work: Hartley's experimental results and Leemans-Vauthier's atlas of small groups
2. Theoretical Breakthrough: Whiston's classification of independent sets in symmetric groups
3. Computational Methods: Efficient algorithms for enumerating C-strings of sporadic simple groups

Known Results

• Symmetric Groups: Maximum rank of $\text{Sym}(n)$ is $n-1$, with complete rank spectrum
• Alternating Groups: Maximum rank of $\text{Alt}(n)$ ($n \geq 12$) is $\lfloor(n-1)/2\rfloor$
• Orthogonal and Symplectic Groups: Possess C-strings of arbitrarily large ranks

Uniqueness of This Paper's Contribution

This paper is the first to systematically solve the C-string classification problem for $D_n$-type Coxeter groups, filling an important theoretical gap.

Conclusions and Discussion

Main Conclusions

1. Complete Classification: Determination of maximum C-string ranks for all finite irreducible Coxeter groups
2. Structural Insights: Revelation of the important role of parity in $D_n$ groups
3. Construction Methods: Provision of systematic C-string construction techniques

Limitations

1. Computational Complexity: Results for exceptional groups rely on computer verification
2. Generalization Issues: Whether methods apply to infinite Coxeter groups remains unclear
3. Optimization Space: Some constructions may not be optimal

Future Directions

1. Generalization to Infinite Groups: Investigation of affine and hyperbolic Coxeter groups
2. Algorithm Optimization: Development of more efficient C-string enumeration algorithms
3. Geometric Applications: Exploration of applications in concrete geometric problems

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Systematic resolution of an important classification problem
2. Methodological Innovation: Clever combination of group theory, combinatorics, and computational methods
3. Deep Results: Revelation of deep connections between group structure and geometric properties
4. Rigorous Proofs: Integration of theoretical proofs and computational verification

Weaknesses

1. Proof Complexity: Some proofs are highly technical, with room for improved readability
2. Computational Dependence: Results for exceptional groups primarily rely on computers
3. Limited Applications: Practical application scenarios require further exploration

Impact

1. Theoretical Contribution: Important supplement to Coxeter group theory
2. Methodological Value: Construction techniques may be applicable to other group families
3. Computational Significance: Provides theoretical foundation for related computational problems

Applicable Scenarios

1. Pure Mathematics Research: Group theory, combinatorial geometry, polytope theory
2. Computational Mathematics: Symmetry analysis, graph theory applications
3. Theoretical Physics: Crystallography, symmetry breaking problems

References

The paper cites 30 relevant references, covering important works in core fields including Coxeter group theory, abstract regular polytopes, and generating sets of groups, providing a solid theoretical foundation for the research.

Overall Assessment: This is a high-quality group theory research paper that systematically solves the classification problem of abstract regular polytopes of finite irreducible Coxeter groups, possessing significant theoretical value and methodological innovation.