Vermutung von Hodge
Die Vermutung von Hodge ist eines der großen ungelösten Probleme der algebraischen Geometrie. Sie ist die Darstellung eines vermuteten Bindeglieds zwischen der algebraischen Topologie nicht-singulärer komplexer algebraischer Varietäten und ihrer Geometrie, die durch Untervarietäten definierende polynomiale Gleichungen beschrieben wird. Die Vermutung ist das Ergebnis der Arbeit von William Vallance Douglas Hodge (1903–1975), der zwischen 1930 und 1940 die Darstellung der De-Rham-Kohomologie erweiterte, um besondere Strukturen, die bei algebraischen Varietäten vorhanden sind (obwohl nicht auf sie beschränkt), einzubeziehen.

Das Clay Mathematics Institute hat den Beweis dieser Vermutung auf die Liste seiner Millennium-Probleme gesetzt.

Formulierung 
Sei  eine nichtsinguläre algebraische Varietät der Dimension  über den komplexen Zahlen. Dann kann  als eine reelle Mannigfaltigkeit der Dimension  betrachtet werden und hat damit De-Rham-Kohomologiegruppen, die endlichdimensionale komplexe Vektorräume sind, indiziert durch eine Dimension  mit  bis . Legt man einen geraden Wert  fest, dann sind zwei zusätzliche Strukturen auf der -ten Kohomologiegruppe  zu beschreiben.

Die eine ist die Hodge-Zerlegung von , die  in eine direkte Summe von  Unterräumen

mit dem für die Vermutung relevanten zentralen Summanden  aufteilt.

Die andere ist eine sogenannte rationale Struktur auf . Der Raum  wurde als Kohomologiegruppe mit komplexen Koeffizienten gewählt (auf die sich die Hodge-Zerlegung bezieht). Beginnt man nun mit der Kohomologiegruppe mit rationalen Koeffizienten, bekommen wir eine Idee von einer rationalen Kohomologieklasse in : Zum Beispiel kann eine Basis der Kohomologieklassen mit rationalen Koeffizienten als Basis für  benutzt werden, und man betrachtet dann die Linearkombination mit rationalen Koeffizienten dieser Basisvektoren.

Unter diesen Bedingungen kann man den Vektorraum , um den es bei der Vermutung von Hodge geht, definieren. Er besteht aus den Vektoren in , die rationale Kohomologieklassen sind, und ist ein endlichdimensionaler Vektorraum über den rationalen Zahlen.

Aussage 
Die Vermutung von Hodge sagt aus, dass die algebraischen Zykel von  den gesamten Raum  aufspannen, das heißt, dass die angegebenen Bedingungen, die notwendig für eine Kombination algebraischer Zykel sind, auch hinreichend sind.

Der Begriff des algebraischen Zykels 
Einige Standardverfahren erklären die Beziehung zur Geometrie von . Wenn  eine Untervarietät der Dimension  in  ist, genannt Kodimension zu , begründet  ein Element der Kohomologiegruppe . Zum Beispiel in Kodimension 1, die der zugänglichste Fall geometrisch genutzter Hyperebenenschnitte ist, liegt die zugehörige Klasse in der zweiten Kohomologiegruppe und kann mit Mitteln der ersten Chern-Klasse des Geradenbündels berechnet werden.

Bekannt ist, dass solche Klassen, algebraische Zykel genannt (zumindest, wenn man nicht exakt wird), den notwendigen Bedingungen für die Konstruktion von  genügen. Sie sind rationale Klassen und liegen im zentralen Summanden .

Folgerungen für die Geometrie 
Die Vermutung ist bekannt für  und viele weitere Spezialfälle. Zu Kodimensionen größer als 1 ist der Zugang schwieriger, da im Allgemeinen nicht alles durch wiederholte Hyperebenenschnitte gefunden werden kann.

Die Existenz nichtleerer Räume  in diesen Fällen hat einen vorhersagenden Wert für den Teil der Geometrie von , der nur schwer erreicht werden kann. In vorgegebenen Beispielen ist  etwas, das wesentlich einfacher erörtert werden kann.

Dies gilt auch, wenn  eine große Dimension hat, dann kann das gewählte  als Spezialfall betrachtet werden, sodass die Vermutung das behandelt, was man interessante Fälle nennen könnte, und umso schwerer zu beweisen ist, je weiter man vom Allgemeinfall entfernt ist.

Weblinks 
 Die Vermutung von Hodge beim Clay Mathematics Institute (von P. Deligne, englisch) (PDF-Datei; 147 kB)
Dan Freed über die Hodge Vermutung, englisch

Algebraische Geometrie
Hodge