← Back to home

Poisson Algebra

A Poisson algebra, in the grand scheme of mathematics, is a rather elegant construct. It's essentially an associative algebra that’s been gifted a Lie bracket with a peculiar talent: it adheres to Leibniz's law. This means the bracket doesn't just operate on individual elements; it understands how to distribute itself over a product, acting as a derivation. You'll find these algebras popping up with surprising frequency in the sophisticated world of Hamiltonian mechanics, and they're also the bedrock for understanding quantum groups. When a manifold is graced with a Poisson algebra structure, it’s dubbed a Poisson manifold. Within this family, symplectic manifolds and Poisson–Lie groups are, shall we say, the more constrained cousins. The whole concept owes its name to the esteemed Siméon Denis Poisson, a fact that, while historically accurate, hardly makes it less abstract.

Definition

At its core, a Poisson algebra is a vector space over some field K, endowed with two distinct, yet intimately related, bilinear operations. Let's call them the associative product, denoted by '⋅', and the Poisson bracket, enclosed in curly braces '{, }'. For an algebra to earn the title of "Poisson," these two operations must dance together with a specific set of rules:

  • The associative product, '⋅', must behave as expected. It needs to be associative, meaning the order in which you group multiplications doesn't alter the outcome: (x ⋅ y) ⋅ z is always identical to x ⋅ (y ⋅ z). This is the foundation of any decent algebra.
  • The Poisson bracket, '{, }', is a more spirited affair. It must first and foremost be a Lie algebra. This implies two critical properties: antisymmetry – swapping the elements inside the bracket flips its sign ({x, y} = -{y, x}) – and the Jacobi identity, a more complex but fundamental rule governing how the bracket interacts with itself: {x, {y, z}} + {y, {z, x}} + {z, {x, y}} = 0.
  • The true defining characteristic, however, is how the bracket interacts with the associative product. The bracket must act as a derivation with respect to the ⋅ product. This is captured by Leibniz's law for the bracket: for any elements x, y, and z within the algebra, the following must hold: { x , y ⋅ z } = { x , y } ⋅ z + y ⋅ { x , z }. This property is the glue that binds the associative and Lie structures together, and it’s often the key to unlocking various equivalent ways of defining or understanding the algebra.

Examples

The abstract definition, while precise, can feel a bit… sterile. The beauty of Poisson algebras truly reveals itself when we see them in action, manifesting in diverse mathematical landscapes.

Symplectic Manifolds

Consider a symplectic manifold. If you take the collection of all real-valued smooth functions defined on this manifold, you've got yourself a Poisson algebra. The magic happens through the Hamiltonian vector field. For any real-valued function H on the manifold, it naturally induces a specific vector field, XH. Now, if you have any two smooth functions, F and G, on this manifold, their Poisson bracket can be defined by how G transforms under the flow generated by XF:

{F, G} = dG(X_F) = X_F(G)

This definition isn't arbitrary; it's consistent precisely because the bracket, as defined, acts as a derivation on the multiplication of functions. Alternatively, you can think of it this way: the vector field associated with the bracket of F and G is the Lie bracket of their respective Hamiltonian vector fields:

X_{{F,G}} = [X_F, X_G]

This connection to the Lie derivative is a profound insight into the underlying structure. If we narrow our focus to the familiar R2n, equipped with its standard symplectic structure, the Poisson bracket simplifies to a form that might look more recognizable from classical mechanics:

{F, G} = Σ_{i=1}^n (∂F/∂q_i * ∂G/∂p_i - ∂F/∂p_i * ∂G/∂q_i)

This is the canonical Poisson bracket you’d see in introductory texts. The concept extends gracefully to Poisson manifolds, which are a more general class than symplectic manifolds. They allow for the underlying bivector field to be degenerate, meaning it doesn't necessarily have full rank everywhere, adding another layer of complexity and richness.

Lie Algebras

The tensor algebra built upon a Lie algebra itself possesses a Poisson algebra structure. The construction is quite explicit. You start with the underlying vector space of the Lie algebra and construct its tensor algebra, which is essentially the direct sum of all possible tensor products of this vector space with itself, iterated any number of times. The Lie bracket can then be "lifted" to this entire tensor algebra in a way that preserves its properties and also satisfies the derivation rule. This makes the tensor algebra a Poisson algebra. It’s important to note that the associative product here is the standard tensor product (⊗), which is not necessarily commutative or anti-commutative; it's just associative. So, the general principle is that the tensor algebra of any Lie algebra forms a Poisson algebra. The universal enveloping algebra, a related but distinct object, is obtained by taking a quotient of this Poisson algebra.

Associative Algebras

Even simpler, if you take any associative algebra, say A, you can turn it into a Poisson algebra by defining the bracket as the commutator: [x, y] = xy - yx. The commutator, as you know, is anti-symmetric and satisfies the Jacobi identity, thus forming a Lie algebra. The crucial part is that this commutator also acts as a derivation with respect to the associative product. So, [x, y ⋅ z] = [x, y] ⋅ z + y ⋅ [x, z]. This resulting algebra, denoted AL, is a Poisson algebra. One must be careful not to confuse this with the tensor algebra construction mentioned previously; they are distinct structures, and applying both constructions would yield a much larger, more complex Poisson algebra.

Vertex Operator Algebras

For a vertex operator algebra (V, Y, ω, 1), the quotient space V/C2(V) can be endowed with a Poisson algebra structure. Here, the associative product is defined as a ⋅ b = a_{-1} b, and the bracket is given by {a, b} = a_0 b. In certain vertex operator algebras, these resulting Poisson algebras turn out to be finite-dimensional, which is a rather remarkable simplification.

Z2 Grading

Poisson algebras can be adorned with a Z2-grading, leading to two distinct, yet related, structures: the Poisson superalgebra and the Gerstenhaber algebra. The divergence lies in how the grading affects the bracket.

In a Poisson superalgebra, the degree of the bracket is the sum of the degrees of its components:

|{a, b}| = |a| + |b|

Here, |x| denotes the degree of element x.

Conversely, in a Gerstenhaber algebra, the bracket has the effect of decreasing the total degree by one:

|{a, b}| = |a| + |b| - 1

Typically, the degree |a| quantifies how an element a can be decomposed into an even or odd product of its generating elements. Gerstenhaber algebras frequently appear in the context of BRST quantization, a technique used in theoretical physics.

See also:

References: