# McKay-Vermutung

Die McKay-Vermutung ist eine Annahme von John McKay in der Gruppentheorie, einem Teilgebiet der Mathematik. Er vermutete die Gleichheit zwischen der Anzahl irreduzibler komplexer Charaktere des Grades, der nicht durch eine Primzahl $p$ teilbar ist, und der der Elemente des Normalisators einer Sylow-$p$-Untergruppe. Sie wurde letztendlich in einer 2024 erschienenen Arbeit von Cabanes und Späth bewiesen.

## Beschreibung

Die Darstellungstheorie endlicher Gruppen untersucht Gruppen-Homomorphismen $D\colon G\rightarrow GL_{n}(F)$ für eine endliche Gruppe $G$ und einen Körper $F$. Diese Abbildungen heißen Darstellungen von $G$. Dabei wird $n$ als der Grad der Darstellung bezeichnet. Solche Darstellungen können stets in ihre kleinsten Bausteine, die irreduziblen Darstellungen, zerlegt werden.
Für eine endliche Gruppe gibt es bis auf Isomorphie nur endlich viele irreduzible Darstellungen. Zu einer Darstellung $D$ von $G$ wird durch die Abbildung $\chi \colon G\to F$ mit $\chi (g)=Spur(D(g))$ der Charakter von $D$ definiert.
Hat $F$ die Charakteristik 0, so gibt es zu jedem Charakter $\chi$ bis auf Isomorphie genau eine Darstellung $D$, deren Charakter $\chi$ ist. Jeder Charakter ist eine Klassenfunktion, d. h. auf Konjugationsklassen von $G$ konstant.
Eine Frage der Charaktertheorie ist, wie die irreduziblen Charaktere von $G$ und ihre Grade mit den irreduziblen Charakteren ihrer Untergruppen zusammenhängen, d. h. wie von lokalen Informationen globale Eigenschaften bestimmt werden.
Die Clifford-Theorie beschreibt, wie die Charaktere eines Normalteilers $L\triangleleft G$ mit den Charakteren von $G$ zusammenhängen.
Zu jedem Charakter $\chi \in \mathrm {Irr} (L)$ ist die Trägheitsgruppe $IG(\chi )$ die größte Gruppe in $G$, auf die $\chi$ als Klassenfunktion fortgesetzt werden kann.
Jedoch ist $\chi$ im Allgemeinen nicht als Charakter auf diese Gruppe fortsetzbar, es gibt also im allgemeinen keinen Charakter auf $IG(\chi )$, dessen Einschränkung auf $L$ der ursprüngliche Charakter $\chi$ ist.
Gibt es zu einem Charakter eine solche Fortsetzung, heißt dieser maximal fortsetzbar in $G$ und seine Fortsetzung auf $IG(\chi )$ maximale Fortsetzung.
Es gibt nur wenige allgemeine Hilfsmittel, um die Fortsetzbarkeit von Charakteren zu beweisen. John McKay beobachtete für bestimmte einfache Gruppen $G$ und gewisse Primzahlen $p$ eine Gleichheit von $k_{0}(G)$ und $k_{0}(NG(P))$, wobei $P$ eine $p$-Sylowgruppe in $G$ und $NG(P)$ ihr Normalisator in $G$ sind und $k_{0}$ die Anzahl der irreduziblen Charaktere über $\mathbb {C}$ mit Grad prim zu $p$ angibt.
Jonathan L. Alperin vermutete, dass diese Gleichheit für alle Primzahlen $p$ und endlichen Gruppen $G$ gilt.

## Die Vermutung

Angenommen, $p$ ist eine Primzahl, $G$ ist eine endliche Gruppe.
$P\leq G$ ist eine Sylow-$p$-Untergruppe.
Wir definieren $\mathrm {Irr} _{p'}(G):=\{\chi \in \mathrm {Irr} (G):p\nmid \chi (1)\}$
wobei $\mathrm {Irr} (G)$ die Menge der komplexen irreduziblen Charactere der Gruppe $G$ bezeichnet.
McKay vermutete folgende allgemeingültige Gleichheit
    $|\mathrm {Irr} _{p'}(G)|=|\mathrm {Irr} _{p'}(N_{G}(P))|$
wobei $N_{G}(P)$ der Normalisator von $P$ in $G$ ist.

## Werdegang

In McKays Originalarbeiten wurde die Vermutung für the Primzahl $p=2$ und einfache Gruppen erwähnt mit Beispielen der Berechnung von $|\mathrm {Irr} _{p'}(G)|$ für ungerade Primzahlen oder symmetrische Gruppen. Marty Isaacs überprüfte die Vermutung auch für die Primzahl 2 und auflösbare Gruppen $G$. Erstmals veröffentlichte Jon L. Alperin die Vermutung für beliebige Primzahlen, so dass die Vermutung jetzt Alperin-McKay-Vermutung genannt wird.

## Beweisführungen

Im Jahre 2007 zeigten Marty Isaacs, Gunter Malle und Gabriel Navarro, dass sich die McKay-Vermutung auf die Überprüfung einer sogenannten induktiven McKay-Bedingung für jede endliche einfache Gruppe reduziert. Dies öffnet die Tür zu einem Beweis der Vermutung, indem die Klassifikation endlicher einfacher Gruppen verwendet wird.
Die Veröffentlichung von Isaacs-Malle-Navarro inspirierte zu ähnlichen Vereinfachungen von Alperins Gewichts-Vermutung, seiner Blockversion, der Alperin-McKay Vermutung und Dades Vermutung.
Im Jahre 2016 bewiesen Gunter Malle und Britta Späth McKays Vermutung für die Primzahl 2.
Ein wichtiger Schritt beim Nachweis der induktiven McKay-Bedingung für alle einfachen Gruppen ist die Bestimmung der Wirkung der Automorphismengruppe $\mathrm {Aut} (G)$ auf die Menge $\mathrm {Irr} (G)$ für jede endliche quasieinfache Gruppe $G$. Die Lösung veröffentlichte Späth als $\mathrm {Aut} (G)$-äquivariante Jordan Zerlegung der Charaktere für endliche quasieinfache Gruppen vom Lie-Typ.
Der Beweis der Vermutung McKays für alle Primzahlen und alle endlichen Gruppen wurde von Marc Cabanes und Britta Späth im Oktober 2023 auf mehreren Konferenzen vorgestellt. Eine Veröffentlichung erschien 2024.