Poisson manifold

It is a manifold $M$ together with an operation ${-, -}$ in $C^{\infty} (M)$ satisfying the properties:

Bilinearity
Antisymmetry: ${f, g} = - {g, f}$ .
Leibniz rule: ${f, g h} = {f, g} h + g {f, h}$ .
Jacobi identity: ${f, {g, h}} + {g, {h, f}} + {h, {f, g}} = 0$ .

The operation is called Poisson bracket. Every symplectic manifold is a Poisson manifold but the converse is not true (@olver86 page 391). The algebra of functions on a Poisson manifold constitutes a Poisson algebra.

Example
An arbitrary $R^{N} \equiv (p_{i}, q_{i}, z_{j})$ , with $i = 1, \dots, m$ and $j = 1, \dots, l$ ( $N = 2 m + l$ ), can be seen as a Poisson manifold, we can define a Poisson bracket on the space of smooth functions on $R^{N}$ as follows:

For any two smooth functions $f, g : R^{N} \to R$ , we define their Poisson bracket $f, g$ as:

{f, g} = \sum_{i = 1}^{m} (\frac{\partial f}{\partial q_{i}} \frac{\partial g}{\partial p_{i}} - \frac{\partial f}{\partial p_{i}} \frac{\partial g}{\partial q_{i}})

The Poisson bracket of functions which only depends on $z_{j}$ with any other function is zero. These are called distinguished functions or Casimir functions, and can be thought as "observables" which do not provide "evolution parameter", since its associated Hamiltonian vector field is null.
Moreover, they remain constant along the evolution parameter of any Hamiltonian vector fields. They are a kind of "generalized constants". This reminds me the centralizer of an algebra, in case that the bracket is given by the commutator of a product...
$◼$

For every $f$ we have that ${-, f}$ is a differential operator, so it is a vector field. We call it the Hamiltonian vector field associated with $f$ . It coincides with the notion of Hamiltonian vector field for symplectic manifolds. Also, see Poisson bracket#Relation with Lie bracket.

The Poisson bracket can be seen in local coordinates as a skew-symmetric matrix. If we require that the rank of this matrix is everywhere the same as the dimension of the manifold, we recover the notion of symplectic manifold.

The "morphisms" between Poisson manifolds are called Poisson maps.