Wonderful compactification of a Cartan subalgebra of a semisimple Lie algebra
Let H be a Cartan subgroup of a semisimple algebraic group G over the complex numbers. The wonderful compactification ˉH of H was introduced and studied by De Concini and Procesi. For the Lie algebra \fh of H, we define an analogous compactification ¯\fh of \fh, to be referred to as the wonderful compactification of \fh. The wonderful compactification of \fh is an example of an "additive toric variety". We establish a bijection between the set of irreducible components of the boundary ¯\fh−\fh of \fh and the set of maximal closed root subsystems of the root system for (G,H) of rank r−1, where r is the dimension of \fh. An algorithm based on Borel-de Siebenthal theory that constructs all such root subsystems will be given. We prove that each irreducible component of ¯\fh−\fh is isomorphic to the wonderful compactification of a Lie subalgebra of \fh and is of dimension r−1. In particular, the boundary ¯\fh−\fh is equidimensional. We describe a large subset of the regular locus of ¯\fh. As a consequence, we prove that ¯\fh is a normal variety.