Cartan matrix
The integer matrix encoding the simple-root geometry of a semisimple Lie algebra.
Cartan matrix
Let be a complex semisimple Lie algebra , choose a Cartan subalgebra , and let be the associated root system . Fix a set of simple roots .
Choose any -invariant inner product on the real span of (for example, the one induced by the Killing form ).
Definition. The Cartan matrix is defined by
Basic properties.
- for all .
- For , one has , and iff is orthogonal to .
- The matrix determines the Dynkin diagram (and conversely): the off-diagonal entries record the angles and relative lengths between simple roots.
Context. The Cartan matrix is the combinatorial input for the classification of complex simple Lie algebras : connected Dynkin diagrams (or indecomposable Cartan matrices) correspond to simple Lie algebras, while disjoint unions correspond to direct sums.