Title:Enveloping algebra of a Lie algebra as a Yetter-Drinfeld module algebra over the Hopf algebra of regular functions on its automorphism group

Abstract:We present an elementary proof that there is a (highly degenerate) Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ of a finite-dimensional Lie algebra $\mathfrak{g}$ and the Hopf algebra $\mathcal{O}(\mathrm{Aut}(\mathfrak{g}))$ of regular functions on the automorphism group of $\mathfrak{g}$. This Hopf pairing induces a Hopf action of $\mathcal{O}(\mathrm{Aut}(\mathfrak{g}))$ on $U(\mathfrak{g})$ which together with an explicitly given coaction makes $U(\mathfrak{g})$ into a braided-commutative algebra in the category of Yetter--Drinfeld modules over $\mathcal{O}(\mathrm{Aut}(\mathfrak{g}))$. These data may be used to construct a Hopf algebroid structure on the smash product algebra $\mathcal{O}(\mathrm{Aut}(\mathfrak{g}))\sharp U(\mathfrak{g})$ retaining essential features from a related construction of a Hopf algebroid structure on earlier known infinite dimensional versions of Heisenberg double of $U(\mathfrak{g})$ including a noncommutative phase space of Lie algebra type, while avoiding the need of completed tensor products.
Our results are proven in a slightly more general form, where $\mathcal{O}(\mathrm{Aut}(\mathfrak{g}))$ is replaced by $\mathcal{O}(\mathrm{Aut}(\mathfrak{h}))$ where $\mathfrak{h}$ is any finite-dimensional Leibniz algebra having $\mathfrak{g}$ as its maximal Lie algebra quotient.