Background reading: John Stembridge's webpage.
The idea is that when you want to prove a theorem for all root systems, sometimes it suffices to prove the result for the simply laced case, and then use the concept of folding by a diagram automorphism to deduce the general case.
I have never seen an example of this in practice. So my question is: What are some (good) examples illustrating this technique?
Best Answer
One very important use of this technique is the relation between Lie algebras / quantum groups and quiver varieties. I first saw something about this in Lusztig's book, Introduction to Quantum Groups; but see also this arXiv paper Alistair Savage. Quiver varieties are important for categorifying many structures related to a simple Lie algebra (its representation theory, its enveloping algebra, etc.). Categorification is a long story that leads to all kinds of interesting things, and it is a sequel to the long story of quantum groups themselves. But even if you're not learning about either one for their own sake, Lusztig already needed it to prove properties of his canonical bases of representations of simple Lie algebras.
A Dynkin-type quiver is an orientation of a Dynkin diagram. A quiver representation is a collection of maps between vector spaces in the pattern of the diagram. A quiver variety is then a variety of (certain of) these representations, for fixed choices of the vector spaces. The point is that you can only define a quiver for a simply laced Dynkin diagram. You need the folding automorphism to obtain quiver varieties or information from quivers in general in the multiply laced case.