symplectic strucutre

141 Views Asked by At

Suppose $\omega$ is symplectic structure on $\mathbb R^n$. Let $\omega_0:=\omega|_{x=0}$.

Let $\overline{\omega}= \omega_0-\omega$ and for $t\in[0,1]; \omega_t:= \omega+ t\overline{\omega}$.

How to show that there is some neighborhood of origin such that all $\omega_t$ are symplectic.

1

There are 1 best solutions below

1
On

I presume you are working through Moser's proof of Darboux's theorem.

The family of forms $\omega_t = (1-t) \omega + t\omega_0$ are all closed since both $\omega$ and $\omega_0$ are.

Observe that at the point $x = 0$, $\omega_t = \omega_0$, so the form is non-degenerate on the tangent space at $0$ $T_0 \mathbb{R}^{2n}$. Non-degeneracy is an open property and $[0,1]$ is compact so there is a small neighbourhood of $0$ for which $\omega_t$ is non-degenerate for all $t \in [0,1]$.