Skip to main content
deleted 142 characters in body
Source Link

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 finite-dimensional irreducible $\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.

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 finite-dimensional irreducible $\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.

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?

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.

added 31 characters in body
Source Link

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 finite-dimensional irreducible $\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.

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.

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 finite-dimensional irreducible $\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.

Source Link

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.