Skip to main content
1 of 3

Are isotypic components of $S(\mathfrak{g})$ finite-dimensional?

Let $\mathfrak{g}$ be a complex simple Lie algebra. Let $S(\mathfrak{g})$ be the algebra of polynomial functions on $\mathfrak{g}$, viewed as a $\mathfrak{g}$-representation. Are the isotypic components of $S(\mathfrak{g})$ finite-dimensional? In other words, does each $\mathfrak{g}$-representation appears with finite multiplicity in $S(\mathfrak{g})$?

This seems to be true for $\mathfrak{sl}_n$, since this is the subject of "plethysm" and there are explicit formulae for these multiplicities. See e.g. this mathoverflow question and the reference therein.