Lagrangesche Untermannigfaltigkeit
# Lagrangesche Untermannigfaltigkeit

In der symplektischen Geometrie, der mathematischen Formalisierung der hamiltonschen Mechanik, werden die maximalen isotropen Untermannigfaltigkeiten symplektischer Mannigfaltigkeiten als lagrangesche Untermannigfaltigkeiten bezeichnet.

Ihre Bedeutung stammt unter anderem daher, dass sich Fragen über periodische Bahnen hamiltonscher Systeme in Fragen über die Schnitte lagrangescher Untermannigfaltigkeiten übersetzen lassen. Sei nämlich $\phi :=\phi _{H}^{1}$ die Zeit-1-Abbildung eines hamiltonschen Flusses, dann liegt $x$ genau dann auf einer 1-periodischen Bahn, wenn $(x,x)$ zum Schnitt $\Gamma _{\phi }\cap \Gamma _{id}$ der lagrangeschen Graphen von $\phi$ und $id$ gehört.

## Definition

Eine Untermannigfaltigkeit $L$ einer symplektischen Mannigfaltigkeit $(M,\omega )$ heißt isotrop, wenn

    $\omega \mid _{TL}=0$

gilt, das heißt wenn die Einschränkung der symplektischen Form auf den Tangentialraum von $L$ verschwindet. Für die Dimension einer isotropen Untermannigfaltigkeit gilt die Ungleichung $\dim(L)\leq {\tfrac {1}{2}}\dim(M)$.

Eine lagrangesche Untermannigfaltigkeit einer 2n-dimensionalen symplektischen Mannigfaltigkeit $(M,\omega )$ ist eine n-dimensionale isotrope Untermannigfaltigkeit $L\subset M$, also eine isotrope Untermannigfaltigkeiten maximaler Dimension.

## Beispiele

* Im symplektischen $(\mathbb {R} ^{2},\omega =dxdy)$ ist jede Kurve eine lagrangesche Untermannigfaltigkeit.
* Im symplektischen $(\mathbb {R} ^{2n},\omega =dx_{1}dy_{1}+\ldots +dx_{n}dy_{n})$ ist der den Koordinaten $(x_{1},\ldots ,x_{n})$ entsprechende $\mathbb {R} ^{n}$ eine lagrangesche Untermannigfaltigkeit.
* Der Nullschnitt im symplektischen Kotangentialbündel ist eine lagrangesche Untermannigfaltigkeit.
* Sei $(M,\omega )$ eine symplektische Mannigfaltigkeit. Der Funktionsgraph $\Gamma _{f}$ einer Abbildung $f\colon M\to M$ ist genau dann eine lagrangesche Untermannigfaltigkeit von $(M\times M,\omega \oplus \omega )$, wenn $f$ ein Symplektomorphismus ist.
* Satz von Arnold-Liouville: Zu einem auf einer $2n$-dimensionalen symplektischen Mannigfaltigkeit durch Funktionen $H_{1},\ldots ,H_{n}$ mit verschwindenden Poisson-Klammern gegebenen integrablen System sind die Niveauflächen $\left\{H_{1}=c_{1},\ldots ,H_{n}=c_{n}\right\}$ lagrangesche Untermannigfaltigkeiten.
