Álgebra de Lie ortogonal generalizada

Un álgebra de Lie ortogonal generalizada es un álgebra de Lie asociada a un grupo ortogonal generalizado. Este tipo de álgebras se caracterizan por dos números enteros n y m de tal manera que para cada par de enteros positivos con m < n se tiene un tipo de álgebra ortogonal generalizada, el álgebra: . La dimensión vectorial de estas álgebras de Lie viene dada por:

Una segunda generalización discutida en este artículo explica como construir las álgebras denominadas a partir de las anteriores.

Representación y ejemplos

Álgebras so(n,m)

Existe una manera obvia de representar álgebras de Lie para valores de n y m en términos de álgebras de dimensionalidad inferior. Por ejemplo:

  • pertenece a (n+1) si A pertenece a (n) y V es un n-vector (columna).
  • pertenece a (n, m+1) si A pertenece a (n, m) y V es un (n+m)-vector.(incluyendo m = 0, por supuesto). El álgebra de Lobachevski es (n,1) (no álgebra de Lorentz como es usual en la literatura, una confusión con su papel en el álgebra de Poincaré, aunque la expresión común es álgebra hiperbólica).

Álgebras so(n,m,l)

La construcción anterior puede generalizarse un poco más mediante la siguiente notación:

pertenece a (n, m, 1) si A pertenece a (n, m) y V es un (n+m)-vector. El álgebra euclidiana es (n, 0, 1)!. El álgebra de Poincaré es (n, 1, 1). En general, representa el álgebra de Lie del producto semidirecto de las traslaciones en el espacio Rn+m con SO(n, m) que tiene a (n, m) como su álgebra de Lie.

Notación Nueva: pertenece a (n, m, l+1) si A pertenece a (n, m, l) y V es un (n+m+l)-vector.

En particular: pertenece a (n, m,2) si A pertenece a (n, m) y V y X son (n+m)-vectores. El álgebra de Galileo es (n,0,2), asociado a un producto semidirecto iterado. (t es un "número", pero importante da t si n>2. así que el tiempo es la parte conmutativa del grupo de Galileo).

Para completar, damos aquí las ecuaciones de estructura. El álgebra de Galileo es expandida por T, Xi, Vi y Aij (tensor antisimétrico) conforme a:

  • [Xi, T] = 0
  • [Xi, Xj] = 0
  • [Aij, T] = 0
  • [Vi, Vj] = 0
  • [Aij, Akl] = δik Ajl - δil Ajk - δjk Ail + δjl Aik
  • [Aij, Xk] = δik Xj - δjk Xi
  • [Aij, Vk] = δik Vj - δjk Vi
  • [Vi, Xj] = 0
  • [Vi,T]=Xi
Other Languages