Universal enveloping algebras of Poisson Hopf algebras

TL;DR

This paper establishes a Poincaré-Birkhoff-Witt theorem for the universal enveloping algebra of Poisson algebras, explores properties of Poisson Hopf algebras, and characterizes their structure in specific cases.

Contribution

It introduces a PBW theorem for Poisson algebra enveloping algebras, analyzes Poisson Hopf algebra properties, and provides a structure theorem for pointed Poisson Hopf algebras.

Findings

Proved a PBW theorem for $A^e$ of Poisson algebras.

Characterized when Poisson polynomial algebras are Poisson Hopf.

Described the structure of $B^e$ for pointed Poisson Hopf algebras.

Abstract

For a Poisson algebra $A$, by exploring its relation with Lie-Rinehart algebras, we prove a Poincar\'e-Birkoff-Witt theorem for its universal enveloping algebra $A^e$. Some general properties of the universal enveloping algebras of Poisson Hopf algebras are studied. Given a Poisson Hopf algebra $B$, we give the necessary and sufficient conditions for a Poisson polynomial algebra $B[x; \alpha, \delta]_p$ to be a Poisson Hopf algebra. We also prove a structure theorem for $B^e$ when $B$ is a pointed Poisson Hopf algebra. Namely, $B^e$ is isomorphic to $B#_\sigma \mathcal{H}(B)$, the crossed product of $B$ and $\mathcal{H}(B)$, where $\mathcal{H}(B)$ is the quotient Hopf algebra $B^e/B^eB^+$.