E8 (matemticas)

En matemtica, es el nombre de un grupo de Lie (el ms grande) simple y excepcional y del lgebra de Lie que le est asociada.
Su lgebra de Lie es formulada con la notacin .

La estructura E8 fue descubierta en 1887 por el matemtico noruego Sophus Lie para estudiar las simetras.

Es tambin el nombre dado al correspondiente sistema de generadores y al grupo de Weyl-Coxeter y a algunos grupos de Chevalley
simples y finitos. Aunque el sistema E8 fue previsto por Lie, fue Wilhelm Killing (entre 1888-1890) quien le dio la denominacin e
interpretacin ms precisa con que actualmente es identificado.

El nombre se debe a las clasificaciones de las lgebras de Lie simples y complejas de Wilhelm Killing y lie Cartan, las cuales
comprenden cuatro familias infinitas llamadas y cinco casi excepcionales, llamadas .

El grupo es el ms grande y el ms complicado de estos casos excepcionales y frecuentemente el ltimo caso de la demostracin
de varios teoremas.

ndice
1 Descripcin bsica
2 Formas reales
3 Teora de las representaciones
4 Representaciones
5 Construcciones
6 Geometra
7 En fsica
8 lgebra
8.1 Diagrama de Dynkin
8.2 Sistema de races
9 Matriz de Cartan
10 Decodificacin del grupo
10.1 Algunas cifras a partir del clculo de

11 Notas y referencias
11.1 Enlaces externos
12 Vase tambin

Descripcin bsica
E8 posee un rango 8 y 248 dimensiones (como espacio vectorial) y su centro es trivial. Los generadores son, entonces, vectores de
dimensin 8 (sern observados ms adelante en el presente artculo).

El grupo de Weyl de E8, es del orden 696729600. E8 y el nico grupo de Lie simple en el cual la representacin no banal de mnima
dimensin es la llamadaadjoint action (accin adjunta), la cual acta sobre el lgebra E8 misma.

Existe un lgebra de Lie En para todo nmero entero n3, y es de infinitas dimensiones sin es mayor de 8.
Formas reales
El grupo de Lie complejo E8, de dimensiones complejas 248 (por lo tanto de dimensin real 496), puede ser considerado como un
grupo simple de 496 dimensiones (reales), el cual est simplemente conexo, posee como mximo un subgrupo compacto de la forma
compacta de E8 y posee un grupo externo deautomorfismos de dimensin 2, generado por la conjugacin compleja.

As como existe el grupo de Lie complejo, existen tresformas reales de E8, todas de 248 dimensiones, del siguiente modo:

Una forma compacta (aquella a la cual el nombre se refiere a falta de otras informaciones), que es simplemente
conexa y posee un grupo externo de automorfismos banales.
Una split form o forma desplegada, que posee como mximo un subgrupo compacto en el cual se tiene muy en
cuenta al spin: , grupo fundamental de orden 2, y un no-algebraico doble recubrimiento y
posee un grupo externo de automorfismos.
Una tercera forma, que posee como mximo subgrupo compacto , grupo fundamental
de orden 2, y un no-algebraico doble recubrimiento as como posee un grupo externo de automorfismos banales. Su
notacin es

Teora de las representaciones

Los coeficientes de las frmulas de los caracteres para las representaciones irreducibles infinito-dimensionales dependen de algunas
matrices cuadradas de polinomios: los polinomios de Lusztig-Vogan, anlogos a los polinomios de Kazhdan-Lusztig, introducidos
por George Lusztig y David Vogan (1983). El valor de estos polinomios calculados en 1 da lo coeficientes de las matrices relativas a
la representacin estndar (cuyos caracteres son fciles de describir merced a las representaciones irreducibles).

Estas matrices fueron calculadas tras cuatro aos con la colaboracin de un equipo denominado Atlas of Lie groups an
Representations que reuni a 18 matemticos e informticos dirigidos por Jeffrey Adams y con gran parte de la programacin hecha
por Fokko du Cloux y Marc van Leeuwen.

Representaciones
se distingue de las otras lgebras de Lie de dimensin completa por el hecho de que su ms pequea representacin no-trivial es la
llamada representacin adjunta.

La representacin fundamentalde E8 es de dimensin 248.

Construcciones
Se puede construir la forma compacta del grupo E8 como el grupo de automorfismos del lgebra de Lie correspondiente. Esta
lgebra posee como sublgebra de dimensin 120 y se puede hacer uso de ella para descomponer la representacin adjunta
como

es una de las dos representaciones espinoriales, de tipo Majorana-Weyl del grupo donde es el lgebra de
Lie.

Si se denomina a un juego de generadores por y a los 128 componentes de entonces se puede escribir
explcitamente las relaciones definitorias como

de modo que
 , que corresponde a la accin natural sobre el

espinador . El conmutador restante (que resulta ser un conmutador aunque no un

anticonmutador) est definido entre les componentes del espinador como
.

A partir de estas definiciones se puede observar que laidentidad de Jacobi est cumplida.

Geometra
La forma real compacta de E8 puede ser observada como el grupo de isosimetra de una variedad riemanniana de dimensin 128
denominada plan proyectivo octoninico.
Este nombre procede de que tal plan puede construirse utilizando un lgebra que est construida como producto tensorial de los
octoniones y con ellos mismos. Este tipo de construccin ha sido analizada detalladamente por Hans Freudenthal y Jacques Tits en su
construccin del cuadro mgico o cuadrado mgico.

En fsica
En el marco de las teoras de la gran unificacin y teoras del todo principalmente en fsica de las partculas, El grupo E8 es a
veces considerado como grupo de arqueo y referencia en la medida que contiene de una manera natural una serie de otros grupos de
gran unificacin muy considerados. Esto se puede observar bajo la sucesin de inclusiones

Por lo dems, el grupo E8 aparece frecuentemente en teora de las cuerdas y en supergravedad. En la teora de las cuerdas heterticas
une formulacin hace aparecer (bajo forma compacta) comogrupo de Gauge.
De otra parte, en cuanto que la supergravedad maximal est considerada como compactificada o resabiada sobre un toro de
dimensin 8 entonces la teora resultante en dimensin tres posee una simetra global E8 (es decir: la forma desplegada o
maximalmente no-compactada). Esto ha sugerido que una versin discreta, cuya notacin es , de este grupo sera una
simetra, la cual estara considerada en el contexto de laU-dualidad, de la teora M.

En noviembre de 2007, un investigador estadounidense, Antony Garrett Lisi, public en el sitio de publicaciones ArXiv un artculo
muy discutido referido a una teora unificatoria de las 4 fuerzas elementales (Una teora del todo excepcionalmente simple) basada en
E8.

lgebra

Diagrama de Dynkin

Sistema de races
Desde la base formada por las races simples , el sistema de races de E8 est formado por un lado de todas las permutaciones
de

que constituye el sistema de races de y poseedor de elementos (esto hace aadir nuevamente 8

generadores de Cartanpara obtener 120 que es la dimensin de ).

Adems se debe aadir a esto las 128 ponderaciones de la representacin espinorial de . Siempre con la misma base,
estos son representados por los vectores

de modo que la suma de todas las coordenadas sea pareja. As stas son del nmero .

Se obtienen entonces races, todas mltiplos de 1. Por abuso de lenguaje se ha considerado tambin en ocasiones
al vector nulo como una raz nula asociada al sublgebra de Cartan. Como E8 es de rango 8, la raz nula es entonces de multiplicidad
8. De este modo se describe bien a los 248 generadores del lgebra .

Matriz de Cartan

Decodificacin del grupo

El 19 de marzo de 2007 el Instituto estadounidense de matemticas (AIM[1]) ha anunciado que los investigadores europeos y
estadounidenses luego de cuatro aos de trabajo han llegado a decodificar el E8, una de las estructuras matemticas ms complejas y
grandes.
El ncleo del grupo de investigadores est constituido por siete matemticos, cinco estadounidenses y dos franceses: Jeffrey Adams
de la Universidad de Maryland, Dan Barbasch de Universidad Cornell, John Stembridge de la Universidad de Mchigan, Peter Trapa
de la Universidad de Utah, Marc van Leeuwen de la Universidad de Poitiers, David Vogan del MIT y Fokko du Cloux de la
Universidad de Lyon.1

Entre los objetos subyacentes en los grupos de Lie, se encuentra toda suerte de figuras geomtricas como por ejemplo esferas, conos
y cilindros del espacio tridimensional. Sin embargo las cuestiones se hacen ms complejas (como si se potenciaran) cuando se las
observa en ms de tres dimensiones. Comprendrer y clasificar las estructuras ha sido crtico para comprender los fenmenos en
numerosos dominios de las matemticas incluyendo el lgebra, la geometra, la fsica, la teora de los nmeros as como en la
qumica, ha comentado Peter Sarnak, profesor de matemticas en la Universidad de Princeton y prsidente del comit cientfico del
AIM.
Estos clculos requieren de nuevas tcnicas matemticas y de ms capacidad de
clculo en los ordenadores. Por ejemplo para llegar al
clculo de G8 una sola operacin ha necesitado 77 horas en un supercomputador dotado de 200 Gbytes de memoria RAM, y ha
producido un resultado del orden de 60 GBytes por lo que esta magnitud puede ser comparada a 60 veces a la requerida para el
genoma humano (el conjunto de datos del genoma representa un volumen de 1 Gbyte). El equipo de investigadores busca encontrar
un supercomputador capaz de efectuar los clculos requeridos; Noam Elkies, un matemtico de la Universidad Harvard ha puesto en
evidencia un modo de fraccionar el proyecto en elementos ms simples. Cada elemento produce un subconjunto del resultado y su
reunin permite hallar la solucin completa. As en verano de 2006 tres integrantes del equipo de investigadores, entre ellos Fokko du
Cloux, han descompuesto el programa en numerosos elementos. Los clculos han sido realizados en una computadora de la
Universidad de Washington.

El resultado del clculo de E8 si fuera escrito sobre papel cubrira un rea similar a la de la isla deManhattan.

Algunas cifras a partir del clculo de

1
Algunas nociones respecto a la magnitud del resultado final:

El resultado de E8 es una matriz de 453 060 filas y columnas.

La matriz comporta 205 263 363 600 elementos,
Si cada elemento de esta matriz estuviera escrito sobre una superficie de 2,5 cm, la matriz tendra la extensin de
un cuadrado de 10 km de lado.

Nmero de polinomios distintos: 1 181 642 979,

nmero de coeficientes entre los polinomios distintos: 13 721 641 221,
ms grande coeficiente: 11 808 808,
polinomio de mayor coeficiente: 152 q22 + 3472 q21 + 38 791 q20 + 293 021 q19 + 1 370 892 q18 + 4 067 059 q17 +
7 964 012 q16 + 11 159 003 q15 + 11 808 808 q14 + 9 859 915 q13 + 6 778 956 q12 + 3 964 369 q11 + 2 015 441 q10
+ 906 567 q9 + 363 611 q8 + 129 820 q7 + 41 239 q6 + 11 426 q5 + 2 677 q4 + 492 q3 + 61 q2 + 3 q,
valor del polinomio q=1: 60 779 787,
polinomio con el mayor valor (cuando q=1) descubierto hasta el presente (mayo de 2007): 1 583 q22 + 18 668 q21 +
127 878 q20 + 604 872 q19 + 2 040 844 q18 + 4 880 797 q17 + 8 470 080 q16 + 11 143 777 q15 + 11 467 297 q14 + 9
503 114 q13 + 6 554 446 q12 + 3 862 269 q11 + 1 979 443 q10 + 896 537 q9 + 361 489 q8 + 129 510 q7 + 41 211 q6
+ 11 425 q5 + 2 677 q4 + 492 q3 + 61 q2 + 3 q,
valor para un polinomio q=1: 62 098 473.

Notas y referencias
1. AIM math: Representations of E8(http://aimath.org/E8/)

Enlaces externos
PDF thorie de A. Garrett Lisi sur l'utilisation de E8 pour runifier les diffrentes forces physiques et la physique
quantique
(en francs) Groupe de Lie E8: une cl pour la thorie des supercordes?
(en ingls) Taille de certaines lignes de calcul du groupeE8
(en francs) Une solution mathmatique aux dimensions dmesuresArticle de Techno-science.net
PDF Reprsentation graphique de EPlantilla:Ind

Plantilla:Groupe de Lie exceptionnelPlantilla:Portail mathmatiques--->

Vase tambin
Politopo E8
Grupo de Lie
lgebra de Lie
 Grupo de Lie excepcional
Sistema de races
Diagrama de Dynkin

Obtenido de https://es.wikipedia.org/w/index.php?title=E8_(matemticas)&oldid=92706735

Se edit esta pgina por ltima vez el 4 ago 2016 a las 14:02.

El texto est disponible bajo laLicencia Creative Commons Atribucin Compartir Igual 3.0 ; pueden aplicarse clusulas
adicionales. Al usar este sitio, usted acepta nuestrostrminos de uso y nuestra poltica de privacidad.
Wikipedia es una marca registrada de laFundacin Wikimedia, Inc., una organizacin sin nimo de lucro.