nLab
orbit

Contents

Definition

Discrete case

Given an action G×XXG\times X\to X of a (discrete) group GG on a set XX, any set of the form Gx={gx|gG}G x = \{g x|g\in G\} for a fixed xXx\in X is called an orbit of the action, or the GG-orbit through the point xx. The set XX is a disjoint union of its orbits.

Topological case

If GG is a topological group, XX a topological space and the action continuous, then one can distinguish closed orbits from those which are not. Even when one starts with G,XG,X Hausdorff, the space of orbits is typically non-Hausdorff. (This problem is one of the motivations of the noncommutative geometry of Connes’ school.)

If the original space is paracompact Hausdorff, then every orbit GxG x as a topological GG-space is isomorphic to G/HG/H, where HH is the stabilizer subgroup of xx.

Orbit method

The orbit method is a method in representation theory introduced by Kirillov, Kostant and Souriau; it is a special case of geometric quantization. The orbit method is based on the study of the representations constructed from the coadjoint orbits with Kirillov symplectic structure. The terminology ‘geometric quantization’ allows for more general underlying spaces.

Given a compact Lie group KK with complexification GG and a unitary representation ρ\rho of KK on a finite-dimensional complex space VV, the real orbits of the highest weight vector agrees with the complex orbits, i.e. the orbits of the extension of this representation to the representation of the complexification. These are the coherent state orbits; there is also an infinite-dimensional version for reductive groups and representations which allows them (so-called coherent state representations).

Revised on November 14, 2013 23:09:06 by Urs Schreiber (82.169.114.243)