In this paper, the so-called differential graded (DG for short) Poisson Hopf algebra is introduced, which can be considered as a natural extension of Poisson Hopf algebras in the differential graded setting. The structures on the universal enveloping algebras of differential graded Poisson Hopf algebras are discussed.
For any differential graded (DG for short) Poisson algebra A given by generators and relations, we give a "formula" for computing the universal enveloping algebra A e of A. Moreover, we prove that A e has a Poincaré-Birkhoff-Witt basis provided that A is a graded commutative polynomial algebra. As an application of the PBW-basis, we show that a DG symplectic ideal of a DG Poisson algebra A is the annihilator of a simple DG Poisson A-module, where A is the DG Poisson homomorphic image of a DG Poisson algebra R whose underlying algebra structure is a graded commutative polynomial algebra. 1 2 XIANGUO HU, JIAFENG LÜ * , AND XINGTING WANG particular, we construct the universal enveloping algebra of any DG Poisson algebra given by generators and relations. Section 3 is devoted to the study of PBW-basis for universal enveloping algebras. To be specific, for a DG Poisson algebra R whose underlying algebra structure is a graded commutative polynomial algebra, by using Gröbner-Shirshov basis theory developed in [8] and [9], we prove that the universal enveloping algebra R e has a PBW-basis, which is analogous to the PBW-basis for universal enveloping algebras of Lie algebras. In the last section, we focus on the simple DG Poisson module. As an application of the PBW-basis theorem for universal enveloping algebras of DG Poisson algebras, we prove that a DG symplectic ideal of a DG Poisson algebra A is the annihilator of a simple DG Poisson A-module, where A is the DG Poisson homomorphic image of R.Throughout the whole paper, Z denotes the set of integers, k denotes a base field and everything is over k unless otherwise stated, all (graded) algebras are assumed to have an identity and all (graded) modules are assumed to be unitary. Universal enveloping algebras of differential graded Poisson algebrasIn this section, first we briefly review some basic definitions and properties of DG Poisson algebras and universal enveloping algebras, then we construct the universal enveloping algebra of any DG Poisson algebra A given by generators and relations.2.1. DG Poisson algebras. By a graded algebra we mean a Z-graded algebra. A DG algebra is a graded algebra with a k-linear homogeneous map d : A → A of degree 1, which is also a graded derivation. Any graded algebra can be viewed as a DG algebra with differential d = 0; in this case it is called a DG algebra with trivial differential. Let A, B be two DG algebras and f : A → B be a graded algebra map of degree zero. Then f is called a DG algebra map if f commutes with the differentials. Definition 2.1. Let A be a graded k-vector space. If there is a k-linear map {·, ·} : A ⊗ A → A of degree 0 such that: (i) (graded antisymmetry): {a, b} = −(−1) |a||b| {b, a}; (ii) (graded Jacobi identity): {a, {b, c}} = {{a, b}, c} + (−1) |a||b| {b, {a, c}}, for any homogeneous elements a, b, c ∈ A, then (A, {·, ·}) is called a graded Lie algebra. Definition 2.2. [12] Let (A, ·) be a graded k-algebra. If there is a k-linear map {·, ·} : A ⊗ A → A of degree 0 such that (i) (A, {·, ·}) is a graded Lie a...
<abstract><p>In this paper, we introduce universal enveloping Hom-algebras of Hom-Poisson algebras. Some properties of universal enveloping Hom-algebras of regular Hom-Poisson algebras are discussed. Furthermore, in the involutive case, it is proved that the category of involutive Hom-Poisson modules over an involutive Hom-Poisson algebra $ A $ is equivalent to the category of involutive Hom-associative modules over its universal enveloping Hom-algebra $ U_{eh}(A) $.</p></abstract>
In this paper, the differential graded (DG for short) Poisson adjoint action on M is introduced, where M is a DG Poisson module over a DG Poisson Hopf algebra A. As an application, we give a new DG poisson module structure over the DG Poisson Hopf algebra A, which depends heavily on the structure of A.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.