stringtranslate.com

Teoría del carácter

En matemáticas , más específicamente en teoría de grupos , el carácter de una representación de grupo es una función sobre el grupo que asocia a cada elemento del grupo la traza de la matriz correspondiente . El carácter lleva 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 propias representaciones. Esto es posible porque una representación compleja de un grupo finito está determinada (hasta el isomorfismo ) por su carácter. La situación con representaciones sobre un cuerpo de característica positiva , las llamadas "representaciones modulares", es más delicada, pero Richard Brauer desarrolló una poderosa teoría de caracteres también en este caso. Muchos teoremas profundos sobre la estructura de grupos finitos utilizan caracteres de representaciones modulares .

Aplicaciones

Los caracteres de las representaciones irreducibles codifican muchas propiedades importantes de un grupo y, por lo tanto, pueden usarse 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 caracteres. Los resultados más fáciles, pero aún esenciales, que usan la teoría de caracteres incluyen el teorema de Burnside (desde entonces se ha encontrado una prueba puramente teórica de grupos del teorema de Burnside, pero esa prueba llegó más de medio siglo después de la prueba original de Burnside) y un teorema de Richard Brauer y Michio Suzuki que establece que un grupo simple finito no puede tener un grupo de cuaterniones generalizado como su subgrupo de Sylow 2 .

Definiciones

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 sobre V . El carácter de ρ es la función χ ρ  : GF dada por

donde Tr es la traza .

Un carácter χ ρ se denomina irreducible o simple si ρ es una representación irreducible . El grado del carácter χ es la dimensión de ρ ; en característica cero, es igual al valor χ (1) . Un carácter de grado 1 se denomina 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, el carácter no es un homomorfismo de grupo en general.

Propiedades

Propiedades aritméticas

Sean ρ y σ representaciones de G. Entonces se cumplen las siguientes identidades:

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

Tablas de caracteres

Los caracteres complejos irreducibles de un grupo finito forman una tabla de caracteres que codifica mucha información útil sobre el grupo G en una forma compacta. Cada fila está etiquetada por una representación irreducible y las entradas en la fila son los caracteres de la representación en la respectiva clase de conjugación de G . Las columnas están etiquetadas por (representantes de) las clases de conjugación de G . Es habitual etiquetar la primera fila por el carácter de la representación trivial , que es la acción trivial de G en un espacio vectorial unidimensional por para todo . Cada entrada en la primera fila es, por lo tanto, 1. De manera similar, es habitual etiquetar la primera columna por la identidad. Por lo tanto, la primera columna contiene el grado de cada carácter irreducible.

Aquí está la tabla de caracteres de

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

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

La tabla de caracteres siempre es cuadrada, porque el número de representaciones irreducibles es igual al número de clases de conjugación. [2]

Relaciones de ortogonalidad

El espacio de funciones de clase de valor complejo de 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 funciones de clase, y esto produce la relación de ortogonalidad para las filas de la tabla de caracteres:

Para g , h en G , al aplicar el mismo producto interno a las columnas de la tabla de caracteres se obtiene:

donde la suma es sobre todos los caracteres irreducibles χ i de G y el símbolo | C G ( g )| denota el orden del centralizador de g . Nótese que como g y h son conjugados si y solo si están en la misma columna de la tabla de caracteres, esto implica que las columnas de la tabla de caracteres son ortogonales.

Las relaciones de ortogonalidad pueden facilitar muchos cálculos, entre ellos:

Propiedades de la tabla de caracteres

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

La tabla de caracteres no determina en general el grupo hasta el isomorfismo : por ejemplo, el grupo de cuaterniones Q y el grupo diedro de 8 elementos, D 4 , tienen la misma tabla de caracteres. Brauer se preguntó si la tabla de caracteres, junto con el conocimiento de cómo se distribuyen las potencias de los elementos de sus clases de conjugación, determina un grupo finito hasta el isomorfismo. En 1964, EC Dade respondió negativamente a esta pregunta .

Las representaciones lineales de G son en sí mismas un grupo bajo el producto tensorial , ya que el producto tensorial de espacios vectoriales unidimensionales es nuevamente unidimensional. Es decir, si y son representaciones lineales, entonces define una nueva representación lineal. Esto da lugar a un grupo de caracteres lineales, llamado grupo de caracteres bajo la operación . Este grupo está conectado con los caracteres de Dirichlet y el análisis de Fourier .

Caracteres inducidos y reciprocidad de Frobenius

Se supone que los caracteres analizados en esta sección tienen valores complejos. Sea H un subgrupo del grupo finito G . Dado un carácter χ de G , sea χ H su restricción a H . Sea θ un carácter de H . Ferdinand Georg Frobenius mostró cómo construir un carácter de G a partir de θ , utilizando lo que ahora se conoce como reciprocidad de Frobenius . Dado que los caracteres irreducibles de G forman una base ortonormal para el espacio de funciones de clase de valores complejos de G , existe una única función de clase θ G de G con la propiedad de que

para cada carácter irreducible χ de G (el producto interno más a la izquierda es para funciones de clase de G y el producto interno más a la derecha es para funciones de clase de H ). Dado que la restricción de un carácter de G al subgrupo H es nuevamente un carácter de H , esta definición deja en claro que θ G es una combinación entera no negativa de caracteres irreducibles de G , por lo que de hecho es un carácter de G . Se conoce como el carácter de G inducido a partir de θ . La fórmula definitoria de la reciprocidad de Frobenius se puede extender a funciones de clase generales de valor complejo.

Dada una representación matricial ρ de H , Frobenius posteriormente dio una forma explícita de construir una representación matricial de G , conocida como la representación inducida a partir de ρ , y escrita análogamente como ρ G . Esto condujo a una descripción alternativa del carácter inducido θ G . Este carácter inducido se desvanece en todos los elementos de G que no son conjugados con ningún elemento de H . Dado que el carácter inducido es una función de clase de G , ahora sólo es necesario describir sus valores en elementos de H . Si uno escribe G como una unión disjunta de clases laterales derechas de H , digamos

entonces, dado un elemento h de H , tenemos:

Dado que θ es una función de clase de H , este valor no depende de la elección particular de los representantes de clases laterales.

Esta descripción alternativa del carácter inducido a veces permite un cálculo explícito a partir de relativamente poca información sobre la incorporación de H en G y, a menudo, resulta útil para el cálculo de tablas de caracteres particulares. Cuando θ es el carácter trivial de H , el carácter inducido obtenido se conoce como el carácter de permutación de G (en las clases laterales de H ).

La técnica general de inducción de caracteres y sus posteriores refinamientos encontraron numerosas aplicaciones en la teoría de grupos finitos y en otras áreas de las matemáticas, en manos de matemáticos como Emil Artin , Richard Brauer , Walter Feit y Michio Suzuki , así como del propio Frobenius.

Descomposición de Mackey

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

Si es una unión disjunta, y θ es una función de clase compleja de H , entonces la fórmula de Mackey establece que

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

La descomposición de Mackey, en conjunción con la reciprocidad de Frobenius, produce una fórmula bien conocida y útil para el producto interno de dos funciones de clase θ y ψ inducidas a partir de los respectivos subgrupos H y K , cuya utilidad radica en el hecho de que solo depende de cómo se intersecan entre sí los conjugados de H y K . La fórmula (con su derivación) es:

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

Dimensión "retorcida"

Se puede interpretar el carácter de una representación como la dimensión "retorcida" de un espacio vectorial . [3] Si se trata el carácter como una función de los elementos del grupo χ ( g ) , su valor en la identidad es la dimensión del espacio, ya que χ (1) = Tr( ρ (1)) = Tr( I V ) = dim( V ) . En consecuencia, se pueden considerar los otros valores del carácter como dimensiones "retorcidas". [ aclaración necesaria ]

Se pueden encontrar analogías o generalizaciones de afirmaciones sobre dimensiones a afirmaciones sobre caracteres o representaciones. Un ejemplo sofisticado de esto ocurre en la teoría de la luz de luna monstruosa : el j -invariante es la dimensión graduada de una representación graduada de dimensión infinita del grupo Monstruo , y al reemplazar la dimensión por el carácter se obtiene la serie McKay-Thompson para cada elemento del grupo Monstruo. [3]

Caracteres de los grupos de Lie y de las álgebras de Lie

Si es un grupo de Lie y una representación de dimensión finita de , el carácter de se define con precisión como para cualquier grupo como

.

Mientras tanto, si es un álgebra de Lie y una representación de dimensión finita de , podemos definir el carácter por

.

El carácter se cumplirá para todos los del grupo de Lie asociado y para todos los . Si tenemos una representación de grupo de Lie y una representación de álgebra de Lie asociada, el carácter de la representación de álgebra de Lie está relacionado con el carácter de la representación de grupo mediante la fórmula

.

Supongamos ahora que es un álgebra de Lie semisimple compleja con subálgebra de Cartan . El valor del carácter de una representación irreducible de está determinado por sus valores en . La restricción del carácter a se puede calcular fácilmente en términos de los espacios de peso , de la siguiente manera:

,

donde la suma es sobre todos los pesos de y donde es la multiplicidad de . [4]

La (restricción del) carácter se puede calcular de forma más explícita mediante la fórmula del carácter de Weyl.

Véase también

Referencias

  1. ^ Nicolas Bourbaki, Algèbre , Springer-Verlag, 2012, cap. 8, p392
  2. ^ Serre, §2.5
  3. ^ desde (Gannon 2006)
  4. ^ Propuesta 10.12 del Salón 2015

Enlaces externos