Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 2530

Lie algebras are algebraic structures which were introduced to study the concept of infinitesimal transformations. The term "Lie algebra" (after Sophus Lie) was introduced by Hermann Weyl in the 1930s. In older texts, the name "infinitesimal group" is used. Related mathematical concepts include Lie groups and differentiable manifolds.

8 votes
1 answer
490 views

ad (A^n) is a polynomial in ad A ?

Let $k$ be a field and $n$ a nonnegative integer. For any matrix $U\in\mathrm{M}_n\left(k\right)$, let $\mathrm{ad} U$ denote the map $\mathrm{M}_n\left(k\right)\to \mathrm{M}_n\left(k\right),\ V\maps …
darij grinberg's user avatar
17 votes
1 answer
2k views

So, did Poincaré prove PBW or not?

This seems to be a question whose answer depends on whom you ask. Maybe we can come up with a final answer? It is known that Poincaré, at least, invented something that can be called Poincaré-Birkhof …
darij grinberg's user avatar
9 votes
1 answer
337 views

Does the normal ordered product on differential operators lift to $U\left(\mathfrak{gl}_n\ri...

Let $n\in\mathbb N$. Let $k$ be a commutative ring in which $1,2,3,\ldots$ are invertible. Let $\Omega$ denote the $k$-algebra of polynomial differential operators on $n$ variables $x_1$, $x_2$, ..., …
darij grinberg's user avatar
4 votes
3 answers
418 views

Is the space of polynomial functions on M_n a faithful U(gl_n)-module?

We are over some field $k$ of characteristic $0$. The general linear group $\mathrm{GL}_n$ canonically acts from the left and from the right on the space $\mathrm{M}_n$ of all $n\times n$-matrices, an …
darij grinberg's user avatar
9 votes
1 answer
2k views

I don't get a part of Bernstein's / Deligne-Morgan's proof of Poincaré-Birkhoff-Witt

Question: I am talking about the proof given on pages 50-52 of Pierre Deligne, Pavel Etingof, Daniel S. Freed, Lisa C. Jeffrey, David Kazhdan, John W. Morgan, David R. Morrison, and Edward Witten (edi …
darij grinberg's user avatar
9 votes
1 answer
435 views

$U\left(\mathfrak a\right) \otimes_{U\left(\mathfrak a\cap\mathfrak b\right)} U\left(\mathfr...

While the Poincaré-Birkhoff-Witt theorem is usually proven (and sometimes even formulated) for free modules only, it is known (see also here) that it holds for arbitrary modules if the ground ring is …
darij grinberg's user avatar
11 votes
1 answer
1k views

PBW theorem over a Q-algebra, without freeness or flatness

Let $k$ be a commutative ring with $1$. Let $L$ be a $k$-Lie algebra, which is not necessarily free as a $k$-module. Let $S\left(L\right)$ denote the symmetric algebra of $L$ (over $k$), constructed a …
darij grinberg's user avatar
30 votes
4 answers
3k views

A mysterious Heisenberg algebra identity from Sylvester, 1867

I am trying to understand two papers by James Joseph Sylvester: P92: "Note on the properties of the test operators which occur in the calculus of invariants, their derivatives, analogues, and laws of …
darij grinberg's user avatar
10 votes
2 answers
849 views

Can Lie algebra cohomology prove Cartan's Semisimplicity Criterion?

Here is what I mean by "Cartan's semisimplicity criterion": Let $\mathfrak g$ be a finite-dimensional Lie algebra over a field of characteristic $0$. Assume that the center of $\mathfrak g$ is trivia …
darij grinberg's user avatar
2 votes
1 answer
687 views

Restricted universal enveloping algebra of Abelian p-Lie algebra

Question: Let $p$ be a prime. Let $k$ be a commutative ring such that $p=0$ in $k$. Let $\mathfrak g$ be an abelian $p$-restricted Lie algebra over $k$. In other words, let $\mathfrak g$ be a $k$-mod …
darij grinberg's user avatar