- 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.
Inhaltsverzeichnis
Formulierung der Vermutung
Sei V eine nichtsinguläre algebraische Varietät der Dimension n über den komplexen Zahlen. Dann kann V als eine reelle Mannigfaltigkeit der Dimension 2n betrachtet werden, und hat damit de-Rham-Kohomologiegruppen, die endlichdimensionale komplexe Vektorräume sind, indiziert durch eine Dimension d mit d = 0 bis 2n. Legt man einen geraden Wert d = 2k fest, dann sind zwei zusätzliche Strukturen auf der d-ten Kohomologiegruppe H zu beschreiben.
Die eine ist die Hodge-Zerlegung von H, die H in eine direkte Summe von 2k + 1 Unterräume
mit dem für die Vermutung relevanten zentralen Summanden H(k,k), aufteilt.
Die andere ist eine so genannte rationale Struktur auf H. Der Raum H 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 H: zum Beispiel kann eine Basis der Kohomologieklassen mit rationalen Koeffizienten als Basis für H benutzt werden, und man betrachtet dann die Linearkombination mit rationalen Koeffizienten dieser Basisvektoren.
Unter diesen Bedingungen kann man den Vektorraum H * , um den es bei der Vermutung von Hodge geht, definieren. Er besteht aus den Vektoren in H(k,k), die rationale Kohomologieklassen sind, und ist ein endlichdimensionaler Vektorraum über den rationalen Zahlen.
Der Begriff des algebraischen Zykels
Einige Standardverfahren erklären die Beziehung zur Geometrie von V. Wenn W eine Untervarietät der Dimension n - k in V ist, genannt Kodimension k, begründet W ein Element der Kohomologiegruppe H. 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 Zyklen genannt (zumindest wenn man nicht exakt wird), den notwendigen Bedingungen für die Konstruktion von H* genügen. Sie sind rationale Klassen und liegen im zentralen Summanden H(k,k).
Die Aussage der Vermutung von Hodge
Die Vermutung von Hodge sagt aus, dass die algebraischen Zyklen von V den gesamten Raum H* aufspannen, das heißt, dass die angegebenen Bedingungen, die notwendig für eine Kombination algebraischer Zyklen sind, auch hinreichend sind.
Die Folgerungen für die Geometrie
Die Vermutung ist bekannt für k = 1 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 H* in diesen Fällen hat einen vorhersagenden Wert für den Teil der Geometrie von V, der nur schwer erreicht werden kann. In vorgegebenen Beispielen ist H* etwas, was wesentlich einfacher erörtert werden kann.
Dies gilt auch, wenn H* eine große Dimension hat, dann kann das gewählte V als Spezialfall betrachtet werden, so dass 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
Wikimedia Foundation.
