Namespaces
Variants
Actions

Difference between revisions of "Orbit"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (ce)
(name Burnside Lemma)
Line 34: Line 34:
 
The description of the structure of an orbit for a given action usually reduces to giving in each orbit a unique representative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001075.png" />, the description of the stabilizer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001076.png" /> and the description of a suitable class of functions which are constant on the orbit (invariants) and which separate various orbits; these functions enable one to describe the location of the orbits in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001077.png" /> (orbits are intersections of their level sets). This program is usually called the problem of orbit decomposition. Many classification problems can be reduced to this problem. Thus, Example 2) is a classification problem of bilinear symmetric forms up to equivalence; the invariants in this case — the rank and signature — are "discrete" , while the stabilizer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001078.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001079.png" /> is non-degenerate, is the corresponding orthogonal group. The classical theory of the Jordan form of matrices (as well as the theory of other normal forms of matrices, cf. [[Normal form|Normal form]]) can also be incorporated in this scheme: The Jordan form is a canonical representing element (defined, admittedly, up to the order of Jordan blocks) in the orbit of the [[General linear group|general linear group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001080.png" /> on the space of all complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001081.png" />-matrices, for the conjugation action <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001082.png" />; the coefficients of the characteristic polynomial of a matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001083.png" /> are important invariants (which, however, do not separate any two orbits). The idea of considering equivalent objects as orbits of a group is actively used in various classification problems, for example, in algebraic [[Moduli theory|moduli theory]] (see [[#References|[10]]]).
 
The description of the structure of an orbit for a given action usually reduces to giving in each orbit a unique representative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001075.png" />, the description of the stabilizer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001076.png" /> and the description of a suitable class of functions which are constant on the orbit (invariants) and which separate various orbits; these functions enable one to describe the location of the orbits in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001077.png" /> (orbits are intersections of their level sets). This program is usually called the problem of orbit decomposition. Many classification problems can be reduced to this problem. Thus, Example 2) is a classification problem of bilinear symmetric forms up to equivalence; the invariants in this case — the rank and signature — are "discrete" , while the stabilizer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001078.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001079.png" /> is non-degenerate, is the corresponding orthogonal group. The classical theory of the Jordan form of matrices (as well as the theory of other normal forms of matrices, cf. [[Normal form|Normal form]]) can also be incorporated in this scheme: The Jordan form is a canonical representing element (defined, admittedly, up to the order of Jordan blocks) in the orbit of the [[General linear group|general linear group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001080.png" /> on the space of all complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001081.png" />-matrices, for the conjugation action <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001082.png" />; the coefficients of the characteristic polynomial of a matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001083.png" /> are important invariants (which, however, do not separate any two orbits). The idea of considering equivalent objects as orbits of a group is actively used in various classification problems, for example, in algebraic [[Moduli theory|moduli theory]] (see [[#References|[10]]]).
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001084.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001085.png" /> are finite, then
+
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001084.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001085.png" /> are finite, then the [[Burnside Lemma]] holds:
  
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001086.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070010/o07001086.png" /></td> </tr></table>

Revision as of 17:56, 1 December 2014

of a point relative to a group acting on a set (on the left)

The set

The set

is a subgroup in and is called the stabilizer or stationary subgroup of the point relative to . The mapping , , induces a bijection between and the orbit . The orbits of any two points from either do not intersect or coincide; in other words, the orbits define a partition of the set . The quotient by the equivalence relation defined by this partition is called the orbit space of by and is denoted by . By assigning to each point its orbit, one defines a canonical mapping . The stabilizers of the points from one orbit are conjugate in , or, more precisely, . If there is only one orbit in , then is a homogeneous space of the group and is also said to act transitively on . If is a topological group, is a topological space and the action is continuous, then is usually given the topology in which a set is open in if and only if the set is open in .


1) Let be the group of rotations of a plane around a fixed point . Then the orbits are all circles with centre at (including the point itself).

2) Let be the group of all non-singular linear transformations of a finite-dimensional real vector space , let be the set of all symmetric bilinear forms on , and let the action of on be defined by

Then an orbit of on is the set of forms which have a fixed rank and signature.

Let be a real Lie group acting smoothly on a differentiable manifold (see Lie transformation group). For any point , the orbit is an immersed submanifold in , diffeomorphic to (the diffeomorphism is induced by the mapping , ). This submanifold is not necessarily closed in (i.e., not necessarily imbedded). A classical example is the "winding of a toruswinding of a torus" , i.e. an orbit of the action of the additive group on the torus

defined by the formula

where is an irrational real number; the closure of its orbit coincides with . If is compact, then all orbits are imbedded submanifolds.

If is an algebraic group and is an algebraic variety over an algebraically closed field , with regular action (see Algebraic group of transformations), then any orbit is a smooth algebraic variety, open in its closure (in the Zariski topology), while always contains a closed orbit of the group (see [5]). In this case the morphism , , induces an isomorphism of the algebraic varieties and if and only if it is separable (this condition is always fulfilled if is a field of characteristic zero, cf. Separable mapping). The orbits of maximal dimension form an open set in .

The description of the structure of an orbit for a given action usually reduces to giving in each orbit a unique representative , the description of the stabilizer and the description of a suitable class of functions which are constant on the orbit (invariants) and which separate various orbits; these functions enable one to describe the location of the orbits in (orbits are intersections of their level sets). This program is usually called the problem of orbit decomposition. Many classification problems can be reduced to this problem. Thus, Example 2) is a classification problem of bilinear symmetric forms up to equivalence; the invariants in this case — the rank and signature — are "discrete" , while the stabilizer , where is non-degenerate, is the corresponding orthogonal group. The classical theory of the Jordan form of matrices (as well as the theory of other normal forms of matrices, cf. Normal form) can also be incorporated in this scheme: The Jordan form is a canonical representing element (defined, admittedly, up to the order of Jordan blocks) in the orbit of the general linear group on the space of all complex -matrices, for the conjugation action ; the coefficients of the characteristic polynomial of a matrix are important invariants (which, however, do not separate any two orbits). The idea of considering equivalent objects as orbits of a group is actively used in various classification problems, for example, in algebraic moduli theory (see [10]).

If and are finite, then the Burnside Lemma holds:

where is the number of elements of the set , and

If is a compact Lie group acting smoothly on a connected smooth manifold , then the orbit structure of is locally finite, i.e. for any point there is a neighbourhood such that the number of conjugacy classes of different stabilizers , , is finite. In particular, if is compact, then the number of different conjugacy classes of stabilizers , , is finite. For any subgroup in , each of the sets

is the intersection of an open and a closed -invariant subset in . Investigation of in this case leads to the classification of actions (see [1]).

Analogues of these results have been obtained in the geometric theory of invariants (cf. Invariants, theory of) (see [3]). Let be a reductive algebraic group acting regularly on an affine algebraic variety (the base field is algebraically closed and has characteristic zero). The closure of any orbit contains a unique closed orbit. There exists a partition of into a finite union of locally closed invariant non-intersecting subsets, , such that: a) if and is closed, then the stabilizer is conjugate in to a subgroup in , while if is also closed, then is conjugate to ; b) if , , , and and are closed, then and are not conjugate in . If is a smooth algebraic variety (for example, in the important case of a rational linear representation of in a vector space ), then there is a non-empty open subset in such that and are conjugate in for any . The latter result is an assertion about a property of points in general position in , i.e. points of a non-empty open subset; there are also a number of other assertions of this type. For example, for a rational linear representation of a semi-simple group in a vector space , the orbits of the points in general position are closed if and only if their stabilizers are reductive (see [7]); when is irreducible, an explicit expression of the stabilizers of the points in general position has been found (see [8], [9]). The study of orbit closures is important in this context. So, the set of the closure of whose orbits contains the element of coincides with the variety of the zeros of all non-constant invariant polynomials on ; in many cases, and especially in the applications of the theory of invariants to the theory of moduli, this variety plays a vital part (see [10]). Any two different closed orbits can be separated by invariant polynomials. The orbit is closed if and only if the orbit of the point relative to the normalizer of in is closed (see [4]). The presence of non-closed orbits is connected with properties of ; if is unipotent (and is affine), then any orbit is closed (see [6]). One aspect of the theory of invariants concerns the study of orbit decompositions of different concrete actions (especially linear representations). One of these — the adjoint representation of a reductive group — has been studied in detail (see, for example, [11]). This study is connected with the theory of representations of the group ; see Orbit method.

References

[1] R. Palais, "The classification of -spaces" , Amer. Math. Soc. (1960) MR177401
[2] F. Harary, "Graph theory" , Addison-Wesley (1969) pp. Chapt. 9 MR0256912 MR0256911 MR0250930 Zbl 0196.27202 Zbl 0193.28103 Zbl 0182.57702
[3] D. Luna, "Slices étales" Bull. Soc. Math. France. , 33 (1973) pp. 81–105 MR0342523 Zbl 0286.14014
[4] D. Luna, "Adhérence d'orbite et invariants" Invent. Math. , 29 : 3 (1975) pp. 231–238 MR0376704
[5] A. Borel, "Linear algebraic groups" , Benjamin (1969) MR0251042 Zbl 0206.49801 Zbl 0186.33201
[6] R. Steinberg, "Conjugacy classes in algebraic groups" , Lect. notes in math. , 366 , Springer (1974) MR0352279 Zbl 0281.20037
[7] V.L. Popov, "Stability criteria for the action of a semisimple group on a factorial manifold" Math. USSR Izv. , 4 (1970) pp. 527–535 Izv. Akad. Nauk. SSSR Ser. Mat. , 34 (1970) pp. 523–531 Zbl 0261.14011
[8] A.M. Popov, "Irreducible semisimple linear Lie groups with finite stationary subgroups of general position" Funct. Anal. Appl. , 12 : 2 (1978) pp. 154–155 Funkts. Anal. i Prilozhen. , 12 : 2 (1978) pp. 91–92 MR0498913 Zbl 0404.22018
[9] A.G. Elashvili, "Stationary subalgebras of points of the common state for irreducible Lie groups" Funct. Anal. Appl. , 6 : 2 (1972) pp. 139–148 Funkts. Anal. i Prilozhen. , 6 : 2 (1972) pp. 65–78 Zbl 0252.22016
[10] D. Mumford, J. Fogarty, "Geometric invariant theory" , Springer (1982) MR0719371 Zbl 0504.14008
[11] B. Kostant, "Lie group representations on polynomial rings" Amer. J. Math. , 85 : 3 (1963) pp. 327–404 MR0158024 MR0150240 Zbl 0248.20056 Zbl 0124.26802
[12] J.E. Humphreys, "Linear algebraic groups" , Springer (1975) MR0396773 Zbl 0325.20039


Comments

References

[a1] V.L. Popov, "Modern developments in invariant theory" , Proc. Internat. Congress Mathematicians (Berkeley, 1986) , Amer. Math. Soc. (1987) pp. 394–406 MR0934239 Zbl 0679.14024
[a2] H. Kraft, "Geometrische Methoden in der Invariantentheorie" , Vieweg (1984) MR0768181 Zbl 0569.14003
[a3] H. Kraft (ed.) P. Slodowy (ed.) T.A. Springer (ed.) , Algebraische Transformationsgruppen und Invariantentheorie , DMV Sem. , 13 , Birkhäuser (1989) MR1044582 Zbl 0682.00008
How to Cite This Entry:
Orbit. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Orbit&oldid=35244
This article was adapted from an original article by V.L. Popov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article