Vermutung von Hodge - LinkFang.de





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 [math]V[/math] eine nichtsinguläre algebraische Varietät der Dimension [math]n[/math] über den komplexen Zahlen. Dann kann [math]V[/math] als eine reelle Mannigfaltigkeit der Dimension [math]2n[/math] betrachtet werden, und hat damit de-Rham-Kohomologiegruppen, die endlichdimensionale komplexe Vektorräume sind, indiziert durch eine Dimension [math]d[/math] mit [math]d = 0[/math] bis [math]2n[/math]. Legt man einen geraden Wert [math]d = 2k[/math] fest, dann sind zwei zusätzliche Strukturen auf der [math]d[/math]-ten Kohomologiegruppe [math]H[/math] zu beschreiben.

Die eine ist die Hodge-Zerlegung von [math]H[/math], die [math]H[/math] in eine direkte Summe von [math]2k+1[/math] Unterräumen

[math]H(0,2k), H(1, 2k-1), \ldots, H(2k,0)[/math]

mit dem für die Vermutung relevanten zentralen Summanden [math]H(k,k)[/math] aufteilt.

Die andere ist eine sogenannte rationale Struktur auf [math]H[/math]. Der Raum [math]H[/math] 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 [math]H[/math]: zum Beispiel kann eine Basis der Kohomologieklassen mit rationalen Koeffizienten als Basis für [math]H[/math] benutzt werden, und man betrachtet dann die Linearkombination mit rationalen Koeffizienten dieser Basisvektoren.

Unter diesen Bedingungen kann man den Vektorraum [math]H^*[/math], um den es bei der Vermutung von Hodge geht, definieren. Er besteht aus den Vektoren in [math]H(k,k)[/math], die rationale Kohomologieklassen sind, und ist ein endlichdimensionaler Vektorraum über den rationalen Zahlen.

Aussage

Die Vermutung von Hodge sagt aus, dass die algebraischen Zyklen von [math]V[/math] den gesamten Raum [math]H^*[/math] aufspannen, das heißt, dass die angegebenen Bedingungen, die notwendig für eine Kombination algebraischer Zyklen sind, auch hinreichend sind.

Der Begriff des algebraischen Zykels

Einige Standardverfahren erklären die Beziehung zur Geometrie von [math]V[/math]. Wenn [math]W[/math] eine Untervarietät der Dimension [math]n-k[/math] in [math]V[/math] ist, genannt Kodimension [math]k[/math], begründet [math]W[/math] ein Element der Kohomologiegruppe [math]H[/math]. 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 [math]H^*[/math] genügen. Sie sind rationale Klassen und liegen im zentralen Summanden [math]H(k,k)[/math].

Folgerungen für die Geometrie

Die Vermutung ist bekannt für [math]k=1[/math] 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 [math]H^*[/math] in diesen Fällen hat einen vorhersagenden Wert für den Teil der Geometrie von [math]V[/math], der nur schwer erreicht werden kann. In vorgegebenen Beispielen ist [math]H^*[/math] etwas, was wesentlich einfacher erörtert werden kann.

Dies gilt auch, wenn [math]H^*[/math] eine große Dimension hat, dann kann das gewählte [math]V[/math] 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


Kategorien: Vermutung (Mathematik) | Algebraische Geometrie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Vermutung von Hodge (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.