Hodge-Vermutung

Mathematiker untersuchen oft Gebilde, die man sich nicht mehr vorstellen kann. Solche Gebilde entstehen zum Beispiel, wenn man Gleichungen zeichnet, die mehrere Größen gleichzeitig verknüpfen. Um sie trotzdem zu verstehen, beschreibt man ihre Löcher, Kanten und Flächen durch Zahlen und Rechenregeln. Die Hodge-Vermutung fragt, ob jede dieser rein rechnerischen Beschreibungen auch einer wirklichen Figur im Gebilde entspricht. Anders gesagt: Steckt hinter jeder passenden Rechnung auch eine echte Form, oder gibt es Rechnungen ohne geometrisches Gegenstück? Die Frage ist seit 1950 offen und gehört zu den bekanntesten ungelösten Problemen der Mathematik.

Eine Million Dollar für einen Beweis

Die Hodge-Vermutung ist eines der sieben Millennium-Probleme. Das Clay Mathematics Institute in den USA setzte im Jahr 2000 für jedes dieser Probleme eine Million Dollar aus. Bis heute ist nur eines davon gelöst, nämlich die Poincaré-Vermutung. Die Hodge-Vermutung gilt unter Fachleuten als besonders schwer, weil niemand weiß, in welche Richtung ein Beweis überhaupt gehen müsste.

Wichtig ist sie aber nicht wegen des Preisgeldes. Sie ist eine Brücke zwischen zwei Denkweisen. Auf der einen Seite steht die Analysis, also das Rechnen mit stetigen Größen. Auf der anderen Seite steht die algebraische Geometrie, in der man Formen durch Gleichungen beschreibt. Ein Beweis würde zeigen, dass beide Seiten dieselbe Sache sehen.

Für die Praxis hat das zunächst keine Folgen. Kein Programm läuft schneller, wenn die Vermutung stimmt. Solche Grundlagenfragen haben aber eine lange Geschichte: Zahlentheorie galt jahrhundertelang als nutzlos und ist heute die Basis jeder Verschlüsselung im Internet. Was aus einem Beweis folgen würde, weiß man erst hinterher.

Von Löchern zu Gleichungen

Der Ausgangspunkt ist ein Trick aus der Topologie. Man zählt die Löcher eines Gebildes, statt es genau zu vermessen. Ein Donut hat ein Loch, eine Brezel hat drei. Diese Zählungen bleiben gleich, auch wenn man das Objekt verbiegt oder dehnt. Aus ihnen entstehen Gruppen von Zahlen, mit denen man rechnen kann.

William Hodge zerlegte diese Zahlengruppen in feinere Bestandteile. Man kann sich das wie ein Prisma vorstellen, das weißes Licht in Farben aufspaltet. Bestimmte dieser Bestandteile nennt man heute Hodge-Klassen. Sie haben rechnerisch genau die Eigenschaften, die eine echte Fläche innerhalb des Gebildes hätte.

Die Vermutung sagt nun: Jede Hodge-Klasse lässt sich tatsächlich aus solchen Flächen zusammensetzen. Erlaubt sind dabei Kombinationen mit Bruchzahlen als Faktoren. Diese Einschränkung klingt technisch, ist aber entscheidend. Eine strengere Variante mit ganzen Zahlen wurde nämlich bereits widerlegt. Bewiesen ist die Vermutung bisher nur in Sonderfällen, etwa für Gebilde niedriger Dimension.

Zwischen Rechenzentrum und Hörsaal

Im Alltag begegnet dir die Hodge-Vermutung nicht. Sie taucht in Nachrichten meist dann auf, wenn jemand einen Beweis ankündigt. Solche Ankündigungen kommen alle paar Jahre und halten der Prüfung bisher nie stand. Ein akzeptierter Beweis müsste in einer Fachzeitschrift erscheinen und zwei Jahre unwidersprochen bleiben, so verlangen es die Regeln des Preises.

Interessant ist der Begriff derzeit vor allem im Umfeld der KI. Firmen wie Google DeepMind und OpenAI testen ihre Modelle an schweren Mathematikaufgaben. Die Millennium-Probleme dienen dabei als Fernziel und als Schlagwort in Pressemitteilungen. Bisher lösen KI-Systeme Wettbewerbsaufgaben auf Schulniveau bis knapp darüber, keine offenen Forschungsfragen.

Realistischer ist die Rolle als Werkzeug. Beweisassistenten wie Lean prüfen mathematische Argumente Schritt für Schritt am Computer. KI kann hier Zwischenschritte vorschlagen, die ein Mensch dann kontrolliert. Wenn du also liest, eine KI arbeite an der Hodge-Vermutung, ist meist diese Zusammenarbeit gemeint und nicht eine Maschine, die allein einen Beweis findet.