A smooth antisymmetric contravariant two-tensor defines a biderivation . It is a Poisson bivector when this bracket satisfies the Jacobi identity. Its rank may vary; where it is nondegenerate it inverts to a symplectic form. The coordinate Jacobi condition for a Poisson bivector makes the integrability constraint explicit.
New to topics? Read the docs here!