Quelltext der Seite Pseudoholomorphe Kurve

'''Pseudoholomorphe Kurven''' (PHK) bezeichnen in der [[symplektische Topologie|symplektischen Topologie]] eine [[glatte Abbildung]] von einer [[Riemannsche Fläche|Riemannfläche]] in eine [[Fastkomplexe Mannigfaltigkeit|fast-komplexe Mannigfaltigkeit]], die die
[[Cauchy-Riemannsche partielle Differentialgleichungen|Cauchy-Riemann-Differentialgleichung]]en erfüllt. Sie wurden 1985 durch [[Michail Leonidowitsch Gromow|Mikhail Gromow]] eingeführt und haben seitdem das Studium [[symplektische Mannigfaltigkeit|symplektischer Mannigfaltigkeiten]] revolutioniert, wo sie insbesondere für die Definition und das Studium von [[Gromov-Witten-Invariante]]n und der [[Floer-Homologie]] wichtig sind. Sie spielen auch eine Rolle in der [[Stringtheorie]].

== Definition ==
Sei <math>X</math> eine Mannigfaltigkeit mit fastkomplexer Struktur <math>J</math> und <math>C</math> eine glatte Riemannfläche (entsprechend einer komplexen algebraischen Kurve) mit komplexer Struktur <math>j</math>. Eine  ''pseudoholomorphe Kurve'' in <math>X</math> ist eine Abbildung <math>f \colon C \to X</math>, die die Cauchy-Riemann-Differentialgleichungen

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

erfüllt. Wegen <math>J^2 = -1</math> ist dies äquivalent zu

:<math>J \circ df = df \circ j,</math>

Geometrisch bedeutet dies, dass das Differential <math>df</math> komplex-linear ist, das heißt,  <math>J</math> bildet jeden Tangentenraum <math>T_xf(C)\subset T_xX</math> auf sich ab. Aus technischen Gründen wird häufig ein inhomogener Term <math>\nu</math> eingeführt und es werden dann die gestörten Cauchy-Riemann-Differentialgleichungen

:<math>\bar \partial_{j, J} f = \nu.</math>

studiert. Die zugehörigen Kurven heißen dann ''<math>(j, J, \nu)</math>-holomorphe Kurven''. Manchmal nimmt man an, dass die Störung <math>\nu</math> durch eine [[Hamiltonfunktion]] erzeugt wird (speziell in der [[Floer-Homologie|Floertheorie]]), das muss aber nicht sein.

Nach ihrer Definition sind PHK immer parametrisiert, in der Praxis ist man aber auch an nicht-parametrisierten Kurven interessiert, das heißt eingebettete 2-Untermannigfaltigkeiten von  <math>X</math>, und „integriert“ über die die Struktur erhaltenden Reparametrisierungsfreiheitsgrade des Gebietes. Im Fall der [[Gromov-Witten-Invariante]]n beispielsweise betrachtet man nur geschlossene Gebiete <math>C</math> mit festem Geschlecht <math>g</math> und führt <math>n</math> ''markierte Punkte'' (oder ''Punkturen'', das heißt entfernte Punkte) auf <math>C</math> ein. Sobald die punktierte [[Euler-Charakteristik]] <math>2 - 2 g - n</math> negativ ist, gibt es nur endlich viele holomorphe Reparametrisierungen von <math>C</math>, die die markierten Punkte erhalten. Die Kurve <math>C</math> ist ein Element des [[Deligne-Mumford-Modulraums]] der Kurven.

== Analogie mit den klassischen Cauchy-Riemann-Differentialgleichungen ==
Im klassischen Fall sind sowohl <math>X</math> wie <math>C</math> gleich der komplexen Zahlenebene. In reellen Koordinaten ist

:<math>j = J = \begin{bmatrix} 0 & -1 \\ 1 & 0 \end{bmatrix}</math>

und

:<math>df = \begin{bmatrix} du/dx & du/dy \\ dv/dx & dv/dy \end{bmatrix}</math>

wobei <math>f(x, y) = (u(x, y), v(x, y))</math>. Multipliziert man diese Matrizen in den beiden möglichen Reihenfolgen sieht man sofort, dass die obige Gleichung

:<math>J \circ df = df \circ j</math>

äquivalent zu den klassischen Cauchy-Riemann-Differentialgleichungen ist:

:<math>\begin{cases} du/dx = dv/dy \\ dv/dx = -du/dy. \end{cases}</math>

== Anwendungen in der symplektischen Topologie ==
Obwohl sie für jede fast komplexe Mannigfaltigkeit definiert werden können, sind PHK besonders interessant, wenn <math>J</math> mit einer symplektischen Form <math>\omega</math> verbunden ist. Eine fast komplexe Struktur <math>J</math> ist ''<math>\omega</math>-zahm'' (<math>\omega</math>-tame) dann und nur dann, falls

:<math>\omega(v, J v) > 0</math>

für alle von Null verschiedenen Tangentenvektoren <math>v</math>. „Zahmheit“ (tameness) hat zur Folge, dass

:<math>(v, w) = \frac{1}{2}\left(\omega(v, Jw) + \omega(w, Jv)\right)</math>

eine Riemannsche Metrik auf  <math>X</math> definiert. [[Michail Leonidowitsch Gromow|Michail Gromow]] zeigte, dass für ein gegebenes <math>\omega</math> der Raum der <math>\omega</math>-zahmen <math>J</math> nicht leer und [[Zusammenziehbarer Raum|zusammenziehbar]] ist. Er bewies damit sein „nonsqueezing theorem“ über die symplektische Einbettung von Sphären in Zylinder.

Gromov zeigte weiter, dass gewisse Modulräme von PHK (mit gewissen Zusatzbedingungen) kompakt sind und beschrieb, wie PHK entarten können wenn nur endliche Energie zur Verfügung steht. Dieses „Kompaktheitstheorem von Gromov“ – später stark verallgemeinert durch Verwendung [[Gromov-Witten-Invariante|stabiler Abbildungen]] – macht die Definition von [[Gromov-Witten-Invariante]]n möglich, die PHK in symplektischen Mannigfaltigkeiten abzählen.

Kompakte Modulräume von PHK werden auch zur Konstruktion der [[Floer-Homologie]] genutzt, die [[Andreas Floer]] zum Beweis der berühmten Arnold-Vermutung benutzte.

== Anwendungen in der Physik ==
In der Typ II-[[Stringtheorie|Superstringtheorie]] betrachtet man „World Sheet“- Flächen von Strings, die sich auf 3-dimensionalen [[Calabi-Yau-Mannigfaltigkeit]]en bewegen. In der [[Pfadintegral]]-Formulierung der [[Quantenfeldtheorie]] möchte man über den Raum („Modulraum“) all dieser Flächen integrieren. Dieser Raum hat aber unendlich viele Dimensionen und ist im Allgemeinen mathematisch nicht zugänglich, man kann aber im sogenannten A-twist ableiten, dass diese Flächen durch PHK parametrisiert werden, so dass man es mit einer Integration im endlich dimensionalen Modulraum der PHK zu tun hat. In der II A-Stringtheorie sind diese Integrale gerade die [[Gromov-Witten-Invariante]]n.

== 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.
* [[Michail Leonidowitsch Gromow|Mikhail Gromov]]: ''Pseudo holomorphic curves in symplectic manifolds.'' In: ''[[Inventiones Mathematicae]].'' 82, 1985, S. 307–347, [http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002102226 online].

== Weblinks ==
* [http://www.ams.org/notices/200509/200509-toc.html Donaldson ''What is a pseudoholomorphic curve'', Notices AMS 2005] (englisch)


[[Kategorie:Komplexe Mannigfaltigkeit]]
[[Kategorie:Symplektische Topologie]]
[[Kategorie:Stringtheorie]]