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

Abstrakte reguläre Polytope endlicher irreduzibler Coxeter-Gruppen

Grundinformationen

  • Papier-ID: 2501.01288
  • Titel: Abstract Regular Polytopes of Finite Irreducible Coxeter Groups
  • Autoren: Malcolm Hoong Wai Chen, Peter Rowley
  • Klassifizierung: math.GR (Gruppentheorie), math.CO (Kombinatorik)
  • Veröffentlichungsdatum: 2. Januar 2025
  • Papier-Link: https://arxiv.org/abs/2501.01288

Zusammenfassung

Diese Arbeit untersucht abstrakte reguläre Polytope endlicher irreduzibler Coxeter-Gruppen. Für Coxeter-Gruppen DnD_n (n>4n > 4) wird bewiesen, dass der maximale Rang abstrakter regulärer Polytope n−1n-1 für gerade nn und nn für ungerade nn beträgt. Ferner wird nachgewiesen, dass WW abstrakte reguläre Polytope aller Ränge rr besitzt, wobei 3≤r≤n−13 \leq r \leq n-1 für gerade nn und 3≤r≤n3 \leq r \leq n für ungerade nn gilt. Gleichzeitig werden die möglichen Ränge abstrakter regulärer Polytope ausnahmehafter endlicher irreduzibler Coxeter-Gruppen bestimmt.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Verbindung zwischen Coxeter-Gruppen und regulären Polytopen: Endliche Coxeter-Gruppen erscheinen in der mathematischen Literatur in verschiedenen Formen – als Weyl-Gruppen halbeinfacher Lie-Algebren, als Spiegelungsgruppen und als Automorphismengruppen regulärer Polytope. Diese Arbeit konzentriert sich auf den letzten Aspekt.
  2. Theorie abstrakter regulärer Polytope: Nach den Arbeiten von McMullen und Schulte ist die Untersuchung abstrakter regulärer Polytope äquivalent zur Untersuchung von C-Strings (C-Ketten) von Gruppen.
  3. Grenzen bekannter Ergebnisse:
    • Für Coxeter-Gruppen vom Typ AnA_n und BnB_n ist der maximale Rang bekannt
    • Für Gruppen vom Typ DnD_n (deren Dynkin-Diagramm nicht vom String-Typ ist) fehlen entsprechende Ergebnisse
    • Der Fall ausnahmehafter Coxeter-Gruppen erfordert systematische Untersuchung

Forschungsmotivation

Die Bedeutung dieses Problems zeigt sich in:

  1. Theoretische Vollständigkeit: Schließung der Lücke in der Klassifizierung von Coxeter-Gruppen vom Typ DnD_n
  2. Geometrische Bedeutung: Abstrakte reguläre Polytope sind Verallgemeinerungen klassischer regulärer Polytope
  3. Gruppentheoretische Anwendungen: Neue Perspektive auf die Untersuchung von Erzeugendensystemen von Gruppen

Kernbeiträge

  1. Bestimmung des maximalen C-String-Rangs von Coxeter-Gruppen vom Typ DnD_n:
    • Für gerade nn: rmax⁡(Dn)=n−1r_{\max}(D_n) = n-1
    • Für ungerade nn: rmax⁡(Dn)=nr_{\max}(D_n) = n
  2. Beweis der Existenz mittlerer Ränge: Konstruktion von C-Strings für alle mittleren Ränge rr (3≤r≤rmax⁡3 \leq r \leq r_{\max})
  3. Vollständige Klassifizierung ausnahmehafter Coxeter-Gruppen: Bestimmung des maximalen C-String-Rangs für H3,H4,F4,E6,E7,E8H_3, H_4, F_4, E_6, E_7, E_8
  4. Explizite Konstruktionen: Bereitstellung konkreter C-String-Konstruktionsmethoden und Schläfli-Typen

Methodische Details

Aufgabendefinition

Untersuchung von C-Strings endlicher irreduzibler Coxeter-Gruppen WW, d.h. Involutionenmengen S={s1,…,sr}S = \{s_1, \ldots, s_r\}, die folgende Bedingungen erfüllen:

  1. Erzeugungseigenschaft: SS erzeugt die Gruppe WW
  2. Schnitt-Eigenschaft: Für alle J,K⊆IJ,K \subseteq I gilt WJ∩WK=WJ∩KW_J \cap W_K = W_{J \cap K}
  3. String-Eigenschaft: Wenn ∣i−j∣≥2|i-j| \geq 2, dann sisj=sjsis_i s_j = s_j s_i

Zentrale technische Methoden

1. Einbettungstechnik

Anwendung von Lemma 2.1 zur Einbettung von DnD_n in Sym(2n)\text{Sym}(2n): β0=(1,n+1)(2,n+2),βi=(i,i+1)(n+i,n+i+1)\beta_0 = (1, n+1)(2, n+2), \quad \beta_i = (i, i+1)(n+i, n+i+1)

2. Theorie unabhängiger Mengen

Anwendung des Whiston-Theorems: Die maximale Größe einer unabhängigen Menge in der symmetrischen Gruppe Sym(m)\text{Sym}(m) beträgt m−1m-1, verwendet zum Beweis von Obergrenzen.

3. Konstruktive Methode

Fall ungerade nn: Definition der Erzeuger: t1=∏j=2n(j,n+j),ti=(i−1,i)(n+i−1,n+i) fu¨r 2≤i≤nt_1 = \prod_{j=2}^n (j, n+j), \quad t_i = (i-1, i)(n+i-1, n+i) \text{ für } 2 \leq i \leq n

Fall gerade nn: Separate Konstruktion von C-Strings verschiedener Ränge:

  • Rang 3: Spezielle Konstruktion für Grundfall
  • Rang rr (4≤r≤n−14 \leq r \leq n-1): Erweiterung basierend auf C-Strings symmetrischer Gruppen

4. Verifikationstechnik

Verwendung von Lemma 2.6 und 2.7 zur Verifikation der Schnitt-Eigenschaft:

  • Lemma 2.6: Verifikation der C-Gruppen-Eigenschaft durch Überprüfung von Randbedingungen
  • Lemma 2.7: Verifikation allgemeinerer Fälle durch Induktion

Technische Innovationen

  1. Analyse nach Parität: Entdeckung, dass der maximale Rang von DnD_n von der Parität von nn abhängt – eine wichtige strukturelle Erkenntnis
  2. Kombination von Einbettung und Projektion: Geschickte Nutzung der Struktur Dn=S⋅ND_n = S \cdot N, wobei S≅Sym(n)S \cong \text{Sym}(n) und NN die Untergruppe der Vorzeichenwechsel ist
  3. Anwendung des Rang-Reduktions-Theorems: Verwendung des Brooksbank-Leemans-Theorems zur Konstruktion aller mittleren Ränge aus maximalen Rang C-Strings

Experimentelle Einrichtung

Rechnerische Verifikation

Verwendung des Magma-Computeralgebra-Systems zur Verifikation der Ergebnisse für ausnahmehafter Gruppen:

GruppeGesamtRang 3Rang 4Rang 5Rang 6Rang 7Rang ≥8
H3H_38(1)8(1)00000
H4H_459(6)45(2)14(4)0000
F4F_45(1)3(0)2(1)0000
E6E_6147(18)87(12)50(4)10(2)000
E7E_73662(10)1577(10)1525(0)465(0)95(0)00
E8E_811689(142)6746(117)3584(22)986(2)310(0)63(1)0

Anmerkung: Zahlen in Klammern geben die Anzahl selbstdualer Polytope an.

Verifikationsmethoden

  1. Konstruktionsverifikation: Explizite Berechnung zur Verifikation der Eigenschaften konstruierter C-Strings
  2. Computergestützte Methoden: Vollständige Aufzählung ausnahmehafter Gruppen mit Magma
  3. Theoretische Beweise: Kombination gruppentheoretischer und kombinatorisch-geometrischer Methoden

Experimentelle Ergebnisse

Hauptsätze

Satz 1.1: Sei WW die Coxeter-Gruppe DnD_n, n≥5n \geq 5.

  • Wenn nn gerade ist, dann rmax⁡(W)=n−1r_{\max}(W) = n-1
  • Wenn nn ungerade ist, dann rmax⁡(W)=nr_{\max}(W) = n

Satz 1.2: DnD_n besitzt C-Strings aller Ränge rr, wobei 3≤r≤rmax⁡(W)3 \leq r \leq r_{\max}(W).

Satz 1.3: Maximale Ränge ausnahmehafter endlicher irreduzibler Coxeter-Gruppen:

  • I2(m),H3,H4,F4I_2(m), H_3, H_4, F_4: gleich ihrem Coxeter-Rang
  • E6,E7,E8E_6, E_7, E_8: jeweils 5, 6, 7

Konkrete Konstruktionsergebnisse

  1. DnD_n (ungerade nn):
    • Maximaler Rang C-String: Schläfli-Typ {4,3n−2}\{4, 3^{n-2}\}
    • Vollständiges Rangspektrum: 3≤r≤n3 \leq r \leq n
  2. DnD_n (gerade nn):
    • Maximaler Rang n−1n-1, kein C-String vom Rang nn
    • Rang 3: Schläfli-Typ {12,n−1}\{12, n-1\}
    • Rang rr (4≤r≤n−14 \leq r \leq n-1): Typ {3r−4,6,n−r+3,4}\{3^{r-4}, 6, n-r+3, 4\}

Verwandte Arbeiten

Historische Entwicklung

  1. Frühe Arbeiten: Experimentelle Ergebnisse von Hartley und Atlas kleiner Gruppen von Leemans-Vauthier
  2. Theoretischer Durchbruch: Whiston's Klassifizierung unabhängiger Mengen in symmetrischen Gruppen
  3. Rechenmethoden: Effiziente Algorithmen zur Aufzählung von C-Strings sporadischer einfacher Gruppen

Bekannte Ergebnisse

  • Symmetrische Gruppen: Der maximale Rang von Sym(n)\text{Sym}(n) ist n−1n-1 mit vollständigem Rangspektrum
  • Alternierende Gruppen: Der maximale Rang von Alt(n)\text{Alt}(n) (n≥12n \geq 12) ist ⌊(n−1)/2⌋\lfloor(n-1)/2\rfloor
  • Orthogonale und symplektische Gruppen: Besitzen C-Strings beliebig großer Ränge

Einzigartigkeit des Beitrags dieser Arbeit

Diese Arbeit löst erstmals systematisch das C-String-Klassifizierungsproblem für Coxeter-Gruppen vom Typ DnD_n und schließt eine wichtige theoretische Lücke.

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Vollständige Klassifizierung: Bestimmung des maximalen C-String-Rangs aller endlichen irreduziblen Coxeter-Gruppen
  2. Strukturelle Einsichten: Offenlegung der wichtigen Rolle der Parität in DnD_n-Gruppen
  3. Konstruktionsmethoden: Bereitstellung systematischer C-String-Konstruktionstechniken

Einschränkungen

  1. Rechenkomplexität: Ergebnisse für ausnahmehafter Gruppen hängen von Computerverifikation ab
  2. Verallgemeinerungsfragen: Unklar, ob Methoden auf unendliche Coxeter-Gruppen anwendbar sind
  3. Optimierungsspielraum: Einige Konstruktionen könnten möglicherweise optimiert werden

Zukünftige Richtungen

  1. Verallgemeinerung auf unendliche Gruppen: Untersuchung affiner und hyperbolischer Coxeter-Gruppen
  2. Algorithmen-Optimierung: Entwicklung effizienterer C-String-Aufzählungsalgorithmen
  3. Geometrische Anwendungen: Erkundung von Anwendungen in konkreten geometrischen Problemen

Tiefgreifende Bewertung

Stärken

  1. Theoretische Vollständigkeit: Systematische Lösung eines wichtigen Klassifizierungsproblems
  2. Methodische Innovation: Geschickte Kombination gruppentheoretischer, kombinatorischer und rechnerischer Methoden
  3. Tiefe der Ergebnisse: Offenlegung tieferer Verbindungen zwischen Gruppenstruktur und geometrischen Eigenschaften
  4. Rigorose Beweise: Kombination theoretischer Beweise und rechnerischer Verifikation

Schwächen

  1. Beweiskomplexität: Einige Beweise sind technisch anspruchsvoll und könnten lesbarer sein
  2. Rechnerische Abhängigkeit: Ergebnisse für ausnahmehafter Gruppen hängen hauptsächlich von Computerunterstützung ab
  3. Begrenzte Anwendungen: Praktische Anwendungsszenarien erfordern weitere Erkundung

Auswirkungen

  1. Theoretischer Beitrag: Wichtige Ergänzung zur Coxeter-Gruppentheorie
  2. Methodischer Wert: Konstruktionstechniken könnten auf andere Gruppenfamilien anwendbar sein
  3. Rechnerische Bedeutung: Theoretische Grundlage für verwandte Rechnerprobleme

Anwendungsszenarien

  1. Reine Mathematik: Gruppentheorie, kombinatorische Geometrie, Polytope-Theorie
  2. Rechenmathematik: Symmetrie-Analyse, Graphentheorie-Anwendungen
  3. Theoretische Physik: Kristallographie, Symmetriebrechungsprobleme

Literaturverzeichnis

Das Papier zitiert 30 relevante Arbeiten, die wichtige Werke in den Kernbereichen Coxeter-Gruppentheorie, abstrakte reguläre Polytope und Erzeugendensysteme von Gruppen abdecken und eine solide theoretische Grundlage für die Forschung bieten.

Gesamtbewertung: Dies ist ein hochqualitatives gruppentheoretisches Forschungspapier, das das Klassifizierungsproblem abstrakter regulärer Polytope endlicher irreduzibler Coxeter-Gruppen systematisch löst und sowohl theoretischen Wert als auch methodische Innovationen besitzt.