# Tagged Questions

**7**

votes

**3**answers

569 views

### nth term in the Baker-Campbell-Hausdorff formula

I am trying to prove a result for which I need the nth term of the Baker-Campbell-Hausdorff formula. I came at this particular result (which is not of significance for the question, but mentioning for ...

**0**

votes

**0**answers

73 views

### Explicit calculation of module of derivations on noncommutative polynomial ring

Let $R$ be a commutative unital associative ring and set $R<x,y>$ to be the $R$-algebra of non-commuting polynomials in two variables over $R$.
Explicitly how would one go about computing ...

**1**

vote

**2**answers

270 views

### Gerstenhaber bracket out of $L_\infty$ algebras

Given a Lie algebra g, with $Ug$ being its universal enveloping algebra, one can construct a cochain complex $d: Ug^n \rightarrow Ug^{n+1}$, and a Gerstenhaber bracket on $\oplus_n Ug^n$ so that ...

**21**

votes

**4**answers

2k 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 ...

**3**

votes

**1**answer

364 views

### Center of universal enveloping algebra of nilpotent lie algebra

Let g be a finite dimensional nilpotent lie algebra over a field k of characteristic zero. Let U(g) be the universal enveloping algebra and Z(g) be its center. Denote by Z_1(g) the augmentation ideal ...

**3**

votes

**0**answers

462 views

### Commutator Baker-Campbell-Hausdorff formula

Consider the Baker-Campbell-Hausdorff formula $\Phi(X,Y)\in\mathbb{Q}\langle\langle X,Y\rangle\rangle$ in non-commutative variables. Define $X*Y:=\Phi(X,Y)$ and $[X,Y]=(-X)*(-Y)*X*Y$, and then as ...

**0**

votes

**1**answer

261 views

### PBW-Theorem and multigraded Lie algebras

Fix a $\mathbb Z_+^n$-graded Lie algebra ${\frak a}=\oplus_{r \in\mathbb Z_+^n}^{} {\frak a}[r]$ such that ${\frak g}:={\frak a}[0]$ is a finite-dimensional semisimple Lie algebra over the complex ...