Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $L$ be a finite dimensional complex simple Lie algebra, and let $F(L)$ be the set of all finite order automorphisms on $L$. Suppose that we declare $f,h \in F(L)$ to be equivalent if there exists an $L$-automorphism $\phi$ such that $f = \phi h \phi^{-1}$. Then the resulting equivalence classes of $F(L)$ have been classified by Kac. Now let us impose a stronger equivalence relation, by requiring the above $\phi$ to be inner (thus $L$ is of type $A$, $D$ or $E_6$). How are such equivalence classes of $F(L)$ (with respect to this stronger equivalence relation) classified?

share|improve this question
    
@Sunny: The question is well-formulated, but is there any motivation for it? (Is there any connection with the tag rt? It might also help to give a reference or two to the literature.) –  Jim Humphreys Mar 2 '13 at 23:18
    
@ Humphreys: Thank you very much for your comments. Two references are: Kac, "Infinite Dimensional Lie Algebras" (Chap. X-5) and Helgason, "Differential Geometry, Lie Groups and Symmetric Spaces" (around page 500). The motivation of Kac is the construction of a $Z_m$-grading on $L$ (also as adjoint $L$-representation) to further construct the Kac-Moody Lie algebras. I don't know whether distinguishing finite order automorphisms which are conjugate by $L$-automorphism but not conjugate by inner $L$-automorphism will bring significance to Kac's construction. --sunny –  sunny Mar 3 '13 at 14:42
add comment

3 Answers

The periodic inner automorphisms are, as you say, classified by Kac diagrams, that is, copies of the affine Dynkin diagram with non-negative weights attached to each vertex. More specifically, given a Kac diagram we construct an inner automorphism of $L$; and every inner automorphism of $L$ is conjugate to one of these automorphisms. (The outer automorphisms are classified via different diagrams, but the question you ask isn't an issue there except in type $D_4$.)

Let's look at the $E_6$ case, since this is easiest to explain what's happening. The affine Dynkin diagram has $S_3$-symmetry since there are three branches of length two emanating from the central vertex. Two Kac diagrams determine conjugate automorphisms in $Aut\; L$ if and only if each diagram can be obtained from the other via a symmetry of the affine Dynkin diagram. But conjugacy in the inner automorphism group holds if and only if each Kac diagram can be obtained from the other via a cyclic permutation of the three branches.

Something similar happens in types $A_n$ and $D_n$ where we also have outer automorphisms. The affine Dynkin diagram in type $A_n$ is a circle (or rather an $(n+1)$-gon), and so the group of symmetries of the diagram is a dihedral group, consisting of rotations and reflections; then two Kac diagrams give us conjugate automorphisms in the inner automorphism group if and only if they can be obtained from each other via rotations.

In type $D_n$ for $n\geq 5$ the affine Dynkin diagram has two forks at either end, and inner conjugacy corresponds - I think - to symmetries of the affine Dynkin diagram which induce even permutations of the four outer vertices. (In other words, we can reflect in the central line of symmetry, or we can flip the forks at both ends, but we can't flip just one fork.) In type $D_4$ the symmetry group of the affine Dynkin diagram is $S_4$, and the outer automorphism group (i.e. $Aut\; L/Int\; L$) is $S_3$, so you can guess which symmetries of the affine Dynkin diagram correspond to inner conjugacy: the permutations $(1\; 2)(3\; 4)$, $(1\; 3)(2\; 4)$ and $(1\; 4)(2\; 3)$.

Finally, the case usually denoted $^{2}D_4$ (i.e. outer automorphisms of $\mathfrak{so}_8$ whose square is inner) is quite complicated. There are no symmetries of the (twisted) affine Dynkin diagram here, but each conjugacy class of these automorphisms in $Aut\; L$ splits into three conjugacy classes for the inner automorphism group. And similarly, each conjugacy class of automorphisms of type $^3D_4$ splits into two conjugacy classes for the inner automorphism group.

share|improve this answer
    
(sorry the "add comment" button does not work so I write my response here) @ Paul Levy: Thank you very much for your comments. I assume you use Cartan subalgebra and the resulting action on the roots $\Delta$. But I do not see one direction of the proof. Take $A_n$ for example, and consider the affine Dynkin diagram $D$ which is a $(n+1)$-gon. Choose a Cartan subalgebra and a simple system so that the vertices of $D$ represent the simple and lowest roots. Let $f, h \in F(L)$ be represented by non-negative integers on the vertices of the $(n+1)$-gon (i.e. Kac diagrams). If the two Kac diagrams –  sunny Mar 3 '13 at 14:41
    
... are related by a rotation on $D$, then as you say $f$ and $h$ are conjugate by inner automorphism, because the rotation on $D$ is the restriction of an inner $L$-automorphism to the Cartan. But I do not see an easy proof for the converse (though I also think the converse is true): Suppose that the Kac diagrams of $f$ and $h$ are related by a reflection on $D$ and not a rotation on $D$. We look for $\phi$ so that $f = \phi h \phi^{-1}$. Indeed the obvious $\phi$ given by reflection on $D$ is an outer $L$-automorphism. But how do we know there is no other choice of $\phi$ whose restriction –  sunny Mar 3 '13 at 14:41
    
... to $\Delta$ lies inside the Weyl group (i.e. it is not reflection on $D$), and which brings the Kac diagram of $f$ to Kac diagram of $h$? Such $\phi$ will be inner. –  sunny Mar 3 '13 at 14:41
    
In type $A_n$ we know that every outer automorphism is $\gamma\circ\sigma$ for some inner $\sigma$, where $\gamma$ is a graph involution. So it isn't possible for an outer automorphism of $L$ to restrict to an element of the Weyl group on $\Delta$. Another way of thinking of it is that an outer automorphism can only act as $-w$ on a Cartan subalgebra (and there's no way $-w$ can equal $w'$ for $w,w'\in W$). –  Paul Levy Mar 4 '13 at 21:35
add comment

A comment and a technical point (too long to post as a comment).

The classification of automorphisms up to inner automorphism, rather than outer, is in fact quite important in the study of real forms of complex groups. For one thing, an outer automorphism of the Lie algebra may fail to exponentiate to the group (if it is not simply connected or adjoint). Consequently the fixed points of two such automorphisms may not be isomorphic, and it is necessary to distinguish these groups. For example in $\mathfrak s\mathfrak o(12,\mathbb C)$ there are two subalgebras isomorphic to $\mathfrak g\mathfrak l(n,\mathbb C)$ which are conjugate by an outer (but not an inner) automorphism. If $G=Spin(12,\mathbb C)/\langle z\rangle$ where $z^2=1$ but $z$ is not fixed by the outer automorphism, then $G$ has two non-isomorphic subgroups locally isomorphic to $GL(6,\mathbb C)$: one is $GL(6,\mathbb C)$, and the other is disconnected.

Another point is that the correct formulation of Vogan duality requires this distinction, in the first place to make some counting come out right. For example if $G(\mathbb C)$ is adjoint of rank $n$, the total number of discrete series representations of all real forms of $G(\mathbb C)$ (with fixed infinitesimal character) is $2^n$. For $PSO(2n,\mathbb C)$ this requires counting $PSO^*(2n)$ twice (these two subroups are related by an outer, but not an inner, automorphism).

Here is a technical correction on the automorphisms of the extended diagram. The center $Z(G_{sc})$ of the simply connected group acts on the extended Dynkin diagram. Automorphisms of $\mathfrak g$, up to inner automorphism, are parametrized by labellings, modulo the action of $Z(G_{sc})$. This only matters in $D_n$: $Z(G_{sc})$ is $\mathbb Z/2\times\mathbb Z/2$ ($n$ even) or $\mathbb Z/4$ ($n$ odd). Consequently all $GL(n,\mathbb C)$ subgroups are conjugate if $n$ is odd, but not if $n$ is even. (For classification up to $Aut(\mathfrak g)$ also throw in automorphisms of the non-extended diagram).

share|improve this answer
add comment

It may be worth adding (belatedly) that the subgroup of affine diagram automorphisms mapping to Inn(L) has a natural description. Namely, the (co)weight lattice acts by translation on the affine root system. Since the affine Weyl group contains the (co)root lattice acting by translations, the quotient group acts on the affine diagram. As is well known, this quotient is isomorphic to the center Z of the simply connected group of L. In this way, the automorphism group of the affine diagram is an extension of Out(L), the automorphism group of the Dynkin diagram, by Z.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.