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!