For defining the symplectic space $(V, \omega)$ where $V$ is a vector space, it doesn't necessary to add the condition $d\omega=0$. But, when we work on a manifold instead of vector space, then we need $\omega$ be closed. So why?
2026-03-30 00:19:13.1774829953
On
why symplectic form should be closed when we work on a manifold
615 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
There are 2 best solutions below
2
On
When you have an alternating tensor on a vector space, there's nothing to differentiate. The point of closedness of the symplectic $2$-form on a manifold is that it therefore represents a cohomology class and induces a generator of the top cohomology (in the compact case). [My view, as a complex geometer, is that the symplectic form is quite analogous to the Kähler form in Kähler geometry.] Most of the interplay with the Poisson bracket and Lie derivatives depend on closedness, as well.
Suppose $\omega$ be a bilinear form on a vector space $V$. Then consider a basis $e_1,...,e_n$ of $V$ wrt to which coordinates of points are $x_1,...,x_n$. Wrt these coordinates we can define one forms $dx_i,i=1,...,n$ and vector fields $\partial_i,i=1,...,n$ in the usual way.
Now
$\omega(a_1\partial_1+\dots a_n\partial_n,b_1\partial_1+\dots+b_n\partial_n)=\displaystyle\sum_{i,j}a_ib_j\omega_{ij}\tag 1$
where $\omega_{ij}=\omega(\partial_i,\partial_j)$ are constants independent of a's and b's.
From (1)
$\omega=\displaystyle\sum_{i,j}\omega_{ij}dx_i\otimes dx_j$
So $d\omega=0$