In mathematics, the term Cartan matrix has three meanings. All of these are named after the French mathematician Élie Cartan. Amusingly, the Cartan matrices in the context of Lie algebras were first investigated by Wilhelm Killing, whereas the Killing form is due to Cartan.
A (symmetrizable) generalized Cartan matrix is a square matrix with integral entries such that
For diagonal entries, .
For non-diagonal entries, .
if and only if
can be written as , where is a diagonal matrix, and is a symmetric matrix.
For example, the Cartan matrix for G2 can be decomposed as such:
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
(sometimes called the Cartan integers) where ri 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 is a root which is a linear combination of the simple roots ri and rj with a positive coefficient for rj and so, the coefficient for ri has to be nonnegative. The third is true because orthogonality is a symmetric relation. And lastly, let and . Because the simple roots span a Euclidean space, S is positive definite.
Conversely, given a generalized Cartan matrix, one can recover its corresponding Lie algebra. (See Kac–Moody algebra for more details).
An matrix A is decomposable if there exists a nonempty proper subset such that whenever and . A is indecomposable if it is not decomposable.
Let A be an indecomposable generalized Cartan matrix. We say that A is of finite type if all of its principal minors are positive, that A is of affine type if its proper principal minors are positive and A has determinant 0, and that A is of indefinite type otherwise.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of characteristic 0. For such a Lie algebra , if nonzero, the following conditions are equivalent: is semisimple; the Killing form, κ(x,y) = tr(ad(x)ad(y)), is non-degenerate; has no non-zero abelian ideals; has no non-zero solvable ideals; the radical (maximal solvable ideal) of is zero.
In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra of a Lie algebra that is self-normalising (if for all , then ). They were introduced by Élie Cartan in his doctoral thesis. It controls the representation theory of a semi-simple Lie algebra over a field of characteristic . In a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero (e.g., ), a Cartan subalgebra is the same thing as a maximal abelian subalgebra consisting of elements x such that the adjoint endomorphism is semisimple (i.
vignette|Le polytope de Gosset : les 240 vecteurs du système de racines En mathématiques, est le plus grand groupe de Lie complexe de type exceptionnel. Son algèbre de Lie est notée . E est de rang 8 et de dimension 248. Il est simplement connexe et son centre est trivial. La structure E a été découverte en 1887 par le mathématicien norvégien Sophus Lie pour étudier la symétrie et jusqu’ici personne ne pensait que cet objet mathématique pourrait être compris, considère , responsable de l’équipe qui réunit 18 mathématiciens et programmeurs dans le monde, dont Fokko du Cloux et .
The monstrous moonshine is an unexpected connection between the Monster group and modular functions. In the course we will explain the statement of the conjecture and study the main ideas and concepts
Adaptive networks rely on in-network and collaborative processing among distributed agents to deliver enhanced performance in estimation and inference tasks. Information is exchanged among the nodes, usually over noisy links. This paper first investigates ...
Let X be a finite set and let k be a commutative ring. We consider the k-algebra of the monoid of all relations on X, modulo the ideal generated by the relations factorizing through a set of cardinality strictly smaller than Card(X), called inessential rel ...
The stability for all generic equilibria of the Lie-Poisson dynamics of the so(4) rigid body dynamics is completely determined. It is shown that for the generalized rigid body certain Cartan subalgebras (called of coordinate type) of so(n) are equilibrium ...