We review the proposal of a constructive axiomatic approach to the determination of the orbit spaces of all the real compact linear groups, obtained through the computation of a metric matrix P (p), which is defined only in terms of the scalar products between the gradients ∂p 1 (x), . . . , ∂p q (x) of the elements of a minimal integrity basis (MIB) for the ring R[R n ] G of G-invariant polynomials. The domain of semi-positivity of P (p) is known to realize the orbit space R n /G of G as a semi-algebraic variety in the space R q spanned by the variables p 1 , . . . , p q .The matrices P (p) can be obtained from the solutions of a universal differential equation (master equation), which satisfy convenient initial conditions. The master equation and the initial conditions involve as free parameters only the degrees d a of the p a (x)'s. This approach tries to bypass the actual impossibility of explicitly determining a set of basic polynomial invariants for each group.Our results may be relevant in physical contexts where the study of covariant or invariant functions is important, like in the determination of patterns of spontaneous symmetry breaking in quantum field theory, in the analysis of phase spaces and structural phase transitions (Landau's theory), in covariant bifurcation theory, in crystal field theory and so on. (2000): 14L24, 13A50, 14L30.
Mathematics Subject Classifications