## Return to Question

4 Rollback to Revision 2

The question was very unclear!

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 numbers and ${\frak a}[r]$ is a finite-dimensional $\frak g$-module for all $r\in\mathbb Z_+^n$.

We have a natural ideal given by ${\frak a_+}=\oplus_{r \in\mathbb Z_+^n, r\ne 0}^{} {\frak a}[r]$. Denote by $U(\frak a_+)$ its universal enveloping algebra. Notice that $U(\frak a_+)$ inherits a $\mathbb Z_+^n$-gradation from $\frak a$.

How to describe ${U(\frak a_+)}[k]$ as a ${\frak g}$-module using the PBW Theorem ? (the graded pieces of $U({\frak a}_+))$

3 deleted 635 characters in body

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 numbers and ${\frak a}[r]$ is a finite-dimensional $\frak g$-module for all $r\in\mathbb Z_+^n$.

We have a natural ideal given by ${\frak a_+}=\oplus_{r \in\mathbb Z_+^n, r\ne 0}^{} {\frak a}[r]$. Denote by $U(\frak a_+)$ its universal enveloping algebra. Notice that $U(\frak a_+)$ inherits a $\mathbb Z_+^n$-gradation from $\frak a$.

How to describe ${U(\frak a_+)}[k]$ as a ${\frak g}$-module using the PBW Theorem ? (the graded pieces of $U({\frak a}_+))$

The question was very unclear!

2 edited body

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 numbers and ${\frak a}[r]$ is a finite-dimensional $\frak g$-module for all $r\in\mathbb Z_+^n$.

We have a natural ideal given by ${\frak a_+}=\oplus_{r \in\mathbb Z_+^n, r\ne 0}^{} {\frak a}[r]$. Denote by $U(\frak a_+)$ its universal enveloping algebra. Notice that $U(\frak a_+)$ inherits a $\mathbb Z_+^n$-gradation from $\frak a$.

How to describe $U({\frak a}+)[k]$ {U(\frak a_+)}[k]$as a${\frak g}$-module using the PBW Theorem ? (the graded pieces of$U({\frak a}+))$a}_+))$

1