# 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 $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äumen
    $H(0,2k),H(1,2k-1),\dotsc ,H(2k,0)$
mit dem für die Vermutung relevanten zentralen Summanden $H(k,k)$ aufteilt.
Die andere ist eine sogenannte 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.

## Aussage

Die Vermutung von Hodge sagt aus, dass die algebraischen Zykel von $V$ den gesamten Raum $H^{*}$ 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 $V$. Wenn $W$ eine Untervarietät der Dimension $n-k$ in $V$ ist, genannt Kodimension zu $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 Zykel 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)$.

## 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, das 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, 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.