2
$\begingroup$

It is a well known fact (cf. [1] VI.3.4 Thm. 1) that if $\Phi$ is a (reduced) root system with weight lattice $P$ and $W$ is the Weyl group of this root system, then the algebra of invariant polynomials $k[P]^W$ is a polynomial algebra. Moreover, the generators of this polynomial algebra are associated to the fundamental weights $\omega_1,\dots,\omega_n$ of the root system.

For example, if $\Phi$ is the root system of a group $G$ with maximal torus then this polynomial algebra is $k[T]^W$, which is generated by the traces of the fundamental representations $\mathrm{tr}(\rho_1),\dots,\mathrm{tr}(\rho_n)$, which are eigenfunctions of $T$ with weight $\omega_i$.

My question is to what extent a result of this kind can be obtained when $\Phi$ is non-reduced.

Some discussion on this direction appears in Richardson's article [2] Sections 13, 14 and 15. There, Richardson studies the algebra $k[A]^{W_0}$, where $A$ is a maximal $\theta$-split torus for some involution $\theta$ of a reductive group $G$ and $W_0$ is the corresponding "little" Weyl group. However, there is not a discussion in that paper about the generators of this algebra when it is a polynomial algebra. In the lines of the above, I would expect the generators to be eigenfunctions $f_i\in k[G/G^\theta]$ with weights $\eta_i$ the fundamental weights as constructed, for example, in Vust [3].

References

[1] Lie Groups and Lie Algebras. N. Bourbaki.

[2] Orbits, invariants, and representations associated to involutions of reductive groups. R. W. Richardson.

[3] Plongements d'espaces symétriques algébriques: une classification. T. Vust.

$\endgroup$

0

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.