Some proofs of the Poincaré-Birkhoff-Witt theorem and related matters

Gyula Lakos

2024-07-24

Abstract:This expository paper focuses on free Lie $K$-algebras and the basic PBW theorem. We argue in various ways that the basic PBW theorem is a quite close consequence of the Magnus-Witt theorems concerning free Lie algebras.

Rings and Algebras

What problem does this paper attempt to address?

Nakayama Automorphisms of PBW Deformations and Hopf Actions

Yuan Shen,DiMing Lu

DOI: https://doi.org/10.1007/s11425-015-5077-2

2016-01-01

Science China Mathematics

Abstract:Poincaré-Birkhoff-Witt (PBW) deformations of Artin-Schelter regular algebras are skew Calabi- Yau. We prove that the Nakayama automorphisms of such PBW deformations can be obtained from their homogenizations. Some Calabi-Yau properties are generalized without Koszul assumption. We also show that the Nakayama automorphisms of such PBW deformations control Hopf actions on them.
The symmetric Poincaré-Birkhoff-Witt theorem and Dynkin-Magnus commutators

Gyula Lakos

2024-07-29

Abstract:The objective of this paper is to give alternative proofs for the symmetric Poincaré-Birkhoff-Witt theorem utilizing the Magnus recursion formulae or Dynkin's non-commutative polynomial comparison method and simple universal algebraic principles. As an application of these principles, a theorem of Nouazé-Revoy type is also obtained.

Rings and Algebras
Koszul duality and the Poincaré-Birkhoff-Witt theorem

Ezra Getzler

2024-05-28

Abstract:Using a homotopy introduced by de Wilde and Lecomte and homological perturbation theory for $A_\infty$-algebras, we give an explicit proof that the universal enveloping algebra $UL$ of a differential graded Lie algebra $L$ is Koszul, via an explicit contracting homotopy from the cobar construction $\Omega CL$ of the Chevalley-Eilenberg chain coalgebra $CL$ of $L$ to $UL$.

K-Theory and Homology
A Poincaré-Birkhoff-Witt theorem for the universal enveloping algebra of a Rota-Baxter Lie algebra

Zhi-Cheng Zhu,Xing Gao,Li Guo,Jun Pei

DOI: https://doi.org/10.48550/arXiv.2209.03559

2022-09-08

Quantum Algebra

Abstract:Rota-Baxter associative algebras and Rota-Baxter Lie algebras are both important in mathematics and mathematical physics, with the former a basic structure in quantum field renormalization and the latter a operator form of the classical Yang-Baxter equation. An outstanding problem posed by Gubarev is to determine whether there is a Poincar\'e-Birkhoff-Witt theorem for the universal enveloping Rota-Baxter associative algebra of a Rota-Baxter Lie algebra. This paper resolves this problem positively, working with operated algebras and applying the method of Gr\"obner-Shirshov bases.
Some remarks on the Poincaré-Birkhoff theorem

Patrice Le Calvez,Jian Wang

DOI: https://doi.org/10.1090/S0002-9939-09-10105-3

IF: 0.9709

2010-01-01

Proceedings of the American Mathematical Society

Abstract:We define the notion of a positive path of a homeomorphism of a topological space. It seems to be a natural object to understand Birkhoff's arguments in his proof of the celebrated Poincare-Birkhoff theorem. We write the proof of this theorem, by using positive paths, and the proof of its generalization due to P. Carter. We will also explain the links with the free disk chains introduced in the subject by J. Franks. We will finish the paper by studying the local versions where the upper curve is not invariant and will explain why this curve or its image must be a graph to get such a generalization.
A Generalization of Lie H-Pseudobialgebras

Qinxiu Sun,Fang Li

DOI: https://doi.org/10.1134/s0040577917070017

2017-01-01

Theoretical and Mathematical Physics

Abstract:We investigate Hom–Lie H-pseudobialgebras. We present some examples and a theorem that allows constructing these new algebraic structures. We consider coboundary Hom–Lie H-pseudobialgebras and the corresponding classical Hom–Yang–Baxter equations.
PBW bases and KLR algebras

Syu Kato

DOI: https://doi.org/10.1215/00127094-2405388

2017-11-20

Abstract:We generalize Lusztig's geometric construction of the PBW bases of finite quantum groups of type $\mathsf{ADE}$ under the framework of [Varagnolo-Vasserot, J. reine angew. Math. 659 (2011)]. In particular, every PBW basis of such quantum groups is proven to yield a semi-orthogonal collection in the module category of the KLR-algebras. This enables us to prove Lusztig's conjecture on the positivity of the canonical (lower global) bases in terms of the (lower) PBW bases in the $\mathsf{ADE}$ case. In addition, we verify Kashiwara's problem on the finiteness of the global dimensions of the KLR-algebras of type $\mathsf{ADE}$.

Quantum Algebra,Algebraic Geometry,Representation Theory
Hopf-like Algebras and Extended P-B-W Theorems

Keqin Liu

DOI: https://doi.org/10.48550/arXiv.1012.2844

2010-12-13

Rings and Algebras

Abstract:Based on invariant algebras, we introduce representations$^{6-th}$ of Lie algebras and representations$^{< 4-th>}$ of Leibniz algebras, give the extended P-B-W Theorems in the context of the new representations of Lie algebras and Leibniz algebras, and generalize the Hopf-algebra structure on the enveloping algebras of Lie Algebras.
The PBW filtration and convex polytopes in type $\tt B$

Teodor Backhaus,Deniz Kus

DOI: https://doi.org/10.48550/arXiv.1504.06522

2016-11-18

Abstract:We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $\tt B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations for $\tt B_3$, that there exists a normal polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence we obtain several classes of favourable modules and graded combinatorial character formulas.

Representation Theory,Combinatorics
The degree of the Hilbert-Poincaré polynomial of PBW-graded modules

Teodor Backhaus,Lara Bossinger,Christian Desczyk,Ghislain Fourier

DOI: https://doi.org/10.48550/arXiv.1408.0901

2014-10-30

Abstract:In this note, we study the Hilbert-Poincaré polynomials for the PBW-graded of simple modules for a simple complex Lie algebra. The computation of their degree can be reduced to modules of fundamental highest weight. We provide these degrees explicitly.

Representation Theory,Combinatorics
A generalized Poincaré-Birkhoff theorem

Agustin Moreno,Otto van Koert

DOI: https://doi.org/10.48550/arXiv.2011.06562

2021-05-14

Abstract:We prove a generalization of the classical Poincaré--Birkhoff theorem for Liouville domains, in arbitrary even dimensions. This is inspired by the existence of global hypersurfaces of section for the spatial case of the restricted three-body problem (as proved by the authors in <a class="link-https" data-arxiv-id="2011.10386" href="https://arxiv.org/abs/2011.10386">arXiv:2011.10386</a>).

Symplectic Geometry,Mathematical Physics,Dynamical Systems
The PBW Theorem and simplicity criteria for the Poisson enveloping algebra and the algebra of Poisson differential operators

V. V. Bavula

DOI: https://doi.org/10.48550/arXiv.2107.00321

2021-07-01

Rings and Algebras

Abstract:For an arbitrary Poisson algebra $\CP$ over an arbitrary field, an (analogue of) the Poincar\'{e}-Birkhof-Witt Theorem is proven and several presentations/constructions for its Poisson enveloping algebra $\CU (\CP )$ are given. As a result, explicit sets of generators and defining relations are given for $\CU (\CP )$ and the algebra $P\CD (\CP)$ of Poisson differential operators on $\CP$. Simplicity criteria for the algebras $\CU (\CP )$ and $P\CD (\CP )$ are given. In the case when the algebra $\CP$ is of essentially finite type, a criterion for the algebra $\CU (\CP )$ to be a domain is presented and a criterion for a natural epimorphism $\CU (\CP )\ra P\CD (\CP )$ to be an isomorphism is given. The kernel of the epimorphism is described and for large classes of Poisson algebras an explicit set of generators is given. Explicit formulae for the Gelfand-Kirillov dimension of the algebras $\CU (\CP )$ and $P\CD (\CP)$ are given. In the case when the Poisson algebra $\CP$ is a regular domain of essentially finite type an explicit simplecticity criterion for $\CP$ is found and a criterion is presented for the algebra $\CU (\CP )$ to be isomorphic to the algebra $\CD (\CP )$ of differential operators on $\CP$.
$P=W$ phenomena in algebraic and enumerative geometry

Camilla Felisetti

DOI: https://doi.org/10.1007/s40574-024-00420-z

2024-08-16

Abstract:In view of the recent proofs of the P=W conjecture, the present paper reviews and relates the latest results in the field, with a view on how P=W phenomena appear in multiple areas of algebraic geometry. As an application, we give a detailed sketch of the proof of P=W by Maulik, Shen and Yin.

Algebraic Geometry
Proof of the Broué-Malle-Rouquier conjecture in characteristic zero (after I. Losev and I. Marin - G. Pfeiffer)

Pavel Etingof

DOI: https://doi.org/10.48550/arXiv.1606.08456

2017-03-11

Abstract:In 1998 Broué, Malle and Rouquier conjectured that the Hecke algebra of a finite complex reflection group W is a free module over the algebra of parameters of rank |W|. We give an exposition of a proof of this conjecture in characteristic zero (and sufficiently large positive characteristic), due to I. Losev and I. Marin - G. Pfeiffer.

Representation Theory
A Relative Poincaré-Birkhoff theorem

Agustin Moreno,Arthur Limoge

2024-08-13

Abstract:In <a class="link-https" data-arxiv-id="2011.06562" href="https://arxiv.org/abs/2011.06562">arXiv:2011.06562</a>, the first author and Otto van Koert proved a generalized version of the classical Poincaré-Birkhoff theorem, for Liouville domains of any dimension. In this article, we prove a relative version for Lagrangians with Legendrian boundary. This gives interior chords of arbitrary large length, provided the twist condition introduced in <a class="link-https" data-arxiv-id="2011.06562" href="https://arxiv.org/abs/2011.06562">arXiv:2011.06562</a> is satisfied. The motivation comes from finding spatial consecutive collision orbits of arbitrary large length in the spatial circular restricted three-body problem, which are relevant for gravitational assist in the context of orbital mechanics. This is an application of a local version of wrapped Floer homology, which we introduce as the open string analogue of local Floer homology for closed strings.

Symplectic Geometry
Poisson geometry and the Kashiwara-Vergne conjecture

A. Alekseev,E. Meinrenken

DOI: https://doi.org/10.48550/arXiv.math/0209346

2002-09-26

Abstract:We give a Poisson-geometric proof of the Kashiwara-Vergne conjecture for quadratic Lie algebras, based on the equivariant Moser trick.

Representation Theory,Symplectic Geometry
Poincaré–Birkhoff–Witt Deformation of Koszul Calabi–Yau Algebras

Quanshui S. Wu,Can Zhu

DOI: https://doi.org/10.1007/s10468-011-9312-4

2011-01-01

Algebras and Representation Theory

Abstract:The Calabi–Yau property of the Poincaré–Birkhoff–Witt deformation of a Koszul Calabi–Yau algebra is characterized. Berger and Taillefer (J Noncommut Geom 1:241–270, 2007, Theorem 3.6) proved that the Poincaré–Birkhoff–Witt deformation of a Calabi–Yau algebra of dimension 3 is Calabi–Yau under some conditions. The main result in this paper generalizes their result to higher dimensional Koszul Calabi–Yau algebras. As corollaries, the necessary and sufficient condition obtained by He et al. (J Algebra 324:1921–1939, 2010) for the universal enveloping algebra, respectively, Sridharan enveloping algebra, of a finite-dimensional Lie algebra to be Calabi–Yau, is derived.
On BBW parabolics for simple classical Lie superalgebras

Dimitar Grantcharov,Nikolay Grantcharov,Daniel K. Nakano,Jerry Wu

DOI: https://doi.org/10.1016/j.aim.2021.107647

IF: 1.675

2021-04-01

Advances in Mathematics

Abstract:<p>In this paper the authors introduce a class of parabolic subalgebras for classical simple Lie superalgebras associated to the detecting subalgebras introduced by Boe, Kujawa and Nakano. These parabolic subalgebras are shown to have good cohomological properties governed by the Bott-Borel-Weil theorem involving the zero component of the Lie superalgebra in conjunction with the odd roots. These results are later used to verify an open conjecture given by Boe, Kujawa and Nakano pertaining to the equality of various support varieties.</p>

mathematics
An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications

Henri Johnston,Andreas Nickel

2024-12-07

Abstract:Let $p$ be an odd prime. We give an unconditional proof of the equivariant Iwasawa main conjecture for totally real fields for every admissible one-dimensional $p$-adic Lie extension whose Galois group has an abelian Sylow $p$-subgroup. Crucially, this result does not depend on the vanishing of any $\mu$-invariant. As applications, we deduce the Coates-Sinnott conjecture away from its $2$-primary part and new cases of the equivariant Tamagawa number conjecture for Tate motives.

Number Theory
Birational maps, PBW degenerate flags and poset polytopes

Evgeny Feigin

2024-07-10

Abstract:We extend the results on the graph closures of the birational maps between projective spaces and Grassmannians to the case of PBW degenerate flag varieties. The advantage of the PBW degenerate flags (as opposed to their classical analogues) is the existence of a large group of symmetries for the graph closures. We discuss the combinatorial, algebraic and geometric sides of the picture. In particular, we show that toric degenerations of Borovik, Sturmfels and Sverrisdóttir are still available in the general settings. We also derive a description of the graph closures for flag varieties in terms of quiver representations.

Algebraic Geometry,Combinatorics,Representation Theory

Some proofs of the Poincaré-Birkhoff-Witt theorem and related matters

Nakayama Automorphisms of PBW Deformations and Hopf Actions

The symmetric Poincaré-Birkhoff-Witt theorem and Dynkin-Magnus commutators

Koszul duality and the Poincaré-Birkhoff-Witt theorem

A Poincaré-Birkhoff-Witt theorem for the universal enveloping algebra of a Rota-Baxter Lie algebra

Some remarks on the Poincaré-Birkhoff theorem

A Generalization of Lie H-Pseudobialgebras

PBW bases and KLR algebras

Hopf-like Algebras and Extended P-B-W Theorems

The PBW filtration and convex polytopes in type $\tt B$

The degree of the Hilbert-Poincaré polynomial of PBW-graded modules

A generalized Poincaré-Birkhoff theorem

The PBW Theorem and simplicity criteria for the Poisson enveloping algebra and the algebra of Poisson differential operators

$P=W$ phenomena in algebraic and enumerative geometry

Proof of the Broué-Malle-Rouquier conjecture in characteristic zero (after I. Losev and I. Marin - G. Pfeiffer)

A Relative Poincaré-Birkhoff theorem

Poisson geometry and the Kashiwara-Vergne conjecture

Poincaré–Birkhoff–Witt Deformation of Koszul Calabi–Yau Algebras

On BBW parabolics for simple classical Lie superalgebras

An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications

Birational maps, PBW degenerate flags and poset polytopes