Why do Nakajima and Watanabe claim the induced action of a finite linear group on the invariant subring of the reflection subgroup is linearizable?

Question

I just picked up the paper "The classification of quotient singularities which are complete intersections" by Haruhisa Nakajima and Kei-Ichi Watanabe, which is in the book

• Greco, Silvio, and Rosario Strano, eds. Complete intersections: lectures given at the 1st 1983 session of the Centro Internationale Matematico Estivo (CIME) held at Acireale (Catania), Italy, June 13-21, 1983. Vol. 1092. Springer, 2006.

Nakajima and Watanabe's paper is pp. 102-120. On p. 103, the authors make an assertion (without comment) that I find surprising or at least very non-obvious. (Here, $V$ is a complex finite-dimensional vector space, $G$ is a finite subgroup of $\mathrm{GL}(V)$, and $S$ is the symmetric algebra on $V$, i.e., a ring of polynomials whose degree 1 component is $V$.)

Theorem C: If $G$ does not contain pseudo-reflections, $S^G$ is a Gorenstein ring if and only if $G\subset \mathrm{SL}(V)$.

The condition "$G$ does not contain pseudo-reflections" is not so serious. If $G$ does contain pseudo-reflections, let $H$ be the subgroup of $G$ generated by all the pseudo-reflections of $G$. Then $S^H$ is a polynomial ring by Theorem A, and the action of $G/H$ is linear and does not contain pseudo-reflections. So we can apply Theorem C to this action.

Emphasis added. Theorem A here is the Chevalley-Shepard-Todd theorem. The assertion seems to be that there is a set $f_1,\dots,f_n$ of polynomial generators for $S^H$ (i.e., a set of algebraically independent generators) such that the action of the group $G/H$ on the ring $S^H$ is induced from a linear action of $G/H$ on the vector space $W=\langle f_1,\dots,f_n\rangle_{\mathbb{C}}$, so that $S^H$ can be seen as the symmetric algebra on $W$.

This is not at all clear to me. The degrees of the generators $f_1,\dots,f_n$ are determined by $H$, and it's possible that they're all distinct (e.g. if $H$ is the reflection group $A_n$). Meanwhile, the action of $G/H$ on $S^H$ is certainly graded. In this case, for the action of $G/H$ on $f_1,\dots,f_n$ to be linear in the above sense, it is necessarily diagonal. This seems like a lot to know for sure.

Question: Why do Nakajima and Watanabe feel sure that the action of $G/H$ on $S^H$ is linear?

Remark: Four years ago I asked a related question which is still unanswered as of today, but Nakajima and Watanabe's situation is more specific than the setting of this previous question. In particular, for them, the graded subring is always the invariant ring of a reflection group. (Also, the ground field is $\mathbb{C}$ as opposed to a general field of characteristic 0.)

Answer 1

I think one should consider the ideal $I = S^H_+$ of invariants with zero constant coefficient. To give algebra-generators for $S^H$ is the same as to give generators of $I/I^2$ as a vector space. So here dim$_K(I/I^2) = n$. $G/H$ acts linearly on $I$, $I^2$ and on $I/I^2$. Since we are working on the nonmodular case, $I^2$ has a complement $W$ in $I$ (as $G/H$-spaces). So a basis of $W$ yields suitable generators $f_i$. Now there is an isomorphism $S(W) \to S^H$ (with $S(W)$ the symmetric algebra). The isomorphism is $G/H$-equivariant, but NOT graded.

I hope this makes sense. I agree that Nakajima and Watanabe's comment raises a lot of questions, and I haven't answered them all. For instance, is there a problem with applying Theorem C to $S(W)$ since the isomorphism is not graded?

But Amiram Braun has answered them and carried this argument to the modular case by proving that if you assume that $S^H$ is a polynomial ring, then $S^G$ is quasi-Gorenstein iff $G/H$ acts on $I//I^2$ by transformations of determinant 1. See Corollary 3.9.12 in the book of Derksen and Kemper.