Abstract
If {p 1(x),...,p q(x)} is a minimal integrity basis of the ideal of polynomial invariants of a compact coregular linear groupG, the orbit map
, yields a diffeomorphic image
of the orbit spaceR n/G. Starting from this fact, we point out some properties which are common to the orbit space of all the compact coregular linear groups of transformations ofR n. In particular we show that a contravariant metric matrix\(\hat P(p)\) can be defined in the interior of
, as a polynomial function of (p 1,...,p q). We prove that the matrix\(\hat P(p)\), which characterizes the set
, as it is positive semi-definite only forp∈
, can be determined as a solution of a canonical differential equation, which, for every compact coregular linear group, depends only on the numberq and on the degrees of the elements of the minimal integrity bases. This allows to determine all the isomorphism classes of the orbit spaces of the compact coregular linear groups through a determination of the equivalence classes of the corresponding matrices\(\hat P(p)\). Forq≦3 (orbit spaces with dimensions ≧3), the solutions\(\hat P(p)\) of the canonical equation are explicitly determined and the number of their equivalence classes is shown to be finite. It is also shown that, with a convenient choice of the minimal integrity basis, the polynomial matrix elements of\(\hat P(p)\) have only integer coefficients. Arguments are given in favour of the conjecture that our conclusions hold true for all values ofq. Our results are relevant and lead to universality properties in the physics of spontaneous symmetry breaking.
Similar content being viewed by others
References
[AS 1] Abud, M., Sartori, G.: The geometry of orbit space and natural minima of Higgs potentials. Phys. Lett.104B, 147–152 (1981)
[AS 2] Abud, M., Sartori, G.: The geometry of spontaneous symmetry breaking. Ann. Phys.150, 307–372 (1983)
[Br] Bredon, G.: Introduction to compact transformation groups. New York: Academic Press 1972
[G] Gufan, Yu.M.: Theory of phase transitions characterized by a many-component order parameter. Soviet Phys. Solid State13, 175–184 (1971)
[H] Hilbert, D.: Über die Theorie der algebraischen Formen. Math. Ann.36, 473–534 (1890) and Über die vollen Invariantensysteme. Math. Ann.42, 313–373 (1893)
[J1] Jarić, M.V.: Landau theory, symmetry breaking and the chain criterium. Lecture Notes in Physics, Vol. 135, pp. 12–16. Berlin, Heidelberg, New York: Springer 1980)
[J2] Jarić, M.V.: Orbit space and minima of Landau-Higgs potentials. J. Math. Phys.24, 917–921 (1983)
[JMS] Jarić, M.V., Michel, L., Sharp, R.T.: Zeroes of covariant vector fields for the point groups: Invariant formulation. J. Phys.45, 1–27 (1984)
[N] Noether, E.: Math. Ann.77, 89–92 (1916)
[PS 1] Procesi, C., Schwarz, G.W.: Inequalities defining orbit spaces. Inv. Math.81, 539–554 (1985)
[PS 2] Procesi, C., Schwarz, G.W.: The geometry of orbit spaces and gauge symmetry breaking in supersymmetric gauge theories. Phys. Lett.161B, 117–121 (1985)
[Sa 1] Sartori, G.: A theorem on orbit structures (strata) of compact linear Lie groups. J. Math. Phys.24, 765–768 (1983)
[Sa 2] Sartori, G.: Universality in orbit spaces of compact linear groups. Mod. Phys. Lett. A4, 91–98 (1989)
[Sc 1] Schwarz, G.W.: Smooth functions invariant under the action of a compact Lie group. Topology14, 63–68 (1975)
[Sc 2] Schwarz, G.W.: Representations of simple Lie groups with regular rings of invariants. Invent. Math.49, 167–191 (1978)
[Sc 3] Schwarz, G.W.: Lifting smooth homotopies of orbit spaces. I.H.E.S. Publ.51, 37–135 (1980)
[ST] Shephard, G.C., Todd, J.A.: Finite unitary reflection groups. Can. J. Math.6, 274–304 (1954)
Author information
Authors and Affiliations
Additional information
Communicated by H. Araki
Partially supported by INFN and Ministero della Pubblica Istruzione
Rights and permissions
About this article
Cite this article
Sartori, G., Talamini, V. Universality in orbit spaces of compact linear groups. Commun.Math. Phys. 139, 559–588 (1991). https://doi.org/10.1007/BF02101880
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02101880