Quelltext der Seite Gromov-Witten-Invariante

Du bist aus dem folgenden Grund nicht berechtigt, die Seite zu bearbeiten:
Diese Aktion ist auf Benutzer beschränkt, die der Gruppe „Benutzer“ angehören.
Du kannst den Quelltext dieser Seite betrachten und kopieren.
'''Gromov-Witten-Invarianten''' sind eine spezielle Form topologischer [[Invariante (Mathematik)|Invarianten]], welche eine Verbindung zwischen [[Topologie (Mathematik)|Topologie]] und [[Algebra]] herstellen.

Genauer bezeichnen sie in der [[Symplektische Topologie|symplektischen Topologie]] und [[Algebraische Geometrie|algebraischen Geometrie]] rationale Zahlen, die [[pseudoholomorphe Kurve]]n (mit gewissen Zusatzbedingungen) auf einer [[Symplektische Mannigfaltigkeit|symplektischen Mannigfaltigkeit]] zählen und zur Unterscheidung symplektischer Mannigfaltigkeiten dienen. Sie können als [[Homologietheorie|Homologie]] oder [[Kohomologie]]klasse eines zugehörigen Raumes oder als deformiertes [[Cup-Produkt]] einer [[Quantenkohomologie]] aufgefasst werden. Die Gromov-Witten-Invarianten sind nach [[Michail Leonidowitsch Gromow|Michail Gromow]] und [[Edward Witten]] benannt. Sie spielen auch eine wichtige Rolle in der [[Topologische Stringtheorie|topologischen Stringtheorie]].

Die genaue mathematische Konstruktion wird in einem eigenen Artikel „[[Stabile Abbildung]]“ behandelt.

== Definition ==

Sei <math>X</math> eine geschlossene symplektische Mannigfaltigkeit der Dimension <math>2k</math>, <math>A</math> eine 2-dimensionale Homologieklasse in <math>X</math> und <math>g</math>, <math>n</math> beliebige natürliche Zahlen einschließlich Null. Weiter sei

:<math>\bar M_{g, n}</math>

der [[Deligne-Mumford-Modulraum]] von Kurven des Geschlechts <math>g</math> mit <math>n</math> markierten (ausgezeichneten) Punkten, und

:<math>M := \bar M_{g, n}(X, A)</math>

der Modulraum stabiler Abbildungen nach <math>X</math> der Klasse <math>A</math>, der die reelle Dimension

:<math>d := 2 c_1^X (A) + (2k - 6) (1 - g) + 2 n.</math>

hat. Schließlich sei

:<math>Y := \bar M_{g, n} \times X^n,</math>

mit der reellen Dimension <math>6g - 6 + 2 k n</math>. Die Ausführungsabbildung bildet die [[Fundamentalklasse]] von <math>M</math> auf eine <math>d</math>-dimensionale rationale Homologieklasse in <math>Y</math> ab: 

:<math>GW_{g, n}^{X, A} \in H_d(Y, \mathbb{Q}).</math>

Diese Homologieklasse ist in gewisser Weise die ''Gromov-Witten-Invariante'' von <math>X</math> zu den Werten <math>g</math>, <math>n</math> und <math>A</math>. Sie ist eine Invariante der symplektischen [[Isotopie (Topologie)|Isotopie]] der symplektischen Mannigfaltigkeit <math>X</math>.

Um die Gromov-Witten-Invariante geometrisch zu interpretieren, sei <math>\gamma</math> eine Homologieklasse in <math>\bar M_{g, n}</math> und <math>\alpha_1, \ldots, \alpha_n</math> Homologieklassen in <math>X</math>, so dass die Summe der Kodimensionen von <math>\gamma, \alpha_1, \ldots, \alpha_n</math> gleich <math>d</math> ist. Das schließt Homologieklassen in <math>Y</math> über die [[Künnethformel]] mit ein. Sei

:<math>GW_{g, n}^{X, A}(\gamma, \alpha_1, \ldots, \alpha_n) := GW_{g, n}^{X, A} \cdot \gamma \cdot \alpha_1 \cdot \cdots \cdot \alpha_n \in H_0(Y, \mathbb{Q}),</math>

wobei <math>\cdot</math> das [[Schnittprodukt]] ({{lang|en|intersection product}}) in der rationalen Homologie von <math>Y</math> bezeichnet. Dieses ist eine rationale Zahl, die ''Gromov-Witten-Invariante'' für diese Klassen. Sie zählt die pseudoholomorphen Kurven (in der Klasse <math>A</math> mit Geschlecht <math>g</math>, mit Definitionsgebiet im „<math>\gamma</math>-Teil“ des Deligne-Mumford-Raumes) „virtuell“ ab, wobei die <math>n</math> ausgezeichneten Punkte auf die durch die <math>\alpha_i</math> repräsentierten Zyklen abgebildet werden.

Vereinfacht ausgedrückt zählt die Gromov-Witten-Invariante, wie viele Kurven <math>n</math> ausgewählte Untermannigfaltigkeiten von <math>X</math> schneiden. Wegen der mit der Bezeichnung „virtuell“ angedeuteten Natur dieser Abzählung müssen diese aber keine natürlichen Zahlen sein, da der Raum der stabilen Abbildungen eine [[Orbifaltigkeit]] ist, an dessen Isotropiepunkten nichtganze Zahlen zur Invarianten beitragen können. 

Es gibt viele Abwandlungen dieser Konstruktion, in denen z.&nbsp;B. statt Homologie Kohomologie verwendet wird oder statt Schnitten eine Integration. Manchmal werden die „{{lang|en|pull-back}}“ (vom Deligne-Mumford-Raum) [[Chern-Klasse]]n auch integriert.

== Berechnungsverfahren ==

Gromov-Witten-Invarianten sind im Allgemeinen schwierig zu berechnen. Während sie zwar für jede generische [[fast-komplexe Struktur]] <math>J</math> definiert sind, für die die Linearisierung <math>D</math> des Operators <math>\bar \partial_{j, J}</math>[[surjektiv]] ist, muss in der Praxis ein bestimmtes <math>J</math> gewählt werden. Meist wird ein <math>J</math> mit speziellen Eigenschaften gewählt, etwa speziellen Symmetrien oder Integrabilität. Tatsächlich werden die Rechnungen oft auf [[Kählermannigfaltigkeit]]en mit Techniken der algebraischen Geometrie ausgeführt.

Allerdings kann ein spezielles <math>J</math> zu einem nicht-surjektiven <math>D</math> führen und damit zu einem Modulraum pseudoholomorpher Kurven, der größer als erwartet ist. Grob gesagt korrigiert man diesen Effekt, indem man aus dem [[Kokern]] von <math>D</math> ein Vektorbündel formt, Obstruktionsbündel (engl. {{lang|en|''obstruction bundle''}}) genannt, und die Gromov-Witten-Invariante dann als Integral auf der [[Eulerklasse]] dieses Bündels definiert. Technisch wird dabei die Theorie der [[polyfold]]s genutzt.

Die hauptsächliche Berechnungsmethode ist die ''Lokalisierung''. Sie ist anwendbar, falls <math>X</math> eine Torus-Mannigfaltigkeit ist, das heißt, wenn auf ihr die Wirkung eines komplexen Torus vorhanden ist oder sie wenigstens lokal ein Torus ist. Dann kann man den [[Atiyah-Bott-Fixpunktsatz]] (von [[Michael Atiyah]] und [[Raoul Bott]]) um die Berechnung der Invarianten auf eine Integration über den Ort der Fixpunkte der Wirkung reduzieren („lokalisieren“). 

Ein anderer Zugang nutzt symplektische „[[Chirurgie (Topologie)|Chirurgie]]“ (''surgery'') um <math>X</math> in Mannigfaltigkeiten zu zerlegen, auf denen die Berechnung der Gromov-Witten-Invarianten einfacher ist. Natürlich muss man dazu erst einmal das Verhalten der Mannigfaltigkeiten unter Chirurgie verstehen. Für diese Anwendungen nutzt man häufig die aufwendiger definierten „relativen Gromov-Witten-Invarianten“, die Kurven mit vorgeschriebenen Tangentialeigenschaften entlang symplektischer Untermannigfaltigkeiten von <math>X</math> mit reeller Kodimension 2 zählen.

== Verwandte Invarianten und Konstruktionen ==

Die Gromov-Witten-Invarianten sind eng mit anderen geometrischen Konzepten wie den [[Donaldson-Invariant]]en und den [[Seiberg-Witten-Invariante]]n verbunden. Für kompakte symplektische 4-Mannigfaltigkeiten hat [[Clifford Taubes]] gezeigt, dass eine Variante der Gromov-Witten-Invarianten ([[Taubes’ Gromov-Invariante]]) äquivalent zu den Seiberg-Witten Invarianten ist. Es wird vermutet, dass sie dieselbe Information wie die [[Donaldson-Thomas-Invariante]] und die [[Gopakumar-Vafa-Invariante]]n, die beide ganzzahlig sind, beinhalten.

Gromov-Witten-Invarianten können auch in der Sprache der algebraischen Geometrie formuliert werden. In einigen Fällen stimmen sie mit den klassischen abzählenden Invarianten überein, zeichnen sich aber im Allgemeinen zusätzlich durch ein Kompositionsgesetz für das „Zusammenkleben“ von Kurven aus. Die Invarianten können im Quantenkohomologiering der Mannigfaltigkeit <math>X</math> zusammengefasst werden, einer Deformation der gewöhnlichen Kohomologie. Das Kompositionsgesetz der Invarianten macht dann das deformierte Cup-Produkt assoziativ.

Der Quantenkohomologiering ist isomorph zur symplektischen [[Floer-Homologie]] mit ihrem „{{lang|en|pair of pants}}“-Produkt.

== Anwendungen in der Physik ==

Gromov-Witten-Invarianten sind von Interesse in der [[Stringtheorie]], in der die Elementarteilchen als Anregungen 1+1-dimensionaler Strings dargestellt werden. „1+1“ bezieht sich dabei auf die Raum-Zeit-Dimension des String-„World Sheets“, das sich in einem 10-dimensionalen Raum-Zeit-Hintergrund ausbreitet. Da der Modulraum solcher Flächen (die Zahl seiner Freiheitsgrade) unendlichdimensional ist und kein mathematisches Maß für ihn bekannt ist, fehlt der [[Pfadintegral]]beschreibung dieser Theorie eine mathematisch strenge Grundlage. 

Im Falle mathematischer Modelle, die topologische Stringtheorien genannt werden und die 6 Raum-Zeit-Dimensionen haben, die eine symplektische Mannigfaltigkeit bilden, ist die Situation besser. Die Weltflächen werden durch pseudoholomorphe Kurven parametrisiert, deren Modulräume endlichdimensional sind. Gromov-Witten-Invarianten sind hier Integrale über diese Modulräume, und entsprechen den Wegintegralen in diesen Theorien. Insbesondere ist die Zustandssumme der topologischen Stringtheorie zu Geschlecht <math>g</math> gleich der erzeugenden Funktion der Gromov-Witten-Invariante zu Geschlecht <math>g</math>.

== Literatur ==

* [[Dusa McDuff]], [[Dietmar Salamon]]: ''J-Holomorphic Curves and Symplectic Topology'' (= ''American Mathematical Society. Colloquium Publications'' 52). American Mathematical Society, Providence RI 2004, ISBN 0-8218-3485-1.
* Sergei Piunikhin, Dietmar Salamon, Matthias Schwarz: ''Symplectic Floer-Donaldson theory and quantum cohomology.'' In C. B. Thomas (Hrsg.): ''Contact and Symplectic Geometry'' (= ''Publications of the Newton Institute'' 8). Cambridge University Press, Cambridge u. a. 1996, ISBN 0-521-57086-7, S. 171–200.

[[Kategorie:Differentialgeometrie]]
[[Kategorie:Stringtheorie]]
[[Kategorie:Algebraische Geometrie]]
Folgende Vorlagen werden auf dieser Seite verwendet:
Zurück zur Seite Gromov-Witten-Invariante.
Abgerufen von „https://www.cosmos-indirekt.de/Physik-Schule/Gromov-Witten-Invariante“