|
A Cartan matrix is a square integer matrix who elements satisfy the following conditions.
1. is an integer, one of .
2. the diagonal entries are all 2.
3. off of the diagonal.
4. iff .
5. There exists a diagonal matrix such that gives a
symmetric and positive definite quadratic form.
A Cartan matrix can be associated to a semisimple Lie algebra . It is a square matrix, where is the Lie algebra rank of . The Lie algebra simple roots are the basis vectors, and is determined
by their inner product, using the Killing
form.
 |
(1)
|
In fact, it is more a table of values than a matrix. By reordering the basis vectors, one gets another Cartan matrix, but it is considered equivalent to the original Cartan matrix.
The Lie algebra can be reconstructed, up to isomorphism, by the generators which satisfy the Serre relations. In fact,
 |
(2)
|
where are the Lie subalgebras generated by the generators of the same letter.
For example,
![A=[ 2 -1; -1 2]](/images/equations/CartanMatrix/NumberedEquation3.gif) |
(3)
|
is a Cartan matrix. The Lie algebra has six generators .
They satisfy the following relations.
1. .
2. and while
.
3. .
4. .
5. and .
6. and .
From these relations, it is not hard to see that with the
standard Lie algebra representation
In addition, the Weyl group can be constructed directly from the Cartan matrix, where its rows determine the reflections
against the simple roots.
This entry contributed by Todd Rowland
|