Cartan matrix

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.

Lie algebras

A generalized Cartan matrix is a square matrix $A = \left(a_\left\{ij\right\}\right)$ with integer entries such that

# For diagonal entries, $a_\left\{ii\right\} = 2$.
# For non-diagonal entries, $a_\left\{ij\right\} leq 0$.
# $a_\left\{ij\right\} = 0$ if and only if $a_\left\{ji\right\} = 0$
# $A$ can be written as $DS$, 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_\left\{ij\right\}=\left\{2 \left(r_i,r_j\right)over \left(r_i,r_i\right)\right\}$

(sometimes called the Cartan integers) 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 eq j$, $r_j-\left\{2\left(r_i,r_j\right)over \left(r_i,r_i\right)\right\}r_i$ is a root which is a linear combination of the simple roots ri and rj with a positive coefficient for ri and so, the coefficient for ri has to be nonnegative. The third is true because orthogonality is a symmetric relation. And lastly, let $D_\left\{ij\right\}=\left\{delta_\left\{ij\right\}over \left(r_i,r_i\right)\right\}$ and $S_\left\{ij\right\}=2\left(r_i,r_j\right)$. Because the simple roots span a Euclidean space, S is positive definite.

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.

Cartan matrices in M-theory

In M-theory, one may consider a geometry with two-cycles which intersects with each other at a finite number of points, at the limit where the area of the two-cycles go to zero. At this limit, there appears a local symmetry group. The matrix of intersection numbers of a basis of the two-cycles is conjectured to be the Cartan matrix of the Lie algebra of this local symmetry group [http://arxiv.org/abs/hep-th/9707123] .

This can be explained as follows. In M-theory one has solitons which are two-dimensional surfaces called "membranes" or "2-branes". A 2-brane has a tension and thus tends to shrink, but it may wrap around a two-cycles which prevents it from shrinking to zero.

One may compactify one dimension which is shared by all two-cycles and their intersecting points, and then take the limit where this dimension shrinks to zero, thus getting a dimensional reduction over this dimension. Then one gets type IIA string theory as a limit of M-theory, with 2-branes wrapping a two-cycles now described by an open string stretched between D-branes. There is a U(1) local symmetry group for each D-brane, resembling the degree of freedom of moving it without changing its orientation. The limit where the two-cycles have zero area is the limit where these D-branes are on top of each other, so that one gets an enhanced local symmetry group.

Now, an open string stretched between two D-branes represents a Lie algebra generator, and the commutator of two such generator is a third one, represented by an open string which one gets by gluing together the edges of two open strings. The latter relation between different open strings is depepnds on the way 2-branes may intersect in the original M-theory, i.e. in the intersection numbers of two-cycles. Thus the Lie algebra depends entirely on these intersection numbers. The precise relation to the Cartan matrix is because the latter describes the commutators of the simple roots, which are related to the two-cycles in the basis that is chosen.

Note that generators in the Cartan subalgebra are represented by open strings which are stretched between a D-brane and itself.

References

*
*

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Cartan connection — In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the …   Wikipedia

• Cartan decomposition — The Cartan decomposition is a decomposition of a semisimple Lie group or Lie algebra, which plays an important role in their structure theory and representation theory. It generalizes the polar decomposition of matrices. Cartan involutions on Lie …   Wikipedia

• Cartan subalgebra — In mathematics, a Cartan subalgebra is a nilpotent subalgebra mathfrak{h} of a Lie algebra mathfrak{g} that is self normalising (if [X,Y] in mathfrak{h} for all X in mathfrak{h}, then Y in mathfrak{h}).Cartan subalgebras exist for finite… …   Wikipedia

• Matrix coefficient — In mathematics, a matrix coefficient (or matrix element) is a function on a group of a special form, which depends on a linear representation of the group and additional data. For the case of a finite group, matrix coefficients express the action …   Wikipedia

• Elie Cartan — Élie Joseph Cartan (* 9. April 1869 in Dolomieu, Dauphiné; † 6. Mai 1951 in Paris) war ein französischer Mathematiker, der bedeutende Beiträge zur Theorie der Lie Gruppen und ihrer Anwendungen lieferte. Er leistete darüber hinaus bedeutende… …   Deutsch Wikipedia

• Elie Joseph Cartan — Élie Joseph Cartan (* 9. April 1869 in Dolomieu, Dauphiné; † 6. Mai 1951 in Paris) war ein französischer Mathematiker, der bedeutende Beiträge zur Theorie der Lie Gruppen und ihrer Anwendungen lieferte. Er leistete darüber hinaus bedeutende… …   Deutsch Wikipedia

• Élie Cartan — Infobox Person name = Élie Joseph Cartan image size = 200px caption = Professor Élie Joseph Cartan birth date = birth date|1869|4|9 birth place = Dolomieu, Savoie, France death date = death date and age|1951|5|6|1869|4|9 death place = Paris,… …   Wikipedia

• Élie Cartan — Élie Joseph Cartan (* 9. April 1869 in Dolomieu, Dauphiné; † 6. Mai 1951 in Paris) war ein französischer Mathematiker, der bedeutende Beiträge zur Theorie der Lie Gruppen und ihrer Anwendungen lieferte. Er leistete darüber hinaus bedeutende… …   Deutsch Wikipedia

• Decomposition matrix — In mathematics, and in particular modular representation theory, a decomposition matrix is a matrix that results from writing the irreducible ordinary characters in terms of the irreducible modular characters, where the entries of the two sets of …   Wikipedia

• Maurer–Cartan form — In mathematics, the Maurer–Cartan form for a Lie group G is a distinguished differential one form on G that carries the basic infinitesimal information about the structure of G. It was much used by Élie Cartan as a basic ingredient of his method… …   Wikipedia