E8 (matemáticas)

Saltar a navegación, búsqueda

En matemática, $\mathbf{E_{8}}$ es el nombre de un grupo de Lie (el más grande) simple y excepcional y del álgebra de Lie que le está asociada. Su álgebra de Lie es formulada con la notación $\mathfrak{e}_8$ .

La estructura E₈ fue descubierta en 1887 por el matemático noruego Sophus Lie para estudiar las simetrías.

Es también 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 E₈ fue previsto por Lie, fue Wilhelm Killing (entre 1888-1890) quien le dio la denominación e interpretación más precisa con que actualmente es identificado.

El nombre $E 8$ 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 $A_{n},\,B_{n},\,C_{n},\,D_{n}$ y cinco casi excepcionales, llamadas $E_{6}, \,E_{7},\,E_{8},\,F_{4},\,G_{2}$ .

El grupo $E 8$ es el más grande y el más complicado de estos casos excepcionales y frecuentemente el último caso de la demostración de varios teoremas.

Contenido

1 Descripción básica
2 Formas reales
3 Teoría de las representaciones
4 Representaciones
5 Construcciones
6 Geometría
7 En física
8 Álgebra
- 8.1 Diagrama de Dynkin
- 8.2 Sistema de raíces
9 Matriz de Cartan
10 Decodificación del grupo
- 10.1 Algunas cifras a partir del cálculo de
11 Notas y referencias
12 Véase también

Descripción básica

E₈ posee un rango 8 y 248 dimensiones (como espacio vectorial) y su centro es trivial. Los generadores son, entonces, vectores de dimensión 8 (serán observados más adelante en el presente artículo).

El grupo de Weyl de E₈, es del orden 696729600. E₈ y el único grupo de Lie simple en el cual la representación no banal de mínima dimensión es la llamada adjoint action (acción adjunta), la cual actúa sobre el álgebra E₈ misma.

Existe un álgebra de Lie E_n para todo número entero n≥3, y es de infinitas dimensiones si n es mayor de 8.

Formas reales

El grupo de Lie complejo E₈, de dimensiones complejas 248 (por lo tanto de dimensión real 496), puede ser considerado como un grupo simple de 496 dimensiones (reales), el cual está simplemente conexo, posee como máximo un subgrupo compacto de la forma compacta de E₈ y posee un grupo externo de automorfismos de dimensión 2, generado por la conjugación compleja.

Así como existe el grupo de Lie complejo, existen tres 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. $E_{8\left(-248\right)}$

Una split form o forma desplegada, que posee como máximo un subgrupo compacto en el cual se tiene muy en cuenta al spin:

S p i n (16) / (Z / 2 Z)

, grupo fundamental de orden 2, y un no-algebraico doble recubrimiento y posee un grupo externo de automorfismos.

Una tercera forma, que posee como máximo subgrupo compacto $E_{7}\times SU(2)/(-I\times -I)$ , grupo fundamental de orden 2, y un no-algebraico doble recubrimiento así como posee un grupo externo de automorfismos banales. Su notación es $E_{8\left(-24\right)}$

Teoría de las representaciones

Los coeficientes de las fórmulas de los carácteres para las representaciones irreducibles infinito-dimensionales dependen de algunas matrices cuadradas de polinomios: los polinomios de Lusztig-Vogan, análogos 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 representación estándar (cuyos caracteres son fáciles de describir merced a las representaciones irreducibles).

Estas matrices fueron calculadas tras cuatro años con la colaboración de un equipo denominado Atlas of Lie groups an Representations que reunió a 18 matemáticos e informáticos dirigidos por Jeffrey Adams y con gran parte de la programación hecha por Fokko du Cloux y Marc van Leeuwen.

Representaciones

$\mathfrak{e}_8$ se distingue de las otras álgebras de Lie de dimensión completa por el hecho de que su más pequeña representación no-trivial es la llamada representación adjunta.

La representación fundamental de E₈ es de dimensión 248.

Construcciones

Se puede construir la forma compacta del grupo E₈ como el grupo de automorfismos del álgebra de Lie $\mathfrak{e}_8$ correspondiente. Esta álgebra posee $\mathfrak{so}(16)$ como subálgebra de dimensión 120 y se puede hacer uso de ella para descomponer la representación adjunta como

$\mathfrak{e}_8 = \mathfrak{so}(16) \oplus \textstyle{S}_{16}^+$

ó $S_{16}^+$ es una de las dos representaciones espinoriales, de tipo Majorana-Weyl del grupo $\operatorname{Spin}\left(16\right)$ donde $\mathfrak{so}\left(16\right)$ es el álgebra de Lie.

Si se denomina $J_{ij}\,$ a un juego de generadores por $\mathfrak{so}\left(16\right)$ y $Q_a\,$ a los 128 componentes de $S_{16}^+$ entonces se puede escribir explícitamente las relaciones definitorias $\mathfrak{e}_8$ como

$\left[J_{ij}, J_{k\ell}\right] = \delta_{jk}J_{i\ell} - \delta_{j\ell}J_{ik} - \delta_{ik}J_{j\ell} + \delta_{i\ell}J_{jk}\,$

de modo que

$\left[J_{ij}, Q_a\right] = \frac14 \left(\gamma_i\gamma_j - \gamma_j\gamma_i\right)_{ab}Q_b\,$ , que corresponde a la acción natural $\operatorname{so}(16)\,$ sobre el espinador $S_{16}^+\,$ . El conmutador restante (que resulta ser un conmutador aunque no un anticonmutador) está definido entre les componentes del espinador como

$\left[Q_a, Q_b\right] = \gamma^{[i}_{ac}\gamma^{j]}_{cb}J_{ij}\,$ .

A partir de estas definiciones se puede observar que la identidad de Jacobi está cumplida.

Geometría

La forma real compacta de E₈ puede ser observada como el grupo de isosimetría de una variedad riemanniana de dimensión 128 denominada plan proyectivo octoniónico.
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 construcción ha sido analizada detalladamente por Hans Freudenthal y Jacques Tits en su construcción del cuadro mágico o cuadrado mágico.

En física

En el marco de las teorías de la gran unificación y teorías del todo —principalmente en física de las partículas—, El grupo E₈ 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 unificación muy considerados. Esto se puede observar bajo la suceción de inclusiones

$E_8 \leftarrow \operatorname{SO}(10) \leftarrow \operatorname{SU}(5) \leftarrow \operatorname{SU}(3)\times\operatorname{SU}(2)\times\operatorname{U}(1)\,$

Por lo demás, el grupo E₈ aparece frecuentemente en teoría de las cuerdas y en supergravedad. En la teoría de las cuerdas heteróticas une formulación hace aparecer $\textstyle{E_8}\times\textstyle{E_8}$ (bajo forma compacta) como grupo de Gauge.
De otra parte, en cuanto que la supergravedad maximal está considerada como compactificada o resabiada sobre un toro de dimensión 8 entonces la teoría resultante en dimensión tres posee una simetría global E₈ (es decir: la forma desplegada o maximalmente no-compactada). Esto ha sugerido que una versión discreta, cuya notación es $E_8\left(\mathbb{Z}\right)\,$ , de este grupo sería una simetría, la cual estaría considerada en el contexto de la U-dualidad, de la teoría M.

En noviembre de 2007, un investigador estadounidense, Antony Garrett Lisi, publicó en el sitio de publicaciones ArXiv un artículo muy discutido referido a una teoría unificatoria de las 4 fuerzas elementales (Una teoría del todo excepcionalmente simple) basada en E₈.

Álgebra

Diagrama de Dynkin

Sistema de raíces

Desde la base formada por las raíces simples $\mathfrak{so}(16)$ , el sistema de raíces de E₈ está formado por un lado de todas las permutaciones de

$\left(\pm 1, \pm 1, 0, 0, 0, 0, 0, 0\right)\,$

que constituye el sistema de raíces de $\mathfrak{so}(16)$ y poseedor de $4\times\begin{pmatrix}8\\2\end{pmatrix} = 112\,$ elementos (esto hace añadir nuevamente 8 generadores de Cartan para obtener 120 que es la la dimensión de $\mathfrak{so}\left(16\right)\,$ ).

Además se debe añadir a esto las 128 ponderaciones de la representación espinorial $S_{16}^+$ de $\mathfrak{so}\left(16\right)$ . Siempre con la misma base, estos son representados por los vectores

$\left(\pm\frac12, \pm\frac12, \pm\frac12, \pm\frac12, \pm\frac12, \pm\frac12, \pm\frac12, \pm\frac12\right)\,$

de modo que la suma de todas las coordenadas sea pareja. Así éstas son del número $\frac12 \times 2^8 = 128\,$ .

Se obtienen entonces $112+128=240\,$ raíces, todas múltiplos de 1. Por abuso de lenguaje se ha considerado también en ocasiones al vector nulo como una raíz nula asociada al subálgebra de Cartan. Como E₈ es de rango 8, la raíz nula es entonces de multiplicidad 8. De este modo se describe bien a los 248 generadores del álgebra $\mathfrak{e}_8$ .

Matriz de Cartan

$\begin{pmatrix} 2 & -1 & 0 & 0 & 0 & 0 & 0 & 0\\ -1 & 2 & -1 & 0 & 0 & 0 & 0 & 0\\ 0 & -1 & 2 & -1 & 0 & 0 & 0 & 0\\ 0 & 0 & -1 & 2 & -1 & 0 & 0 & 0\\ 0 & 0 & 0 & -1 & 2 & -1 & 0 & -1\\ 0 & 0 & 0 & 0 & -1 & 2 & -1 & 0\\ 0 & 0 & 0 & 0 & 0 & -1 & 2 & 0\\ 0 & 0 & 0 & 0 & -1 & 0 & 0 & 2 \end{pmatrix}$

Decodificación del grupo $E_8\,$

El 19 de marzo de 2007 el Instituto estadounidense de matemáticas (AIM) ha anunciado que los investigadores europeos y estadounidenses luego de cuatro años de trabajo han llegado a decodificar el E₈, una de las estructuras matemáticas más complejas y grandes.
El núcleo del grupo de investigadores está constituido por siete matemáticos , cinco estadounidenses y dos franceses: Jeffrey Adams de la Universidad de Maryland, Dan Barbasch de Universidad Cornell, John Stembridge de la Universidad de Míchigan, 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 geométricas como por ejemplo esferas, conos y cilindros del espacio tridimensional. Sin embargo las cuestiones se hacen más complejas (como si se potenciaran) cuando se las observa en más de tres dimensiones. «Comprendrer y clasificar las estructuras $E_8\,$ ha sido crítico para comprender los fenómenos en numerosos dominios de las matemáticas incluyendo el álgebra, la geometría, la física, la teoría de los números así como en la química», ha comentado Peter Sarnak, profesor de matemáticas en la Universidad de Princeton y présidente del comité científico del AIM.

Estos cálculos requieren de nuevas técnicas matemáticas y de más capacidad de cálculo en los ordenadores. Por ejemplo para llegar al cálculo de G₈ una sola operación 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 cálculos requeridos; Noam Elkies, un matemático de la Universidad Harvard ha puesto en evidencia un modo de fraccionar el proyecto en elementos más simples. Cada élemento produce un subconjunto del resultado y su reunión permite hallar la solución 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 cálculos han sido realizados en una computadora de la Universidad de Washington.

El resultado del cálculo de E₈ si fuera escrito sobre papel cubriría un área similar a la de la isla de Manhattan.

Algunas cifras a partir del cálculo de $E_8\,$

Algunas nociones respecto a la magnitud del resultado final^[1] :

El resultado de E₈ 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 tendría la extensión de un cuadrado de 10 km de lado.

Número de polinomios distintos : 1.181.642.979,
número de coeficientes entre los polinomios distintos : 13.721.641.221,
más grande coeficiente : 11.808.808,
polinomio de mayor coeficiente : 152 q²² + 3472 q²¹ + 38 791 q²⁰ + 293 021 q¹⁹ + 1 370 892 q¹⁸ + 4 067 059 q¹⁷ + 7 964 012 q¹⁶ + 11 159 003 q¹⁵ + 11 808 808 q¹⁴ + 9 859 915 q¹³ + 6 778 956 q¹² + 3 964 369 q¹¹ + 2 015 441 q¹⁰ + 906 567 q⁹ + 363 611 q⁸ + 129 820 q⁷ + 41 239 q⁶ + 11 426 q⁵ + 2 677 q⁴ + 492 q³ + 61 q² + 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 q²² + 18 668 q²¹ + 127 878 q²⁰ + 604 872 q¹⁹ + 2 040 844 q¹⁸ + 4 880 797 q¹⁷ + 8 470 080 q¹⁶ + 11 143 777 q¹⁵ + 11 467 297 q¹⁴ + 9 503 114 q¹³ + 6 554 446 q¹² + 3 862 269 q¹¹ + 1 979 443 q¹⁰ + 896 537 q⁹ + 361 489 q⁸ + 129 510 q⁷ + 41 211 q⁶ + 11 425 q⁵ + 2 677 q⁴ + 492 q³ + 61 q² + 3 q,
valor para un polinomio q=1 : 62 098 473.

Notas y referencias

↑ ^a ^b AIM math: Representations of E8

Véase también

Politopo E8
Grupo de Lie
Álgebra de Lie
Grupo de Lie excepcional
Sistema de raíces
Diagrama de Dynkin

Obtenido de "E8 (matem%C3%A1ticas)"

Categoría: Grupos de Lie

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

Matemáticas mayas — Saltar a navegación, búsqueda Los mayas fueron parcialmente avanzados en matemáticas y en astronomía. Si bien el primer uso documentado del cero es de los mayas (en el año 36 a. C.), se quedaron estancados ya que no conocían otros avances como… … Wikipedia Español
Matemáticas — (en castellano se usa comúnmente en plural para referirse al estudio y ciencia), del griego μάθημα, máthema: ciencia, conocimiento, aprendizaje, μαθηματικóς, mathematikós: amante del conocimiento. Es el estudio de patrones en las estructuras de… … Enciclopedia Universal
Matemáticas — Euclides, matemático griego, del siglo III a. C., tal como fue imaginado por Rafael. Detalle de La Escuela de Atenas.[1] Las matemáticas o la matemática (del lat. mathematĭca, y este del … Wikipedia Español
Matemáticas puras — Por Matemáticas Puras se entiende, informalmente, el estudio de las matemáticas, in se y per se, es decir, ‘por sí mismas’ y ‘en tanto que tales’, sin referencia a las aplicaciones prácticas que pudieran derivarse o a las que pudieran aplicarse.… … Wikipedia Español
Matemáticas discretas — Las matemáticas discretas son un área de las matemáticas encargadas del estudio de los conjuntos discretos: finitos o infinitos numerables. En oposición a las matemáticas continuas, que se encarga del estudio de conceptos como la continuidad y el … Wikipedia Español
Matemáticas aplicadas — El término matemáticas aplicadas se refiere a todos aquellos métodos y herramientas matemáticas que pueden ser utilizados en el análisis o solución de problemas pertenecientes al área de las ciencias aplicadas o sociales. Muchos métodos… … Wikipedia Español
Matemáticas en el mundo — Matemática: es la disciplina que estudia, mediante el razonamiento deductivo,las propiedades de los entes abstractos, tales como los números,las figuras geométricas,etc..,así como las relaciones que dichos entes guardan entre sí. Suele decirse… … Enciclopedia Universal
Matemáticas en el Antiguo Egipto — Contenido 1 Métodos 2 Descripción 3 Fuentes 4 Números … Wikipedia Español
Matemáticas mayas — Los mayas fueron muy sabios en las matemáticas y en la astronomía. En matemáticas desarrollaron un sistema de numeración utilizando tres símbolos y de base 20. Debido a que la base del sistema del número era 20, se apuntaron en potencias de 20… … Enciclopedia Universal
Matemáticas chinas — Recientemente ha salido a la luz una cultura matemática propiamente china, basada en el testimonio de antiguas inscripciones, manuscritos e incluso libros impresos. Las primeras nociones matemáticas datan de muy antiguo. Desde el siglo XIII adC,… … Enciclopedia Universal
Matemáticas prehelénicas — Dos focos antiquísimos de cultura matemática, el uno en Egipto y el otro en Babilonia, ejercieron su influencia sobre las matemáticas helénicas. Lo que se conoce del primero se funda en la transcripción de un número restringido de papiros. El más … Enciclopedia Universal

Los diccionarios y las enciclopedias sobre el Académico

E8 (matemáticas)

E8 (matemáticas)

Contenido

Descripción básica

Formas reales

Teoría de las representaciones

Representaciones

Construcciones

Geometría

En física