Projective normality of Weyl group quotients (Q353964)

Let \(G\) be a semisimple algebraic group over \({\mathbb C}\) and \(W\) its Weyl group. If \(V^m\) is the direct sum of \(m\) copies of the standard representation of \(W\), then \({\mathbb C}[V^m]^W\) is finitely generated by a celebrated result of Emmy Noether. The natural line bundle \({\mathcal O}^{\otimes|W|}\) on \({\mathbb P}(V^m)\) descends to a very ample line bundle \({\mathcal L}\) on the quotient \({\mathbb P}(V^m)/W\). The authors prove that, if \(G\) is of type \(A_n\), \(B_n\), \(C_n\), \(D_n\), \(F_4\) or \(G_2\), then the polarised variety \(({\mathbb P}(V^m)/W,{\mathcal L})\) is projectively normal. The proof uses explicit systems of generators for \({\mathbb C}[V^m]^W\) in each case. The reason that \(E_6\), \(E_7\) and \(E_8\) are excluded is that the authors have been unable to find such explicit systems in these cases.