stringtranslate.com

matriz de cartan

En matemáticas , el término matriz de Cartan tiene tres significados. Todos ellos llevan el 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 forma Killing se debe a Cartan. [ cita necesaria ]

Álgebras de mentira

Una matriz de Cartan generalizada (simetrizable) es una matriz cuadrada con entradas enteras tales que

  1. Para entradas diagonales, .
  2. Para entradas no diagonales, .
  3. si y solo si
  4. se puede escribir como , donde es una matriz diagonal y es una matriz simétrica .

Por ejemplo, la matriz de Cartan para G 2 se puede descomponer como tal:

La tercera condición no es independiente sino que en realidad es una consecuencia de la primera y cuarta condiciones.

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.

[1]

(a veces llamados enteros de Cartan ) donde r i son las raíces simples del álgebra. Las entradas son integrales a partir de una de las propiedades de las raíces . 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 las raíces simples r i y r j con un coeficiente positivo para r j , por lo que 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, dejemos y . Debido a que las raíces simples abarcan un espacio euclidiano , S es definido positivo.

Por el contrario, dada una matriz de Cartan generalizada, se puede recuperar su correspondiente álgebra de Lie. (Consulte Álgebra de Kac-Moody para obtener más detalles).

Clasificación

Una matriz A es descomponible si existe un subconjunto propio no vacío tal que cuando sea y . 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 indecomponibles de tipo afín clasifican las álgebras de Lie afines (por ejemplo, sobre algún campo 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 a donde 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 representaciones de álgebras asociativas A de dimensión finita 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 números enteros que cuenta el número de apariciones de un módulo irreducible.

Matrices de Cartan en la teoría M

En teoría M , se puede considerar una geometría con dos ciclos que se cruzan entre sí en un número finito de puntos, en el límite donde el área de los dos ciclos llega 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 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 se tienen solitones que son superficies bidimensionales llamadas membranas o 2-branas . Una 2-brana tiene tensión y, por lo tanto, tiende a encogerse, pero puede envolverse en dos ciclos, lo que evita que se reduzca a cero.

Se puede compactar una dimensión que es compartida por todos los dos ciclos 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 esta dimensión. Luego se obtiene la teoría de cuerdas tipo IIA como límite de la teoría M, con 2-branas envolviendo dos ciclos ahora descritos por una cuerda abierta estirada entre D-branas . Hay 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 dos ciclos tienen área cero es el límite donde estas D-branas están una encima de la otra, de modo que se obtiene un grupo de simetría local mejorado.

Ahora, una cuerda abierta estirada entre dos D-branas representa un generador de álgebra de Lie, y el conmutador de dos de esos generadores es un tercero, representado por una cuerda abierta que se obtiene pegando los bordes de dos cuerdas abiertas. La última relación entre diferentes cuerdas abiertas depende de la forma en que las 2-branas pueden intersectarse en la teoría M original, es decir, en los números de intersección de dos ciclos. Por 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 relacionados con los dos ciclos en la base que se elija.

Los generadores en la subálgebra de Cartan están representados por cuerdas abiertas que se estiran entre una brana D y ella misma.

Ver también

Notas

  1. ^ Georgi, Howard (22 de octubre de 1999). Álgebras de mentira en física de partículas (2 ed.). Prensa de Westview. pag. 115.ISBN​ 0-7382-0233-9.
  2. ^ Determinantes de Cartan-Gram para grupos de Lie simples Alfred CT Wu, J. Math. Física. vol. 23, núm. 11, noviembre de 1982
  3. ^ Sen, Ashoke (1997). "Una nota sobre las simetrías de calibre mejoradas en la teoría de cuerdas y M". Revista de Física de Altas Energías . 1997 (9): 001. arXiv : hep-th/9707123 . doi :10.1088/1126-6708/1997/09/001. S2CID  15444381.

Referencias

Enlaces externos