Eine glatte, geradzahlige Mannigfaltigkeit, ausgestattet mit einer geschlossenen, nichtdegenerierten differenziellen 2-Form (der symplektischen Form), die auf jedem Tangentialraum ein bilineares Paarungsprodukt liefert und der Hamiltonschen Mechanik zugrunde liegt.

Prinzip

Die Nichtdegeneriertheit der 2-Form liefert eine kanonische Isomorphie zwischen Tangential- und Kotangentialräumen; Geschlossenheit (dω=0) garantiert lokale kanonische Koordinaten (Darboux-Theorem) und Erhaltungseigenschaften für Hamiltonsche Flüsse.

Demonstration

Der Standardphasenraum R^{2n} mit Koordinaten (q,p) und 2-Form ω = Σ_i dp_i ∧ dq_i ist eine symplektische Mannigfaltigkeit; die Hamiltonschen Gleichungen entstehen durch Kontraktion von ω mit dem Hamiltonschen Vektorfeld.

Fehlanwendung

Jede Mannigfaltigkeit mit einem Volumenform als symplektisch zu bezeichnen — Volumenformen sind top-Grad und liefern nicht die geforderte geschlossene nichtdegenerierte 2-Form.

Konsequenz

Lokal besitzt jede symplektische Mannigfaltigkeit Koordinaten, in denen die Form die Standardgestalt dp∧dq hat; das impliziert das Fehlen lokaler skalaren Invarianten der Form und die Starrheit kanonischer Transformationen (Symplektomorphismen).

Umkehrung

Wird die Nichtdegeneriertheit fallengelassen, erhält man eine prä-symplektische Form (geschlossen, aber degeneriert), deren Kern Einschränkungen trägt; fällt die Geschlossenheit weg, existiert keine Darboux-Eigenschaft mehr.

Abgrenzung

Gilt für glatte Mannigfaltigkeiten gerader Dimension; schließt ungerade-dimensionale Räume und Situationen ohne geschlossene nichtdegenerierte 2-Form aus (z. B. rein volumen-erhaltende Strukturen oder Poisson-Mannigfaltigkeiten mit singulären Blättern).

Semantische Spannung

Oft im Kontrast zu Poisson-Mannigfaltigkeiten: Eine symplektische Mannigfaltigkeit besitzt global eine nichtdegenerierte 2-Form, während eine Poisson-Struktur degeneriert oder singulär sein kann und einen Bivektor statt einer Form liefert.

Synthese

Eine symplektische Mannigfaltigkeit ist ein geradzahliger glatter Raum mit einer geschlossenen, nichtdegenerierten 2-Form, die lokal auf dp∧dq reduziert und die geometrische Bühne für Hamiltonsche Dynamik liefert.