¿Cuál es una explicación intuitiva de las álgebras de Kac-Moody?

Bueno, tiene la teoría de los grupos Coxeter que se pueden definir de dos maneras (consulte Grupos de reflexión y Grupos Coxeter (Cambridge Studies in Advanced Mathematics): James E. Humphreys: 9780898715569: Amazon.com: Libros para más detalles):

  • Como grupo finito generado por reflexiones que actúan sobre el espacio euclidiano [matemática] R ^ n [/ matemática]. Luego se clasifican por el diagrama de Coxeter-Dynkin (véanse los capítulos 1 y 2 del libro anterior).
  • O de un diagrama de Coxeter-Dynkin [matemáticas] D [/ matemáticas] como un grupo [matemáticas] W (D) [/ matemáticas] generado por la reflexión fundamental del diagrama. La forma cuadrática [matemática] q [/ matemática] se obtiene del diagrama. Si [math] q [/ math] es positivo definido, entonces [math] W (D) [/ math] es finito y estamos en el caso anterior, de lo contrario [math] W (D) [/ math] es infinito (Capítulo 5 , independiente de otros capítulos).

La segunda forma es más general y toma el punto de vista del diagrama como punto de partida.

La teoría del álgebra de Lie es una forma general de representar elementos infinitesimales de grupos continuos. De especial interés son el álgebra de Semisimple Lie, ya que describen el grupo lineal general, el grupo simpléctico, etc. Esas álgebras están clasificadas, véase, por ejemplo, Introducción a las álgebras de mentiras y teoría de la representación (Textos de posgrado en matemáticas) (v. 9): James Humphreys: 0000387900535: Amazon.com: Libros y, sorprendentemente, la clasificación es muy similar a la de finito Grupos Coxeter (pero no idénticos, hay una serie de pequeñas diferencias) mediante el uso de diagramas.

A partir de un diagrama [matemático] D [/ matemático] podemos escribir una presentación del álgebra de Lie que usa solo el diagrama. Lo que hizo Victor Kac fue tomar el punto de vista esquemático como punto de partida y construir a partir de eso toda la teoría, ver: Álgebras de mentiras de dimensiones infinitas: Victor G. Kac: 9780521466936: Amazon.com: Libros. Los resultados son el álgebra de Kac-Moody. No es algo que pueda explicarse de manera simple e intuitiva, de alguna manera son las generalizaciones de dimensiones infinitas del grupo lineal ortogonal, simpléctico y general. Pero su aplicación principal parece estar en la física teórica.

More Interesting

Tengo una recurrencia: [matemáticas] X_n = X_ {n-1} + 1 / (X_ {n-1}) [/ matemáticas]. ¿Cómo obtengo el valor de n para el cual [matemática] X_n [/ matemática] se convierte en al menos [matemática] 2 * X_0 [/ matemática] donde [matemática] X_0 [/ matemática] es un entero positivo?

Cómo encontrar x dado [math] \ log_ \ frac {1} {4} (2x + 3)> \ log_9 27 [/ math]

¿Cómo se pueden explicar los campos de Borel en términos simples?

Cómo evaluar [matemáticas] \ sum_ {k = 1} ^ {\ infty} \ frac {1} {\ Gamma ^ k (\ frac {k} {n})} [/ matemáticas]

Cómo encontrar la suma [matemáticas] \ sum_ {k \ geq0} \ dbinom {n + k} {2k} \ dbinom {2k} {k} \ frac {(- 1) ^ k} {m + k + 1} [/ math] siempre que los enteros [math] m, n \ geq 0 [/ math]

Cómo encontrar una forma cerrada para la suma [math] \ sum_ {k = 0} ^ {m} \ frac {\ tbinom {m} {k}} {\ tbinom {n} {k}} [/ math] cuando [matemáticas] n \ geq m \ geq 0 [/ matemáticas]

¿Por qué los anillos son tan importantes para la geometría algebraica?

¿Es [matemática] \ suma \ límites_ {k = 1} ^ n (4k + 1) [/ matemática] igual a [matemática] 2n ^ 2 + 3n [/ matemática] o [matemática] 2n ^ 2 + 3n + 1 [ /matemáticas]? ¿De dónde viene el [math] 1 [/ math]?

Cómo obtener el número de soluciones integrales positivas de [math] ax-by = c [/ math], donde se conocen [math] a, b [/ math] y [math] x, y [/ math] son ​​variables

¿Cuál es el grupo fundamental de [math] \ mathbb {R} ^ 2 \ setminus \ mathbb {Q} ^ 2 [/ math]?