Symplektische Abbildung

Eine symplektische Abbildung ist eine Objekt aus der Mathematik insbesondere aus der symplektischen Geometrie. Die symplektische Abbildung ist eine Verallgemeinerung der symplektischen linearen Abbildung, die die strukturerhaltende Abbildung zwischen symplektischen Vektorräume ist, in den Kontext der symplektischen Mannigfaltigkeiten. Eine Koordinatendarstellung der symplektischen linearen Abbildung wird symplektische Matrix genannt. Ist die symplektische Abbildung invertierbar, so wird sie als Symplektomorphismus bezeichnet.

Symplektische Abbildungen sind per Definition genau die Abbildungen die alternierende, nicht ausgeartete Bilinearformen unverändert lassen. Symplektische Abbildungen zwischen zwei Flächen bilden damit per Konstruktion die Klasse von Abbildungen, die die Größe von Flächen nicht verändern, also den Flächeninhalt gleich belassen. In höheren Dimensionen gibt es jedoch volumenerhaltende Abbildungen, die keine symplektischen Abbildungen sind. Ein analoges Konzept ist das der orthogonalen Abbildung, die symmetrische, nicht ausgeartete Bilinearformen unverändert lässt und damit Winkel nicht verändert.

In der klassischen Mechanik stellt ein Symplektomorphismus eine Transformation des Phasenraums dar, die volumenerhaltend ist und die symplektische Struktur des Phasenraums bewahrt, als kanonische Transformation bezeichnet.

Symplektische lineare Abbildungen

Definition

Seien $(V_{1},\omega _{1})$ und $(V_{2},\omega _{2})$ zwei symplektische Vektorräume. Eine lineare Abbildung $\phi \colon V_{1}\to V_{2}$ wird symplektische lineare Abbildung genannt, falls

$\omega _{2}(\phi (v),\phi (w))=\omega _{1}(v,w)$

für alle $v,w\in V_{1}$ gilt.

Eigenschaften

Eine symplektische lineare Abbildung ist injektiv. Dies folgt daraus, dass die symplektische Bilinearform $\omega$ nicht ausgeartet ist.

Die Menge der symplektischen linearen Abbildungen bildet zusammen mit der Verkettung von Funktionen die symplektische Gruppe, die im Folgenden mit $Sp(V)$ notiert wird. Insbesondere ist also die Verkettung symplektischer linearer Abbildungen und die Inverse einer linearen symplektischen Abbildung wieder linear symplektisch.

Sei $K$ ein Körper und $V=K^{2n}$ ein endlichdimensionaler Vektorraum. Die Elemente von $Sp(V)$ können auf natürliche Weise als $2n\times 2n$-Matrizen dargestellt werden. In Standardkoordinaten kann eine symplektische Form durch

$\omega (v,v')=\sum _{i}(x_{i}y'_{i}-x'_{i}y_{i})$

mit $v=(x_{1},\ldots x_{n},y_{1},\ldots y_{n})^{t}$ dargestellt werden. Mit der Matrix

$J:={\begin{pmatrix}0&E_{n}\\-E_{n}&0\end{pmatrix}}$,

wobei $E_{n}$ die $n\times n$-Einheitsmatrix ist, kann die symplektische Form $\omega$ durch

$\omega (v,v')=v^{t}Jv'$

notiert werden. Die symplektische Matrix $M\in Sp(K^{2n})$ – als Darstellung einer eines symplektischen Automorphismus – lässt die Bilinearform $\omega$ invariante, was

$\omega (Mv,Mv')=\omega (v,v')$

bedeutet, genau dann, wenn $M^{t}JM=J$ gilt.

Die Determinante einer symplektischen linearen Abbildung ist eins.

Definition

Seien $(M,\omega _{M})$ und $(N,\omega _{N})$ zwei symplektische Mannigfaltigkeiten der Dimension $n$ und sei $F\colon M\to N$ eine glatte Abbildung zwischen den zwei symplektischen Mannigfaltigkeiten. Die Abbildung $F$ heißt symplektisch falls

$F^{*}\omega _{N}=\omega _{M}$

gilt. Dabei bezeichnet $F^{*}\omega _{N}$ den Rücktransport von $\omega _{N}$ entlang $F$ und ist definiert als $F^{*}\omega _{N}(v,w):=\omega _{N}(DF(v),DF(w))$.

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} ein Diffeomorphismus, dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F^{-1}} ebenfalls eine symplektische Abbildung und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} wird Symplektomorphismus genannt.

Die Menge der Symplektomorphismen (auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} ) bildet zusammen mit der Verkettung die symplektische Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Sp(M)} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} .

Eigenschaften

• Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F\colon M \to N} ein symplektische Abbildung, dann ist das Differential Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D F \colon TM \to TN} eine symplektische lineare Abbildung.
• Die symplektischen Abbildungen sind die Morphismen in der Kategorie der symplektischen Mannigfaltigkeiten. Die Symplektomorphismen sind die Isomorphismen dieser Kategorie.
• Ein Diffeomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F \colon M \to N} ist genau dann symplektisch, wenn er die Poisson-Klammer nicht verändert, das heißt, wenn

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{f,g\} \circ F=\{f \circ F,g \circ F\}}

gilt.

Weblinks

• Eric W. Weisstein: Symplectic Map. In: MathWorld (englisch).
• Eric W. Weisstein: Symplectic Diffeomorphism. In: MathWorld (englisch).
• Scholarpedia: Christophe Golé: Symplectic Maps (englisch)