So, a question I was thinking about for Cherednik algebras (more on that later) ended up reducing to the following invariant theory statement I wasn’t able to prove (or at least have been too lazy to try).

So, let G be a reductive (or if you like real groups better, compact) group acting on a complex vector space V. Consider the polynomial functions as a module over invariant functions . For each irreducible representation W of G, we have a W-isotypic component . (Or, if you like, we can take the eigenspace decomposition for the action of class functions on G by convolution, if G is compact). Of course, is an module in an obvious way.

**Question.** Is finitely generated as an module?

Note: this is well known for a finite group, since itself is a finitely generated module in this case. The question above obviously fails for all of when is not finite, but the isotypic components are more “the right size.”

### Like this:

Like Loading...

*Related*

Let me call it $R_\lambda$ instead of $R_W$, where $\lambda$ is the relevant dominant weight. (Philosophically, it’s strange to have a specific irrep $W$ involved, instead of something that indexes the equivalence class. And how dare you call it $W$ anyway?) Let $\lambda^*$ denote the high weight of $W^*$.

Now consider the algebra $R \otimes \oplus_n V_{n\lambda}$, where the latter has the Cartan multiplication. This is still finitely generated. Its invariant ring is $\oplus_n R_{n\lambda}$, which being an invariant ring is finitely generated. Hence each graded piece is finitely generated over the degree $0$ piece.

Symplectic geometers know tensoring with this Cartan ring as “the shifting trick”; I don’t know what it’s called elsewhere.

Thanks, Allen. I should have thought of that, but I guess that’s why I have the internet.