Ein klassischer Satz, bewiesen 1849 von Cayley und Salmon, besagt die Existenz von genau 27 Geraden auf jeder kubischen Fläche in CP3. Ebenso klassisch (und ebenso heute über Berechnung von Chern-Klassen zu beweisen) ist die Existenz von genau 2875 Geraden (Kurven vom Grad 1) auf einer Quintik in CP4 . Der nächste Schritt war dann 1986 der Beweis von Sheldon Katz, dass es auf einer Quintik 609250 Kegelschnitte (Kurven vom Grad 2) und zumindest bis Grad 7 nur endlich viele Kurven von gegebenem Grad gibt.

Vor dem Hintergrund der Suche nach einer großen vereinheitlichenden Theorie für Gravitation, Elektromagnetismus, starke und schwache Wechselwirkung und speziell der heterotischen Stringtheorie hatten Physiker Beispiele für Spiegelmannigfaltigkeiten von Quintiken gefunden. Physikalisch soll man für die Spiegelmannigfaltigkeiten einen symmetrischen Vektorraum des Sigmamodells haben. (Das Sigmamodell ist eine gewisse Feldtheorie auf der Mannigfaltigkeit.) Beispielsweise für die Quintik z05+…+z45=ψz0…z4 (mit einer komplexen Zahl ψ) hat man eine Wirkung von (Z/5Z)3 (durch Multiplikation von Koordinaten mit Einheitswurzeln) und der Quotient hat Singularitäten, die sich auflösen lassen. Nach Auflösung der Singularitäten erhält man die Spiegelmannigfaltigkeit. Bemerkenswerterweise hatte in diesem Fall die Quintik die Euler-Charakteristik χ=200 und die Spiegelmannigfaltigkeit die entgegengesetzte Euler-Charakteristik χ=-200. (Physiker postulierten, dass dies ein allgemeines Prinzip sein sollte, wonach die Hodge-Zahlen der Spiegelmannigfaltigkeit gerade das „Spiegelbild“ der ursprünglichen Hodge-Zahlen sind.)

Eine Gruppe von vier Physikern war mit Hilfe der Spiegelmannigfaltigkeit das Problem angegangen, die Anzahl Nd der rationalen Kurven vom Grad d auf der Quintik z05+…+z45=ψz0…z4 zu berechnen. Für die Spiegelmannigfaltigkeit gibt es wieder (wie schon für die ursprüngliche 3-Faltigkeit) eine nirgends verschwindende 3-Form, die man über die Spiegelmannigfaltigkeit integrieren kann, womit man eine von ψ abhängende Zahl bekommt. Diese Funktion in ψ soll dann, so behaupteten die vier Physiker, die erzeugende Funktion der Nd sein. Auf einer Tagung trugen sie ihre Berechnungen vor. Aus der Behauptung folgt zum Beispiel, dass es auf dieser Quintik 317206375 Kurven vom Grad 3 geben soll – eine für die Mathematiker unglaubliche Vorhersage. Zwei Mathematiker führten eine Computerberechnung durch, mit der sie zu einem anderen Ergebnis kamen. Einen Monat später fanden sie aber den Fehler in ihrem Computerprogramm und nach der Korrektur bekamen sie dasselbe Resultat wie die Physiker. Die Vorhersage der Physik war korrekt gewesen, die Spiegelsymmetrie damit nicht nur für die Physik von die Interesse, sondern auch für das Abzählen von Kurven auf algebraischen Varietäten.

Allgemein soll es Spiegelmannigfaltigkeiten für alle kompakten Kähler-Mannigfaltigkeiten (d.h. komplex n-dimensionale Mannigfaltigkeiten mit kompatibler Metrik) mit c1=0 (oder äquivalent mit einer nirgends verschwindenden holomorphen n-Form) geben, also für die heute als Calabi-Yau-Mannigfaltigkeiten bezeichneten Mannigfaltigkeiten, für die Yau die Calabi-Vermutung (die Existenz einer Kähler-Metrik mit verschwindender Ricci-Krümmung) bewiesen hatte. Aus dem Satz von Riemann-Roch folgt, dass man auf einer generischen Calabi-Yau-3-Faltigkeit W nur endlich viele rationale Kurven von gegebenem Grad hat und die Arbeit der Physiker legte also nahe, dass man ihre Anzahl mit Hilfe der Spiegelmannigfaltigkeit berechnen kann. Konkret sollte die Funktion K(Q)=5+\sum_{d=1}^\infty \frac{N_dd^3Q^d}{1-Q^d} sich berechnen lassen mit Hilfe eines Differentialoperators vierter Ordnung, der eine gewisse hypergeometrische Reihe \sum_{d=0}^\infty \frac{(5d)!q^d}{(d!)^5} zu 0 macht. Ein Modell einer konformen Feldtheorie, die mit rationalen Kurven auf W zu tun hat, soll äquivalent sein zu einem Modell, das auf den Perioden holomorpher 3-Formen auf der Spiegelmannigfaltigkeit beruht. Damit kann man Probleme zu rationalen Kurven in Probleme zur Picard-Fuchs-Gleichung für Perioden holomorpher Formen auf der Spiegelmannigfaltigkeit übersetzen. Obige hypergeometrische Reihe ist eine dieser Perioden. (Nachdem die Spiegelsymmetrie ursprünglich eine Beziehung zwischen der Anzahl rationaler Kurven und den Koeffizienten der Perioden der harmonischen Strukturen als Funktion auf dem Modulraum komplexer Strukturen auf Calabi-Yau-3-Faltigkeiten herstellen sollte, bemerkte man später, dass man auch Voraussagen treffen kann für die Anzahl der Kurven höheren Geschlechts und für Varietäten höherer Dimension.)

1 / 2 / Auf einer Seite lesen

Kommentare (1)

  1. #1 Fluffy
    28. August 2021

    Ein klassischer Satz, bewiesen 1849 von Cayley und Salmon, besagt die Existenz von genau 27 Geraden auf jeder kubischen Fläche in CP3

    Eine Gerade ist die kürzeste Verbindung zwischen zwei Punkten. Das heißt durch 54 Punkte sind die 27 Geraden bestimmt. Es geht aber auch mit weniger Punkten, da ein Punkt mit mehreren anderen verbunden kann. 2 Punkte definieren 1 Gerade, 3 Punkte bilden 3 Geraden, 4 Punkte bilden 6 Geraden usw. Allgemein bilden n Punkte n(n-1)/2) Geraden. Das sind sogenannte Dreieckszahlen. Die ersten Dreieckszahlen sind also
    1, 3, 6, 10, 15, 21, 28 …
    Die 27 ist keine Dreieckszahl, folglich kann man keine Punktmenge finden, die jeder mit jedem verbunden, die 27 Geraden definieren.
    Aber man kann versuchen, die 27 als Summe mehrerer Dreieckszahlen darzustellen. Da die 1 ebenfalls eine Dreieckszahl ist, gibt es eine ganze Reihe solcher Möglichkeiten. Durch die Methode endlichen Probierens (MeP) kann man diese alle finden.
    Beispiele sind: 27 = 21+6*1 oder 27 = 21+3+3, 27 = 15+6+6. Die kürzeste Summe wäre
    27 = 21+6.
    Diesen entsprechen jeweils eine bestimmte Anzahl von Punkten. So lassen sich 21 Geraden durch 7 Punkte bilden und 6 Geraden durch 4 Punkte. Man kann zeigen, dass diese Punkte die kleinste Menge sind, die diese 27 Geraden definieren können. Im Allgemeinen hängt das von der Art der Oberfläche ab. Bei jeweils 4 Punkten alle untereinander verbunden, schneiden sich jeweils 3 Geraden in einem Punkt. Diese bilden die sogenannten Eckhardt-Punkte. Das heißt wir hätten in diesem Fall die Zahl von 4 Eckhardt-Punkten. Es gibt noch einige andere Möglichen mit der 6 als Summand. Interessant ist es zu untersuchen, für welche Oberflächen möglichst viele der Geraden durch jeweils einen gemeinsamen Punkt gehen.

    Abschließend bedenke man, dass alle diese Geraden im Gegensatz zu einer Ebene windschief im Raum liegen können. Das heißt, zwei unterschiedliche Geraden haben keinen gemeinsamen Punkt. In der 2-Dimensionalen Ebene geht das nur mit Parallelen, ein wesentlicher Unterschied zu höherdimensionalen Geometrien.