Cartan matrix

From Wikipedia, the free encyclopedia

In mathematics, the term Cartan matrix has two meanings. Both of these are named after the French mathematician Élie Cartan. In an example of Stigler's law of eponymy, Cartan matrices in the context of Lie algebras were first investigated by Wilhelm Killing, whereas the Killing form is due to Cartan.

[edit] Lie algebras

A generalized Cartan matrix is a square matrix $A = (a i j)$ with integral entries such that

For diagonal entries, $a i i = 2$ .
For non-diagonal entries, $a_{ij} \leq 0$ .
$a i j = 0$ if and only if $a j i = 0$
$A$ can be written as $D S$ , where $D$ is a diagonal matrix, and $S$ is a symmetric matrix.

The third condition is not independent but is really a consequence of the first and fourth conditions.

We can always choose a D with positive diagonal entries. In that case, if $S$ in the above decomposition is positive definite, then $A$ is said to be a Cartan matrix.

The Cartan matrix of a simple Lie algebra is the matrix whose elements are the scalar products

$a_{ij}={2 (r_i,r_j)\over (r_i,r_i)}$

where $r i$ are the simple roots of the algebra. The entries are integral from one of the properties of roots. The first condition follows from the definition, the second from the fact that for $i\neq j$ , $r_j-{2(r_i,r_j)\over (r_i,r_i)}r_i$ is a root which is a linear combination of the simple roots r_i and r_j with a positive coefficient for r_j and so, the coefficient for r_i has to be nonnegative. The third is true because orthogonality is a symmetric relation. And lastly, let $D_{ij}={\delta_{ij}\over (r_i,r_i)}$ and $S i j = 2(r i, r j)$ . Because the simple roots span a Euclidean space, S is positive definite.

[edit] Representations of finite-dimensional algebras

In modular representation theory, and more generally in the theory of representations of finite-dimensional algebras A that are not semisimple, a Cartan matrix is defined by considering a (finite) set of principal indecomposable modules and writing composition series for them in terms of projective modules, yielding a matrix of integers counting the number of occurrences of a projective module.

Retrieved from "http://en.wikipedia.org../../../c/a/r/Cartan_matrix.html"

Categories: Matrices | Lie algebras | Representation theory