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

Polytopes Réguliers Abstraits des Groupes de Coxeter Finis Irréductibles

Informations Fondamentales

ID de l'article: 2501.01288
Titre: Abstract Regular Polytopes of Finite Irreducible Coxeter Groups
Auteurs: Malcolm Hoong Wai Chen, Peter Rowley
Classification: math.GR (Théorie des Groupes), math.CO (Combinatoire)
Date de publication: 2 janvier 2025
Lien de l'article: https://arxiv.org/abs/2501.01288

Résumé

Cet article étudie les polytopes réguliers abstraits des groupes de Coxeter finis irréductibles. Pour les groupes de Coxeter $D_n$ ( $n > 4$ ), nous démontrons que le rang maximal des polytopes réguliers abstraits est $n-1$ lorsque $n$ est pair et $n$ lorsque $n$ est impair. Nous prouvons en outre que $W$ possède des polytopes réguliers abstraits de tous les rangs $r$ , où $3 \leq r \leq n-1$ lorsque $n$ est pair et $3 \leq r \leq n$ lorsque $n$ est impair. Nous déterminons également les rangs possibles des polytopes réguliers abstraits pour les groupes de Coxeter finis irréductibles exceptionnels.

Contexte et Motivation de la Recherche

Contexte du Problème

Lien entre les groupes de Coxeter et les polytopes réguliers: Les groupes de Coxeter finis apparaissent dans la littérature mathématique sous diverses formes — comme groupes de Weyl des algèbres de Lie semi-simples, groupes de réflexions et groupes d'automorphismes des polytopes réguliers. Cet article se concentre sur ce dernier aspect.
Théorie des polytopes réguliers abstraits: Selon les travaux de McMullen et Schulte, l'étude des polytopes réguliers abstraits est équivalente à l'étude des chaînes-C (C-strings) des groupes.
Limitations des résultats connus:
- Pour les groupes de Coxeter de type $A_n$ et $B_n$ , le rang maximal est connu
- Pour les groupes de type $D_n$ (dont le diagramme de Dynkin n'est pas linéaire), les résultats pertinents font défaut
- Le cas des groupes de Coxeter exceptionnels nécessite une étude systématique

Motivation de la Recherche

L'importance de ce problème réside dans:

Complétude théorique: Combler le vide dans la classification des groupes de Coxeter de type $D_n$
Signification géométrique: Les polytopes réguliers abstraits sont une généralisation des polytopes réguliers classiques
Applications en théorie des groupes: Fournir une nouvelle perspective pour l'étude des ensembles générateurs des groupes

Contributions Principales

Détermination du rang maximal des chaînes-C pour les groupes de Coxeter de type $D_n$ :
- Lorsque $n$ est pair: $r_{\max}(D_n) = n-1$
- Lorsque $n$ est impair: $r_{\max}(D_n) = n$
Preuve de l'existence de rangs intermédiaires: Construction de chaînes-C pour tous les rangs intermédiaires $r$ ( $3 \leq r \leq r_{\max}$ )
Classification complète des groupes de Coxeter exceptionnels: Détermination du rang maximal des chaînes-C pour $H_3, H_4, F_4, E_6, E_7, E_8$
Constructions explicites: Fourniture de méthodes de construction concrètes des chaînes-C et des types de Schläfli

Détail des Méthodes

Définition de la Tâche

Étude des chaînes-C d'un groupe de Coxeter fini irréductible $W$ , c'est-à-dire des ensembles d'involutions $S = \{s_1, \ldots, s_r\}$ satisfaisant les conditions suivantes:

Propriété génératrice: $S$ engendre le groupe $W$
Propriété d'intersection: Pour tous $J,K \subseteq I$ , $W_J \cap W_K = W_{J \cap K}$
Propriété de chaîne: Lorsque $|i-j| \geq 2$ , $s_i s_j = s_j s_i$

Méthodes Techniques Principales

1. Technique d'Immersion

Utilisation du lemme 2.1 pour immerger $D_n$ dans $\text{Sym}(2n)$ : $\beta_0 = (1, n+1)(2, n+2), \quad \beta_i = (i, i+1)(n+i, n+i+1)$

2. Théorie des Ensembles Indépendants

Application du théorème de Whiston: La taille maximale d'un ensemble indépendant du groupe symétrique $\text{Sym}(m)$ est $m-1$ , utilisée pour prouver les bornes supérieures.

3. Méthode Constructive

Cas impair ( $n$ impair): Définition des générateurs: $t_1 = \prod_{j=2}^n (j, n+j), \quad t_i = (i-1, i)(n+i-1, n+i) \text{ pour } 2 \leq i \leq n$

Cas pair ( $n$ pair): Construction distincte de chaînes-C de différents rangs:

Rang 3: Traitement spécial du cas fondamental
Rang $r$ ( $4 \leq r \leq n-1$ ): Extension basée sur les chaînes-C du groupe symétrique

4. Technique de Vérification

Utilisation des lemmes 2.6 et 2.7 pour vérifier la propriété d'intersection:

Lemme 2.6: Vérification de la propriété C-groupe par examen des conditions limites
Lemme 2.7: Vérification par induction pour les cas plus généraux

Points d'Innovation Technique

Analyse par Parité: Découverte que le rang maximal de $D_n$ dépend de la parité de $n$ , ce qui constitue une découverte structurelle importante
Combinaison d'Immersion et de Projection: Utilisation astucieuse de la structure $D_n = S \cdot N$ , où $S \cong \text{Sym}(n)$ et $N$ est le sous-groupe des transformations de signe
Application du Théorème de Réduction de Rang: Utilisation du théorème de Brooksbank-Leemans pour construire tous les rangs intermédiaires à partir des chaînes-C de rang maximal

Configuration Expérimentale

Vérification Computationnelle

Utilisation du système d'algèbre computationnelle Magma pour vérifier les résultats pour les groupes exceptionnels:

Groupe	Total	Rang 3	Rang 4	Rang 5	Rang 6	Rang 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)

Remarque: Les nombres entre parenthèses indiquent la quantité de polytopes auto-duaux.

Méthodes de Vérification

Vérification constructive: Vérification par calcul explicite des propriétés des chaînes-C construites
Assistance informatique: Énumération complète des groupes exceptionnels à l'aide de Magma
Preuve théorique: Combinaison de méthodes de théorie des groupes et de géométrie combinatoire

Résultats Expérimentaux

Théorèmes Principaux

Théorème 1.1: Soit $W$ le groupe de Coxeter $D_n$ , $n \geq 5$ .

Si $n$ est pair, alors $r_{\max}(W) = n-1$
Si $n$ est impair, alors $r_{\max}(W) = n$

Théorème 1.2: $D_n$ possède des chaînes-C de tous les rangs $r$ , où $3 \leq r \leq r_{\max}(W)$ .

Théorème 1.3: Rangs maximaux des groupes de Coxeter finis irréductibles exceptionnels:

$I_2(m), H_3, H_4, F_4$ : égal à leur rang de Coxeter
$E_6, E_7, E_8$ : respectivement 5, 6, 7

Résultats de Construction Spécifiques

$D_n$ ( $n$ impair):
- Chaîne-C de rang maximal: Type de Schläfli $\{4, 3^{n-2}\}$
- Spectre de rang complet: $3 \leq r \leq n$
$D_n$ ( $n$ pair):
- Rang maximal égal à $n-1$ , pas de chaîne-C de rang $n$
- Rang 3: Type de Schläfli $\{12, n-1\}$
- Rang $r$ ( $4 \leq r \leq n-1$ ): Type $\{3^{r-4}, 6, n-r+3, 4\}$

Travaux Connexes

Développement Historique

Travaux antérieurs: Résultats expérimentaux de Hartley et atlas des petits groupes de Leemans-Vauthier
Percée théorique: Classification par Whiston des ensembles indépendants des groupes symétriques
Méthodes computationnelles: Algorithmes efficaces pour l'énumération des chaînes-C des groupes sporadiques

Résultats Connus

Groupes symétriques: Le rang maximal de $\text{Sym}(n)$ est $n-1$ , avec spectre de rang complet
Groupes alternés: Le rang maximal de $\text{Alt}(n)$ ( $n \geq 12$ ) est $\lfloor(n-1)/2\rfloor$
Groupes orthogonaux et symplectiques: Possèdent des chaînes-C de rang arbitrairement grand

Caractère Unique de la Contribution de cet Article

Cet article résout pour la première fois de manière systématique le problème de classification des chaînes-C pour les groupes de Coxeter de type $D_n$ , comblant un vide théorique important.

Conclusion et Discussion

Conclusions Principales

Classification complète: Détermination du rang maximal des chaînes-C pour tous les groupes de Coxeter finis irréductibles
Aperçus structurels: Révélation du rôle important de la parité dans les groupes $D_n$
Méthodes de construction: Fourniture de techniques systématiques de construction des chaînes-C

Limitations

Complexité computationnelle: Les résultats pour les groupes exceptionnels dépendent de la vérification informatique
Problèmes de généralisation: L'applicabilité des méthodes aux groupes de Coxeter infinis reste incertaine
Espace d'optimisation: Certaines constructions pourraient ne pas être optimales

Directions Futures

Généralisation aux groupes infinis: Étude des groupes de Coxeter affines et hyperboliques
Optimisation algorithmique: Développement d'algorithmes plus efficaces pour l'énumération des chaînes-C
Applications géométriques: Exploration des applications dans les problèmes géométriques concrets

Évaluation Approfondie

Points Forts

Complétude théorique: Résolution systématique d'un problème de classification important
Innovation méthodologique: Combinaison astucieuse de théorie des groupes, combinatoire et méthodes computationnelles
Profondeur des résultats: Révélation des connexions profondes entre la structure des groupes et les propriétés géométriques
Rigueur des preuves: Combinaison de preuves théoriques et de vérification computationnelle

Insuffisances

Complexité des preuves: Certaines preuves sont très techniques, avec une lisibilité à améliorer
Dépendance computationnelle: Les résultats pour les groupes exceptionnels dépendent principalement de l'ordinateur
Limitations d'application: Les scénarios d'application pratique nécessitent une exploration supplémentaire

Impact

Contribution théorique: Apport important à la théorie des groupes de Coxeter
Valeur méthodologique: Les techniques de construction pourraient s'appliquer à d'autres familles de groupes
Signification computationnelle: Fourniture d'une base théorique pour les problèmes computationnels connexes

Domaines d'Application

Recherche en mathématiques pures: Théorie des groupes, géométrie combinatoire, théorie des polytopes
Mathématiques computationnelles: Analyse de symétrie, applications de la théorie des graphes
Physique théorique: Cristallographie, problèmes de brisure de symétrie

Références

L'article cite 30 références pertinentes, couvrant les domaines fondamentaux de la théorie des groupes de Coxeter, des polytopes réguliers abstraits et des ensembles générateurs de groupes, fournissant une base théorique solide pour la recherche.

Évaluation Globale: Cet article est une recherche de haute qualité en théorie des groupes qui résout systématiquement le problème de classification des polytopes réguliers abstraits des groupes de Coxeter finis irréductibles, possédant une valeur théorique importante et une signification d'innovation méthodologique.