Teoría de caracteres

En matemáticas, más específicamente en teoría de grupos, el carácter de una representación de un grupo es una función en el grupo que asocia a cada elemento del grupo la traza de su matriz correspondiente. El carácter lleva consigo la información esencial sobre la representación en una forma más condensada. Georg Frobenius desarrolló inicialmente la teoría de la representación de grupos finitos basada enteramente en los caracteres, y sin ninguna realización matricial explícita de las representaciones mismas. Esto es posible porque una representación compleja de un grupo finito está determinada (salvo isomorfismos) por su carácter. La situación con las representaciones sobre un cuerpo de característica positiva, las llamadas "representaciones modulares", es más delicada, pero Richard Brauer también desarrolló una poderosa teoría de los caracteres en este caso. Muchos teoremas profundos sobre la estructura de los grupos finitos utilizan caracteres de representaciones modulares.

Aplicaciones

editar

Los caracteres de representaciones irreducibles codifican muchas propiedades importantes de un grupo y, por lo tanto, pueden utilizarse para estudiar su estructura. La teoría de caracteres es una herramienta esencial en la clasificación de grupos simples finitos. Cerca de la mitad de la prueba del teorema de Feit-Thompson implica cálculos intrincados con valores de los caracteres. Entre los resultados más fáciles, pero aún esenciales, que utilizan la teoría de caracteres se incluyen el teorema de Burnside (se ha encontrado desde entonces una prueba puramente teórica de grupo del teorema de Burnside, pero esa prueba se produjo más de medio siglo después de la prueba original de Burnside), y un teorema de Richard Brauer y Michio Suzuki que afirma que un grupo simple finito no puede tener un grupo de cuaterniones generalizado como su 2-subgrupo de Silow.

Definiciones

editar

Sea V un espacio vectorial de dimensión finita sobre un cuerpo F y sea ρ : G → GL(V) una representación de un grupo G en V. El carácter de ρ es la función χρ : GF dada por

 

donde Tr es la traza.

Un carácter χρ se llama irreducible o simple si ρ es una representación irreductible. El grado del carácter χ es la dimensión de ρ. Un carácter de grado 1 se llama lineal. Cuando G es finito y F tiene característica cero, el núcleo del carácter χρ es el subgrupo normal:

 

que es precisamente el núcleo de la representación ρ. Sin embargo, un carácter no es un homomorfismo de grupo en general.

Propiedades

editar
  • Los caracteres son funciones de clase, es decir, cada uno de ellos toma un valor constante en una clase de conjugación dada. Más precisamente, el conjunto de caracteres irreducibles de un determinado grupo G en un cuerpo K constituye la base del K-espacio vectorial de todas las funciones de clase GK.
  • Dos representaciones isomorfas tienen los mismos caracteres. Sobre un cuerpo de característica 0, dos representaciones de dimensión finita son isomorfas si y solo si tienen el mismo carácter.
  • Si una representación es la suma directa de subrepresentaciones, entonces el carácter correspondiente es la suma de los caracteres de dichas representaciones.
  • Si un carácter de un grupo finito G se restringe a un subgrupo H, entonces el resultado es también un carácter de H.
  • Cada valor de carácter χ(g) es una suma de n m-raíces de la unidad, donde n es el grado (la dimensión del espacio vectorial asociado) de la representación con carácter X y m es el orden de g. En particular, cuando F = C, cada valor de carácter es un entero algebraico.
  • Si F = C, y X es irreducible, entonces
 
es un entero algebraico para todo x en G.
  • Si la característica de F no divide al orden de G, entonces, el número de caracteres irreducibles de G es igual al número de clases de conjugación de G. Además, en este caso, los grados de los caracteres irreducibles son divisores del orden de G (e incluso dividen [G : Z(G)] si F = C).

Propiedades aritméticas

editar

Sean ρ y σ representaciones de G. Entonces las siguiente identidades se mantienen:

 
 
 
 
 

donde ρσ es la suma directa, ρσ es el producto tensorial, ρ denota la conjugada transpuesta de ρ, y Alt2 es el producto exterior Alt2 ρ = ρρ y Sym² es el cuadrado simétrico, que está determinado por

 .

Tablas de caracteres

editar

Los caracteres complejos irreducibles de un grupo finito forman una tabla de caracteres la cual codifica mucha información útil sobre el grupo G de forma compacta. Cada fila está marcada por una representación irreducible y las entradas de la fila son los caracteres de la representación en la respectiva clase de conjugación de G. Las columnas están marcadas por (representantes de) las clases de conjugación de G. Es habitual etiquetar la primera fila por el carácter trivial, y la primera columna por (la clase de conjugación de) la identidad. Las entradas de la primera columna son los valores de los caracteres irreducibles en la identidad, el grado de los caracteres irreducibles. Los caracteres de grado 1 son conocidos como caracteres lineales.

Esta es la tabla de caracteres de

 

el grupo cíclico con tres elementos y un generador u:

  (1) (u) (u2)
1 1 1 1
χ1 1 ω ω2
χ2 1 ω2 ω

donde ω es una raíz tercera primitiva de unidad.

La tabla de caracteres siempre es cuadrada, porque el número de representaciones irreducibles es igual el número de conjugaciones de clases. La primera fila de la tabla de caracteres siempre está constituida por 1s, y corresponde a la representación trivial.

Relaciones de ortogonalidad

editar

El espacio de funciones de clase con valores complejos en un grupo finito G tiene un producto interno natural:

 

donde β(g) es el conjugado complejo de β(g). Con respecto a este producto interno, los caracteres irreducibles forman una base ortonormal para el espacio de las funciones de clase, y esto produce la relación de ortogonalidad para las columnas de la tabla de caracteres:

 

Para g, h en G la relación de ortogonalidad para las columnas es la siguiente:

 

donde la suma está extendida a todos los caracteres irreducibles χi de G y el símbolo CG(g) denota el orden del centralizador de g.

Las relaciones de ortogonalidad pueden ayudar a muchos cálculos, incluyendo:

  • Descomponer un carácter desconocido como una combinación lineal de caracteres irreducibles.
  • Construir la tabla de caracteres completa cuando solo se conocen algunos de los caracteres irredutibles.
  • Encontrar los órdenes de los centralizadores de los representantes de las clases de conjugación de un grupo.
  • Encontrar el orden del grupo.


Propiedades de la tabla de caracteres

editar

Algunas propiedades del grupo   se pueden deducir de su tabla de caracteres:

  • El orden de   viene dado por la suma de los cuadrados de las entradas de la primera columna (los grados de los caracteres irreducibles). De forma más general, la suma de los cuadrados de los valores absolutos de las entradas en cualquier columna proporcionan el orden del centralizador de un elemento de la clase de conjugación correspondiente.
  • Todo grupo normal de   (y por tanto sea   simple o no) puede reconocerse de su tabla de caracteres. El núcleo de un carácter   es el conjunto de elementos   para los cuales  ; este es un subgrupo normal de  . Cada subgrupo normal de   es la intersección de los núcleos de algunos de los caracteres irreducibles de  .
  • El subgrupo derivado de   es la intersección de los núcleos de las representaciones lineales de  . Particularmente,   es abeliano si y solo si todos sus caracteres irreducibles son lineales.
  • De esto sigue, utilizando algunos resultados de Richard Brauer sobre teoría de representación modular, que los divisores primos de los órdenes de los elementos de cada clase de conjugación de un grupo finito pueden ser deducidos de su tabla de caracteres (una observación de Graham Higman).

La tabla de caracteres generalmente no determina el grupo salvo isomorfismo: por ejemplo, el grupo de quaterniones   y el grupo diedral de 8 elementos,  , tienen la misma tabla de caracteres. Brauer se preguntó si la tabla de caracteres, junto con el conocimiento de cómo las potencias de los elementos de sus clases de conjugación están distribuidas, determinan un grupo finito salvo isomorfismo. En 1964, esta pregunta se resolvió negativamente por E. C. Dade.

Los caracteres lineales forman un grupo de caracteres.

Caracteres inducidos y reciprocidad de Frobenius

editar

Suponemos que los caracteres discutidos en esta sección tienen valores complejos. Sea   un subgrupo del grupo finito  . Dado un carácter   de  , denotando   su restricción to  . Sea   un carácter de  . Ferdinand Georg Frobenius mostró como construir un carácter de   desde  , utilizando lo que ahora se conoce como reciprocidad de Frobenius. Como los caracteres irreducibles de   forman una base ortonormal para el espacio de funciones de clase complejas de  , hay una única función de clase   de   con la propiedad de que:

 

para cada carácter irreducible   de  . Como la restricción de un carácter de   al subgrupo   es, de nuevo, un carácter de  , esta definición deja claro que   es una combinación entera no negativa de caracteres irreducibles de  , por lo que es en efecto un carácter de  . A este se le conoce como el caracter de   inducido desde  . La fórmula que define la reciprocidad de Frobenius puede extenderse a funciones de clase complejas generales.

Dada una representación matricial   de  , Frobenius posteriormente proporcionó una forma explícita de construir una representación matricial de  , conocida como la representación inducida desde  , escrito de forma análoga como  . Esto llevó a una descripción alternativa del carácter inducido  . Este carácter inducido desaparece en todos los elementos de   que no son conjugados con ningún elemento de  . Como el carácter inducido es una función de clase de  , ahora solo es necesario describir sus valores en elementos de  . Si uno escribe   como la unión disjunta de las clases laterales derechas de  :

 

entonces, dado un elemento   de  , tenemos:

 

Como   es una función de clase de  ,este valor no depende de la elección particular de las clases laterales.

Esta descripción alternativa del carácter inducido a veces permite computación explícita, partiendo de relativamente poca información sobre la equivalencia de   en  , y a menudo es útil para el cálculo de tablas de caracteres particulares. Cuando   es el carácter trivial de  , el carácter inducido es conocido como el caracter de permutación de   (en las clases laterales de  .

Esta técnica general de inducción de caracteres, y sus posteriores refinamientos, encontraron numerosas aplicaciones en la teoría de grupos finitos y en otros campos de las matemáticas, de la mano de matemáticos como Emil Artin, Richard Brauer, Walter Feit y Michio Suzuki, así como el mismo Frobenius.

Decomposición de Mackey

editar

La descomposición de Mackey fue definida y explorada por George Mackey en el contexto de los grupos de Lie, pero es una poderosa herramienta en la teoría de caracteres y la teoría de representación de grupos finitos. Su forma básica afecta la forma en la cual un carácter (o módulo) inducido desde un subgrupo   de un grupo finito   se comporta restringido por un subgrupo (posiblemente diferente)   de  , y hace uso de la decomposición de   en clases laterales  -dobles.

Si

 

es una unión disjunta, y   es una función de clase compleja de  , entonces la fórmula de Mackey afirma que:

 

donde   es la función de clase de t−1Ht definida por θ t(t−1ht) = θ(h) para todo   en  . Hay una fórmula similar para la restricción de un módulo inducido a un subgrupo, que es verdadera para representaciones en cualquier anillo, y tiene aplicaciones en una amplia variedad de contextos algebraicos y topológicos.

La descomposición de Mackey, junto con la reciprocidad de Frobenius, aporta una útil y conocida fórmula para el producto interno de dos funciones de clase   y   inducidas desde los respectivos subgrupos   y  , cuya utilidad reside en el hecho de que solo depende de como los conjugados de   y   se intersecan entre ellos. La fórmula (con su derivación) es:

 

(donde   es un conjunto completo de representativos de clases laterales  -dobles, como antes). Esta fórmula se utiliza a menudo cuando   y   son caracteres lineales, en cuyo caso todos los productos internos que aparezcan en la suma de la parte derecha son o 1 o 0, dependiendo de si los caracteres lineales   y   tienen la misma restricción para t−1HtK. Si   y   son ambos caracteres triviales, entonces el producto interno se simplifica como  .

Caracteres de grupos de Lie y álgebras de Lie

editar

Si   es un grupo de Lie y   una representación dimensional finita de  , el carácter   de   se define precisamente para cualquier grupo como:

 

Además, si   es un álgebra de Lie y   una representación dimensional finita de  , podemos definir el carácter   como:

 

El carácter satisfará   para todo   en el grupo de Lie asociado   y todo  . Si tenemos una representación del grupo de Lie y una representación del álgebra de Lie asociado, el carácter   está relacionado con el carácter   de la representación del grupo por la fórmula:

 

Suponiendo que   es un álgebra compleja semisimple con un subálgebra de Cartan  , el valor del carácter   de una representación irreductible   de   está determinada por sus valores en  . La restricción del carácter en   se puede calcular de la siguiente forma: