 # Visualizing Lie Subalgebras using Root and Weight Diagrams

Author(s):
Tevian Dray (Oregon State Univ.) and Aaron Wangberg (Winona State Univ.)

## 5. Conclusion

We have presented here methods which illustrate how root and weight diagrams can be used to visually identify the subalgebras of a given Lie algebra. While the standard methods of determining subalgebras rely upon adding, removing, or folding along nodes in a Dynkin diagram, we show here how to construct any of a Lie algebra's root or weight diagrams from its Dynkin diagram, and how to use geometric transformations to visually identify subalgebras using those weight and root diagrams. In particular, we show how these methods can be applied to algebras whose root and weight diagrams have dimensions four or greater. In addition to pointing out the erroneous inclusion of $C_4 \subset F_4$ in [15, 16], we provide visual proof that $C_4 \subset E_6$ and list all the subalgebras of $E_6$. While we are primarily concerned with the subalgebras of $E_6$, these methods can be used to find subalgebras of any rank $l$ algebra.

## Endnotes

1There are two minimal representations of $A_2$, only one of which is shown in Figure 2. The second minimal weight diagram of $A_2$ is similar, but rotated $180^\circ$ from the one shown. We omit this diagram, since it contributes no new information to the determination of subalgebras, which is our primary goal.

2For algebras of rank 6 and lower, the exceptions are that $B_n = so(2n+1)$ and $C_n=sp(2 \cdot n)$ have the same dimension for each rank $n$, and that $B_6$, $C_6$, and $E_6$ all have dimension 78.

3The distance between adjacent weights in the infinite lattice is less than or equal to the length of each root vector. Root vectors do not always connect adjacent weights, but often skip over them.

4 An equivalent projection $\mathbb{R}^6 o \mathbb{R}^3: (x,y,z,u_1,u_2,u_3) o (x+s_1 u_1 + s_2 u_2 + s_3 u_3, y, z)$ with $s_1 > \eta_2 s_2 > \eta_3 s_3$ for sufficiently large $\eta_2$ and $\eta_3$ will string a 6-dimensional diagram along one axis. The $u_1$ coordinate will separate the different 5-dimensional slices, with $s_1 u_1$ moving these different slices very apart. The $u_2$ and $u_3$ coordinates will locally separate the 4-dimensional and 3-dimensional slices along the $x$ axis, but sufficiently small $s_2$ and $s_3$ will keep the subslices of one 5-dimensional slice from interfering with another 5-dimensional slice. This method generalizes to $n$-dimensional diagrams, but creates a very long string of the resulting diagrams.

5 The large number of grey lines in a diagram can hide the important roots within each slice in addition to causing computational overload.

6 While the root vectors in the octahedron and the $C_3$ root diagram appear to intersect, they do not terminate or start from any common vertex.

Tevian Dray (Oregon State Univ.) and Aaron Wangberg (Winona State Univ.), "Visualizing Lie Subalgebras using Root and Weight Diagrams," Convergence (February 2010), DOI:10.4169/loci003287

## Dummy View - NOT TO BE DELETED

• • • 