In der symplektischen Topologie kann man den Modulraum stabiler Abbildungen, von Riemannschen Flächen in eine gegebene symplektische Mannigfaltigkeit definieren. Dieser Modulraum ist wesentlich für die Konstruktion der Gromov-Witten-Invarianten, die in der abzählenden algebraischen Geometrie und der Stringtheorie Anwendung finden.
$ X $ sei eine geschlossene symplektische Mannigfaltigkeit mit der symplektischen Form $ \omega $. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): n seien natürliche Zahlen einschließlich Null und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A eine zweidimensionale Homologieklasse in $ X $. Dann kann man die Menge der pseudoholomorphen Kurven
betrachten, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (C, j) eine glatte, geschlossene Riemannsche Fläche des Geschlechts Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): n markierten (ausgezeichneten) Punkten $ x_{1},\ldots ,x_{n} $ ist, und
eine Funktion ist, die für die Wahl einer bestimmten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \omega -zahmen (tame) fast komplexen Struktur Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): J und inhomogenem Term Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \nu , die gestörten Cauchy-Riemann-Differentialgleichungen
erfüllt. Typischerweise erlaubt man nur solche Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): n , die die punktierte Euler-Poincare-Charakteristik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): 2 - 2g - n von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): C negativ machen. Dann ist das Gebiet stabil, das heißt, es gibt nur eine endliche Zahl von Automorphismen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): C , die die markierten Punkte erhalten.
Der Operator $ {\bar {\partial }}_{j,J} $ ist ein elliptischer Operator und daher vom Fredholm-Typ. Nach beträchtlicher analytischer Arbeit[1] kann man zeigen, dass für eine generische Wahl des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \omega -zahmen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): J und der Störung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \nu die Menge der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (j, J, \nu) -holomorphen Kurven vom Geschlecht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g mit $ n $ markierten Punkten, die die Klasse Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A darstellen, eine glatte, orientierte Orbifaltigkeit
ist, mit einer Dimension, die durch das Atiyah-Singer-Indextheorem gegeben ist:
Dieser Modulraum ist nicht kompakt, da eine Folge von Kurven in eine singuläre Kurve entarten kann, die dann außerhalb des bisher definierten Modulraums liegen würde. Das passiert z. B., wenn sich die Energie von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): f (gemeint ist die L2-Norm der Ableitung) in einem Punkt des Definitionsgebietes der Funktion (im Folgenden kurz Gebiet genannt) konzentriert. Man kann die Energie durch Reskalierung der Abbildung um den Konzentrationspunkt „einfangen“, wobei bildlich eine Sphäre (bubble, Blase, genannt) an das Gebiet angehängt wird und die Abbildung auf diese Blase ausgedehnt wird. Dabei können weitere Konzentrationspunkte erzeugt werden, so dass man iterativ vorgehen muss und dabei einen ganzen Bubble-Baum erzeugt.
Um das Ganze exakter zu formulieren definiert man eine stabile Abbildung als pseudoholomorphe Abbildung von einer Riemannfläche mit im schlimmsten Fall Knoten-Singularitäten, so dass es nur endlich viele Automorphismen der Abbildung gibt. Eine glatte Komponente einer Riemannfläche mit Knoten wird stabil genannt, wenn es nur endlich viele Automorphismen gibt, die die Knotenpunkte und markierten Punkte erhalten. Eine stabile Abbildung ist eine pseudoholomorphe Abbildung mit wenigstens einer stabilen Gebietskomponente, so dass für alle anderen Gebietskomponenten die Abbildung nicht-konstant ist oder die Komponente stabil ist.
Das Gebiet einer stabilen Abbildung muss keine stabile Kurve sein, aber man kann seine instabilen Komponenten iterativ kontrahieren und so eine stabile Kurve erzeugen, die die Stabilisierung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathrm{st}(C) des Gebietes $ C $ genannt wird.
Die Menge aller stabilen Abbildungen von Riemannflächen des Geschlechts Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): n markierten Punkte bildet einen Modulraum
Die Topologie ist dadurch definiert, dass eine Folge stabiler Abbildungen dann und nur dann konvergent ist, wenn
Der Modulraum der stabilen Abbildungen ist kompakt: jede Folge stabiler Abbildungen konvergiert gegen eine stabile Abbildung. Zum Beweis reskaliere man iterativ die Folge der Abbildungen. Jedes Mal erhält man im Grenzübergang ein neues Gebiet (möglicherweise singulär), mit weniger Energie-Konzentration als im Iterationsschritt davor. An dieser Stelle fließt das Vorhandensein einer symplektischen Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \omega in wesentlicher Weise ein. Die Energie jeder glatten Abbildung, die die Homologieklasse $ B $ darstellt, ist von unten durch die symplektische Fläche Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \omega(B) begrenzt,
wobei das Gleichheitszeichen dann und nur dann gilt, falls die Abbildung pseudoholomorph ist. Das begrenzt die Energie, die in der Wiederholung der Reskalierung eingefangen wird und stellt sicher, dass nur endlich viele Reskalierungen nötig sind um die gesamte Energie einzufangen. Am Ende ist die Grenz-Abbildung auf dem neuen Grenz-Gebiet stabil.
Der kompaktifizierte Raum ist wieder eine glatte, orientierte Orbifaltigkeit. Abbildungen mit nicht-trivialen Automorphismen entsprechen Punkten auf der Orbifaltigkeit mit Isotropie.
Um Gromov-Witten-Invarianten zu konstruieren, führt man eine Ausführungsabbildung (evaluation map) im Modulraum der stabilen Abbildungen aus
um unter geeigneten Bedingungen eine rationale Homologieklasse zu bekommen:
Rationale Koeffizienten sind nötig, da der Modulraum eine Orbifaltigkeit ist. Die durch die Ausführungsabbildung definierte Homologieklasse ist unabhängig von der Wahl des generischen $ \omega $-zahmen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): J und der Störung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \nu . Sie wird die Gromov-Witten-Invariante (GW) von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): X für gegebene Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): n , und $ A $ genannt. Die Unabhängigkeit (bis auf Isotopie) der Homologieklasse von der Wahl von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \omega kann durch ein Kobordismus-Argument gezeigt werden. Die GW sind also Invariante von symplektischen Isotopieklassen symplektischer Mannigfaltigkeiten.
Die „geeigneten Bedingungen“ sind ziemlich technisch, hauptsächlich weil Abbildungen mit mehreren Blättern (einer Überlagerungsmannigfaltigkeit) größere Modulräume als erwartet bilden können. Die einfachste Vorgehensweise ist dann anzunehmen, dass die Zielmannigfaltigkeit der Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): X in einem bestimmten Sinn semipositiv (halbpositiv) oder eine Fano-Mannigfaltigkeit ist. Der Modulraum mehrfach-überdeckender Abbildungen hat dann mindestens Ko-Dimension 2 im Raum der einfach-überdeckenden Abbildungen. Das Bild der Ausführungsabbildung (evaluation map) bildet dann einen Pseudozyklus (pseudocycle), womit sich eine wohldefinierte Homologieklasse in der erwarteten Dimension definieren lässt. GW ohne eine Art Semipositivität verlangt eine schwierige technische Konstruktion, bekannt als Virtueller Modul-Zyklus (virtual moduli cycle).