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.