Picturing structure constants

As mentioned before, in the Chevalley basis the structure constants $K_{ij}$ obey
$$[e_{\alpha_i}, e_{\alpha_j}] = K_{ij}\,e_{\alpha_i+\alpha_j}$$ or vanish. I.e., the commutator of the generators $e_{\alpha_i}$ and $e_{\alpha_j}$ either is zero or collinear to one specific generator (and not a linear combination of two or more generators) with constant of proportionality $K_{ij}$.

With the help of LieTools I created plots of $K_{ij}$ for some classical and the five exceptional Lie algebras. The following figures show the $K_{ij}$'s as a function of root numbers $i$ and $j$ corresponding to the (non-zero) roots $\alpha_i$ and $\alpha_j$.

Fig. 1: Structure constants for Lie algebra A looping thru rank 1 to 13.

In the case of An ($n=1,2,3,\ldots$) the structure constants $K_{ij}$ are $-1$, $0$ or $+1$. Since $K_{ij} = -K_{ji}$, the figures are anti-symmetric with respect to the main diagonal. In addition, for root numbers close to zero (and larger ranks) there appears to be an approximate symmetry with respect to the horizontal and vertical lines.

Fig. 2: Structure constants for Lie algebra B looping thru rank 2 to 13.

Fig. 3: Structure constants for Lie algebra C looping thru rank 3 to 13.

The corresponding plots for the Lie algebras Bn ($n\ge 2$) and Cn ($n\ge 3$) (Figs. 2 and 3) show structure constants ranging from$-2$ to $+2$. It appears that values $\pm 2$ occur solely within a square region centered at the origin with edge length $\approx 1.5\cdot i_{max}$ and a circle centered at the origin with radius $i_{max}$ for the algebras B and C, respectively. Here, $i_{max}$ denotes the maximum root number (half of the total number of non-zero roots). 

Fig. 4: Structure constants for Lie algebra D looping thru rank 4 to 13.

The color-coded structure constants for the exceptional Lie algebras E6, E7, E8, F4 and G2 are shown in the remaining three figures with fig. 5 looping thru E6, E7 and E8. Surprisingly (to me), the plots for the exceptional algebras lack the somewhat regular patterns which are found Figs. 1 - 4.

Fig. 5: Structure constants for Lie algebra E looping thru rank 6 to 8.

Fig. 6: Structure constants for Lie algebra F (rank4)

Fig. 7: Structure constants for Lie algebra G (rank 2)

The Lie algebra G2 is the only one with structure constants varying between $-3$ and $+3$.

Structure constants

Previously on Visual Lie Theory it was mentioned, that the commutator of two basis elements of a Lie algebra $\cal{L}$ is again an element of $\cal{L}$. I.e., it can be written as a linear combination of the basis vectors $t_k, k=1,\ldots,d$; i.e.,
$$[t_i, t_j] = \sum_{k=1}^d f^k_{ij}\,t_k$$ From the literature I learn, that the parameters $f^k_{ij}$ ("structure constants") (almost?) completely describe the Lie algebra $\cal{L}$.

What's interesting about the structure constants is, that once the $f^k_{ij}$ are known, one immediately can write down a $d$-dimensional matrix representation of $\cal{L}$, the adjoint representation. Concretely, the adjoint representation of $t_i$, the $i$-th generator, is given by
$$(T_i)_{k,j}  =  f^k_{ij}$$ where $j = 1,\ldots,d$ and $k = 1,\ldots,d$ denote the row and column index of the matrix $T_i$.

Clearly,  the structure constants depend on the chosen basis vectors $t_k, k=1,\ldots,d$. Viewed from another basis $$t_k \rightarrow \tilde{t}_k \equiv \sum_{l=1}^d a^l_k\,t_l$$ the structure constants will change as well;
$$[\tilde{t}_i, \tilde{t}_j] = \sum_{k=1}^d \tilde{f}^k_{ij}\,\tilde{t}_k$$ It turns out, that there is a particular basis, known as the Chevalley basis, in which the $f^k_{ij}$ are integers and assume only values between $-3$ and $+3$; in addition, the sum in $$[t_i, t_j] = \sum_{k=1}^d f^k_{ij}\,t_k$$ contains at most one non-zero element.

In general, the generators $t_i, i=1,\ldots,d$ can be divided in $d-r$ generators $e_\alpha$ corresponding to non-zero roots and $r$ generators $h_\alpha$ corresponding to zero roots; $d$ being the dimension and $r$ being the rank of $\cal{L}$. Here, the label $i$ of the generator $t_i$ is replaced by the root $\alpha$, which we may regard as a $r$-dimensional index of $e_\alpha$ and $h_\alpha$. For the generators $e_\alpha$ we find
$$[e_{\alpha_i}, e_{\alpha_j}] = K_{ij}\,e_{\alpha_i+\alpha_j}$$ where $K_{ij}$ is non-zero if the sum $\alpha_i+\alpha_j$ is a non-zero root. If $\alpha_i+\alpha_j$ is not a root, the commutator vanishes ($K_{ij}=0$). If $\alpha_i+\alpha_j$ is a zero-root (i.e. $\alpha_j = -\alpha_i$) the commutator is
$$[e_{\alpha_i}, e_{-\alpha_i}] = h_{\alpha_i}$$ where $h_{\alpha_i}$ is an element of the Cartan subalgebra. All generators contained within the Cartan subalgebra commute, i.e.
$$[h_{\alpha_i}, h_{\alpha_j}] = 0$$ . Furthermore,
$$[h_{\alpha_i}, e_{\alpha_j}] = N_{ij}\,e_{\alpha_j}$$ with $N_{ij}$ being the entries of the Cartan matrix.

Since all information on $\cal{L}$ supposedly is encoded in the $f^k_{ij}$, naively I had expected that there existed tables of  $f^k_{ij}$ (or $K_{ij}$) for all (classical and exceptional) Lie algebras. My web search, however, turned up surprisingly little - perhaps I looked at all the wrong places.

So how does one (or a computer) then actually calculate the $f^k_{ij}$? The following two papers I found most useful for finding an answer :

1. V. K. Agrawala and Johan G. Belinfante: Weight diagrams for lie group representations: A computer implementation of Freudenthal's algorithm in ALGOL and FORTRAN, BIT (1969) 9(4):301-314. doi: 10.1007/BF01935862
2. R.B Howlett, L.J Rylands, D.E Taylor: Matrix Generators for Exceptional Groups of Lie Type, Journal of Symbolic Computation, volume 31, issue 4, April 2001, pages 429-445, doi: 10.1006/jsco.2000.0431

Based on algorithms and source code contained therein I wrote some MATLAB programs (the only computer language I speak somewhat fluently) for the calculation of the coefficients $K_{ij}$; these tools ("LieTools") are available for download here. (At this point Octave is not (yet) supported due to Octave's missing implementation of nested functions.)

Fig. 1: Structure constants $K_{ij}$ for the Lie algebra F4 (52 dimensions, i.e. 52-4=48 non-zero roots)

As an example figure 1 shows a graphical representation of (what "LieTools" thinks are) the coefficients $K_{ij}$ for the exceptional Lie algebra F4. In the Chevalley basis the $K_{ij}$ assume one of five possible value, $-2,-1,0,+1,+2$, here plotted in 5 different colours. (You've probably noticed that I used part of this figure for the blog header.)