En matemáticas , el término matriz de Cartan tiene tres significados. Todos ellos reciben su nombre del matemático francés Élie Cartan . Curiosamente, las matrices de Cartan en el contexto de las álgebras de Lie fueron investigadas por primera vez por Wilhelm Killing , mientras que la formulación de Killing se debe a Cartan.
álgebras de Lie
Una matriz de Cartan generalizada (simetrizable) es una matriz cuadrada.con entradas enteras tales que
- Para entradas diagonales,.
- Para entradas no diagonales,.
- si y solo si
- se puede escribir como, dóndees una matriz diagonal yes una matriz simétrica .
Por ejemplo, la matriz de Cartan para G 2 se puede descomponer de la siguiente manera:
La tercera condición no es independiente, sino que es realmente una consecuencia de la primera y la cuarta condición.
Siempre podemos elegir una D con entradas diagonales positivas. En ese caso, si S en la descomposición anterior es definida positiva , entonces se dice que A es una matriz de Cartan .
La matriz de Cartan de un álgebra de Lie simple es la matriz cuyos elementos son los productos escalares.
(a veces llamados enteros de Cartan ) donde r i son las raíces simples del álgebra. Las entradas son enteras a partir de una de las propiedades de las raíces . La primera condición se deduce de la definición, la segunda del hecho de que paraes una raíz que es una combinación lineal de las raíces simples r i y r j con un coeficiente positivo para r j y, por lo tanto, el coeficiente para r i tiene que ser no negativo. La tercera es cierta porque la ortogonalidad es una relación simétrica. Y por último, seay. Debido a que las raíces simples abarcan un espacio euclidiano , S es definida positiva.
Por el contrario, dada una matriz de Cartan generalizada, se puede recuperar su álgebra de Lie correspondiente. ( Para más detalles, véase el álgebra de Kac-Moody ).
Clasificación
UnLa matriz A es descomponible si existe un subconjunto propio no vacío.de tal manera quecuando seay. A es indescomponible si no es descomponible.
Sea A una matriz de Cartan generalizada indescomponible. Decimos que A es de tipo finito si todos sus menores principales son positivos, que A es de tipo afín si sus menores principales propios son positivos y A tiene determinante 0, y que A es de tipo indefinido en caso contrario.
Las matrices indescomponibles de tipo finito clasifican las álgebras de Lie simples de dimensión finita (de tipos), mientras que las matrices indescomponibles de tipo afín clasifican las álgebras de Lie afines (por ejemplo, sobre algún cuerpo algebraicamente cerrado de característica 0).
Determinantes de las matrices de Cartan de las álgebras de Lie simples
Los determinantes de las matrices de Cartan de las álgebras de Lie simples se dan en la siguiente tabla (junto con A 1 =B 1 =C 1 , B 2 =C 2 , D 3 =A 3 , D 2 =A 1 A 1 , E 5 =D 5 , E 4 =A 4 , y E 3 =A 2 A 1 ). [ 2 ]
Otra propiedad de este determinante es que es igual al índice del sistema de raíces asociado, es decir, es igual adonde P y Q denotan la red de pesos y la red de raíces, respectivamente.
Representaciones de álgebras de dimensión finita
En la teoría de la representación modular , y más generalmente en la teoría de las representaciones de álgebras asociativas de dimensión finita A que no son semisimples , una matriz de Cartan se define considerando un conjunto (finito) de módulos principales indescomponibles y escribiendo series de composición para ellos en términos de módulos irreducibles , lo que produce una matriz de enteros que cuenta el número de ocurrencias de un módulo irreducible.
Matrices de Cartan en la teoría M
En la teoría M , se puede considerar una geometría con dos ciclos que se intersecan entre sí en un número finito de puntos, en el límite donde el área de los dos ciclos tiende a cero. En este límite, aparece un grupo de simetría local . Se conjetura que la matriz de números de intersección de una base de los dos ciclos es la matriz de Cartan del álgebra de Lie de este grupo de simetría local. [ 3 ]
Esto se puede explicar de la siguiente manera. En la teoría M, existen solitones que son superficies bidimensionales llamadas membranas o 2-branas . Una 2-brana tiene una tensión y, por lo tanto, tiende a contraerse, pero puede envolver un ciclo de orden dos, lo que le impide contraerse hasta cero.
Se puede compactificar una dimensión compartida por todos los ciclos de dos elementos y sus puntos de intersección, y luego tomar el límite donde esta dimensión se reduce a cero, obteniendo así una reducción dimensional sobre dicha dimensión. Entonces se obtiene la teoría de cuerdas de tipo IIA como límite de la teoría M, con 2-branas que envuelven un ciclo de dos elementos ahora descrito por una cuerda abierta extendida entre D-branas . Existe un grupo de simetría local U(1) para cada D-brana, que se asemeja al grado de libertad de moverla sin cambiar su orientación. El límite donde los ciclos de dos elementos tienen área cero es el límite donde estas D-branas se superponen, de modo que se obtiene un grupo de simetría local ampliado.
Ahora bien, una cuerda abierta extendida entre dos D-branas representa un generador de álgebra de Lie, y el conmutador de dos de estos generadores es un tercero, representado por una cuerda abierta que se obtiene al unir las aristas de dos cuerdas abiertas. Esta última relación entre diferentes cuerdas abiertas depende de la forma en que las 2-branas pueden intersecarse en la teoría M original, es decir, en los números de intersección de los ciclos de dos elementos. Por lo tanto, el álgebra de Lie depende completamente de estos números de intersección. La relación precisa con la matriz de Cartan se debe a que esta última describe los conmutadores de las raíces simples , que están relacionadas con los ciclos de dos elementos en la base elegida.
En la subálgebra de Cartan, los generadores están representados por cadenas abiertas que se extienden entre una D-brana y ella misma.
Véase también
Notas
- ↑ Georgi, Howard (22 de octubre de 1999). Álgebras de Lie en física de partículas (2.ª ed.). Westview Press. pág. 115. ISBN 0-7382-0233-9.
- ↑ Determinantes de Cartan-Gram para los grupos de Lie simples Alfred CT Wu, J. Math. Phys. Vol. 23, No. 11, noviembre de 1982
- ↑ Sen, Ashoke (1997). "Una nota sobre simetrías de gauge mejoradas en la teoría M y de cuerdas". Journal of High Energy Physics . 1997 (9): 001. arXiv : hep-th/9707123 . Bibcode : 1997JHEP...09..001S . doi : 10.1088/1126-6708/1997/09/001 . S2CID 15444381 .
Referencias
- Fulton, William ; Harris, Joe (1991). Teoría de la representación: Un primer curso . Textos de posgrado en matemáticas . Vol. 129. Springer-Verlag. p. 334. ISBN 0-387-97495-4.
- Humphreys, James E. (1972). Introducción a las álgebras de Lie y la teoría de la representación . Textos de posgrado en matemáticas . Vol. 9. Springer-Verlag. pp. 55–56 . doi : 10.1007/978-1-4612-6398-2 . ISBN 0-387-90052-7.
- Kac, Victor G. (1990). Álgebras de Lie de dimensión infinita (3.ª ed.). Cambridge University Press. ISBN 978-0-521-46693-6..
Enlaces externos
- "Matriz de Cartan" , Enciclopedia de Matemáticas , EMS Press, 2001 [1994]
- Weisstein, Eric W. "Matriz de Cartan" . MathWorld .
- Matrices (matemáticas)
- álgebras de Lie
- Teoría de la representación