Closure of the inverse of a nondegenerate Poisson bivector
ID: closure-of-the-inverse-of-a-nondegenerate-poisson-bivector
A nondegenerate Poisson bivector inverts to a closed differential form of degree two. Differentiating gives . Contracting the coordinate Jacobi condition for a Poisson bivector with three copies of yields , which is precisely closure of the resulting symplectic form. An overall sign in the inverse convention does not change closure.
New to topics? Read the docs here!