🔢 mathematics

The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$

Diese Arbeit löst das inverse Galois-Problem für die letzte sporadische endliche einfache Gruppe, indem sie beweist, dass die Mathieu-Gruppe $M_{23}$ als Galoisgruppe über $\mathbb{Q}$ auftritt, was durch die Konstruktion eines expliziten Polynoms des Grades 23 mittels numerischer Belyi-Map-Algorithmen erreicht wird.

Ursprüngliche Autoren: Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee, Bjorn Poonen, Rachel Pries, Shaowu Zhang

Veröffentlicht 2026-08-11

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee, Bjorn Poonen, Rachel Pries, Shaowu Zhang

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein Baumeister, der versucht, eine spezifische, unglaublich komplexe Burg zu errichten. In der Welt der Mathematik ist diese „Burg“ eine Galois-Gruppe, was im Wesentlichen ein Satz von Regeln ist, die beschreiben, wie die Teile eines mathematischen Puzzles (speziell die Lösungen einer Gleichung) umgestellt werden können, ohne die Struktur zu zerstalten. Jahrzehntelang haben Mathematiker versucht, diese Burgen nur mit den einfachsten Materialien zu bauen: den rationalen Zahlen (Brüche wie 1/2 oder 3/4). Diese Herausforderung ist als das Inverse Galois Problem bekannt. Es ist wie die Frage: „Können wir jede mögliche Art von Burg mit diesen spezifischen Ziegeln bauen?“

Die meisten Burgen wurden bereits gebaut. Es gibt 26 spezielle, seltene Arten dieser mathematischen Strukturen, die „sporadische Gruppen“ genannt werden und in keine Standardfamilie passen. Bis Ende der 1980er Jahre hatten Baumeister bereits 25 von ihnen konstruiert. Aber eine hartnäckige, schwer fassbare Burg blieb unvollendet: die Mathieu-Gruppe M23. Sie war das letzte fehlende Teil des Puzzles. Bei der Frage ging es nicht nur darum, sie zu bauen; es ging darum, zu beweisen, dass sie mit den Standardmaterialien der rationalen Zahlen existieren kann. Wenn sie auf diese Weise nicht gebaut werden konnte, würde in der gesamten Theorie darüber, wie diese Strukturen mit Zahlen zusammenhängen, eine riesige Lücke klaffen.

Das letzte Teil des Puzzles

In dieser Arbeit übergeben Mathematiker schließlich die Blaupausen für die letzte fehlende Burg. Sie beweisen, dass die Mathieu-Gruppe M23 tatsächlich als Galois-Gruppe über den rationalen Zahlen konstruiert werden kann. Um dies zu erreichen, haben sie nicht einfach nur geraten; sie haben ein explizites, funktionierendes Modell gebaut. Sie haben ein spezifisches Polynom (eine riesige mathematische Gleichung) vom Grad 23 mit rationalen Koeffizienten erzeugt. Wenn man diese Gleichung löst, bildet die Gesamtheit all ihrer Lösungen einen „Zerlegungskörper“ (splitting field), und die Art und Weise, wie diese Lösungen umgestellt werden können, entspricht perfekt den Regeln der M23-Gruppe.

Der Weg: Von „Fast“ zu „Exakt“

Der Weg zu dieser Entdeckung glich eher dem Versuch, eine Nadel im Heuhaufen zu finden, aber der Heuhaufen bestand aus mathematischen Symmetrien. Das Team nutzte ein mächtiges Werkzeug namens Rigiditätsmethode. Stellen Sie sich vor, Sie versuchen, eine einzigartige Skulptur zu entwergen. Wenn Sie einen Satz von Einschränkungen haben (wie „sie muss drei spezifische Beulen haben“), gibt es normalerweise unendlich viele Möglichkeiten, sie zu gestalten. Aber manchmal sind die Einschränkungen so eng, dass es nur eine mögliche Form gibt. In der Mathematik wird dies als „Rigidität“ bezeichnet.

Für die M23-Gruppe versuchte das Team, einen Satz von Einschränkungen zu finden, der eine einzigartige Form erzwingen würde. Sie suchen nach drei spezifischen Arten von Symmetrien (Konjugationsklassen) innerhalb der Gruppe. Sie hofften, ein „rigides Tripel“ zu finden, das eine einzigartige, einmalige mathematische Überlagerung (einen „Cover“, eine Abbildung von einer Form auf eine andere) erzeugen würde. Doch als sie die Zahlen berechneten, fanden sie heraus, dass diese spezifische Kombination nicht rigid genug war, um eine einzige Lösung zu erzwingen. Stattdessen öffnete sie die Tür zu sieben verschiedenen möglichen Formen.

Normalerweise wäre dies eine Sackgasse. Wenn es sieben Möglichkeiten gibt, wie wissen Sie dann, welche die „echte“ ist, die über den rationalen Zahlen definiert ist? Hier nimmt die Geschichte eine wunderbare Wendung. Das Team erwartete, dass die Symmetrien der rationalen Zahlen diese sieben Formen zufällig durcheinanderwürfeln würden. Doch zu ihrer großen Überraschung fanden sie heraus, dass eine dieser sieben Formen ein „Fixpunkt“ war. Sie blieb stehen, während sich die anderen bewegten. Diese spezifische Form war über einem speziellen Zahlenkörper definiert, der die Quadratwurzel von -23 beinhaltet, aber sie besaß eine verborgene Eigenschaft: Sie konnte „abgestuft“ oder auf die rationalen Zahlen zurückgeführt werden.

Die Konstruktion: Von Zahlen zu Polynomen

Um diese abstrakte Form in ein konkretes Polynom zu verwandeln, nutzte das Team ein hochmodernes digitales Werkzeug namens Belyi-Abbildung. Betrachten Sie dies als einen hochentwickelten 3D-Scanner, der eine komplexe, gekrümmte Oberfläche nimmt und sie zu einer Karte flachdrückt, um ihre verborgene Struktur zu enthüllen. Sie verwendeten numerische Algorithmen, um die Koordinaten dieser Form mit unglaublicher Präzision zu berechnen.

Sobange sie die Zahlen hatten, vertrauten sie nicht einfach den Gleitkommazahlen des Computers. Sie nutzten einen cleveren Trick namens PSLQ-Algorithmus, um die Zahlen als exakte algebraische Ausdrücke zu erkennen. Erstaunlicherweise erwiesen sich die Koeffizienten ihrer Kurve als Elemente des Körpers $\mathbb{Q}(\sqrt{-23})$ . Sie führten dann eine Reihe von algebraischen Manövern durch, um eine zweite Funktion, $v$ , zu konstruieren, die als Schlüssel zur Entschlüsselung des endgültigen Polynoms diente.

Das Ergebnis war ein Polynom vom Grad 23, $F(t, V)$ , das eine reguläre Erweiterung der rationalen Zahlen definiert. Indem sie spezifische rationale Zahlen für die Variable $t$ einsetzten, erzeugten sie spezifische Polynome mit ganzzahligen Koeffizienten. Ein solches Polynom, das in der Arbeit aufgeführt ist, sieht aus wie ein chaotisches Durcheinander riesiger Zahlen:
$x^{23} - 184x^{21} - 1150x^{20} + \dots$
Aber wenn man dies löst, ist die Symmetrie der Lösungen exakt die M23-Gruppe.

Das Urteil

Die Autoren schlagen nicht nur vor, dass dies funktionieren könnte; sie haben es bewiesen. Sie nutzten Computer-Algebrasysteme (Magma und PARI/GP), um jeden Schritt rigoros zu verifizieren. Sie prüften, dass der Zerlegungskörper des Polynoms die korrekte Galois-Gruppe besitzt und dass er außerhalb der spezifischen Menge an Primzahlen {2, 3, 23} unramifiziert (glatt) ist. Sie bestätigten auch, dass diese Konstruktion nicht nur für einen spezifischen Fall funktioniert, sondern impliziert, dass es unendlich viele solcher Polynome gibt.

Kurz gesagt: Die Mathieu-Gruppe M23, die letzte der 26 sporadischen Gruppen, wurde endlich über den rationalen Zahlen realisiert. Die Burg ist gebaut, die Blaupause ist vollständig, und die mathematische Gemeinschaft verfügt nun über den vollständigen Satz von 26 seltenen Strukturen, die alle aus denselben grundlegenden Ziegeln konstruiert wurden.

Technisches Resümee: Die Mathieu-Gruppe $M_{23}$ als Galoisgruppe über $\mathbb{Q}$

Problemstellung
Das Inverse Galois Problem fragt, ob jede endliche Gruppe als Galoisgruppe einer endlichen Galoiserweiterung der rationalen Zahlen $\mathbb{Q}$ vorkommt. Während 25 der 26 sporadischen endlichen einfachen Gruppen zwischen 1984 und 1989 als Galoisgruppen über $\mathbb{Q}$ realisiert wurden, blieb die Mathieu-Gruppe $M_{23}$ die einzige Ausnahme. Frühere Versuche, $M_{23}$ über $\mathbb{Q}$ zu realisieren, scheiterten – sie lieferten Realisierungen nur über anderen Körpern (wie $\mathbb{Q}(\sqrt{-23})$ , $\mathbb{Q}(\sqrt{-7})$ oder spezifischen Zahlkörpern $F$ ) oder produzierten keine reguläre Erweiterung von $\mathbb{Q}(t)$ . Diese Arbeit löst das Problem, indem sie beweist, dass $M_{23}$ tatsächlich eine Galoisgruppe über $\mathbb{Q}$ ist.

Methodik
Die Autoren verwenden eine Kombination aus der Starrheitsmethode (Rigidity Method), numerischen Belyi-Map-Algorithmen und algebraischer Verifizierung.

Scheitern der Standard-Starrheit: Die Standard-Starrheitsmethode beruht auf dem Finden eines Tripels von Konjugationsklassen $(C_1, C_2, C_3)$ in $M_{23}$ , für das die assoziierte Nielsen-Klasse die Größe 1 besitzt (ein „starreres“ Tripel). Die Autoren zeigen, dass für $M_{23}$ kein solches starres Tripel existiert. Die kleinste Größe der Nielsen-Klasse für eine $G_\mathbb{Q}$ -stabile Multimenge ist 7, was den Klassen $\{2, 23A, 23B\}$ entspricht.
Nicht-starres Tripel und Hurwitz-Raum: Anstatt eines starren Tripels nutzen die Autoren das Tripel $\{2, 23A, 23B\}$ . Der Riemannsche Existenzsatz impliziert die Existenz von genau sieben $M_{23}$ -Covern von $\mathbb{P}^1_\mathbb{C}$ , die über der Menge $S = \{0, \sqrt{-23}, -\sqrt{-23}\}$ ramifiziert sind, mit lokaler Monodromie in diesen Klassen. Der Quotient eines solchen Covers durch einen Punktstabilisator ergibt eine Kurve $X_C$ vom Geschlecht 4.
Numerische Berechnung von Belyi-Maps: Unter Verwendung des BelyiDB-Pakets (das Algorithmen von Klug, Musty, Schiavone, Sijsling und Voight implementiert, inspiriert von Hejhal und Stark) berechnen die Autoren numerisch die sieben mit der Nielsen-Klasse assoziierten Kurven $X_C$ . Dies beinhaltet die Berechnung von Potenzreihenentwicklungen von Differentialformen mit hoher Präzision.
Algebraische Erkennung: Die Koeffizienten der berechneten Kurven werden mittels des PSLQ-Algorithmus als algebraische Zahlen erkannt. Bemerkenswerterweise stellen die Autoren fest, dass der Modulökörper einer dieser sieben Kurven $\mathbb{Q}$ ist, obwohl die Erwartung bestand, dass die Galoisgruppe $G_\mathbb{Q}$ transitiv auf der Menge der sieben wirkt. Dieser Fixpunkt ermöglicht es der Kurve, auf ein über $\mathbb{Q}$ definiertes Modell $X$ herabzusinken (Descent).
Konstruktion der Erweiterung:
- Die Autoren konstruieren ein kanonisches Modell der Geschlecht-4-Kurve $X_K$ (wobei $K=\mathbb{Q}(\sqrt{-23})$ ) als vollständige Durchschneidung einer Quadrik und einer Kubik in $\mathbb{P}^3$ .
- Sie berechnen rationale Funktionen $u$ und $v$ auf $X$ , um eine Abbildung $t: X \to \mathbb{P}^1$ vom Grad 23 zu definieren.
- Durch Analyse des Funktionenkörpers $K(X)$ und Anwendung linearer Algebra modulo kleiner Primzahlen rekonstruieren sie ein Polynom $F(T, V) \in \mathbb{Q}[T, V]$ vom Grad 23 in $V$ .
Verifizierung der Galoisgruppe:
- Geometrische Monodromie: Die lokale Monodromie an den Verzweigungspunkten (ein 23-Zyklus bei $\pm\sqrt{-23}$ und ein spezifischer Zyklustyp bei 0) impliziert, dass die geometrische Monodromiegruppe $G_{geom}$ die Gruppe $M_{23}$ enthält.
- Arithmetische Monodromie: Durch Spezialisierung des Polynoms modulo 31 und unter Verwendung von Magma zur Zertifizierung der arithmetischen Monodromiegruppe als $M_{23}$ , beweisen sie, dass $G_{arith} = M_{23}$ ist. Da $M_{23}$ nicht normal in einer größeren Untergruppe von $S_{23}$ ist, gilt $G_{geom} = G_{arith} = M_{23}$ .

Wesentliche Beiträge und Ergebnisse

Theorem 1.1: Es existiert eine Galoiserweiterung von $\mathbb{Q}$ mit der Galoisgruppe $M_{23}$ .
Theorem 1.3: Es existiert eine reguläre Galoiserweiterung $L/\mathbb{Q}(t)$ mit der Galoisgruppe $M_{23}$ . Dies ist ein stärkeres Resultat, das die Existenz unendlich vieler solcher Erweiterungen über $\mathbb{Q}$ via Hilberts Irreduzibilitätssatz impliziert.
Explizite Polynome: Die Autoren liefern explizite Polynome vom Grad 23 mit rationalen Koeffizienten.
- Beispiel 1.2: Ein Polynom $f(x)$ , dessen Splittingfeld eine $M_{23}$ -Erweiterung von $\mathbb{Q}$ ist, unramifiziert außerhalb von $\{2, 3, 23\}$ .
- Beispiel 3.7: Ein Spezialisierung-Polynom $f(x)$ mit geringerer Höhe, unramifiziert außerhalb von $\{2, 7, 23\}$ .
Korollar 1.4: Die Ergebnisse lassen sich auf jeden Zahlkörper $k$ ausweiten und beweisen die Existenz regulärer $G$ -Erweiterungen von $k(t)$ und gegenseitig unabhängiger $G$ -Erweiterungen von $k$ für jede sporadische endliche einfache Gruppe $G$ .

Bedeutung
Das Paper schließt das Programm ab, alle 26 sporadischen endlichen einfachen Gruppen als Galoisgruppen über $\mathbb{Q}$ zu realisieren. Die Realisierung von $M_{23}$ war der letzte ausstehende Fall. Die Arbeit ist nicht nur wegen des Ergebnisses selbst bedeutend, sondern auch wegen ihrer Methodik: Sie navigiert erfolgreich durch das Scheitern der Standard-Starrheitsmethode, indem sie ein nicht-starres Tripel nutzt, bei dem die Galoiswirkung auf dem Hurwitz-Raum einen Fixpunkt besitzt. Dies ermöglicht den Descent eines über einem Zahlkörper definierten Covers zu einem über $\mathbb{Q}$ definierten. Dies ist ein Phänomen, für das die Autoren keine konzeptionelle Erklärung haben und das sie als „wunderbar“ beschreiben.

Die Autoren zertifizieren ihre Ansprüche unter Verwendung des Computer-Algebra-Systems Magma und stellen ihren Code öffentlich zur Verfügung. Sie geben explizit an, dass KI-Werkzeuge für die Literaturrecherche, Codegenerierung und das Korrekturlesen verwendet wurden, die endgültigen mathematischen Ergebnisse und Verifizierungen jedoch ohne KI-Unterstützung durchgeführt wurden.

Das letzte Teil des Puzzles

Der Weg: Von „Fast“ zu „Exakt“

Die Konstruktion: Von Zahlen zu Polynomen

Das Urteil

Technisches Resümee: Die Mathieu-Gruppe M23M_{23}M23​ als Galoisgruppe über Q\mathbb{Q}Q

Mehr davon

Technisches Resümee: Die Mathieu-Gruppe $M_{23}$ als Galoisgruppe über $\mathbb{Q}$