Invariants of class \(C^r\) of finite groups generated by reflections and Chevalley's theorem in class \(C^r\) (Q1089434): Difference between revisions

Let \(\mathfrak g\) be a real reductive Lie algebra, \(G\) be the adjoint group of \(\mathfrak g\), \(K\) a maximal compact subgroup of \(G\) with the Lie algebra \(\mathfrak k\). Let \({\mathfrak g}={\mathfrak k}\oplus {\mathfrak p}\) be a Cartan decomposition of \({\mathfrak g}\). Then the subgroup \(K\) acts on \(\mathfrak p\). Let \(\mathfrak a\) be a maximal abelian subalgebra of \(\mathfrak p\) and \(W\) the Weyl group of the pair \((\mathfrak g,\mathfrak a)\). The classical Chevalley Theorem asserts that the restriction to \({\mathfrak a}\) is an isomorphism of the algebra \(S(\mathfrak g)^ K\) of \(K\)-invariant polynomial functions on \(\mathfrak p\) onto the algebra \(S(\mathfrak a)^ W\) of \(W\)-invariant polynomial functions on \({\mathfrak a}\). Further, \(S(\mathfrak a)^ W\) is the algebra generated by a system of algebraically independent homogeneous \(W\)-invariant polynomials called the elementary \(W\)-invariants. The corresponding elements of \(S(\mathfrak p)^ K\) are also called elementary \(K\)-invariants. The theorem can be extended to the \(C^{\infty}\)-functions. Namely, the restriction is an isomorphism of the algebra \(C^{\infty}(\mathfrak p)^ K\) of \(K\)-invariant \(C^{\infty}\)-functions on \(\mathfrak p\) onto the algebra \(C^{\infty}(\mathfrak a)^ W\) of \(W\)-invariant \(C^{\infty}\)-functions on \(\mathfrak a\) [cf. \textit{J. Dadok}, Adv. Math. 44, 121--131 (1982; Zbl 0521.22009)]. The author extends the Theorem to \(C^ r\)-functions and proves that any \(W\)-invariant \(C^ r\)-functions on \(\mathfrak a\) can be extended to \(K\)-invariant \(C^ q\)-functions on \(\mathfrak p\) with \(q=[r/(1+d-s)]\), where \(d\) and \(s\) are numbers determined by \(W\). Further, the extended functions can be expressed as \(C^ q\)-functions with respect to elementary \(K\)-invariants on \(\mathfrak p\). Also he shows that the restriction to \(\mathfrak a\) induces an isomorphism of Fréchet spaces between \(C^ r(\mathfrak p)^ K\) and \(C^ r(\mathfrak a)^ W\).