🔢 mathematics

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

Dit artikel lost het inverse Galois-probleem op voor de laatste sporadische eindige enkelvoudige groep door te bewijzen dat de Mathieu-groep $M_{23}$ voorkomt als een Galois-groep over $\mathbb{Q}$ , wat is bereikt door de constructie van een expliciete graad 23-polynoom met behulp van numerieke Belyi-kaartalgoritmen.

Oorspronkelijke auteurs: Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee, Bjorn Poonen, Rachel Pries, Shaowu Zhang

Gepubliceerd 2026-08-11

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee, Bjorn Poonen, Rachel Pries, Shaowu Zhang

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een meesterbouwer bent die probeert een specifiek, ongelooflijk complex kasteel te bouwen. In de wereld van de wiskunde is dit "kasteel" een Galois-groep, wat in essentie een verzameling regels is die beschrijft hoe de onderdelen van een wiskundige puzzel (specifiek de oplossingen van een vergelijking) rondgeschoven kunnen worden zonder de structuur te breken. Dit is de Inverse Galois-probleem. Het is als vragen: "Kunnen we elk mogelijk type kasteel bouwen met alleen deze specifieke bakstenen?"

De meeste kastelen zijn al gebouwd. Er zijn 26 speciale, zeldzame typen van deze wiskundige structuren, genaamd "sporadische groepen", die niet in een standaardfamilie passen. Tegen het eind van de jaren '80 hadden bouwers 25 van hen al succesvol geconstrueerd. Maar één koppig, ongrijpbaar kasteel bleef onvoltooid: de Mathieu-groep M23. Het was het laatste ontbrekende stukje van de puzzel. De vraag was niet alleen of het gebouwd kon worden; het was het bewijzen dat het kon bestaan met de standaardmaterialen van rationale getallen. Als het niet op deze manier gebouwd kon worden, zou de hele theorie over hoe deze structuren zich tot getallen verhouden een enorm gat bevatten.

Het Laatste Stukje van de Puzzel

In dit artikel overhandigt een team van wiskundigen eindelijk de blauwdrukken voor het laatste ontbrekende kasteel. Ze bewijzen dat de Mathieu-groep M23 inderdaad geconstrueerd kan worden als een Galois-groep over de rationale getallen. Om dit te doen, hebben ze niet simpelweg geraden; ze hebben een expliciet, werkend model gebouwd. Ze produceerden een specifieke polynoom (een gigantische wiskundige vergelijking) van graad 23 met rationale coëfficiënten. Wanneer je deze vergelijking oplost, vormt de verzameling van al haar oplossingen een "splitsingsveld", en de manier waarop deze oplossingen rondgeschoven kunnen worden, komt exact overeen met de regels van de M23-groep.

De Reis: Van "Bijna" naar "Precies"

Het pad naar deze ontdekking was een beetje als het proberen te vinden van een naald in een hooiberg, maar de hooiberg bestond uit wiskundige symmetrieën. Het team gebruikte een krachtig hulpmiddel genaamd de rigiditeitsmethode. Stel je voor dat je een uniek beeldhouwwerk probeert te ontwerpen. Als je een set beperkingen hebt (zoals "het moet drie specifieke bulten hebben"), zijn er meestal oneindig veel manieren om dit te doen. Maar soms zijn de beperkingen zo strak dat er slechts één mogelijke vorm is. In de wiskunde wordt dit "rigiditeit" genoemd.

Voor de M23-groep probeerde het team een set beperkingen te vinden die een unieke vorm zou afdwingen. Ze zochten naar een "rigide tripel" van specifieke soorten symmetrieën (conjugaatklassen) binnen de groep. Ze hoopten een rigide tripel te vinden die een unieke, eenmalige wiskundige afdekking (een afbeelding van de ene vorm naar de andere) zou creëren. Echter, toen ze de berekeningen uitvoerden, kwamen ze erachter dat deze specifieke combinatie niet rigide genoeg was om een enkele oplossing af te dwingen. In plaats daarvan opende het een deur naar zeven verschillende mogelijke vormen.

Normaal gesproken zou dit een doodlopende weg zijn. Als er zeven mogelijkheden zijn, hoe weet je dan welke de "echte" is die gedefinieerd is over de rationale getallen? Hier neemt het verhaal een wonderlijke wending. Het team verwachtte dat de symmetrieën van de rationale getallen deze zeven vormen willekeurig rond zouden schuiven. Maar tot hun grote verbazing ontdekten ze dat één van deze zeven vormen een "vast punt" was. Deze stond stil terwijl de anderen bewogen. Deze specifieke vorm was gedefinieerd over een speciaal getallenveld dat de wortel van -23 bevat, maar het had een verborgen eigenschap: het kon worden "afgedaald" of teruggehaald naar de rationale getallen.

De Constructie: Van Getallen naar Polynomen

Om deze abstracte vorm om te zetten in een concrete polynoom, gebruikte het team een hoogtechnologisch digitaal hulpmiddel genaamd een Belyi-afbeelding. Denk hierbij aan een geavanceerde 3D-scanner die een complex, gekromd oppervlak neemt en het plat slaat tot een kaart, waardoor de verborgen structuur zichtbaar wordt. Ze gebruikten numerieke algoritmen om de coördinaten van deze vorm met ongelooflijke precisie te berekenen.

Toen ze de getallen eenmaal hadden, vertrouwden ze niet alleen op de drijvende-kommagetallen van de computer. Ze gebruikten een slimme truc genaamd het PSLQ-algoritme om de getallen te herkennen als exacte algebraïsche uitdrukkingen. Wonderbaarlijk genoeg bleken de coëfficiënten van hun curve in het veld $\mathbb{Q}(\sqrt{-23})$ te liggen. Vervolgens voerden ze een reeks algebraïsche manoeuvres uit om een tweede functie, $v$ , te construeren, die fungeerde als de sleutel om de uiteindelijke polynoom te ontgrendelen.

Het resultaat was een polynoom van graad 23, $F(t, V)$ , die een reguliere uitbreiding van de rationale getallen definieert. Door specifieke rationale getallen voor de variabele $t$ in te vullen, genereerden ze specifieke polynomen met gehele coëfficiënten. Eén dergelijke polynoom, zoals vermeld in het artikel, ziet eruit als een chaotische bende van enorme getallen:
$x^{23} - 184x^{21} - 1150x^{20} + \dots$
Maar wanneer je deze oplost, is de symmetrie van de oplossingen exact de M23-groep.

Het Oordeel

De auteurs suggereren niet alleen dat dit zou kunnen werken; ze hebben het bewezen. Ze gebruikten computer-algebra-systemen (Magma en PARI/GP) om elke stap rigoureus te verifiëren. Ze controleerden of de splitsingsveld van de polynoom de juiste Galois-groep heeft en dat deze onafgedekt (glad) is buiten een specifieke verzameling priemgetallen {2, 3, 23}. Ze bevestigden ook dat deze constructie niet alleen voor één specifieke casus werkt, maar impliceert dat er oneindig veel dergelijke polynomen zijn.

Kortom, de Mathieu-groep M23, het laatste van de 26 sporadische groepen, is eindelijk gerealiseerd over de rationale getallen. Het kasteel is gebouwd, de blauwdruk is compleet, en de wiskundige gemeenschap heeft nu de volledige set van 26 zeldzame structuren, allemaal geconstrueerd uit dezelfde fundamentele bouwstenen.

Technische Samenvatting: De Mathieu-groep $M_{23}$ als Galois-groep over $\mathbb{Q}$

Probleemstelling
Het Omgekeerde Galois-probleem vraagt of elke eindige groep voorkomt als de Galois-groep van een eindige Galois-extensie van de rationale getallen $\mathbb{Q}$ . Terwijl 25 van de 26 sporadische eindige enkelvoudige groepen tussen 1984 en 1989 als Galois-groepen over $\mathbb{Q}$ werden gerealiseerd, bleef de Mathieu-groep $M_{23}$ de enige uitzondering. Eerdere pogingen om $M_{23}$ over $\mathbb{Q}$ te realiseren faalden, waarbij alleen realisaties over andere lichamen (zoals $\mathbb{Q}(\sqrt{-23})$ , $\mathbb{Q}(\sqrt{-7})$ , of specifieke getallenlichamen $F$ ) werden verkregen, of door het niet produceren van een reguliere extensie van $\mathbb{Q}(t)$ . Dit artikel lost het probleem op door te bewijzen dat $M_{23}$ inderdaad een Galois-groep is over $\mathbb{Q}$ .

Methodologie
De auteurs maken gebruik van een combinatie van de rigiditeitsmethode, numerieke Belyi-kaart algoritmen en algebraïsche verificatie.

Falen van Standaard Rigiditeit: De standaard rigiditeitsmethode vertrouwt op het vinden van een driet van conjunctieklassen $(C_1, C_2, C_3)$ in $M_{23}$ waarvoor de geassocieerde Nielsen-klasse grootte 1 heeft (een "rigide" driet). De auteurs tonen aan dat er voor $M_{23}$ geen zodanig rigide driet bestaat. De kleinste Nielsen-klasse grootte voor een $G_\mathbb{Q}$ -stabiele multiset is 7, wat overeenkomt met de klassen $\{2, 23A, 23B\}$ .
Niet-rigide Triet en Hurwitz-ruimte: In plaats van een rigide driet gebruiken de auteurs het driet $\{2, 23A, 23B\}$ . De Riemann-existentiestelling impliceert de existentie van exact zeven $M_{23}$ -bedekkingen van $\mathbb{P}^1_\mathbb{C}$ die ramificeren over de verzameling $S = \{0, \sqrt{-23}, -\sqrt{-23}\}$ met lokale monodromie in deze klassen. De quotient van een dergelijke bedekking door een puntenstabilisator levert een genus 4 curve $X_C$ op.
Numerieke Computatie van Belyi-kaarten: Gebruikmakend van de BelyiDB-package (die algoritmen implementeert van Klug, Musty, Schiavone, Sijsling en Voight, geïnspireerd door Hejhal en Stark), berekenen de auteurs numeriek de zeven curves $X_C$ die geassocieerd zijn met de Nielsen-klasse. Dit omvat het berekenen van machtreeksontwikkelingen van differentiaalvormen met een hoge precisie.
Algebraïsche Herkenning: De coëfficiënten van de berekende curves worden herkend als algebraïsche getallen met behulp van het PSLQ-algoritme. Opmerkelijk genoeg vinden de auteurs dat het lichaam van moduli voor een van deze zeven curves $\mathbb{Q}$ is, ondanks de verwachting dat de Galois-groep $G_\mathbb{Q}$ transitief zou optreden op de verzameling van zeven. Dit vaste punt maakt het mogelijk dat de curve afdaalt naar een model $X$ gedefinieerd over $\mathbb{Q}$ .
Constructie van de Extensie:
- De auteurs construeren een canoniek model van de genus 4 curve $X_K$ (waarbij $K=\mathbb{Q}(\sqrt{-23})$ ) als een volledige doorsnede van een quadriek en een cubic in $\mathbb{P}^3$ .
- Ze berekenen rationale functies $u$ en $v$ op $X$ om een graad 23 afbeelding $t: X \to \mathbb{P}^1$ te definiëren.
- Door het functieveld $K(X)$ te analyseren en lineaire algebra modulo kleine priemgetallen toe te passen, reconstrueren ze een polynoom $F(T, V) \in \mathbb{Q}[T, V]$ van graad 23 in $V$ .
Verificatie van de Galois-groep:
- Geometrische Monodromie: De lokale monodromie bij de vertakkingspunten (een 23-cyclus bij $\pm\sqrt{-23}$ en een specifieke cyclus-type bij 0) impliceert dat de geometrische monodromiegroep $G_{geom}$ $M_{23}$ bevat.
- Arithmetische Monodromie: Door de polynoom modulo 31 te specialiseren en Magma te gebruiken om te certificeren dat de arithmetische monodromiegroep $M_{23}$ is, bewijzen ze dat $G_{arith} = M_{23}$ . Aangezien $M_{23}$ niet normaal is in een grotere subgroep van $S_{23}$ , geldt $G_{geom} = G_{arith} = M_{23}$ .

Belangrijkste Bijdragen en Resultaten

Stelling 1.1: Er bestaat een Galois-extensie van $\mathbb{Q}$ met Galois-groep $M_{23}$ .
Stelling 1.3: Er bestaat een reguliere Galois-extensie $L/\mathbb{Q}(t)$ met Galois-groep $M_{23}$ . Dit is een sterker resultaat, wat de existentie van oneindig veel dergelijke extensies over $\mathbb{Q}$ impliceert via de Hilbert-irredibiliteitstelling.
Expliciete Polynomen: De auteurs bieden expliciete graad 23 polynomen met rationale coëfficiënten.
- Voorbeeld 1.2: Een polynoom $f(x)$ waarvan het splitsingsveld een $M_{23}$ -extensie van $\mathbb{Q}$ is, ongeramificeerd buiten $\{2, 3, 23\}$ .
- Voorbeeld 3.7: Een specialisatie $f(x)$ met een lagere hoogte, ongeramificeerd buiten $\{2, 7, 23\}$ .
Corollary 1.4: De resultaten strekken zich uit tot elk getallenlichaam $k$ , waarmee de existentie van reguliere $G$ -extensies van $k(t)$ en wederzijds onafhankelijke $G$ -extensies van $k$ wordt bewezen voor elke sporadische eindige enkelvoudige groep $G$ .

Betekenis
Het artikel voltooit het programma om alle 26 sporadische eindige enkelvoudige groepen als Galois-groepen over $\mathbb{Q}$ te realiseren. De realisatie van $M_{23}$ was het laatste resterende geval. Het werk is niet alleen significant vanwege het resultaat zelf, maar ook vanwege de methodologie: het navigeert succesvol door het falen van de standaard rigiditeitsmethode door gebruik te maken van een niet-rigide driet waarbij de Galois-actie op de Hurwitz-ruimte een vast punt bezit. Dit maakt het mogelijk om een bedekking die gedefinieerd is over een getallenlichaam te laten afdalen naar een bedekking gedefinieerd over $\mathbb{Q}$ , een fenomeen dat de auteurs als "wonderbaarlijk" beschrijven omdat ze er geen conceptuele verklaring voor hebben.

De auteurs certificeren hun claims met behulp van het computeralgebra-systeem Magma en stellen hun code publiekelijk beschikbaar. Ze vermelden expliciet dat AI-tools zijn gebruikt voor literatuuronderzoek, codegeneratie en tekstcontrole, maar dat de uiteindelijke wiskundige resultaten en verificaties zonder AI-assistentie zijn uitgevoerd.

Het Laatste Stukje van de Puzzel

De Reis: Van "Bijna" naar "Precies"

De Constructie: Van Getallen naar Polynomen

Het Oordeel

Technische Samenvatting: De Mathieu-groep M23M_{23}M23​ als Galois-groep over Q\mathbb{Q}Q

Meer zoals dit

Technische Samenvatting: De Mathieu-groep $M_{23}$ als Galois-groep over $\mathbb{Q}$