Inner classes

Last updated: October 8, 2005

Let G be a connected reductive complex algebraic group. The inner class of a real form of G is its image in the outer automorphism group of G. We look at inner classes up to conjugacy in Out(G); it may be shown that there are always finitely many possiblities.

Let Rad(G) be the identity component of the center of G. Then an inner class is entirely determined by the involutions it induces on the Dynkin diagram of G, and on Rad(G). If G is the direct product of Rad(G) and the derived group Der(G), and if Der(G) is simply connected, or adjoint, all pairs of involutions are allowed; this is no longer true in general (the simplest case is when G is PSL(2).SL(2); then the complex inner form (see below) is not allowed.)

The involution induced on the Dynkin diagram of G either fixes a component, or interchanges it with an isomorphic one. We require that the pairs of interchanged components correspond to consecutive entries in the Lie type (for instance, it is allowed to interchange the two A1's in B3.A1.A1, but not in A1.B3.A1.) Of course, it is always possible to lay out the group G in such a way that this condition is fulfilled. We now have a number of possibilities:

As recalled here, any torus with involution can be split up into a direct product of factors on which the involution is either the identity (labelled “c”as above), inversion (labelled “s”), or the exchange of two isomorphic torus factors (labelled “C” for complex). By choosing the way we write Rad(G) appropriately, we may therefore assume that the involution is either the identity, the inversion, or the exchange of two consecutive isomorphic torus factors on the various factors of Rad(G).

The upshot is that without loss of generality we may represent our inner class by a sequence of symbols from the set {c,s,C,u}, one for each factor in the Lie type, except that a “C” symbol uses up two consecutive isomorphic factors, and with the restriction that "u" is allowed only when there is more than one inner class. If it turns out that a given sequence is not allowed for the specific covering group G that we are considering, the program will notice, and complain accordingly.


Back to the introduction.
Back to the Atlas homepage.