5
$\begingroup$

Let $\mathfrak{u}$ be a nilpotent Lie algebra and let $\mathbb{C}[\mathfrak{u}]$ be the space of polynomials with the natural coadjoint action of $\mathfrak{u}$.

Can one describe $\mathbb{C}[\mathfrak{u}]^{\mathfrak{u}}$?

We are interested mainly in the case where $\mathfrak{u} = \mathfrak{g}_1 \oplus \mathfrak{g}_2 \oplus \cdots \oplus \mathfrak{g}_k$ is graded nilradical of a parabolic subalgebra of a simple complex Lie algebra $\mathfrak{g}$. Our guess is that $\mathbb{C}[\mathfrak{u}]^{\mathfrak{u}} = \mathbb{C}[\mathfrak{g}_1]$.

$\endgroup$
2
  • $\begingroup$ Perhaps this was looked into by Dixmier and his students in earlier decades (?), but it doesn't seem to be discussed directly in his book on enveloping algebras. At any rate, your guess looks reasonable. Is there representation-theoretic motivation? $\endgroup$ Jun 3, 2015 at 21:38
  • $\begingroup$ @JimHumphreys: Thank you. Our motivation comes from computations of singular vectors in parabolic Verma modules. This result would imply that a "leading" term of a singular vector is from $U(\mathfrak{g}_{-1})$. $\endgroup$ Jun 4, 2015 at 9:23

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.