A generalization of the Weyl group (Q797191)

Let \(G\) be a compact connected Lie group of isometries of a complete Riemannian manifold \(M\) such that all isotropy groups \(G_ x\) are of maximal rank. Choose a principal orbit \(G(x)\) and let \(F_ x\) be the component of \(x\) in the fixed point set of \(G_ x\). The author proves that the union \(S\) of all singular orbits is equal to the strong focal locus of \(G(x)\). Moreover, the intersection \(S\cap F_ x\) is of codimension 1 in \(F_ x\) and consists of a submanifold of codimension 1, with components \(C_ 1,\dots,C_ q\), plus a set of `branch points'. Each \(C_ i\) is contained in the fixed point set \(F_ i\) of an involution \(g_ i\in N(G_ x)/G_ x\) acting on \(F_ x\). The 'walls' \(F_ i\) decompose \(F_ x\) into 'generalized Weyl chambers', and the involutions \(g_ i\) generate the 'generalized Weyl group' of the action. In the special case where \(M\) is the Lie algebra of \(G\) and the action is the adjoint action, \(F_ x\) becomes a Cartan subalgebra and the construction above reduces to a description of the ordinary Weyl group and Weyl chambers as given by \textit{W. Y. Hsiang} [Cohomology theory of topological transformation groups (1975; Zbl 0429.57011)].