stringtranslate.com

Teorema de Hurwitz (álgebras de composición)

En matemáticas , el teorema de Hurwitz es un teorema de Adolf Hurwitz (1859-1919), publicado póstumamente en 1923, que resuelve el problema de Hurwitz para álgebras reales unitarias no asociativas de dimensión finita dotadas de una forma cuadrática positiva definida no degenerada . El teorema establece que si la forma cuadrática define un homomorfismo en los números reales positivos en la parte distinta de cero del álgebra, entonces el álgebra debe ser isomorfa a los números reales , los números complejos , los cuaterniones o los octoniones , y que no hay otras posibilidades. Tales álgebras, a veces llamadas álgebras de Hurwitz , son ejemplos de álgebras de composición .

La teoría de las álgebras de composición se ha generalizado posteriormente a formas cuadráticas arbitrarias y cuerpos arbitrarios . [1] El teorema de Hurwitz implica que las fórmulas multiplicativas para sumas de cuadrados solo pueden ocurrir en 1, 2, 4 y 8 dimensiones, un resultado probado originalmente por Hurwitz en 1898. Es un caso especial del problema de Hurwitz , resuelto también en Radon (1922). Pruebas posteriores de las restricciones en la dimensión han sido dadas por Eckmann (1943) usando la teoría de representación de grupos finitos y por Lee (1948) y Chevalley (1954) usando álgebras de Clifford . El teorema de Hurwitz se ha aplicado en topología algebraica a problemas sobre campos vectoriales en esferas y los grupos de homotopía de los grupos clásicos [2] y en mecánica cuántica a la clasificación de álgebras de Jordan simples . [3]

Álgebras euclidianas de Hurwitz

Definición

Un álgebra de Hurwitz o álgebra de composición es un álgebra A de dimensión finita no necesariamente asociativa con identidad dotada de una forma cuadrática no degenerada q tal que q ( a b ) = q ( a )  q ( b ) . Si el cuerpo de coeficientes subyacente son los reales y q es definido positivo, de modo que ( a ,  b ) = 1/2 [ q ( a + b ) − q ( a ) − q ( b )] es un producto interno , entonces A se llama álgebra euclidiana de Hurwitz o álgebra de división normada (de dimensión finita). [4]

Si A es un álgebra euclidiana de Hurwitz y a está en A , defina los operadores de involución y multiplicación por derecha e izquierda mediante

Evidentemente la involución tiene periodo dos y conserva el producto interno y la norma. Estos operadores tienen las siguientes propiedades:

Estas propiedades se demuestran a partir de la versión polarizada de la identidad ( ab ,  ab ) = ( a ,  a )( b ,  b ) :

Si se establece b = 1 o d = 1 , se obtiene L ( a *) = L ( a )* y R ( c *) = R ( c )* .

Por lo tanto, Re( ab ) = ( ab , 1)1 = ( a ,  b *)1 = ( ba , 1)1 = Re( ba ) .

De manera similar, Re ( ab ) c = (( ab ) c ,1)1 = ( ab ,  c *)1 = ( b ,  a *  c *)1 = ( bc , a *)1 = ( a ( bc ),1)1 = Re a ( bc ) .

Por lo tanto, (( ab )*, c) = ( ab , c *) = ( b , a * c *) = (1, b *( a * c *)) = (1, ( b * a *) c *) = ( b * a *, c ) , de modo que ( ab )* = b * a * .

Por la identidad polarizada a2  ( c ,  d ) = ( ac ,  ad ) = ( a * ( ac ),  d ) entonces L ( a * )  L ( a ) = L ( ‖ a2 ) . Aplicado a 1 esto da a * a = ‖ a2 1 . Reemplazando a por a * da la otra identidad.

Sustituyendo la fórmula para a * en L ( a *)  L ( a ) = L ( a * a ) se obtiene L ( a ) 2 = L ( a 2 ) . La fórmula R ( a 2 ) = R ( a ) 2 se demuestra de forma análoga.

Clasificación

Es habitual comprobar que los números reales R , los números complejos C y los cuaterniones H son ejemplos de álgebras euclidianas de Hurwitz asociativas con sus normas e involuciones estándar. Además, existen inclusiones naturales RCH .

El análisis de dicha inclusión conduce a la construcción de Cayley-Dickson , formalizada por AA Albert . Sea A un álgebra euclidiana de Hurwitz y B una subálgebra unital propia, por lo que es un álgebra euclidiana de Hurwitz por derecho propio. Elija un vector unitario j en A ortogonal a B. Como ( j , 1) = 0 , se deduce que j * = − j y, por lo tanto, j 2 = −1 . Sea C una subálgebra generada por B y j . Es unital y es nuevamente un álgebra euclidiana de Hurwitz. Satisface las siguientes leyes de multiplicación de Cayley-Dickson :

B y Bj son ortogonales, ya que j es ortogonal a B . Si a está en B , entonces j a = a *  j , ya que por ortogonalidad 0 = 2( j ,  a *) = jaa * j . La fórmula para la involución es la siguiente. Para demostrar que BB j es cerrado bajo la multiplicación Bj = jB . Como Bj es ortogonal a 1, ( bj )* = − bj .

Imponiendo la multiplicidad de la norma en C para a + bj y c + dj se obtiene:

Lo que conduce a

Por lo tanto, d ( ac ) = ( da ) c , por lo que B debe ser asociativo .

Este análisis se aplica a la inclusión de R en C y C en H . Tomando O = HH con el producto y el producto interno anteriores se obtiene un álgebra no asociativa no conmutativa generada por J = (0, 1) . Esto recupera la definición habitual de los octoniones o números de Cayley . Si A es un álgebra euclidiana, debe contener a R . Si es estrictamente mayor que R , el argumento anterior muestra que contiene a C . Si es mayor que C , contiene a H . Si es aún mayor, debe contener a O . Pero allí el proceso debe detenerse, porque O no es asociativo. De hecho, H no es conmutativo y a ( bj ) = ( ba )  j ≠ ( ab )  j en O . [5]

Teorema. Las únicas álgebras euclidianas de Hurwitz son los números reales, los números complejos, los cuaterniones y los octoniones.

Otras pruebas

Las pruebas de Lee (1948) y Chevalley (1954) utilizan álgebras de Clifford para mostrar que la dimensión N de A debe ser 1, 2, 4 u 8. De hecho, los operadores L ( a ) con ( a , 1) = 0 satisfacen L ( a ) 2 = −‖ a2 y por lo tanto forman un álgebra de Clifford real. Si a es un vector unitario, entonces L ( a ) es antiadjunto con cuadrado I . Por lo tanto, N debe ser par o 1 (en cuyo caso A no contiene vectores unitarios ortogonales a 1). El álgebra de Clifford real y su complejización actúan sobre la complejización de A , un espacio complejo N -dimensional. Si N es par, N − 1 es impar , por lo que el álgebra de Clifford tiene exactamente dos representaciones irreducibles complejas de dimensión 2 N /2 − 1 . Por lo tanto, esta potencia de 2 debe dividir a N. Es fácil ver que esto implica que N solo puede ser 1, 2, 4 u 8.

La demostración de Eckmann (1943) utiliza la teoría de representación de grupos finitos , o la teoría de representación proyectiva de 2-grupos abelianos elementales , que se sabe que son equivalentes a la teoría de representación de álgebras reales de Clifford. De hecho, tomando una base ortonormal e i del complemento ortogonal de 1 se obtienen operadores U i = L ( e i ) que satisfacen

Esta es una representación proyectiva de un producto directo de N − 1 grupos de orden 2. ( Se supone que N es mayor que 1). Los operadores U i por construcción son antisimétricos y ortogonales. De hecho, Eckmann construyó operadores de este tipo de una manera ligeramente diferente pero equivalente. De hecho, es el método seguido originalmente en Hurwitz (1923). [6] Supongamos que existe una ley de composición para dos formas

donde z i es bilineal en x e y . Por lo tanto

donde la matriz T ( x ) = ( a ij ) es lineal en x . Las relaciones anteriores son equivalentes a

Escribiendo

Las relaciones se vuelven

Ahora establezcamos V i = ( T N ) t T i . Por lo tanto, V N = I y V 1 , ... ,  V N − 1 son antiadjuntos, ortogonales y satisfacen exactamente las mismas relaciones que U i :

Como V i es una matriz ortogonal con cuadrado I en un espacio vectorial real , N es par.

Sea G el grupo finito generado por elementos v i tales que

donde ε es central de orden 2. El subgrupo conmutador [ G ,  G ] está formado simplemente por 1 y ε . Si N es impar, esto coincide con el centro, mientras que si N es par, el centro tiene orden 4 con elementos extra γ = v 1 ... v N − 1 y ε γ . Si g en G no está en el centro, su clase de conjugación es exactamente g y εg . Por lo tanto, hay 2 N − 1 + 1 clases de conjugación para N impar y 2 N − 1 + 2 para N par. G tiene |  G / [ G ,  G ] | = 2 N − 1 representaciones complejas unidimensionales. El número total de representaciones complejas irreducibles es el número de clases de conjugación. Entonces, como N es par, hay dos representaciones complejas irreducibles más. Como la suma de los cuadrados de las dimensiones es igual a | G | y las dimensiones dividen a | G | , los dos irreducibles deben tener dimensión 2 ( N − 2)/2 . Cuando N es par, hay dos y su dimensión debe dividir el orden del grupo, por lo que es una potencia de dos, por lo que ambos deben tener dimensión 2 ( N − 2)/2 . El espacio en el que actúan los V i puede ser complejizado. Tendrá dimensión compleja N . Se descompone en algunas representaciones irreducibles complejas de G , todas con dimensión 2 ( N − 2)/2 . En particular, esta dimensión es N , por lo que N es menor o igual a 8. Si N = 6 , la dimensión es 4, que no divide a 6. Por lo tanto, N solo puede ser 1, 2, 4 u 8.

Aplicaciones a las álgebras de Jordan

Sea A un álgebra euclidiana de Hurwitz y sea M n ( A ) el álgebra de matrices n por n sobre A . Es un álgebra unital no asociativa con una involución dada por

La traza Tr( X  ) se define como la suma de los elementos diagonales de X y la traza de valor real por Tr R ( X  ) = Re Tr( X  ) . La traza de valor real satisface:

Éstas son consecuencias inmediatas de las identidades conocidas para n = 1 .

En A defina el asociador por

Es trilineal y se anula de forma idéntica si A es asociativa. Puesto que A es un álgebra alternativa [ a ,  a ,  b ] = 0 y [ b ,  a ,  a ] = 0 . Polarizando se deduce que el asociador es antisimétrico en sus tres entradas. Además, si a , b o c se encuentran en R entonces [ a ,  b ,  c ] = 0 . Estos hechos implican que M 3 ( A ) tiene ciertas propiedades de conmutación. De hecho, si X es una matriz en M 3 ( A ) con entradas reales en la diagonal entonces

con a en A . De hecho, si Y = [ X ,   X  2 ] , entonces

Como las entradas diagonales de X son reales, las entradas fuera de la diagonal de Y se anulan. Cada entrada diagonal de Y es una suma de dos asociadores que involucran solo términos fuera de la diagonal de X. Como los asociadores son invariantes bajo permutaciones cíclicas , las entradas diagonales de Y son todas iguales.

Sea H n ( A ) el espacio de elementos autoadjuntos en M n ( A ) con producto X  ∘ Y = 1/2 ( X Y + Y X ) y producto interno ( X ,  Y  ) = Tr R ( X Y  ) .

Teorema. H n ( A ) es un álgebra de Jordan euclidiana si A es asociativo (los números reales, números complejos o cuaterniones) y n ≥ 3 o si A es no asociativo (los octoniones) y n = 3 .

El álgebra de Jordan excepcional H3 ( O ) se llama álgebra de Albert en honor a AA Albert .

Para comprobar que H n ( A ) satisface los axiomas para un álgebra euclidiana de Jordan, la traza real define una forma bilineal simétrica con ( X ,  X ) = Σ ‖ x ij2 . Por lo tanto, es un producto interno. Satisface la propiedad de asociatividad ( ZX ,  Y  ) = ( X ,  ZY  ) debido a las propiedades de la traza real. El axioma principal a comprobar es la condición de Jordan para los operadores L ( X ) definidos por L ( X ) Y = X  ∘ Y :

Esto es fácil de comprobar cuando A es asociativa, ya que M n ( A ) es un álgebra asociativa, por lo que es un álgebra de Jordan con X  ∘ Y = 1/2 ( X Y + Y X ) . Cuando A = O y n = 3 se requiere un argumento especial, uno de los más cortos se debe a Freudenthal (1951). [7]

De hecho, si T está en H 3 ( O ) con Tr  T = 0 , entonces

define una derivación sesgada-adjunta de H 3 ( O ) . De hecho,

de modo que

Los rendimientos polarizadores:

Si se establece Z = 1, se observa que D es antiadjunto. La propiedad de derivación D ( X  ∘ Y ) = D ( X )∘ Y + XD ( Y ) se deduce de esto y de la propiedad de asociatividad del producto interno en la identidad anterior.

Con A y n como en el enunciado del teorema, sea K el grupo de automorfismos de E = H n ( A ) dejando invariante el producto interno. Es un subgrupo cerrado de O ( E ) por lo que es un grupo de Lie compacto . Su álgebra de Lie consiste en derivaciones antiadjuntas. Freudenthal (1951) demostró que dado X en E hay un automorfismo k en K tal que k ( X ) es una matriz diagonal . (Por autoadjuntividad las entradas diagonales serán reales.) El teorema de diagonalización de Freudenthal implica inmediatamente la condición de Jordan, ya que los productos de Jordan por matrices diagonales reales conmutan en M n ( A ) para cualquier álgebra no asociativa A .

Para demostrar el teorema de diagonalización, tomemos X en E . Por compacidad, k puede elegirse en K minimizando las sumas de los cuadrados de las normas de los términos fuera de la diagonal de k ( X  ) . Dado que K preserva las sumas de todos los cuadrados, esto es equivalente a maximizar las sumas de los cuadrados de las normas de los términos diagonales de k ( X  ) . Reemplazando X por k X , puede suponerse que el máximo se alcanza en X . Dado que el grupo simétrico S n , actuando permutando las coordenadas, se encuentra en K , si X no es diagonal, puede suponerse que x 12 y su adjunto x 21 son distintos de cero. Sea T la matriz antiadjunta con (2, 1) entrada a , (1, 2) entrada a * y 0 en el resto y sea D la derivación ad T de E . Sea k t = exp  tD en K . Entonces solo las dos primeras entradas diagonales en X ( t ) = k t X difieren de las de X . Las entradas diagonales son reales. La derivada de x 11 ( t ) en t = 0 es la coordenada (1, 1) de [ T ,  X ] , es decir a *  x 21 + x 12 a = 2( x 21 ,  a ) . Esta derivada no es cero si a = x 21 . Por otro lado, el grupo k t conserva la traza de valor real. Dado que solo puede cambiar x 11 y x 22 , conserva su suma. Sin embargo, en la línea x + y = constante, x 2 + y 2 no tiene un máximo local (solo un mínimo global), una contradicción. Por lo tanto, X debe ser diagonal.

Véase también

Notas

  1. ^ Ver:
    • Lam 2005
    • Rajwade 1993
    • Shapiro 2000
  2. ^ Ver:
    • Eckman 1989
    • Eckman 1999
  3. ^ Jordania, von Neumann y Wigner 1934
  4. ^ Faraut y Koranyi 1994, pág. 82
  5. ^ Faraut y Koranyi 1994, págs. 81–86
  6. ^ Ver:
    • Hurwitz 1923, pág. 11
    • Herstein 1968, págs. 141–144
  7. ^ Ver:
    • Faraut y Koranyi 1994, págs. 88–91
    • Póstnikov 1986

Referencias

Lectura adicional