Skip to main content

All Questions

Filter by
Sorted by
Tagged with
6 votes
0 answers
102 views

Computer program for free restricted Lie polynomial

I am conducting numerical experiments involving the Gröbner–Shirshov Basis for restricted Lie algebras. At each step of the computation, I need to work with restricted Lie polynomials. Specifically, I ...
4 votes
1 answer
241 views

Regular nilpotents and minimal parabolic subalgebras in real semisimple Lie algebras

Let $\mathfrak{g}$ be a real semisimple Lie algebra. A subalgebra $\mathfrak{p}$ of $\mathfrak{g}$ is parabolic if its complexification is parabolic in $\mathfrak{g}_\mathbb{C}$, meaning it contains a ...
1 vote
0 answers
60 views

Reference for Gröbner-Shirshov algorithm in free restricted Lie algebras

I am searching for a reference on the Gröbner-Shirshov algorithm specifically for free restricted Lie algebras. I have already consulted the textbook by Bokut et al (Gröbner–Shirshov Bases Normal ...
0 votes
0 answers
64 views

Proof of a folkloric result about PI-algebras [duplicate]

I am not not an specialist in PI-algebras, but I can say I have a rather good understanding on the subject. It is, of course, interesting to discover if an algebra $A$ is a PI-algebra. But it is also ...
4 votes
1 answer
133 views

Second cohomology group of the contact Lie algebra $K_3$

Let $F$ be a field of characteristic zero and, for all $n>0$, consider the contact Lie algebra $K_{2n+1}$. It follows from Corollary 3 of the paper [V. Guillemin - S. Shnider: Some stable results ...
2 votes
0 answers
145 views

The "big bracket" in Lie bialgebras

I am looking for a well-written document such as a survey article or textbook that explores the subject of the "big bracket". This concept is briefly introduced in the appendix of Yvette ...
3 votes
1 answer
402 views

A few reference questions about the Baker–Campbell–Hausdorff formula

I'm looking at the article Baker–Campbell–Hausdorff formula - Wikipedia and I have a few questions. Under the "Special cases" section, there is a notation $\DeclareMathOperator{\ad}{ad}$ $$ \...
2 votes
0 answers
145 views

Solvability and nilpotency for Banach algebras

Do we have topological counterparts of solvability and nilpotency, which are central concepts for (finite-dimensional) Lie algebras, for infinite dimensional Banach algebras with the commutator ...
3 votes
1 answer
222 views

Is there a name for a noncommutative generalization of Poisson algebra?

Is there a name for an associative algebra which is further endowed with a Lie algebra structure such that the Leibniz rule holds, i.e., $$[a, b \circ c]=[a,b]\circ c+b\circ [a,c], \hspace{15mm}(*)$$ ...
1 vote
2 answers
310 views

Pullback of Lie algebras [closed]

Let $k$ be a field of characteristic 0 and let $\varphi:\mathfrak{g}\rightarrow\mathfrak{f}$ and $\psi:\mathfrak{h}\rightarrow\mathfrak{f}$ be maps of Lie algebras. Is there a reference showing that ...
5 votes
0 answers
154 views

One-parameter family of algebra structures: characterizing trivial deformation as adjoint 2-cocycle being a 2-coboundary

$\DeclareMathOperator\C{\mathbf{C}}$Motivation: this post discusses a simple criterion for a 1-parameter family of $n$-dimensional complex algebras to be a "trivial deformation", i.e., be ...
4 votes
0 answers
188 views

Macdonald's notes on Kac Moody algebras

Macdonald had given some lectures on Kac-Moody algebras in 1983. The notes are typed here by Arun Ram. However, the website seems to be old and the notes are somewhat not readable because of the ...
9 votes
3 answers
1k views

Poincaré duality for (co)homology of Lie algebras?

Let $R$ be a commutative ring and $\mathfrak{g}$ a Lie $R$-algebra that has an $R$-module basis with $n$ elements. In Algebra, Geometry, and Software Systems by Joswig & Takayama on p.200, it ...
1 vote
0 answers
62 views

References: Lie derivations of Full matrix algebra [closed]

I want, if possible a list of references that trait Lie derivations of Full matrix algebras. Other than Lie derivations of generalized matrix algebras . Thanks
3 votes
2 answers
443 views

Universal central extension of Lie algebras

In the literature, there is the notion of the universal central extension of a Lie algebra. My question is: is there also a notion of universal extensions that are not central? If yes, can you provide ...
7 votes
1 answer
287 views

Which known theorems of Lie algebras are still valid for Leibniz algebras?

Leibniz algebras can be seen as a non-commutative generalization of Lie algebras. Thus, it is common to see a lot of papers which topic is about a generalization of a classic theorem of Lie algebras ...
0 votes
1 answer
654 views

Book on algebraic structures

What is the most complete book on algebraic structures that deals with the complete taxonomy from magmas to Lie algebras and inner product spaces?
3 votes
1 answer
137 views

Subalgebras with finite codimension

In group theory it is well-known that every subgroup of finite index contains a normal subgroup of finite index. It is not true in general that for Lie algebras every subalgebra of finite codimenslon ...
2 votes
0 answers
86 views

Kernel of some expressions in real Lie algebras

Let $\mathfrak{g}$ be a real Lie algebra and let $\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{p}$ be a Cartan decomposition of $\mathfrak{g}$. Let $\mathfrak{a}$ be maximal abelian subalgebra of $\...
5 votes
2 answers
584 views

BGG-like resolutions and translations

This question originated from my confusion after I read the following paragraph (page 31, section 4.8) in Resolutions and Hilbert series of the unitary highest weight modules of the exceptional ...
1 vote
1 answer
322 views

translation functors in parabolic category $\mathcal{O}$

I'm looking for a reference for a treatment of translation functors (as defined e.g. in this [question][1]) in parabolic versions of BGG category $\mathcal{O}$. I am mainly interested in the ...
5 votes
1 answer
619 views

Commutator formulas in a universal enveloping algebra

I am interested in finding formulas for commutators of symmetrized monomials in a universal enveloping algebra. Let $C(x_1,\ldots, x_n)= (1/n!)\sum x_{\sigma(1)}\cdots x_{\sigma(n)}$ where the sum ...