PBW property for associative universal enveloping algebras over an operad
Abstract
Given a symmetric operad $\mathcal{P}$ and a $\mathcal{P}$-algebra $V$, the associative universal enveloping algebra ${\mathsf{U}_{\mathcal{P}}}$ is an associative algebra whose category of modules is isomorphic to the abelian category of $V$-modules. We study the notion of PBW property for universal enveloping algebras over an operad. In case $\mathcal{P}$ is Koszul a criterion for the PBW property is found. A necessary condition on the Hilbert series for $\mathcal{P}$ is discovered. Moreover, given any symmetric operad $\mathcal{P}$, together with a Gröbner basis $G$, a condition is given in terms of the structure of the underlying trees associated with leading monomials of $G$, sufficient for the PBW property to hold. Examples are provided.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2018
- DOI:
- 10.48550/arXiv.1807.05873
- arXiv:
- arXiv:1807.05873
- Bibcode:
- 2018arXiv180705873K
- Keywords:
-
- Mathematics - Quantum Algebra;
- Mathematics - Representation Theory;
- 18D50;
- 18Cxx;
- 08B20
- E-Print:
- Exposition and English are improved