A smooth map φ: (M, ω) → (M', ω') with φ*ω' = ω. The group Symp(M, ω) is infinite-dimensional in general; its linearisation at a point is the symplectic group Sp(2n, ℝ) = {M : MᵀJM = J}.
A smooth map φ: (M, ω) → (M', ω') with φ*ω' = ω. The group Symp(M, ω) is infinite-dimensional in general; its linearisation at a point is the symplectic group Sp(2n, ℝ) = {M : MᵀJM = J}.