En matemáticas , el término matriz de Cartan tiene tres significados. Todos ellos llevan el nombre del matemático francés Elie Cartan . De hecho, las matrices de Cartan en el contexto de las álgebras de Lie fueron exploradas por primera vez por Wilhelm Killing , mientras que la forma de Killing se debe a Cartan.
La matriz de Cartan generalizada es una matriz cuadrada con entradas enteras tales que
Por ejemplo, la matriz de Cartan para G 2 se puede descomponer de la siguiente manera:
La tercera condición no es independiente y es una consecuencia de la primera y cuarta condiciones.
Siempre podemos elegir D con elementos diagonales positivos. En este caso, si S en la expansión es definida positiva , entonces se dice que A es una matriz de Cartan .
La matriz de Cartan de un álgebra de Lie simple es una matriz cuyos elementos son productos escalares
(a veces llamados números enteros de Cartan ), donde r i es el sistema raíz del álgebra . Los elementos son enteros debido a una de las propiedades del sistema raíz . La primera condición se deriva de la definición, la segunda del hecho de que for es una raíz, que es una combinación lineal de raíces simples r i y r j con un coeficiente positivo para r j , y luego el coeficiente para r i debe ser no -negativo. La tercera condición es verdadera debido a la simetría de la relación de ortogonalidad . Y finalmente, sea y . Dado que las raíces simples son linealmente independientes, entonces S es su matriz de Gram (con un factor de 2) y, por lo tanto, es definida positiva.
Y viceversa, si se da una matriz de Cartan generalizada, se puede encontrar el álgebra de Lie correspondiente (ver detalles en el artículo Kac-Moody Algebra ).
Una matriz de tamaño A es descomponible si existe un subconjunto no vacío tal que para todo y . A es indescomponible si no se cumple esta condición.
Sea A una matriz de Cartan generalizada indescomponible. Decimos que A es de tipo finito si todos sus principales menores son positivos, que A es de tipo afín si todos sus principales menores propios son positivos y el determinante de A es 0, y que A es de tipo indeterminado en caso contrario.
Las matrices indescomponibles de tipo finito clasifican grupos de Lie simples de dimensión finita (de tipo ), mientras que las matrices indescomponibles de tipo afín clasifican álgebras de Lie afines (sobre unos cuerpos algebraicamente cerrados con característica 0).
Determinantes de matrices de Cartan para álgebras de Lie simplesLos determinantes de las matrices de Cartan de álgebras de Lie simples se dan en la tabla.
, | , | , | , | |||
norte +1 | 2 | 2 | cuatro | 9- n | una | una |
Otra propiedad de este determinante es que es igual al índice del sistema raíz asociado, es decir, es igual a , donde denotan el peso del retículo y el retículo raíz, respectivamente.
En la teoría de las representaciones modulares y en la teoría más general de las representaciones de álgebras asociativas de dimensión finita que no son semisimples , la matriz de Cartan se define considerando un conjunto (finito) de módulos principales indescomponibles y escribir series de composición para ellos en términos de módulos primos , produciendo una matriz de números enteros que contiene el número de ocurrencias del módulo primo.
En la teoría M , se puede representar la geometría como un límite de dos ciclos que se intersecan en un número finito de puntos, ya que el área de los dos ciclos tiende a cero. En el límite surge un grupo de simetría local . La matriz de índices de intersección de la base de dos ciclos es, hipotéticamente, la matriz de Cartan del álgebra de Lie de este grupo de simetría local [1] .
Esto se puede explicar de la siguiente manera: en la teoría M, hay solitones , que son superficies bidimensionales llamadas membranas o 2-branas . Las 2 branas tienen tensión y, por lo tanto, tienden a encogerse, pero se pueden envolver alrededor de dos ciclos para evitar que las membranas se colapsen hasta cero.
Es posible realizar una compactación una dimensión, en la que se ubican todos los dos ciclos y sus puntos de intersección, y tomar el límite en el que la dimensión colapsa a cero, obteniendo así una reducción en esta dimensión. Entonces obtenemos la teoría de cuerdas de tipo IIA como un límite de la teoría M con dos branas envolventes de dos ciclos, ahora representadas como cuerdas abiertas estiradas entre D-branas . Existe un grupo de simetría local U(1) para cada D-brana, similar a los grados de libertad de movimiento sin reorientación. El límite donde dos ciclos tienen área cero es el límite donde estas D-branas están una encima de la otra.
Una cuerda abierta estirada entre dos D-branas representa un generador de álgebra de Lie, y el conmutador de dos de estos generadores es el tercer generador representado por una cuerda abierta, que se puede obtener pegando los bordes de las dos cuerdas abiertas. Otras conexiones entre diferentes cuerdas abiertas dependen de la forma en que las 2 branas pueden intersecarse en la teoría M original, es decir, en el número de intersecciones de dos ciclos. Así, el álgebra de Lie depende enteramente de estos números de intersección. Se sugiere la conexión con la matriz de Cartan porque describe los conmutadores de raíz simples que están asociados con los dos ciclos en la base elegida.
Tenga en cuenta que los generadores en la subálgebra de Cartan están representados por cuerdas abiertas que se estiran entre una brana D y la misma brana.