En matemáticas , la teoría de la representación del grupo simétrico es un caso particular de la teoría de la representación de grupos finitos , para lo cual se puede obtener una teoría concreta y detallada. Esto tiene una gran área de aplicaciones potenciales, desde la teoría de funciones simétricas hasta problemas de mecánica cuántica para varias partículas idénticas .
El grupo simétrico S n tiene orden n !. Sus clases de conjugación están etiquetadas por particiones de n . Por lo tanto, de acuerdo con la teoría de la representación de un grupo finito, el número de representaciones irreductibles inequivalentes , sobre los números complejos , es igual al número de particiones de n . A diferencia de la situación general para grupos finitos, de hecho existe una forma natural de parametrizar representaciones irreductibles mediante el mismo conjunto que parametriza clases de conjugación, es decir, mediante particiones de n o diagramas de Young equivalentes de tamaño n .
De hecho, cada una de estas representaciones irreductibles se puede realizar sobre los números enteros (cada permutación actúa mediante una matriz con coeficientes enteros); se puede construir explícitamente calculando los simetrizadores de Young que actúan sobre un espacio generado por los cuadros de forma de Young dados por el diagrama de Young. La dimensión de la representación que corresponde al diagrama de Young viene dada por la fórmula de la longitud del gancho .
A cada representación irreductible ρ podemos asociar un carácter irreducible, χ ρ . Para calcular χ ρ (π) donde π es una permutación, se puede usar la regla combinatoria de Murnaghan-Nakayama . [1] Tenga en cuenta que χ ρ es constante en las clases de conjugación, es decir, χ ρ (π) = χ ρ (σ −1 πσ) para todas las permutaciones σ.
En otros campos, la situación puede volverse mucho más complicada. Si el campo K tiene una característica igual a cero o mayor que n, entonces, según el teorema de Maschke, el álgebra de grupos K S n es semisimple. En estos casos, las representaciones irreductibles definidas sobre los números enteros dan el conjunto completo de representaciones irreducibles (después de la reducción módulo la característica si es necesario).
Sin embargo, las representaciones irreductibles del grupo simétrico no se conocen en característica arbitraria. En este contexto, es más habitual utilizar el lenguaje de módulos en lugar de representaciones. La representación obtenida de una representación irreductible definida sobre los enteros reduciendo módulo la característica no será en general irreductible. Los módulos así construidos se denominan módulos de Specht , y todo irreductible surge dentro de algún módulo de este tipo. Ahora hay menos irreductibles y, aunque se pueden clasificar, se comprenden muy poco. Por ejemplo, incluso sus dimensiones no se conocen en general.
La determinación de los módulos irreductibles para el grupo simétrico sobre un campo arbitrario es ampliamente considerada como uno de los problemas abiertos más importantes en la teoría de la representación.
Representaciones de baja dimensión
Grupos simétricos
Las representaciones de dimensiones más bajas de los grupos simétricos se pueden describir explícitamente, como se hace en ( Burnside 1955 , p. 468). Este trabajo se extendió a los k grados más pequeños (explícitamente para k = 4 y k = 7 ) en ( Rasala 1977 ), y sobre campos arbitrarios en ( James 1983 ). Los dos grados más pequeños en la característica cero se describen aquí:
Cada grupo simétrico tiene una representación unidimensional llamada representación trivial , donde cada elemento actúa como la matriz de identidad uno por uno. Para n ≥ 2 , existe otra representación irreductible de grado 1, llamada representación de signo o carácter alterno , que toma una permutación a la matriz uno por uno con entrada ± 1 basada en el signo de la permutación . Estas son las únicas representaciones unidimensionales de los grupos simétricos, ya que las representaciones unidimensionales son abelianas y la abelianización del grupo simétrico es C 2 , el grupo cíclico de orden 2.
¡Para todo n , hay una representación n- dimensional del grupo simétrico de orden n! , llamó alrepresentación de permutación natural , que consiste en permutarncoordenadas. Esto tiene la subrepresentación trivial que consiste en vectores cuyas coordenadas son todas iguales. El complemento ortogonal consiste en aquellos vectores cuyas coordenadas suman cero, y cuando n ≥ 2, la representación en este subespacio es unarepresentación irreducible( n - 1)dimensional, llamadarepresentación estándar. Otrarepresentación irreductible( n - 1)dimensional se encuentra tensando con la representación del signo. Unpoder exterior de la representación estándar es irreductible siempre que ( Fulton y Harris 2004 ).
Para n ≥ 7 , estas son las representaciones irreductibles de menor dimensión de S n ; todas las demás representaciones irreducibles tienen dimensión al menos n . Sin embargo, para n = 4 , la sobreyección de S 4 a S 3 permite que S 4 herede una representación bidimensional irreducible. Para n = 6 , la incorporación transitiva excepcional de S 5 en S 6 produce otro par de representaciones irreductibles de cinco dimensiones.
Representación irreducible de | Dimensión | Diagrama joven de tamaño |
---|---|---|
Representación trivial | ||
Representación de signos | ||
Representación estándar | ||
Poder exterior |
Grupos alternos
La teoría de la representación de los grupos alternos es similar, aunque la representación del signo desaparece. Para n ≥ 7 , las representaciones irreductibles de menor dimensión son la representación trivial en la dimensión uno, y la representación ( n - 1) -dimensional del otro sumando de la representación de permutación, con todas las demás representaciones irreductibles que tienen una dimensión superior, pero hay excepciones para n .
Los grupos alternos para n ≥ 5 tienen solo una representación irreducible unidimensional, la representación trivial. Para n = 3, 4 hay dos representaciones irreductibles unidimensionales adicionales, correspondientes a mapas del grupo cíclico de orden 3: A 3 ≅ C 3 y A 4 → A 4 / V ≅ C 3 .
- Para n ≥ 7 , solo hay una representación irreductible de grado n - 1 , y este es el grado más pequeño de una representación irreducible no trivial.
- Para n = 3, el análogo obvio de la representación ( n - 1) -dimensional es reducible: la representación de permutación coincide con la representación regular y, por lo tanto, se divide en las tres representaciones unidimensionales, ya que A 3 ≅ C 3 es abeliano; ver la transformada discreta de Fourier para la teoría de representación de grupos cíclicos.
- Para n = 4 , solo hay una representación irreducible n - 1 , pero existen las representaciones irreductibles excepcionales de la dimensión 1.
- Para n = 5 , hay dos representaciones duales irreducibles de dimensión 3, correspondientes a su acción como simetría icosaédrica .
- Para n = 6 , hay una representación irreductible extra de la dimensión 5 correspondiente a la incorporación transitiva excepcional de A 5 en A 6 .
Productos tensoriales de representaciones
Coeficientes de Kronecker
El producto tensorial de dos representaciones de correspondiente a los diagramas de Young es una combinación de representaciones irreductibles de ,
Los coeficientes se denominan coeficientes de Kronecker del grupo simétrico. Se pueden calcular a partir de los caracteres de las representaciones ( Fulton y Harris 2004 ):
La suma es más de particiones. de , con las clases de conjugación correspondientes. Los valores de los personajesse puede calcular utilizando la fórmula de Frobenius . Los coeficientes están
dónde es la cantidad de veces aparece en , así que eso .
Algunos ejemplos, escritos en términos de diagramas de Young ( Hamermesh 1989 ):
Hay una regla simple para calcular para cualquier diagrama de Young ( Hamermesh 1989 ): el resultado es la suma de todos los diagramas de Young que se obtienen de quitando un cuadro y luego agregando un cuadro, donde los coeficientes son uno excepto para sí mismo, cuyo coeficiente es es decir, el número de diferentes longitudes de fila menos uno.
Una restricción sobre los componentes irreductibles de es ( James y Kerber 1981 )
donde la profundidad de un diagrama de Young es el número de cajas que no pertenecen a la primera fila.
Coeficientes de Kronecker reducidos
Para un diagrama de Young y , es un diagrama de tamaño de Young . Luego es una función acotada, no decreciente de , y
se denomina coeficiente de Kronecker reducido [2] o coeficiente de Kronecker estable . [3] A diferencia de los coeficientes de Kronecker, los coeficientes de Kronecker reducidos se definen para cualquier triple de los diagramas de Young, no necesariamente del mismo tamaño. Si, luego coincide con el coeficiente de Littlewood-Richardson . Los coeficientes de Kronecker reducidos son constantes de estructura de categorías de representaciones de Deligne de con . [4] Los coeficientes de Kronecker reducidos pueden escribirse como combinaciones lineales de coeficientes de Littlewood-Richardson mediante un cambio de bases en el espacio de funciones simétricas, dando lugar a expresiones que son manifiestamente integrales aunque no manifiestamente positivas. [3]
Es posible recuperar los coeficientes de Kronecker como combinaciones lineales de coeficientes de Kronecker reducidos. Hay límites conocidos en el valor de dónde alcanza su límite. [2]
Ver también
- Polinomios alternos
- Polinomios simétricos
- Funtor de Schur
- Correspondencia Robinson-Schensted
- Dualidad Schur-Weyl
- Elemento Jucys-Murphy
Notas
- ^ Richard Stanley, Combinatoria enumerativa, vol. 2
- ^ a b Briand, Emmanuel; Orellana, Rosa; Rosas, Mercedes (27 de julio de 2009). "La estabilidad de los productos Kronecker de Schur funciona". Revista de álgebra . 331 : 11-27. arXiv : 0907.4652 . doi : 10.1016 / j.jalgebra.2010.12.026 . S2CID 16714030 .
- ^ a b Assaf, Sami H .; Speyer, David E. (26 de septiembre de 2018). "Los módulos de Specht se descomponen como sumas alternas de restricciones de los módulos de Schur" . arXiv.org . doi : 10.1090 / proc / 14815 . Consultado el 31 de enero de 2021 .
- ^ Entova-Aizenbud, Inna (6 de julio de 2014). "Categorías de Deligne y coeficientes de Kronecker reducidos". arXiv : 1407.1506v1 [ math.RT ].
Referencias
- Burnside, William (1955), Teoría de grupos de orden finito , Nueva York: Dover Publications , MR 0069818
- Fulton, William; Harris, Joe (2004). "Teoría de la Representación". Textos de Posgrado en Matemáticas . Nueva York, NY: Springer New York. doi : 10.1007 / 978-1-4612-0979-9 . ISBN 978-3-540-00539-1. ISSN 0072-5285 .
- Hamermesh, M. (1989). Teoría de grupos y su aplicación a problemas físicos . Nueva York: Publicaciones de Dover. ISBN 0-486-66181-4. OCLC 20218471 .
- James, Gordon; Kerber, Adalbert (1981), La teoría de la representación del grupo simétrico , Enciclopedia de las matemáticas y sus aplicaciones, 16 , Addison-Wesley Publishing Co., Reading, Mass., ISBN 978-0-201-13515-2, MR 0644144
- James, GD (1983), "Sobre las dimensiones mínimas de las representaciones irreductibles de grupos simétricos", Procedimientos matemáticos de la Sociedad Filosófica de Cambridge , 94 (3): 417–424, Código Bibliográfico : 1983MPCPS..94..417J , doi : 10.1017 / S0305004100000803 , ISSN 0305 a 0.041 , MR 0720791
- Rasala, Richard (1977), "Sobre los grados mínimos de los caracteres de Sn", Journal of Algebra , 45 (1): 132-181, doi : 10.1016 / 0021-8693 (77) 90366-0 , ISSN 0021-8693 , Señor 0427445