# “Diagonalizing” Littlewood-Richardson coefficients

Let's consider the Littlewood-Richardson coefficients $c^{\lambda}_{\mu \nu}$ so that $$V_\mu \otimes V_\nu = \bigoplus_\lambda V_\lambda^{\oplus c^{\lambda}_{\mu \nu}}$$ where $V_\mu$ are representations of $GL_n$.

Usually the basis elements of the (infinite dimensional) vector space of irreducible representations of $GL_n$ are labelled by partitions. I have two questions:

1. Is there a basis (with basis elements labelled by $i, j, k, \cdots$) that "diagonalizes" the Littlewood-Richardson coefficients? In other words, $c^{i}_{jk} = 0$ unless $i=j=k$?

2. If so, is there an elegant way of relating such a basis to the basis labelled by partitions?

If a diagonal basis existed, tensoring with a fixed representation would kill all but finitely many basis elements. This is not the case because e.g. tensoring with the $1$-dimensional trivial representation doesn't kill anything.
The vector space spanned by the irreps of $G=GL_n$ can be identified, by means of the character, with the vector space of $G$-invariant algebraic functions on $G$, for the adjoint action.
If you disregard the distinction between various kinds of functions (algebraic functions, smooth functions, distributions,...), then the Dirac delta functions at the various points of $G/G_{ad}$ can be thought of as a basis of this vector space.
• Even more explicitly, the ring of $GL_n$-invariant algebraic functions on $GL_n$ is the free ring on the coefficients of the characteristic polynomial, plus the inverse on the determinant, and is so the ring of algebraic functions on $\mathbb A^n - \mathbb A^{n-1}$. – Will Sawin Apr 22 '16 at 21:50