Pseudoholomorphe Kurve: Unterschied zwischen den Versionen

Pseudoholomorphe Kurve: Unterschied zwischen den Versionen

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\colon C\to X $, die die Cauchy-Riemann-Differentialgleichungen

$ {\bar {\partial }}_{j,J}f:={\frac {1}{2}}(df+J\circ df\circ j)=0. $

erfüllt. Wegen $ J^{2}=-1 $ ist dies äquivalent zu

$ J\circ df=df\circ j, $

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

$ {\bar {\partial }}_{j,J}f=\nu . $

studiert. Die zugehörigen Kurven heißen dann $ (j,J,\nu ) $-holomorphe Kurven. Manchmal nimmt man an, dass die Störung $ \nu $ 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 $ 2-2g-n $ 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={\begin{bmatrix}0&-1\\1&0\end{bmatrix}} $

und

$ df={\begin{bmatrix}du/dx&du/dy\\dv/dx&dv/dy\end{bmatrix}} $

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

$ J\circ df=df\circ j $

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

$ {\begin{cases}du/dx=dv/dy\\dv/dx=-du/dy.\end{cases}} $

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 $ \omega $ verbunden ist. Eine fast komplexe Struktur $ J $ ist $ \omega $-zahm ($ \omega $-tame) dann und nur dann, falls

$ \omega (v,Jv)>0 $

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

$ (v,w)={\frac {1}{2}}\left(\omega (v,Jw)+\omega (w,Jv)\right) $

eine Riemannsche Metrik auf $ X $ definiert. Michail Gromow zeigte, dass für ein gegebenes $ \omega $ der Raum der $ \omega $-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

  • 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.
  • Mikhail Gromov: Pseudo holomorphic curves in symplectic manifolds. In: Inventiones Mathematicae. 82, 1985, S. 307–347, online.

Weblinks