 Solution

Let $P=({\omega }^{ab})$ be a smooth antisymmetric matrix field. It defines a Poisson bivector throughThis Poisson bracket is bilinear, antisymmetric and a derivation in each argument. It defines a Poisson manifold when it also satisfies the Jacobi identity. Apply that identity in the form $\{\{f,g\},h\}+\{\{g,h\},f\}+\{\{h,f\},g\}=0$ to the coordinate functions. Since $\{x^a,x^b\}={\omega }^{ab}$, it givesThis is the coordinate Jacobi condition for a Poisson bivector. It is also sufficient: in the Jacobi identity for arbitrary functions the terms containing second derivatives cancel by antisymmetry, leaving $J^{abc}({\partial }_{a}f)({\partial }_{b}g)({\partial }_{c}h)$. Thus the coordinate condition captures the whole obstruction.

Now suppose the Poisson bivector is nondegenerate. Write $S=P^{-1}$, so $S_{ab}{\omega }^{bc}={\delta }_a^c$, and define the 2-formAn overall minus sign in identifying the symplectic form depends on the convention for Hamiltonian vector fields; it does not affect the closure argument. Differentiating the inverse matrix givesContract the coordinate Jacobi identity with $S_{ia}{S}_{jb}{S}_{kc}$. Antisymmetry gives ${\omega }^{dc}{S}_{kc}=-{\delta }_k^d$, and similarly for the other terms, henceThe cyclic expression is precisely the coefficient of the exterior derivative $d\Omega$. ThereforeSince $S$ is antisymmetric and nondegenerate, $\Omega$ is a symplectic form. This proves the closure of the inverse of a nondegenerate Poisson bivector. The matrix entries ${\omega }^{ab}$ are scalar functions; the codomain in the source's matrix description should be read as the space of antisymmetric matrices, rather than a vector-valued individual entry.