Finally, we’re able to determine the automorphism group of our root systems. That is, given an object in the category of root systems, the morphisms from that root system back to itself (as usual) form a group, and it’s interesting to study the structure of this group.
First of all, right when we first talked about the category of root systems, we saw that the Weyl group of is a normal subgroup of . This will give us most of the structure we need, but there may be automorphisms of that don’t come from actions of the Weyl group.
So fix a base of , and consider the collection of automorphisms which send back to itself. We’ve shown that the action of on bases of is simply transitive, which means that if comes from the Weyl group, then can only be the identity transformation. That is, as subgroups of .
On the other hand, given an arbitrary automorphism , it sends to some other base . We can find a sending back to . And so ; it’s an automorphism sending to itself. That is, ; any automorphism can be written (not necessarily uniquely) as the composition of one from and one from . Therefore we can write the automorphism group as the semidirect product:
All that remains, then, is to determine the structure of . But each shuffles around the roots in , and these roots correspond to the vertices of the Dynkin diagram of the root system. And for to be an automorphism of , it must preserve the Cartan integers, and thus the numbers of edges between any pair of vertices in the Dynkin diagram. That is, must be a transformation of the Dynkin diagram of back to itself, and the reverse is also true.
So we can determine just by looking at the Dynkin diagram! Let’s see what this looks like for the connected diagrams in the classification theorem, since disconnected diagrams just add transformations that shuffle isomorphic pieces.
Any diagram with a multiple edge — , , and the and series — has only the trivial symmetry. Indeed, the multiple edge has a direction, and it must be sent back to itself with the same direction. It’s easy to see that this specifies where every other part of the diagram must go.
The diagram is a single vertex, and has no nontrivial symmetries either. But the diagram for can be flipped end-over-end. We thus find that for all these diagrams. The diagram can also be flipped end-over-end, leaving the one “side” vertex fixed, and we again find , but and have no nontrivial symmetries.
There is a symmetry of the diagram that swaps the two “tails”, so for . For , something entirely more interesting happens. Now the “body” of the diagram also has length , and we can shuffle it around just like the “tails”. And so for we find — the group of permutations of these three vertices. This “triality” shows up in all sorts of interesting applications that connect back to Dynkin diagrams and root systems.