Scope of the program

Last updated: October 8, 2005

The groups considered in this program are the full groups of real points of connected reductive complex algebraic groups defined over R. In particular, these groups are often non-connected in the analytic topology. It should not be hard at some point to allow for open subgroups of such groups (e.g., their identity components) to be considered. A much more challenging extension would be to allow for finite covers of such open subgroups (i.e., non-linear real reductive groups); currently, this is not envisioned at all.

Here is how a real reductive group is input interactively in the program:

  1. We choose the Lie algebra g of our connected complex reductive group. This is done by giving the Lie type of g (a sequence of symbols like A3.E6.T2, where the "T" factors indicate torus factors—for instance, T2 indicates a torus factor of rank 2). The only constraint here is that the total rank should not exceed 16 (this can be easily increased if your machine is powerful enough, but computations for bigger groups become quickly unfeasible anyway.)

  2. A group G with Lie algebra g is chosen. For this, we start out with the group that is the direct product of the simply connected group corresponding to the semisimple part of g and a torus of the appropriate rank, and mod out by a finite subgroup of the center. What the user must do is enter generators for the central subgroup he wants to mod out by.

  3. We need to choose an inner class of real forms for G. In practice, an inner class is encoded by a string of letters like “cscCu”, where c stands for compact, s for split, C for complex and u for “unequal rank”. Each inner class symbol applies to the corresponding entry in the Lie type sequence, except that a complex inner class consumes two Lie type symbols (that must be equal.) The u symbol is the only way to access the non-equal rank inner class in type D2m; for the other types that have two inner classes (An, n > 1, D2m+1 and E6), u is the same as s. For consistency, e (“equal rank”) is also allowed; this is the same as c.

  4. Finally, if and when it is required to actually specify a real form, the program will compute the classification of weak real forms for the current inner class, and present them to the user through the corresponding real forms of the Lie algebra g. For example, if the Lie type is A3, and the inner class is "c", the choices will be su(4), su(3,1), and su(2,2). It turns out that when g is simple, the isomorphism class of the real form of g entirely determines the weak real form of G, except again in type D2m. For general semisimple or reductive groups, this will no longer be true.

The choice of a real form as in 4 may actually not be required at all for a number of commands; or it may be triggered only much later in the session, when the real form actually matters. It is also possible to switch from one real form to the other within the same inner class, without changing the underlying G (and preserving whatever computations had already been done for G) through the "realform" command.


Back to the introduction.
Back to the Atlas homepage.