# 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 $F$ ein Diffeomorphismus, dann ist $F^{-1}$ ebenfalls eine symplektische Abbildung und $F$ wird Symplektomorphismus genannt.
Die Menge der Symplektomorphismen (auf $M$) bildet zusammen mit der Verkettung die symplektische Gruppe $Sp(M)$ auf $M$.

## Eigenschaften

* Ist $F\colon M\to N$ ein symplektische Abbildung, dann ist das Differential $DF\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 $F\colon M\to N$ ist genau dann symplektisch, wenn er die Poisson-Klammer nicht verändert, das heißt, wenn
       $\{f,g\}\circ F=\{f\circ F,g\circ F\}$
    gilt.