nLab polynomial Poisson algebra




physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes

theory (physics), model (physics)

experiment, measurement, computable physics

Symplectic geometry


Noncommutative geometry

Formal geometry



It is a classical fact that the universal enveloping algebra of a Lie algebra provides a formal deformation quantization of the corresponding Lie-Poisson structure (example below). Remarkably, this statement generalizes to more general polynomial Poisson algebras (def. below) for a suitable generalized concept of universal enveloping algebra (def. below): it is always true up to third order in \hbar, and sometimes to higher order (Penkava-Vanhaecke 00, theorem 3.2, prop. below). In particular it also holds true for restrictions of Poisson bracket Lie algebras to their Heisenberg Lie algebras (example below).



(polynomial Poisson algebra)

A Poisson algebra ((A,),{,})((A,\cdot), \{-,-\}) is called a polynomial Poisson algebra if the underlying commutative algebra (A,)(A,\cdot) is a polynomial algebra, hence a symmetric algebra

Sym(V)T(V)/(xyyx|x,yV) Sym(V) \coloneqq T(V)/(x \otimes y - y \otimes x \vert x,y \in V)

on some vector space VV. Here

T(V)nV n T(V) \coloneqq \underset{n \in \mathbb{N}}{\oplus} V^{\otimes^n}

denotes the tensor algebra of VV. We write

μ:T(V)Sym(V) \mu \;\colon\; T(V) \longrightarrow Sym(V)

for the canonical projection map (which is an algebra homomorphism) and

σ:Sym(V)T(V) \sigma \;\colon\; Sym(V) \longrightarrow T(V)

for its linear inverse (symmetrization, which is not in general an algebra homomorphism).

Notice that by its bi-derivation property the Poisson bracket on a polynomial Poisson algebra is fixed by its restriction to linear elements

{,}:VVSym(V). \{-,-\} \;\colon\; V \otimes V \longrightarrow Sym(V) \,.

(universal enveloping algebra of polynomial Poisson algebra)

Given a polynomial Poisson algebra (Sym(V),{,})(Sym(V), \{-,-\}) (def. ), say that its universal enveloping algebra 𝒰(V,{,})\mathcal{U}(V,\{-,-\}) is the associative algebra which is the quotient of the tensor algebra of VV with a formal variable \hbar adjoined by the two-sided ideal which is generated by the the \hbar-Poisson bracket relation on linear elements:

𝒰(V,{,})T(V)/(xyyx{x,y}|x,yV). \mathcal{U}(V,\{-,-\}) \;\coloneqq\; T(V)/( x \otimes y - y \otimes x - \hbar \{x,y\} \vert x,y \in V ) \,.

This comes with the quotient projection linear map which we denote by

ρ:T(V)[[]]𝒰(V,{,}). \rho \;\colon\; T(V)[ [ \hbar ] ] \longrightarrow \mathcal{U}(V,\hbar\{-,-\}) \,.

(Penkava-Vanhaecke 00, def. 3.1)

The combined linear projection maps from def. and def. we denote by

τρ(σ/[[]]):Sym(V)[[]]𝒰(V,{,}). \tau \coloneqq \rho \circ (\sigma/[ [ \hbar ] ]) \;\colon\; Sym(V)[ [ \hbar ] ] \longrightarrow \mathcal{U}(V,\{-,-\}) \,.



(Lie-Poisson structure on affine algebraic variety)

Let (C ( n),π)(C^\infty(\mathbb{R}^n), \pi) be a Poisson manifold whose underlying manifold is a Cartesian space n\mathbb{R}^n. Then the restriction of its Poisson algebra (C ( n,),π ij i() j())( C^\infty(\mathbb{R}^n, \cdot), \pi^{i j} \partial_i(-) \cdot \partial_j(-) ) to the polynomial functions [x 1,,x n]C ( n)\mathbb{R}[x^1, \cdots, x^n ] \hookrightarrow C^\infty(\mathbb{R}^n) is a polynomial Poisson algebra according to def. .

In particular if (𝔤,[,])(\mathfrak{g}, [-,-]) is a Lie algebra and (𝔤 *,{,})(\mathfrak{g}^\ast, \{-,-\}) the corresponding Lie-Poisson manifold, then the corresponding polynomial Poisson algebra is (Sym(𝔤),{,})(Sym(\mathfrak{g}), \{-,-\}) where the restriction of the Poisson bracket to linear polynomial elements coincides with the Lie bracket:

{x,y}=[x,y]. \{x,y\} = [x,y] \,.

(universal enveloping algebra of Lie algebra)

In the case of a polynomial Lie-Poisson structure (Sym(𝔤),[,])(Sym(\mathfrak{g}), [-,-]) (example ) the universal enveloping algebra 𝒰(𝔤,[,])\mathcal{U}(\mathfrak{g},[-,-]) from def. (for =1\hbar = 1) coincides with the standard universal enveloping algebra of the Lie algebra (𝔤,[,])(\mathfrak{g}, [-,-]).


Formal deformation quantization via universal enveloping algebra


(universal enveloping algebra provides deformation quantization at least up to order 3)

Let (Sym(V),{,})( Sym(V), \{-,-\} ) be a polynomial Poisson algebra (def. ) such that the canonical linear map to its universal enveloping algebra (def. ) is injective up to order n{}n \in \mathbb{N}\cup \{\infty\}

τ/( n+1):Sym(V)[[]]/( n+1)𝒰(V,{,})/( n+1). \tau/(\hbar^{n+1}) \;\colon\; Sym(V)[ [ \hbar ] ]/(\hbar^{n+1}) \hookrightarrow \mathcal{U}(V,\hbar\{-,-\})/(\hbar^{n+1}) \,.

Then the restriction of the product on 𝒰(V,{,})/( n+1)\mathcal{U}(V,\hbar\{-,-\})/(\hbar^{n+1}) to Sym(V)/( n+1)Sym(V)/(\hbar^{n+1}) is a deformation quantization of (Sym(V),{,})(Sym(V), \{-,-\}) to order nn (hence a genuine deformation quantization in the case that n=n = \infty).

Moreover, this is always the case for n=3n = 3, hence for every polynomial Poisson algebra its universal enveloping algebra always provides a deformation quantization of order 33 in \hbar.

(Penkava-Vanhaecke 00, theorem 3.2 with section 2)


(formal deformation quantization of Lie-Poisson structures by universal enveloping algebras)

In the following cases the map τ\tau in prop. is injective to arbitrary order, hence in these cases the universal enveloping algebra provides a genuine deformation quantization:

  1. the case that the Poisson bracket is linear in that restricts as

    {,}:VVVSym(V). \{-,-\} \;\colon\; V \otimes V \longrightarrow V \hookrightarrow Sym(V) \,.

    This is the case of the Lie-Poisson structure from example and the universal enveloping algebra that provides it deformation quantization is the standard one (example ).

  2. more generally, the case that the Poisson bracket restricted to linear elements has linear and constant contribution in that it restricts as

    {,}:VVVSym(V). \{-,-\} \;\colon\; V \otimes V \longrightarrow \mathbb{R} \oplus V \hookrightarrow Sym(V) \,.

    This includes notably the Poisson structures induced by symplectic vector spaces, in which case the restriction

    {,}:(V)(V)(V) \{-,-\} \;\colon\; (\mathbb{R} \oplus V) \otimes (\mathbb{R} \oplus V) \longrightarrow (\mathbb{R} \oplus V)

    is the Lie bracket of the associated Heisenberg Lie algebra.

This is (Penkava-Vanhaecke 00, p. 26) The first statement in itself is a classical fact (reviewed e.g. in Gutt 11).


Last revised on December 5, 2022 at 13:40:39. See the history of this page for a list of all contributions to it.