Related papers: Some proofs of the Poincar\'e-Birkhoff-Witt theore…
A proof of Poincar\'e-Birkhoff-Witt theorem is given for a class of generalized Lie algebras closely related to the Gurevich S-Lie algebras. As concrete examples, we construct the positive (negative) parts of the quantized universal…
We prove a version of the Poincar\'e-Birkhoff-Witt Theorem for profinite pronilpotent Lie algebras in which their symmetric and universal enveloping algebras are replaced with appropriate formal analogues and discuss some immediate…
A methodical analysis of the research related to the article, ``Sur les groupes continus'', of Henri Poincar\'{e} reveals many historical misconceptions and inaccuracies regarding his contribution to Lie theory. A thorough reading of this…
A class of representations of a Lie superalgebra (over a commutative superring) in its symmetric algebra is studied. As an application we get a direct and natural proof of a strong form of the Poincare'-Birkhoff-Witt theorem, extending this…
We prove in a very general framework several versions of the classical Poincar\'e-Birkhoff-Witt Theorem, which extend results from [BeGi, BrGa, CS, HvOZ, WW]. Applications and examples are discussed in the last part of the paper.
We prove that the Yangian associated to an untwisted symmetric affine Kac-Moody Lie algebra is isomorphic to the Drinfeld double of a shuffle algebra. The latter is constructed by the authors in arXiv:1407.7994 as an algebraic formalism of…
Inspired by the recent work of Chen-Sti\'enon-Xu on Atiyah classes associated to inclusions of Lie algebroids, we give a very simple criterium (in terms of those classes) for relative Poincar\'e-Birkhoff-Witt type results to hold. The tools…
We sample some Poincare-Birkhoff-Witt theorems appearing in mathematics. Along the way, we compare modern techniques used to establish such results, for example, the Composition-Diamond Lemma, Groebner basis theory, and the homological…
The objective of this paper is to give alternative proofs for the symmetric Poincar\'e-Birkhoff-Witt theorem utilizing the Magnus recursion formulae or Dynkin's non-commutative polynomial comparison method and simple universal algebraic…
We determine what appears to be the bare-bones categorical framework for Poincar\'e-Birkhoff-Witt type theorems about universal enveloping algebras of various algebraic structures. Our language is that of endofunctors; we establish that a…
The operad Lie can be constructed as the operad of primitives Prim As from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincare'-Birkhoff-Witt and Cartier-Milnor-Moore. We replace As by families…
Let h \subset g be an inclusion of Lie algebras with quotient h-module n. There is a natural degree filtration on the h-module U(g)/U(g)h whose associated graded h-module is isomorphic to S(n). We give a necessary and sufficient condition…
Using the categorical approach to Poincar\'e-Birkhoff-Witt type theorems from our previous work with Tamaroff, we prove three such theorems: for universal enveloping Rota-Baxter algebras of tridendriform algebras, for universal enveloping…
We extend the classical Poincar\'e-Birkhoff-Witt theorem to higher algebra by establishing a version that applies to spectral Lie algebras. We deduce this statement from a basic relation between operads in spectra: the commutative operad is…
We study in detail the Yangian of the periplectic Lie superalgebra. For this Yangian we verify an analogue of the Poincar\'e-Birkhoff-Witt Theorem. Moreover we introduce a family of free generators of the centre of this Yangian.
This note has two purposes. First we establish that the map defined in [L, $\S 40.2.5$ (a)] is an isomorphism for certain admissible sequences. Second we show the map gives rise to a convex basis of Poincar\'e--Birkhoff--Witt (PBW) type for…
The survey is devoted to associative $\Z_{\ge0}$-graded algebras presented by n generators and n(n-1)/2 quadratic relations and satisfying the so-called Poincare-Birkhoff-Witt condition (PBW-algebras). We consider examples of such algebras…
It is shown that the quantised enveloping algebra of sl(n) contains a quantum Lie algebra, defined by means of axioms similar to Woronowicz's., This gives rise to Lie algebra-like generators and relations for the locally finite part of the…
We present a review on the recently discovered link between the Lie theory,the theory of quiver Grassmannians, and various degenerations of flag varieties. Our starting point is the induced Poincar\'{e}--Birkhoff--Witt filtration on the…
A Hom-type algebra is called involutive if its Hom map is multiplicative and involutive. In this paper, we obtain an explicit construction of the free involutive Hom-associative algebra on a Hom-module. We then apply this construction to…