Classical invariant theory for finite reflection groups (Q1377353)

Let \(V\) be the \(n\)-dimensional Euclidean space over \(\mathbb{R}\) and \(W\) a finite group generated by reflections. For any \(m\geq 1\) the group \(W\) acts on the algebra \(P(V^m)\) of polynomial functions on \(V^m\) via diagonal action. \(P(V)^W\) (the algebra of invariants under \(W\)) is generated by \(n\) algebraically independent homogeneous invariants, called a system of basic invariants. If \(W\) is a Weyl group of type \(A_n\) or \(B_n\), then the algebra \(P(V^m)^W\) is generated by the polarizations of the basic invariants \(u_1,\ldots,u_n\) for \(P(V)^W\). The author gives new proofs for this and shows that a similar result holds if \(W\) is a dihedral group. In addition he shows, if \(W\) is of Weyl type \(D_n\), then \(P(V^2)^W\) is generated by the polarization of the basic invariants \(u_1,\ldots,u_n\) and the generalized polarization of \(u_n\); further, \(P(V^m)^W\) for \(m>2\) is generated by the polarizations of \(P(V^2)^W\). Finally, there is a conjecture concerning other Weyl groups and a variant of Chevalley's restriction theorem in several variables for the classical Lie algebras.