imported>Invisigoth67: typo, form

2024-12-29T09:10:10Z

typo, form

Neue Seite

In der [[symplektische Topologie|symplektischen Topologie]] kann man den Modulraum '''stabiler Abbildungen''', von [[Riemannsche Fläche|Riemannschen Flächen]] in eine gegebene [[symplektische Mannigfaltigkeit]] definieren. Dieser Modulraum ist wesentlich für die Konstruktion der [[Gromov-Witten-Invariante]]n, die in der [[abzählende Geometrie|abzählenden]] [[algebraische Geometrie|algebraischen Geometrie]] und der [[Stringtheorie]] Anwendung finden.

== Der Modulraum pseudoholomorpher Kurven ==

<math>X</math> sei eine geschlossene [[symplektische Mannigfaltigkeit]] mit der symplektischen Form <math>\omega</math>. <math>g</math> und <math>n</math> seien natürliche Zahlen einschließlich Null und <math>A</math> eine zweidimensionale [[Homologietheorie|Homologieklasse]] in <math>X</math>. Dann kann man die Menge der [[Pseudoholomorphe Kurve|pseudoholomorphen Kurven]]

:<math>((C, j), f, (x_1, \ldots, x_n))\,</math>

betrachten, wobei <math>(C, j)</math> eine glatte, geschlossene [[Riemannsche Fläche]] des Geschlechts <math>g</math> mit <math>n</math> markierten (ausgezeichneten) Punkten <math>x_1, \ldots, x_n</math> ist, und

:<math>f \colon C \to X\,</math>

eine Funktion ist, die für die Wahl einer bestimmten <math>\omega</math>-zahmen (tame) [[fast komplexe Struktur|fast komplexen Struktur]] <math>J</math> und inhomogenem Term <math>\nu</math>, die gestörten [[Cauchy-Riemannsche partielle Differentialgleichungen|Cauchy-Riemann-Differentialgleichung]]en

:<math>\bar \partial_{j, J} f := \frac{1}{2}(df + J \circ df \circ j) = \nu.</math>

erfüllt. Typischerweise erlaubt man nur solche <math>g</math> und <math>n</math>, die die punktierte [[Euler-Poincare-Charakteristik]] <math>2 - 2g - n</math> von <math>C</math> negativ machen. Dann ist das Gebiet ''stabil'', das heißt, es gibt nur eine endliche Zahl von [[Automorphismus|Automorphismen]] von <math>C</math>, die die markierten Punkte erhalten.

Der Operator <math>\bar \partial_{j, J}</math> ist ein [[elliptischer Differentialoperator|elliptischer Operator]] und daher vom [[Fredholmoperator|Fredholm]]-Typ. Nach beträchtlicher analytischer Arbeit<ref>Vervollständigung eines geeigneten [[Sobolew-Raum]]es, Anwendung des [[Satz von der impliziten Funktion|Satzes über implizite Funktionen]], [[Satz von Sard|Sards Satz]] für [[Banachraum|Banachräume]], Nutzung [[elliptischer Differentialoperator#Regularität|elliptischer Regularität]] um die Glattheit zurückzugewinnen.</ref> kann man zeigen, dass für eine generische Wahl des <math>\omega</math>-zahmen <math>J</math> und der Störung <math>\nu</math> die Menge der <math>(j, J, \nu)</math>-holomorphen Kurven vom Geschlecht <math>g</math> mit <math>n</math> markierten Punkten, die die Klasse <math>A</math> darstellen, eine glatte, orientierte [[Orbifaltigkeit]]

:<math>M_{g, n}^{J, \nu}(X, A)</math>

ist, mit einer Dimension, die durch das [[Atiyah-Singer-Indextheorem]] gegeben ist:

:<math>d := \dim_{\mathbb{R}} M_{g, n}(X, A) = 2 c_1^X(A) + (\dim_{\mathbb{R}} X - 6)(1 - g) + 2 n.</math>

== Die Kompaktifizierung der stabilen Abbildungen ==

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 <math>f</math> (gemeint ist die [[Lp-Raum|''L''<sup>2</sup>-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'' <math>\mathrm{st}(C)</math> des Gebietes <math>C</math> genannt wird.

Die Menge aller stabilen Abbildungen von Riemannflächen des Geschlechts <math>g</math> mit <math>n</math> markierten Punkte bildet einen Modulraum

:<math>\bar M_{g, n}^{J, \nu}(X, A).</math>

Die Topologie ist dadurch definiert, dass eine Folge stabiler Abbildungen dann und nur dann konvergent ist, wenn
*ihre (stabilisierten) Gebiete im [[Deligne-Mumford-Modulraum]] der Kurven <math>\bar M_{g, n}</math> konvergieren,
*sie gleichmäßig in allen Ableitungen auf kompakten Untermengen außerhalb der Knoten konvergieren, und
*Die Energie-Konzentration in jedem Punkt gleich der Energie in jedem ''bubble''-Baum ist, der diesem Punkt in der Grenz-Abbildung zugeordnet ist.

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 <math>\omega</math> in wesentlicher Weise ein. Die Energie jeder glatten Abbildung, die die Homologieklasse <math>B</math> darstellt, ist von unten durch die ''symplektische Fläche'' <math>\omega(B)</math> begrenzt,

:<math>\omega(B) \leq \frac{1}{2} \int |df|^2,</math>

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]].

== Der Gromov-Witten-Pseudozyklus ==

Um [[Gromov-Witten-Invariante]]n zu konstruieren, führt man eine Ausführungsabbildung (''evaluation map'') im Modulraum der stabilen Abbildungen aus

:<math>M_{g, n}^{J, \nu}(X, A) \to \bar M_{g, n} \times X^n,</math>

:<math>((C, j), f, (x_1, \ldots, x_n)) \mapsto (\mathrm{st}(C, j), f(x_1), \ldots, f(x_n))</math>

um unter geeigneten Bedingungen eine rationale Homologieklasse zu bekommen:

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

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 <math>\omega</math>-zahmen <math>J</math> und der Störung <math>\nu</math>. Sie wird die ''Gromov-Witten-Invariante'' (GW) von <math>X</math> für gegebene <math>g</math>, <math>n</math>, und <math>A</math> genannt. Die Unabhängigkeit (bis auf [[Isotopie (Topologie)|Isotopie]]) der Homologieklasse von der Wahl von <math>\omega</math> 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 <math>X</math> 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).

== 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.

== Einzelnachweise ==
<references />

[[Kategorie:Topologie]]
[[Kategorie:Differentialgeometrie]]
[[Kategorie:Stringtheorie]]
[[Kategorie:Algebraische Geometrie]]

Stabile Abbildung - Versionsgeschichte

imported>Invisigoth67: typo, form