Source author record

Jiafeng Lü

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
1topics
2close collaborators

Published work

3 publications

preprint2014arXiv

Universal enveloping algebras of differential graded Poisson algebras

In this paper, we introduce the notion of differential graded Poisson algebra and study its universal enveloping algebra. From any differential graded Poisson algebra AA, we construct two isomorphic differential graded algebras: AeA^e and AEA^E. It is proved that the category of differential graded Poisson modules over AA is isomorphic to the category of differential graded modules over AeA^e, and AeA^e is the unique universal enveloping algebra of AA up to isomorphisms. As applications of the universal property of AeA^e, we prove that (Ae)op≅(Aop)e(A^e)^{op}\cong (A^{op})^e and (A⊗kB)e≅Ae⊗kBe(A\otimes_{\Bbbk}B)^e\cong A^e\otimes_{\Bbbk}B^e as differential graded algebras. As consequences, we obtain that ``ee'' is a monoidal functor and establish links among the universal enveloping algebras of differential graded Poisson algebras, differential graded Lie algebras and associative algebras.

preprint2014arXiv

Universal enveloping algebras of Poisson Hopf algebras

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

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.