- Britta Späth und Marc Cabanes haben den Beweis der McKay-Vermutung, eines großen ungelösten Problems der Gruppentheorie, vollendet und damit neue Wege eröffnet, komplexe endliche Gruppen über deutlich kleinere Untergruppen zu verstehen
- Die Vermutung geht von einer überraschenden Übereinstimmung aus: Eine endliche Gruppe und ihr Sylow-Normalisator besitzen bei der Anzahl bestimmter Darstellungen exakt denselben Wert
- Nach dem Abschluss der Klassifikation endlicher Gruppen im Jahr 2004 reduzierten Isaacs, Navarro und Malle das Problem auf eine stärkere Aussage über eine engere Klasse von Gruppen; die letzte Hürde waren Gruppen vom Lie-Typ
- Späth und Cabanes bearbeiteten nacheinander die vier Kategorien der Gruppen vom Lie-Typ; nachdem 2018 nur noch eine letzte Kategorie übrig war, brauchten sie weitere sechs Jahre, um auch die nötigen Regeln zur Zuordnung von Darstellungen zu bestätigen
- Mathematiker können nun wichtige Eigenschaften von Gruppen anhand des leichter handhabbaren Sylow-Normalisators untersuchen, doch warum eine kleine Teilmenge so viele Informationen über die große Gruppe enthält, ist weiterhin ungeklärt
Was die McKay-Vermutung besagt
- Die McKay-Vermutung geht auf eine zahlenmäßige Übereinstimmung zurück, die John McKay in den 1970er Jahren entdeckte
- Ihr Gegenstand sind endliche Gruppen (finite groups), also Gruppen mit einer endlichen Anzahl von Elementen
- Gruppen sind abstrakte Objekte, die Symmetrien mathematischer Systeme beschreiben
- Je größer die Anzahl ihrer Elemente und je komplexer ihre Struktur, desto schwieriger wird es, die gesamte Gruppe direkt zu untersuchen
- McKay ging davon aus, dass man schon aus einem kleinen Teil der ursprünglichen Gruppe wichtige Informationen gewinnen kann
- Im Zentrum steht dabei insbesondere der Sylow-Normalisator, eine spezielle kleinere Untergruppe der ursprünglichen Gruppe
- Ein Sylow-Normalisator kann nur einen winzigen Teil der Elemente der ursprünglichen Gruppe enthalten und sich strukturell stark von ihr unterscheiden
- Der Kern der Vermutung ist, dass die Anzahl einer bestimmten Art von Darstellungen (representations) in der ursprünglichen endlichen Gruppe und in ihrem Sylow-Normalisator exakt gleich ist
- Darstellungen sind eine Art, die Elemente einer Gruppe als Matrizen zu beschreiben
- Diese Anzahl wird verwendet, um zu verstehen, wie die Gruppenelemente miteinander zusammenhängen, und um andere wichtige Eigenschaften zu berechnen
Warum diese Übereinstimmung überraschend ist
- Die von McKay beobachtete Übereinstimmung ist keine grobe Näherung oder Tendenz, sondern eine exakte Gleichheit
- Eine Gruppe mit 72 Elementen lässt sich zum Beispiel als 2³ × 3² zerlegen
- Man kann dann eine Untergruppe mit 8 Elementen oder eine mit 9 Elementen betrachten
- Fügt man dazu bestimmte Elemente hinzu, erhält man den 2-Sylow-Normalisator bzw. den 3-Sylow-Normalisator
- Es gab keinen offensichtlichen Grund dafür, dass diese kleinen Strukturen exakt dieselbe Anzahl von Darstellungen haben sollten wie die gesamte ursprüngliche Gruppe
- Gabriel Navarro vergleicht das mit dem Fall, dass der Stimmenanteil bei einer US-Wahl insgesamt und der Stimmenanteil in einer kleinen Stadt in Montana nicht nur „ähnlich“, sondern exakt gleich wären
- Wenn die Vermutung stimmt, können Mathematiker Eigenschaften einer Gruppe über den leichter zu behandelnden Sylow-Normalisator untersuchen statt über die größere endliche Gruppe selbst
Klassifikationssatz und Reduktion des Problems
- Das riesige Projekt zur Klassifikation aller Bausteine endlicher Gruppen dauerte mehr als 100 Jahre und wurde 2004 abgeschlossen
- Alle Bausteine gehören entweder zu einer von drei Kategorien oder zu einer Liste von 26 Ausnahmen
- Mathematiker vermuteten schon lange, dass diese Klassifikation Probleme wie die McKay-Vermutung vereinfachen könnte
- 2004 fanden Marty Isaacs, Gabriel Navarro und Gunter Malle einen Weg, die McKay-Vermutung in eine stärkere Aussage über eine engere Menge von Gruppen umzuwandeln
- Es reicht dabei nicht mehr nur, dass die Anzahl der Darstellungen übereinstimmt; die Darstellungen selbst müssen nach bestimmten Regeln einander zugeordnet werden können
- Gilt diese stärkere Aussage für die betreffenden Gruppen, folgt daraus die McKay-Vermutung für alle endlichen Gruppen insgesamt
- Diese Reduktion wurde in den folgenden Jahren genutzt, um die meisten Fälle der McKay-Vermutung zu lösen
- Dasselbe Vorgehen diente auch als Blaupause dafür, andere verwandte Vermutungen zu reduzieren, bei denen man statt des gesamten Objekts nur einen Teil betrachtet, um das Ganze zu untersuchen
Gruppen vom Lie-Typ als letztes großes Hindernis
- Auch nach der Reduktion blieb eine Klasse von Gruppen vom Lie-Typ (groups of Lie type) als offenes Problem bestehen
- Gruppen vom Lie-Typ sind mathematisch wichtig, weil sie die häufigsten Bausteine anderer Gruppen bilden, doch ihre Darstellungen sind äußerst schwer zu untersuchen
- Späth kam 2003 an der Universität Kassel als Doktorandin von Malle mit der McKay-Vermutung in Berührung
- Danach beschäftigte sie sich intensiv mit Gruppendarstellungen und trieb die Vermutung weiter voran
- 2010 traf Späth an der Paris Cité University auf Cabanes
- Cabanes war Experte für die engere Klasse von Gruppen, die im Zentrum der reduzierten McKay-Vermutung steht
- Gemeinsam vertieften sie sich in das Problem; Cabanes nannte es „unsere Obsession“
- Die Gruppen vom Lie-Typ lassen sich in vier Kategorien einteilen, und Späth und Cabanes bewiesen über mehr als zehn Jahre hinweg nacheinander jede einzelne davon
- Dabei veröffentlichten sie mehrere wichtige Resultate
- Sie zogen schwierige Theorien aus verschiedenen mathematischen Teilgebieten heran und entwickelten so ein tiefes Verständnis der Gruppen vom Lie-Typ
Endgültiger Beweis und offene Fragen
- 2018 war von den vier Kategorien der Gruppen vom Lie-Typ nur noch die letzte übrig, und es dauerte weitere sechs Jahre, auch diesen letzten Fall zu lösen
- Späth und Cabanes zeigten, dass in dieser letzten Kategorie die Anzahl der Darstellungen mit der im Sylow-Normalisator übereinstimmt und auch die nötigen Zuordnungsregeln für Darstellungen erfüllt sind
- Mit der Lösung dieses letzten Falls gilt die McKay-Vermutung insgesamt automatisch als bewiesen
- Die beiden präsentierten ihren Beweis im Oktober 2023 vor mehr als 100 Mathematikern und stellten ihn ein Jahr später online
- Radha Kessar bezeichnete dies als „absolut schillernde Leistung“
- Mathematiker können nun wichtige Eigenschaften von Gruppen untersuchen, indem sie nur den Sylow-Normalisator betrachten
- Das ist ein einfacherer Zugang als über die ursprüngliche Gruppe
- Es könnte auch praktische Anwendungsmöglichkeiten geben
- Dennoch bleibt es ein Rätsel, warum eine kleine Teilmenge so viele Informationen über die große übergeordnete Gruppe liefert
- Kessar sagte, „es muss einen strukturellen Grund dafür geben, dass diese Zahlen gleich sind“
- Einige vorbereitende Arbeiten gibt es bereits, doch der Zusammenhang ist noch nicht verstanden
- Späth und Cabanes suchen nun nach dem nächsten Problem, in das sie sich vertiefen wollen
- Späth sagt, etwas, das sie so sehr fesselt wie die McKay-Vermutung, habe sie bislang noch nicht gefunden
1 Kommentare
Kommentare auf Hacker News
Es scheint einen Grund zu geben, warum der Satz „Eine so schwierige Aufgabe so verbissen zu verfolgen, hätte ihrer akademischen Laufbahn schaden können, aber Späth widmete dem dennoch ihre gesamte Zeit“ in fast jedem Artikel vorkommt
Gut, dass es solche hartnäckigen Menschen gibt; und ich möchte auch auf all die kontrafaktischen Möglichkeiten anstoßen, die nicht einmal erwähnt werden
Man kann kein Paradigma ändern, während man dem Paradigma folgt. Ich denke, es ist ein großer Verlust, die Rolle von Außenseitern kleinzureden. Viele scheitern, wahrscheinlich sogar die meisten, aber angesichts der Wirkung reicht es, wenn ein kleiner Anteil Erfolg hat, damit es sich lohnt, sie zu ermutigen
Tatsächlich wird Menschen aber oft davon abgeraten, gegen den Mainstream zu arbeiten, etwa aus Angst vor dem Scheitern. In der Forschung scheitert das meiste, aber nur ein Scheitern, aus dem man nichts lernt, ist wirkliches Scheitern. Derzeit ist es sehr schwierig, negative Ergebnisse zu veröffentlichen, wodurch solche Versuche selbst seltener werden; das System fördert im Kern „sichere“ Forschung, die zwangsläufig inkrementell ist. Ironisch ist dabei, dass viele Paper gleichzeitig wegen „mangelnder Neuheit“ abgelehnt werden
Bewertende Blicke gäbe es weiterhin, aber man könnte sie ignorieren. Persönlich finde ich, dass Regierungen mehr hochriskante, potenziell hochrentable Moonshot-Forschung durch Einzelpersonen oder kleine Teams unterstützen sollten. Wenn man sie auf viele Menschen verteilt, sinkt die Volatilität, sodass Ergebnisse entstehen können. Aber die derzeitigen Finanzierungsströme in der US-Forschung scheinen genau in die entgegengesetzte Richtung zu laufen, daher bin ich nicht optimistisch
Am Ende hatte er Erfolg, und ich habe das Management, das ihn unterstützte, immer sehr geschätzt
Niemand muss seine Existenz darauf ausrichten, Karrierechancen zu maximieren, also lasst die Leute einfach machen
Mir gefiel die Stelle: „Als das Paar sein Ergebnis vorstellte, waren die Kollegen voller Ehrfurcht. Persi Diaconis von der Stanford University sagte: ‚Ich hätte mir gewünscht, dass es eine Parade gegeben hätte. Nach Jahren wirklich, wirklich, wirklich harter Arbeit hat sie es geschafft, sie haben es geschafft.‘“
Eines der Dinge, die mir an der Arbeit an kombinatorischen Problemen gefielen, war diese positive Unterstützung. Leute wie Persi Diaconis oder D.J.A. Welsh waren so freundlich, dass sich das ganze Feld einladender anfühlte
Und diese Wellen hallen je nach Absicht und Handlung als Glück oder als dessen Gegenteil in uns wider
„Positive vibration, yeah.“ --Bob Marley
Ich verstehe die McKay-Vermutung grob so:
Angenommen, man möchte eine Gruppe durch Matrizen über den komplexen Zahlen darstellen. Normalerweise gibt es dafür mehrere Möglichkeiten, und jede hat einen Charakter (character), so etwas wie den Fingerabdruck dieser Darstellung
Andererseits ist bekannt, dass jede Gruppe eine große Untergruppe besitzt, deren Größe eine Potenz einer Primzahl ist. Nennen wir sie P. Diese Gruppe hat einen Normalisator, in dem P ein Normalteiler ist; diesen nennt man N(P)
Erstaunlich ist, dass die Anzahl der Charaktere der gesamten Gruppe G gleich der Anzahl der Charaktere von N(P) ist, obwohl N(P) nur ein kleiner Teil von G ist
Technisch gesehen schließt man in beiden Fällen Darstellungen aus, deren Grad ein Vielfaches von p ist
Interessant ist, dass die Vermutung durch Fallunterscheidung bewiesen wurde und für jeden Fall andere Techniken nötig waren
Dass alle endlichen Gruppen diese Eigenschaft haben, wirkt fast wie ein Zufall. Denn jede Gruppe besitzt diese Eigenschaft aus einem anderen „Grund“
Dem Artikel zufolge suchen Mathematiker nun aber nach einem tieferen strukturellen Grund, warum die Vermutung gilt. Da das Ergebnis nun als wahr bekannt ist, können sich mehr Mathematiker ernsthaft darauf stürzen
Es ist üblich, Dinge in zusammengehörige Teile zu zerlegen und dann jedes Bündel einzeln zu beweisen. Manche Beweise sind einfach, andere erfordern deutlich fortgeschrittenere Techniken und bleiben jahrelang offene Probleme
Paper: https://arxiv.org/abs/2410.20392
Zufällig hatte ich nach einem kürzlichen HN-Post gerade den Abschnitt über Gruppen im Infinite Napkin gelesen.
Die Definitionen usw. verstehe ich, aber ich habe noch kein Gefühl dafür, warum Gruppen so zentral wichtig sind.
Im Artikel heißt es zum Beispiel, es gebe 50 Gruppen der Ordnung 72, und ChatGPT sagt, es seien 50 nichtabelsche und 5 abelsche; ich verstehe aber nicht, welche wichtige Einsicht das liefern soll.
Es gibt 44 nichtabelsche und 6 abelsche Gruppen der Ordnung 72. Ich würde nicht sagen, dass diese konkreten Zahlen enorm wichtig sind, aber die Zahlen selbst stimmen so.
Wenn es Operationen gibt, die ein Objekt unverändert lassen – etwa eine Drehung eines gleichseitigen Dreiecks, die eine Ecke an die Stelle einer anderen Ecke bringt –, dann ist diese Operation invertierbar, und auch ihre Umkehroperation lässt das Objekt unverändert. Solche Operationen bewahren auch unter Komposition weiterhin die Invarianz, und die Identitätsabbildung lässt ohnehin immer alles unverändert. Daher bilden Symmetrieoperationen eine Gruppe.
Etwas kniffliger ist die Tatsache, dass jede Gruppe die Menge der Symmetrieoperationen von irgendetwas ist. Gruppen erfassen den Begriff der Symmetrie also exakt. Für Mathematiker sind „Gruppe“ und „Symmetrie“ fast Synonyme.
Endliche Gruppen sind interessant, weil sie – etwa wie Symmetrien, die in einem Molekül Atome auf die Plätze anderer Atome drehen – Aufschluss über Molekülstruktur, Energieniveaus, Spektren und Bindungsmöglichkeiten geben können. Unendliche Gruppen treten in der Physik zum Beispiel darin auf, dass physikalische Gesetze gleich bleiben, wenn man ein Koordinatensystem beliebig dreht oder verschiebt. Symmetrie erscheint auch als Methode, andere mathematische Objekte zu untersuchen, und Mathematiker möchten zudem wissen, wie alle möglichen Gruppen aussehen.
Niemand versucht unbedingt zu erklären, warum Primzahlen in genau diesen Abständen auftreten; vielmehr verweist man bei der Erklärung eines Phänomens darauf, ob etwas prim ist oder nicht.
Zum Beispiel gibt es eine saubere Formel zum Faktorisieren quadratischer Polynome, also die Mitternachtsformel, und auch für kubische und quartische Gleichungen gibt es Formeln, die man aber normalerweise nicht auswendig lernen lässt. Für Gleichungen fünften Grades gibt es jedoch keine solche Formel. Mathematiker brauchten eine Weile, um zu beweisen, dass so etwas nicht existiert, aber der Beweis läuft darauf hinaus: Einer solchen Formel müsste eine endliche Gruppe unterhalb einer bestimmten Größe zugrunde liegen; wenn man diese Gruppen auflistet, gibt es keine Gruppe, die der Formel fünften Grades entspricht, also gibt es auch keine Formel fünften Grades.
Daher sind Gruppen als eine Art ursprüngliche Komplexität nützlich, auf die man ohne ausführliche Erklärung verweisen kann. Die Eigenschaften kleiner Gruppen lassen sich von Hand überprüfen, und wenn man erst einmal darauf achtet, bildet überraschend vieles aus dieser Perspektive eine Gruppe.
Ist das vorliegende Problem zum Beispiel abelsch? Dann muss es zwangsläufig eine Form wie X oder Y haben.
Ihr Beweis: https://arxiv.org/abs/2410.20392 (2024)
Wirklich beeindruckende Hingabe. Mir gefiel besonders die persönliche Geschichte im Artikel; so etwas sieht man in STEM-Texten nicht immer.
Ich hoffe, dass sich ihre Beziehung auch in der neuen Realität, in der das Hauptziel erreicht ist, gut einfindet.
Wenn man nur das Endergebnis zeigt, wirkt es so, als sei es ihnen leichtgefallen, was andere davon abhalten kann, überhaupt zu versuchen, es zu verstehen oder etwas beizutragen. Besonders in der Mathematik sollten die Ideen selbst einfach sein. Schließlich ist man nicht Ramanujan, der im Kopf unendliche Reihen summiert. Nur sind diese Ideen hinter Unmengen symbolischer Fachterminologie verborgen.
Das erinnert mich an die abstrakte Interpretation, die Patrick Cousot und Radhia Cousot gemeinsam entwickelt haben [1].
Eine nützliche Technik; ich habe sie in einem Kurs über formale Verifikation gelernt.
[1] https://en.wikipedia.org/wiki/Abstract_interpretation
Ein wirklich hervorragender Artikel.
Er hat mich dazu gebracht, stundenlang verwandte Arbeiten nachzuschlagen, darunter auch Arbeiten von John Conway.
Zur Einordnung: Meine Mathematikkenntnisse liegen auf BSEE-Niveau. Trotzdem besitze ich ein Exemplar von The Algebraic Eigenvalue Problem, einem der Arbeitsbücher, auf die sich Hochschulprofessoren gern bezogen haben, und schaue gelegentlich kurz hinein.