Grupo clásico

grupos representables como grupos de matrices sobre un álgebra asociativa de división real (reales, complejos o cuaterniones) que conservan una determinada forma bilineal (simétrica, antisimétrica, hermítica, antihermítica, etc.)

En matemáticas, los grupos clásicos se definen como los grupos lineales especiales sobre los números reales R, los números complejos C y los cuaterniones H, junto con el grupo de automorfismos especiales[1]​ de forma simétrica o antisimétrica; y formas sesquilineales hermíticas o antihermíticas definidas en espacios vectoriales de dimensión finita de carácter real, complejo o cuaterniónico.[2]​ De estos, los grupos de Lie clásicos complejos son cuatro familias infinitas de grupos de Lie que junto con los grupos excepcionales agotan la clasificación de los grupos simples de Lie. Los grupos clásicos compactos son formas reales compactas de los grupos clásicos complejos. Los análogos finitos de los grupos clásicos son los grupos de tipo Lie clásicos. El término "grupo clásico" fue acuñado por Hermann Weyl, coincidente con el título de su monografía de 1939 The Classical Groups.[3]

Los grupos clásicos forman la parte más profunda y útil del tema de los grupos de Lie lineales.[4]​ La mayoría de los tipos de grupos clásicos encuentran aplicación en la física clásica y moderna. Algunos ejemplos son el grupo ortogonal SO(3) (que modeliza las simetrías del espacio euclídeo y todas las leyes fundamentales de la física), o el grupo de Lorentz O(3,1) (un grupo de simetría del espacio-tiempo base de la teoría de la relatividad especial). El grupo unitario especial SU(3) es el grupo de simetría de la cromodinámica cuántica y el grupo simpléctico Sp(m) encuentra aplicación en los problemas de mecánica hamiltoniana y mecánica cuántica.

Los grupos clásicos

editar

Los grupos clásicos son exactamente los grupos lineales generales sobre R, C y H junto con los grupos de automorfismos de formas no degeneradas discutidos a continuación.[5]​ Estos grupos suelen estar restringidos adicionalmente a los subgrupos cuyos elementos tienen determinante 1, por lo que sus centros son discretos. Los grupos clásicos, con la condición de tener determinante 1, se enumeran en la siguiente tabla. A continuación, la condición del determinante 1 "no" se usa de manera consistente, en aras de una mayor generalidad.

Nombre Grupo Cuerpo Forma Subgrupo
compacto máximo
Álgebra
de Lie
Sistema raíz
Lineal especial SL(n, R) R - SO(n)
Lineal especial complejo SL(n, C) C - SU(n) Compleja  
Lineal especial cuaterniónico SL(n, H)=
SU(2n)
H - Sp(n)
Ortogonal especial (indefinido) SO(p, q) R Simétrico S(O(p) × O(q))
Ortogonal especial complejo SO(n, C) C Simétrico SO(n) Compleja  
Simpléctico Sp(n, R) R Antisimétrico U(n)
Simpléctico complejo Sp(n, C) C Antisimétrico Sp(n) Compleja  
Unitario especial (indefinido) SU(p, q) C Hermítico S(U(p) × U(q))
Unitario cuaterniónico (indefinido) Sp(p, q) H Hermítico Sp(p) × Sp(q)
Ortogonal cuaterniónico SO(2n) H Antihermítico SO(2n)

Los grupos clásicos complejos son SL(n, C), SO(n, C) y Sp(n, C). Un grupo es complejo si su álgebra de Lie es compleja. Los grupos clásicos reales se refieren a todos los grupos clásicos, ya que cualquier álgebra de Lie es un álgebra real. Los grupos clásicos compactos son las formas reales compactas de los grupos clásicos complejos. Estos son, a su vez, SU(n), SO(n) y Sp(n). Una caracterización de la forma real compacta es en términos del álgebra de Lie g. Si g = u + iu, la complejifijación de u, y si el grupo conexo K generado por {exp(X): Xu} es compacto, entonces K es una forma real compacta.[6]

Los grupos clásicos se pueden caracterizar uniformemente de manera diferente utilizando formas reales. Los grupos clásicos (aquí con la condición del determinante 1, pero esta condición no es estrictamente necesaria) son los siguientes:

Los grupos algebraicos lineales complejos SL(n, C), SO(n, C) y Sp(n, C) junto con sus formas reales.[7]

Por ejemplo, SO(2n) es una forma real de SO(2n, C), SU(p, q) es una forma real de SL(n, C) y SL(n, H) es una forma real de SL(2n, C). Sin la condición del determinante 1, se deben reemplazar los grupos lineales especiales por los grupos lineales generales correspondientes en la caracterización. Los grupos algebraicos en cuestión son grupos de Lie, pero se necesita la calificación de "algebraico" para disponer de la noción necesaria de "forma real".

Formas bilineales y sesquilineales

editar

Los grupos clásicos se caracterizan en términos de formas definidas en Rn, Cn y Hn, donde R y C son los cuerpos de los número reales y los números complejos. Los cuaterniones, H, no constituyen un campo porque su multiplicación no es conmutativa, y forman un anillo de división o un sesquicuerpo o un cuerpo no conmutativo. Sin embargo, todavía es posible definir grupos cuaterniónicos de matrices. Por esta razón, se permite definir un espacio vectorial V sobre R y C, así como sobre H. En el caso de H, V es un espacio vectorial a la derecha para hacer posible la representación de la acción del grupo como una multiplicación de matrices desde la izquierda, al igual que para R y C.[8]

Una forma φ: V × VF en algún espacio vectorial a la derecha de dimensión finita sobre F = R, C, o H es bilineal si

  y si
 

Se llama sesquilineal si

  y si
 

Se eligen estas convenciones porque funcionan en todos los casos considerados. Un automorfismo de φ es una aplicación Α sobre el conjunto de operadores lineales en V tal que

 |1

El conjunto de todos los automorfismos de φ forman un grupo, se llama grupo de automorfismos de φ, denotado como Aut(φ). Esto lleva a una definición preliminar de un grupo clásico:

Un grupo clásico es un grupo que conserva una forma bilineal o sesquilineal en espacios vectoriales de dimensión finita sobre R, C o H.

Esta definición tiene cierta redundancia. En el caso de F = R, bilineal es equivalente a sesquilineal. En el caso de F = H, no hay formas bilineales distintas de cero.[9]

Formas simétricas, antisimétricas, hermiticas y antihermíticas

editar

Una forma es simétrica si

 

Es antisimétrica si

 

Es hermítica si

 

Finalmente, es antihermítica si

 

Una forma bilineal φ es únicamente la suma de una forma simétrica y una forma antisimétrica. Una transformación que conserva φ conserva ambas partes por separado. Los grupos que conservan formas simétricas y antisimétricas se pueden estudiar por separado. Lo mismo se aplica, mutatis mutandis, a las formas hermíticas y antihermíticas. Por esta razón, a los efectos de la clasificación, solo se consideran formas puramente simétricas, antisimétricas, hermíticas o antihermíticas. Las formas normales de las formas corresponden a elecciones específicas adecuadas de bases. Estas son bases que dan las siguientes formas normales en coordenadas:

 

El j en la forma antihermítica es el tercer elemento base en la base (1, i, j, k) para H. Se puede comprobar la existencia de estas bases y la ley de inercia de Sylvester, la independencia del número de signos más y menos, p y q, en las formas simétrica y hermítica, así como la presencia o ausencia de los campos en cada expresión en Rossmann (2002) o Goodman y Wallach (2009). El par (p, q), y a veces pq, se denomina signatura de la forma.

Explicación de la aparición de los campos R, C, H: No hay formas bilineales no triviales sobre H. En el caso bilineal simétrico, solo las formas sobre R tienen signatura. En otras palabras, una forma bilineal compleja con "signatura" (p, q) puede, mediante un cambio de base, reducirse a una forma en la que todos los signos son "+" en la expresión anterior, mientras que esto es imposible en el caso real, en el que pq es independiente de la base cuando se pone en esta forma. Sin embargo, las formas hermíticas tienen una signatura independiente de la base tanto en el caso complejo como en el cuaterniónico (el caso real se reduce al caso simétrico). Una forma antihermítica en un espacio vectorial complejo se convierte en hermítica mediante la multiplicación por i, por lo que en este caso, solo H es interesante.

Grupos de automorfismos

editar
 
Hermann Weyl, el autor de The Classical Groups. Weyl hizo contribuciones sustanciales a la teoría de la representación de los grupos clásicos

La primera sección presenta el marco general. Las otras secciones agotan los casos cualitativamente diferentes que surgen como grupos de automorfismos de formas bilineales y sesquilineales en espacios vectoriales de dimensión finita sobre R, C y H.

Grupo de automorfismos Aut(φ)

editar

Supóngase que φ es una forma bilineal no degenerada en un espacio vectorial de dimensión finita V sobre R, C o H. El grupo de automorfismos se define, en función de la condición (1), como

 

Cada AMn(V) tiene un Aφ adjunto con respecto a φ definido por

 |2

Usando esta definición en la condición (1), se ve que el grupo de automorfismos está dado por

 [10]​|3

Fijando una base para V, en términos de esta base, se expresa

 

donde ξi, ηj son los componentes de x, y. Esto es apropiado para las formas bilineales. Las formas sesquilineales tienen expresiones similares y se tratan por separado más adelante. En notación matricial se encuentra que

 

y

 [11]​|4

de (2) donde Φ es la matriz (φij). La condición de no degeneración significa precisamente que Φ es invertible, por lo que el adjunto siempre existe. Aut(φ) expresado así se convierte en

 

El álgebra de Lie aut(φ) de los grupos de automorfismos se puede escribir inmediatamente. En abstracto, Xaut(φ) si y solo si

 

para todo t, correspondiente a la condición (3) bajo la aplicación exponencial de las álgebras de Lie, de modo que

 

o en una base

 |5

como se ve usando la expansión en serie de potencias de la aplicación exponencial y la linealidad de las operaciones involucradas. Por el contrario, supóngase que Xaut(φ). Entonces, usando el resultado anterior, φ(Xx, y) = φ(x, Xφy) = −φ(x, Xy). Así, el álgebra de Lie se puede caracterizar sin referencia a una base, o al adjunto, como

 

La forma normal de φ se dará para cada grupo clásico a continuación. De esa forma normal, la matriz Φ se puede leer directamente. En consecuencia, las expresiones para el adjunto y las álgebras de Lie se pueden obtener utilizando las fórmulas (4) y (5). Esto se demuestra a continuación en la mayoría de los casos no triviales.

Caso bilineal

editar

Cuando la forma es simétrica, Aut(φ) se llama O(φ). Cuando es antisimétrica, Aut(φ) se llama Sp(φ). Esto se aplica a los casos real y complejo. El caso cuaterniónico está vacío, ya que no existen formas bilineales distintas de cero en espacios vectoriales cuaterniónicos.[9]

Caso real

editar

El caso real se descompone en dos casos, las formas simétrica y antisimétrica que deben ser tratadas por separado.

Grupos ortogonales O(p, q) y O(n)
editar

Si φ es simétrico y el espacio vectorial es real, se puede elegir una base tal que

 

El número de signos más y menos es independiente de la base particular.[12]​ En el caso de que V = Rn se escribe O(φ) = O(p, q) donde p es el número de signos más y q es el número de signos menos, p + q = n. Si q = 0 la notación es O(n). La matriz Φ es en este caso

 

después de reordenar la base si es necesario. La operación adjunta (4) entonces se convierte en

 

que se reduce a la transposición habitual cuando p o q es 0. El álgebra de Lie se encuentra usando la ecuación (5) y un ansatz (enfoque) adecuado (esto se detalla para el caso de Sp(m, R) a continuación),

 

y el grupo según (3) viene dado por

 

Los grupos O(p, q) y O(q, p) son isomorfos a través de la aplicación

 

Por ejemplo, el álgebra de Lie del grupo de Lorentz podría escribirse como

 

Naturalmente, es posible reorganizar la matriz para que el bloque q sea el superior izquierdo (o cualquier otro bloque). Aquí el "componente de tiempo" termina como la cuarta coordenada en una interpretación física, y no la primera como puede ser más común.

Grupo simpléctico verdadero Sp(m, R)
editar

Si φ es asimétrico y el espacio vectorial es real, hay una base que da

 

donde n = 2m. Para Aut(φ) se escribe Sp(φ) = Sp(V) En el caso de que V = Rn = R2m se escribe Sp(m, R) o Sp(2m, R). De la forma normal se lee

 

Haciendo el planteamiento adecuado

 

donde X, Y, Z, W son matrices m-dimensionales y considerando (5),

 

se encuentra el álgebra de Lie de Sp(m, R),

 

y el grupo está dado por

 

Caso complejo

editar

Como en el caso real, hay dos casos, el simétrico y el antisimétrico, cada uno de los cuales produce una familia de grupos clásicos.

Grupo ortogonal complejo O(n, C)
editar

Si el caso φ es simétrico y el espacio vectorial es complejo, una base

 

en la que solo se pueden utilizar signos más. El grupo de automorfismos se llama V = Cn en el caso de O(n, C). El álgebra de Lie es simplemente un caso especial de o(p, q),

 

y el grupo está dado por

 

En términos de la clasificación de álgebras de Lie simples, los so(n) se dividen en dos clases, aquellos con n impares con sistema raíz Bn y n pares con sistema raíz Dn.

Grupo simpléctico complejo Sp(m, C)
editar

Para φ sesgado-simétrico y el complejo de espacio vectorial, la misma fórmula,

 

se aplica como en el caso real. Para Aut(φ) se escribe Sp(φ) = Sp(V). En el caso   se escribe Sp(m,  ) o Sp(2m,  ). El álgebra de Lie es paralela a la de sp(m,  ),

 

y el grupo está dado por

 

Caso sesquilineal

editar

En el caso sequilineal, se hace un enfoque ligeramente diferente para la forma en términos de una base,

 

Las otras expresiones que se modifican son

 [13]
 

 

 

 

 

 

(6)

El caso real, por supuesto, no aporta nada nuevo. El caso complejo y cuaterniónico se considerarán a continuación.

Caso complejo

editar

Desde un punto de vista cualitativo, la consideración de formas antihermíticas (excluyendo isomorfismos) no proporciona nuevos grupos; la multiplicación por i hace que una forma antihermítica sea hermítica, y viceversa. Por lo tanto, solo es necesario considerar el caso hermítico.

Grupos unitarios U(p, q) y U(n)
editar

Una forma hermítica no degenerada tiene la forma normal

 

Como en el caso bilineal, la signatura (p, q) es independiente de la base. El grupo de automorfismos se denota U(V) o, en el caso de V = Cn, U(p, q). Si q = 0 la notación es U(n). En este caso, Φ toma la forma

 

y el álgebra de Lie está dada por

 

El grupo está dado por

 
donde g es una matriz compleja general n x n y   se define como la transpuesta conjugada de g, lo que los físicos llaman  .

A modo de comparación, una matriz unitaria U(n) se define como

 

Debe señalarse que   es lo mismo que  

Caso cuaterniónico

editar

El espacio Hn se considera como un espacio vectorial derecho sobre H. De esta forma, A(vh) = (Av)h para un cuaternión h, un vector columna de cuaternión v y una matriz de cuaternión A. Si Hn fuera un espacio vectorial izquierdo sobre H, entonces se requeriría la multiplicación de matrices desde la derecha en los vectores de fila para mantener la linealidad. Esto no corresponde a la operación lineal habitual de un grupo en un espacio vectorial cuando se da una base, que es la multiplicación de matrices desde la izquierda en vectores columna. Por lo tanto, V es en adelante un espacio vectorial a la derecha sobre H. Aun así, se debe tener cuidado debido a la naturaleza no conmutativa de H. Los detalles (en su mayoría obvios) se omiten porque se utilizarán representaciones complejas.

Cuando se trata de grupos cuaterniónicos, es conveniente representar los cuaterniones usando 2×2-matrices complejas,

 [14]​|7

Con esta representación, la multiplicación cuaterniónica se convierte en multiplicación de matrices y la conjugación cuaterniónica se convierte en el adjunto hermítico. Además, si un cuaternión de acuerdo con la codificación compleja q = x + jy se da como un vector columna (x, y)T, entonces la multiplicación desde la izquierda por una representación matricial de un cuaternión produce un nuevo vector columna que representa el cuaternión derecho. Esta representación difiere ligeramente de una representación más común que se encuentra en el artículo sobre los cuaterniones. La convención más común forzaría la multiplicación desde la derecha en una matriz fila para lograr lo mismo.

Por cierto, la representación anterior deja en claro que el grupo de cuaterniones unitarios (αα + ββ = 1 = det Q) es isomorfo a SU(2).

Las matrices cuaterniónicas n×n pueden, por extensión obvia, ser representadas por bloques de matrices de orden 2n×2n de números complejos.[2]​ Si se está de acuerdo en representar un vector columna n×1 cuaterniónico mediante un vector columna 2n×1 con números complejos de acuerdo con la codificación de arriba, siendo los n números superiores los αi y los n números inferiores los βi, entonces una matriz n×n cuaterniónica se convierte en una matriz de 2n×2n compleja exactamente de la forma dada arriba, pero ahora siendo α y β matrices de n×n. Más formalmente

 |8

Una matriz T ∈ GL(2n, C) tiene la forma que se muestra en (8) si y solo si JnT = TJn. Con estas identificaciones,

 

El espacio Mn(H) ⊂ M2n(C) es un álgebra real, pero no es un subespacio complejo de M2n(C). La multiplicación (desde la izquierda) por i en Mn(H) usando la multiplicación cuaterniónica por entrada y luego la asignación a la imagen en M2n(C) produce un resultado diferente que la multiplicación con entrada por i directamente en M2n(C). Las reglas de multiplicación cuaterniónica dan i(X + jY) = (iX) + j(−iY) donde los nuevos X y Y están dentro de los paréntesis.

La acción de las matrices cuaterniónicas sobre los vectores cuaterniónicos ahora se representa mediante cantidades complejas, pero por lo demás es igual que para las matrices y los vectores "ordinarios". Por lo tanto, los grupos cuaterniónicos están incrustados en M2n(C), donde n es la dimensión de las matrices cuaterniónicas.

El determinante de una matriz cuaterniónica se define en esta representación como el determinante complejo ordinario de su matriz representativa. La naturaleza no conmutativa de la multiplicación cuaterniónica sería, en la representación cuaterniónica de matrices, ambigua. La forma en que Mn(H) está incrustado en M2n(C) no es única, pero todas esas incrustaciones están relacionadas a través de gAgA−1, g ∈ GL(2n, C) para A ∈ O(2n, C), sin afectar al determinante.[15]​ El nombre de SL(n, H) en este aspecto complejo es SU(2n).

A diferencia del caso de C, tanto el caso hermítico como el antihermítico aportan algo nuevo cuando se considera H, por lo que estos casos se consideran por separado.

GL(n, H) y SL(n, H)
editar

Bajo la identificación anterior,

 

Su álgebra de Lie gl(n, H) es el conjunto de todas las matrices en la imagen de la aplicación Mn(H) ↔ M2n(C) de arriba,

 

El grupo lineal especial cuaterniónico viene dado por

 

donde el determinante se toma en las matrices en C2n. Alternativamente, se puede definir esto como el núcleo del determinante de Dieudonné  . El álgebra de Lie es

 
Grupo unitario cuaterniónico Sp(p, q)
editar

Como antes en el caso complejo, la forma normal es

 

y el número de signos más es independiente de la base. Cuando V = Hn con esta forma, Sp(φ) = Sp(p, q). El motivo de la notación es que el grupo puede representarse, usando la prescripción anterior, como un subgrupo de Sp(n, C) conservando una forma hermítica compleja de signatura (2p, 2q)[2]​. Si p o q = 0, el grupo se denota como U(n, H). A veces se le llama grupo hiperunitario.

En notación cuaterniónica,

 

lo que significa que las matrices cuaterniónicas de la forma

   

 

 

 

 

 

(9)

satisfará qué

 

véase la sección sobre u(p, q). Se debe tener precaución cuando se trata de la multiplicación de matrices cuaterniónicas, pero aquí solo están involucradas I y -I y estas conmutan con cada matriz de cuaterniones. Ahora se aplica prescripción (8) a cada bloque,

 

y las relaciones en (9) se cumplirán si

 

El álgebra de Lie se convierte en

 

El grupo está dado por

 

Volviendo a la forma normal de φ(w, z) por Sp(p, q), realizando las sustituciones de wu + jv y zx + jy por u, v, x, y ∈ Cn. Después

 

visto como una forma con valor H en C2n.[16]​ Por lo tanto, los elementos de Sp(p, q), vistos como transformaciones lineales de C2n, conservan tanto una forma hermítica de la signatura (2p, 2q) como una forma antisimétrica no degenerada. Ambas formas toman valores puramente complejos y debido al prefactor de j de la segunda forma, se conservan por separado. Esto significa que

 

y esto explica tanto el nombre del grupo como la notación.

Grupo ortogonal cuaterniónico O(2n) = O(n, H)
editar

La forma normal para una forma antihermítica viene dada por

 

donde j es el cuaternión de la tercera base en el listado ordenado (1, i, j, k). En este caso, Aut(φ) = O(2n) se puede realizar, usando la codificación matricial compleja de arriba, como un subgrupo de O(2n, C) que conserva una forma de signatura (n, n) antihermítica compleja no degenerada.[2]​ De la forma normal se ve que en notación cuaterniónica

 

y de (6) se sigue que

 |9

para Vo(2n). Ahora, se debe poner

 

según indica (8). Los resultados del mismo criterio para Φ son

 

Ahora, la última condición en (9) en notación compleja dice que

 

El álgebra de Lie se convierte en

 

y el grupo está dado por

 

El grupo SO(2n) se puede caracterizar como

 [17]

donde la aplicación θ: GL(2n, C) → GL(2n, C) está definida por g ↦ −J2ngJ2n.

Además, la forma que determina el grupo se puede ver como una forma con valores H en C2n.[18]​ Ahora, se hacen las sustituciones xw1 + iw2 y yz1 + iz2 en la expresión de la forma. Después

 

La forma φ1 es hermítica (mientras que la primera forma en el lado izquierdo es antihermítica) con la signatura (n, n). La signatura se hace evidente mediante un cambio de base de (e, f) a ((e + if)/2, (eif)/2), donde e, f son los vectores base primero y último n, respectivamente. La segunda forma, φ2 es definida positiva simétrica. Así, debido al factor j, O(2n) conserva ambos por separado y se puede concluir que

 

y se explica la notación "O".

Grupos clásicos sobre campos generales o álgebras

editar

Los grupos clásicos, considerados más ampliamente en álgebra, proporcionan grupos lineales particularmente interesantes. Cuando el cuerpo F de los coeficientes del grupo de matrices es un número real o un número complejo, estos grupos son simplemente los grupos de Lie clásicos. Cuando se trata de un cuerpo finito, entonces los grupos clásicos son grupos de tipo Lie, que juegan un papel importante en el teorema de clasificación de grupos simples. Además, se pueden considerar grupos clásicos sobre un álgebra asociativa R sobre F; donde R = H (un álgebra sobre reales) representa un caso importante. En aras de la generalidad, el artículo se referirá a grupos sobre R, donde R puede ser el propio cuerpo F.

Teniendo en cuenta su teoría de grupos abstractos, muchos grupos lineales tienen un subgrupo "especial", que generalmente consta de los elementos de determinante 1 sobre el cuerpo base, y la mayoría de ellos tienen asociados cocientes "proyectivos", que son los cocientes por el centro del grupo. Para grupos ortogonales de la característica 2 "S" tiene un significado diferente.

La palabra "'general" delante del nombre de un grupo suele significar que el grupo puede multiplicar algún tipo de forma por una constante, en lugar de dejarlo fijo. El subíndice n suele indicar la dimensión del módulo sobre el que está actuando el grupo; es un espacio vectorial si R = F. Sin embargo, debe advertirse que esta notación choca un poco con la "n" de los diagramas de Dynkin, que es el rango.

Grupos lineales generales y especiales

editar

El grupo lineal general GLn(R) es el grupo de todos los automorfismos lineales R de Rn. Hay un subgrupo: el grupo lineal especial SLn(R), y sus cocientes: el grupo lineal proyectivo PGLn(R) = GLn(R)/Z(GLn(R) ) y el grupo lineal proyectivo PSLn(R) = SLn(R)/Z(SLn(R)). El grupo lineal especial proyectivo PSLn(F) sobre un cuerpo F es simple para n ≥ 2, excepto en los dos casos en que n =  2 y el cuerpo tiene orden 2 o 3.

Grupos unitarios

editar

El grupo unitario Un(R) es un grupo que conserva una forma sesquilineal en un módulo. Hay un subgrupo, el grupo unitario especial SUn(R) y sus cocientes, el grupo unitario proyectivo PUn(R) = Un(R)/Z(Un(R)) y el grupo unitario especial proyectivo PSUn(R) = SUn(R)/Z(SUn(R))

Grupos simplécticos

editar

El grupo simpléctico Sp2n(R) conserva una forma bilineal en un módulo. Tiene un cociente, el grupo simpléctico proyectivo PSp2n(R). El grupo simpléctico general GSp2n(R) consta de los automorfismos de un módulo que multiplica una forma antisimétrica por algún escalar invertible. El grupo simpléctico proyectivo PSp2n(Fq) sobre un cuerpo finito es simple para n ≥ 1, excepto para los casos de PSp2 sobre los cuerpos de dos y tres elementos.

Grupos ortogonales

editar

El grupo ortogonal On(R) conserva una forma cuadrática no degenerada en un módulo. Hay un subgrupo, el grupo ortogonal SOn(R) y cocientes, el grupo ortogonal proyectivo POn(R), y el grupo ortogonal especial proyectivo PSOn(R).

En la característica 2, el determinante siempre es 1, por lo que el grupo ortogonal especial a menudo se define como el subgrupo de elementos de invariante de Dickson 1.

Hay un grupo sin nombre a menudo denotado por Ωn(R) que consta de los elementos del grupo ortogonal de elementos del grupo ortogonal 1, con los correspondientes subgrupos y grupos de cocientes SΩn(R), PΩn(R ) y PSΩn(R). (Para formas cuadráticas definidas positivas sobre los reales, el grupo Ω resulta ser el mismo que el grupo ortogonal, pero en general es más pequeño). También existe un doble recubrimiento de Ωn(R), llamado grupo pin Pinn(R), y tiene un subgrupo llamado grupo espinorial Spinn(R). El grupo ortogonal GOn(R) consta de los automorfismos de un módulo que multiplican una forma cuadrática por algún escalar invertible.

Convenciones de notación

editar

Contraste con grupos de Lie excepcionales

editar

En contraste con los grupos de Lie clásicos están los grupos de Lie excepcionales, G2, F4, E6, E7, E8, que comparten sus propiedades abstractas, pero no su vinculación con aspectos familiares de la física o de la geometŕía euclídea.[19]​ Solo fueron descubiertos alrededor de 1890 en la clasificación de las álgebras de Lie simples sobre los números complejos por Wilhelm Killing y Élie Cartan.

  1. Aquí, especial significa el subgrupo del grupo completo de automorfismos cuyos elementos tienen el determinante 1.
  2. a b c d Rossmann, 2002 p. 94.
  3. Weyl, 1939
  4. Rossmann, 2002 p. 91.
  5. Rossmann, 2002 p, 94
  6. Rossmann, 2002 p. 103.
  7. Goodman y Wallach, 2009 Véase el final del capítulo 1.
  8. Rossmann, 2002p. 93.
  9. a b Rossmann, 2002 p. 105
  10. Rossmann, 2002 p. 91
  11. Rossmann, 2002 p. 92
  12. Rossmann, 2002 p. 107.
  13. Rossmann, 2002 p. 93
  14. Rossmann, 2002 p. 95.
  15. Goodman y Wallach, 2009 Exercise 14, Section 1.1.
  16. Goodman y Wallach, 2009Exercise 11, Chapter 1.
  17. Goodman y Wallach, 2009 p.11.
  18. Goodman y Wallach, 2009 Exercise 12 Chapter 1.
  19. Wybourne, B. G. (1974). Classical Groups for Physicists, Wiley-Interscience. ISBN 0471965057.

Referencias

editar