(Commutative) Poisson algebras are clearly very interesting, so it would be nice to have ways of constructing examples. We know that is a Poisson algebra with bracket uniquely defined by ; this describes a classical particle in one dimension, and is the classical limit of a quantum particle in one dimension (essentially the Weyl algebra).
More generally, if are Poisson algebras, then the tensor product can be given a Poisson bracket given by extending
linearly. At least when are unital, this Poisson algebra is the universal Poisson algebra with Poisson maps from such that the images of elements of Poisson-commute with the images of elements of . In particular, it follows that is a Poisson algebra with the bracket
This describes a classical particle in dimensions, or different classical particles in one dimension, and it is the classical limit of a quantum particle in dimensions, or different quantum particles in one dimension.
Today we’ll discuss the question of how one might go about constructing Poisson brackets more generally.
Recall that an alternating biderivation on an algebra is an alternating bilinear map which is a derivation in each variable. Furthermore, recall that if are derivations on , then is an alternating biderivation. Thus we get a natural alternating map which factors through the exterior square
This map is injective since for all if and only if are scalar multiples of each other. A natural question is when this map is also surjective.
Proposition: The above map is surjective when is a polynomial algebra.
Proof. Any alternating biderivation on is determined by . Furthermore,
is an alternating biderivation such that and such that for all . It follows that for any choice of elements there exists a unique alternating biderivation satisfying given by
This is a very special case of the Hochschild-Kostant-Rosenberg theorem, at least once you know that the Harrison cohomology of a polynomial algebra vanishes. But this isn’t difficult to see: any commutative first-order deformation is necessarily itself a polynomial algebra because no relations can exist between any lifts of the generators.
The following alternate perspective on the above result may be enlightening. Note that any derivation factors through the -module generated by formal symbols of the form subject to the following relations:
- whenever .
This -module is denoted and known as the space of Kähler differentials. Since all of the above axioms are satisfied by the exterior derivative of a function on a smooth manifold, the intuition here is that is analogous to the space of differential -forms on . This fits in nicely with the intuition that derivations are analogous to vector fields on , since by definition a derivation is an -module morphism , so there is a natural pairing between the two.
But now it’s clear that an alternating biderivation on is nothing more than an -module morphism
Thus alternating biderivations are dual to -forms. Intuitively, they are therefore bivector fields on . If , as an -module, behaves sufficiently similar to a finite-dimensional vector space over a field, then it follows that the dual of its exterior square ought to be isomorphic to the exterior square of its dual, which is what we showed above when is a polynomial algebra. In this case, is in fact a free -module on generators , which is what makes the above argument work abstractly. More generally I think the above argument goes through whenever is finitely-generated and projective.
(Above I am glossing over the distinction between the exterior square and the space of alternating -tensors. I haven’t yet made up my mind about when this distinction is worth making.)
The Jacobi identity
Now that we have a reasonably good grasp of alternating biderivations, what can we say about the ones that satisfy the Jacobi identity (and therefore are Poisson brackets)?
Proposition: An alternating biderivation on an algebra satisfies the Jacobi identity if and only if the Jacobi identity is satisfied when a set of generators of is plugged in.
Proof. It suffices to observe that the Jacobiator
is a triderivation: it is trilinear and satisfies the Leibniz rule in each of its components separately. (This is a straightforward computation using the Leibniz rule for .) Thus it is determined linearly by its values on a set of generators of .
We record the following two immediate corollaries.
First, if is a vector space equipped with an alternating bilinear form , then extends to a Poisson bracket on the symmetric algebra . (The Jacobi identity is clearly satisfied on generators since is a scalar for any .) These are precisely the polynomial Poisson algebras for which the Poisson bracket is graded with degree . In particular, if has a basis such that is given by
then we get precisely the algebra of observables on classical particles as described earlier.
Second, if is a Lie algebra, then the Lie bracket extends to a Poisson bracket on the symmetric algebra . These are precisely the polynomial Poisson algebras for which the Poisson bracket is graded with degree .
In both of these cases we can explicitly find a deformation quantization: that is, we can identify a formal deformation from which we get the above Poisson algebras as classical limits. This will be expanded on in later posts.