Pseudoholomorphe Kurve: Unterschied zwischen den Versionen

Aus cosmos-indirekt.de
imported>LoRo
Definition: colon eingefügt
 
imported>Redonebird
K Leerzeichen vor/nach Bindestrich korrigiert
 
Zeile 1: Zeile 1:
'''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  
'''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]].
[[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]].


Zeile 17: Zeile 17:
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.
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 praxi 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.
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 ==
== Analogie mit den klassischen Cauchy-Riemann-Differentialgleichungen ==
Zeile 47: Zeile 47:
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.
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.
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.
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 ==
== 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.
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 ==
== Literatur ==

Aktuelle Version vom 11. Juni 2021, 05:35 Uhr

Pseudoholomorphe Kurven (PHK) bezeichnen in der symplektischen Topologie eine glatte Abbildung von einer Riemannfläche in eine fast-komplexe Mannigfaltigkeit, die die Cauchy-Riemann-Differentialgleichungen erfüllt. Sie wurden 1985 durch Mikhail Gromow eingeführt und haben seitdem das Studium symplektischer Mannigfaltigkeiten revolutioniert, wo sie insbesondere für die Definition und das Studium von Gromov-Witten-Invarianten und der Floer-Homologie wichtig sind. Sie spielen auch eine Rolle in der Stringtheorie.

Definition

Sei X eine Mannigfaltigkeit mit fastkomplexer Struktur J und C eine glatte Riemannfläche (entsprechend einer komplexen algebraischen Kurve) mit komplexer Struktur j. Eine pseudoholomorphe Kurve in X ist eine Abbildung f:CX, die die Cauchy-Riemann-Differentialgleichungen

¯j,Jf:=12(df+Jdfj)=0.

erfüllt. Wegen J2=1 ist dies äquivalent zu

Jdf=dfj,

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

¯j,Jf=ν.

studiert. Die zugehörigen Kurven heißen dann (j,J,ν)-holomorphe Kurven. Manchmal nimmt man an, dass die Störung ν durch eine Hamiltonfunktion erzeugt wird (speziell in der 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 X, und „integriert“ über die die Struktur erhaltenden Reparametrisierungsfreiheitsgrade des Gebietes. Im Fall der Gromov-Witten-Invarianten beispielsweise betrachtet man nur geschlossene Gebiete C mit festem Geschlecht g und führt n markierte Punkte (oder Punkturen, das heißt entfernte Punkte) auf C ein. Sobald die punktierte Euler-Charakteristik 22gn negativ ist, gibt es nur endlich viele holomorphe Reparametrisierungen von C, die die markierten Punkte erhalten. Die Kurve C ist ein Element des Deligne-Mumford-Modulraums der Kurven.

Analogie mit den klassischen Cauchy-Riemann-Differentialgleichungen

Im klassischen Fall sind sowohl X wie C gleich der komplexen Zahlenebene. In reellen Koordinaten ist

j=J=[0110]

und

df=[du/dxdu/dydv/dxdv/dy]

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

Jdf=dfj

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

{du/dx=dv/dydv/dx=du/dy.

Anwendungen in der symplektischen Topologie

Obwohl sie für jede fast komplexe Mannigfaltigkeit definiert werden können, sind PHK besonders interessant, wenn J mit einer symplektischen Form ω verbunden ist. Eine fast komplexe Struktur J ist ω-zahm (ω-tame) dann und nur dann, falls

ω(v,Jv)>0

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

(v,w)=12(ω(v,Jw)+ω(w,Jv))

eine Riemannsche Metrik auf X definiert. Michail Gromow zeigte, dass für ein gegebenes ω der Raum der ω-zahmen J nicht leer und 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 stabiler Abbildungen – macht die Definition von Gromov-Witten-Invarianten 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-Superstringtheorie betrachtet man „World Sheet“- Flächen von Strings, die sich auf 3-dimensionalen Calabi-Yau-Mannigfaltigkeiten 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-Invarianten.

Literatur