Álgebra de Kac-Moody

 Nota: Para a álgebra de Kac-Moody generalizada, veja Álgebra de Lie.
Série de artigos sobre
Teoria das cordas
Spacetime curvature schematic
História
Objetos fundamentais
Não perturbativos
  • S-dualidade
  • T-dualidade
  • U-dualidade
  • Teoria-M
  • Teoria-F
  • Correspondência AdS/CFT
Fenomenologia
  • Fenomenologia
  • Cosmologia
  • Paisagem
Equações e teorias
  • Teoria de tudo
  • Monstrous moonshine
  • Álgebra de Kac-Moody
  • P-brana negra
  • E8
Teóricos
  • v
  • d
  • e

A álgebra de Kac-Moody, nomeada em honra de Victor Kac e Robert Moody, (também conhecida como álgebra de Kac-Moody Lie) é definida da seguinte forma.

Dado,

1) Uma n×n matriz generalizada de Cartan C = (cij) de classificação r.
2) Um vetor de espaço h {\displaystyle {\mathfrak {h}}} sobre os números complexos de dimensão 2n − r
3) Um conjunto de n elementos linearmente independentes α i   {\displaystyle \alpha _{i}^{\vee }\ } de h {\displaystyle {\mathfrak {h}}} e um conjunto de n elementos linearmente independentes α i {\displaystyle \alpha _{i}} do espaço dual h {\displaystyle {\mathfrak {h}}^{*}} , de tal modo que α i ( α j ) = c j i {\displaystyle \alpha _{i}(\alpha _{j}^{\vee })=c_{ji}} . Os α i {\displaystyle \alpha _{i}} são analógicos para as raízes simples[1] de uma semi-simples álgebra de Lie, e os α i {\displaystyle \alpha _{i}^{\vee }} para as co-raízes simples.

A álgebra de Kac-Moody é a álgebra de Lie g {\displaystyle {\mathfrak {g}}} definida por geradores e i {\displaystyle e_{i}} e f i {\displaystyle f_{i}} ( i { 1 , , n } {\displaystyle i\in \{1,\ldots ,n\}} ) e os elementos de h {\displaystyle {\mathfrak {h}}} e as relações.

  • [ h , h ] = 0   {\displaystyle [h,h']=0\ } para h , h h {\displaystyle h,h'\in {\mathfrak {h}}} ;
  • [ h , e i ] = α i ( h ) e i {\displaystyle [h,e_{i}]=\alpha _{i}(h)e_{i}} , para h h {\displaystyle h\in {\mathfrak {h}}} ;
  • [ h , f i ] = α i ( h ) f i {\displaystyle [h,f_{i}]=-\alpha _{i}(h)f_{i}} , para h h {\displaystyle h\in {\mathfrak {h}}} ;
  • [ e i , f j ] = δ i j α i {\displaystyle [e_{i},f_{j}]=\delta _{ij}\alpha _{i}^{\vee }} , onde δ i j {\displaystyle \delta _{ij}} é o delta de Kronecker
  • ad ( e i ) 1 c i j ( e j ) = 0 {\displaystyle {\textrm {ad}}(e_{i})^{1-c_{ij}}(e_{j})=0} e ad ( f i ) 1 c i j ( f j ) = 0 {\displaystyle {\textrm {ad}}(f_{i})^{1-c_{ij}}(f_{j})=0} , onde ad : g End ( g ) , ad ( x ) ( y ) = [ x , y ] , {\displaystyle {\textrm {ad}}:{\mathfrak {g}}\to {\textrm {End}}({\mathfrak {g}}),{\textrm {ad}}(x)(y)=[x,y],} é a representação adjunta[2] de g {\displaystyle {\mathfrak {g}}} .

A álgebra de Lie real (possivelmente de dimensão infinita) é também considerada uma álgebra de Kac-Moody, se a sua complexificação é uma álgebra de Kac-Moody[3][4] [5].

Referências

  1. Structure of the Root Spaces for Simple Lie Algebras - [https://web.archive.org/web/20100710004059/http://panda.unm.edu/Courses/Finley/p500Fall05/rootss.pdf Arquivado em 10 de julho de 2010, no Wayback Machine.]
  2. Adjoint Representation por Rowland, Todd -
  3. Conrado Damato de Lacerda (11 de maio de 2012). «Introdução às Álgebras de Kac-Moody» (PDF). Universidade Estadual de Campinas 
  4. Anjos, R.C.; Ferreira, L.A. (24 de novembro de 2008). «Cargas conservadas em teorias de sólitons» (PDF). XII Workshop da Pós-Graduação do IFSC  !CS1 manut: Nomes múltiplos: lista de autores (link)
  5. Rita de C dos Anjos, Luiz Agostinho Ferreira (26 de setembro de 2008). «Método de obtenção de cargas conservadas em teorias de sólitons». Instituto de Física de São Carlos, Universidade de São Paulo 
Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.
  • v
  • d
  • e
  • v
  • d
  • e
Tópicos relacionados com álgebra linear
Conceitos básicos
Matrizes
Álgebra linear numérica
Controle de autoridade
  • Portal da matemática