Anda di halaman 1dari 10

Representacion de grupos y aplicaciones en

particiones
gonzalocaolabora@yahoo.es
September 2017

1 Introduccion
Definicion 1.1. Sea G un grupo y sea V un espacio vectorial. Una aplicacion
: G GL(V ) es una representacion de G en V si se verifica

(a) (b) = (ab) a, b G

A partir de ahora (a) lo denotaremos como a .


Observacion 1.2. En particular, nuestra definicion implica

1 = id

a1 = 1
a

En nuestro caso V sera un C-espacio vectorial, que podemos considerar Cn ,


y el grupo G sera finito. En este caso, los autovalores de a seran races de la
|G|
unidad, porque a = id.
Ejemplo 1.3. Tomemos n = |G| y una base {eb } indexada por los elementos
de G. Si consideramos
a (eb ) = eab
es evidente que es una representacion de G en Cn . A esta representacion se
le denomina representacion regular.
Ejemplo 1.4. Proponemos algunos ejemplos concretos. Se deja al lector com-
probar que efectivamente son representaciones.
El grupo Z/nZ se puede representar con giros de 2a/n radianes en R2 .
El grupo simetrico Sn se puede representar sobre Cn dejando que a (ex ) =
ea (x). No hay que confundir esta representacion con la regular (esta es
n-dimensional, la regular sera n!-dimensional.
El grupo ortonormal real O(n, R) sobre los polinomios reales homogeneos
de n variables y grado k dado por a (P (x)) = P (a1 (x)).

1
Si tenemos una representacion de G, tenemos una representacion para
cualquier subgrupo de G, simplemente restringiendola al subgrupo.
Si V es C-espacio de dimension 1, estamos enviando cada a G a una
funcion f (x) = ax de una variable. Como a es raz de la unidad (unico
autovalor), y las races de la unidad son isomorfas al grupo cclico, la
representacion se puede ver como un morfismo de grupos G C|G| .
El signo de una permutacion se puede ver como una representacion unidi-
mensional Sn C que asigna id a permutaciones pares y id a permuta-
ciones impares.
Definicion 1.5. Si tenemos dos representaciones 1 : G V1 , 2 : G V2
definimos su suma directa como : G V1 V2 dada por

a (x) = 1a (x) + 2a (x)

Una representacion se dice irreducible si no admite descomposicion en suma


directa, ademas de la descomposicion trivial 0 .
Teorema 1.6. Una representacion es irreducible si y solo si no existe ningun
subespacio vectorial no trivial V1 , que sea invariante bajo toda a .
Proof. Para probar este teorema, podemos ver que si V1 es invariante existira
otro subespacio ortonormal, V2 , tambien invariante, cuya suma de ambos sera
V1 V2 = V . No obstante, no tenemos definido ningun producto escalar en V .
Asumamos que hubiera un producto escalar que fuera conservado por toda a
es decir hx, yi = ha x, a yi. En tal caso, tomando x V1 , y V2 , es evidente
que si a conserva V1 tambien conserva el ortogonal V2 . Con lo cual, solo queda
por ver que podemos construir un producto con dichas caractersticas.
Observacion 1.7. Sea : G GL(V ) una representacion y sea h , i0 un
producto escalar. Podemos definir un nuevo prodcuto escalar como
X
hx, yi = ha x, a yi0
aG

y ademas se tiene que


X
hb x, b yi = hba x, ba yi0 = hx, yi
aG

Observacion 1.8. Los resultados previos nos garantizan la existencia de de-


scomposicion en representaciones irreducibles. Simplemente vamos descom-
poniendo en subespacios invariantes, hasta que ya no es posible. Mas adelante
veremos la unicidad de esta descomposicion, para el caso de representaciones
en C.
Definicion 1.9. Dos representaciones 1 : G GL(V1 ), 2 : G GL(V2 ) se
dicen equivalentes si existe una aplicacion g : V1 V2 tal que:

2
g es un isomorfismo de espacios vectoriales.
g1a = 2a g para todo a G.
Dos representaciones equivalentes pueden ser consideradas como la misma salvo
por un cambio de coordenadas.
Teorema 1.10. Consideremos : G GL(V ), : G GL(W ) representa-
ciones irreducibles sobre C-espacios vectoriales, tales que existe g : V W con
ga = a g para todo a G. Entonces,

Si y no son equivalentes, g = 0
Si = , entonces g = c id, con c C
Proof. La primera observacion de la igualdad ga = a g es que ker(g) es in-
variante por y Im(g) es invariante por . Como ambas representaciones son
irreducibles, estos subespacios han de ser el vaco o el total. Ahora bien, si
ker(g) = V o si Im(g) = 0, tenemos g = 0, como queramos. El otro caso es
ker(g) = 0 y Im(g) = W . Pero en ese caso g es isomorfismo, y por tanto y
equivalentes, lo cual contradice el enunciado.

Para probar el segundo enunciado, razonamos analogamente. Por tanto, o


bien g = 0 = 0 id o bien g es isomorfismo. En dicho caso, sea c un autovalor
no nulo, y h = g c id. Es obvio que h cumple la misma propiedad que g, es
decir, ha = a h. Pero en este caso, h no puede ser isomorfismo porque tiene
un autovalor que es c c = 0. Por tanto h = 0 y de ah g = c id.

Corolario 1.11. Bajo las mismas hipotesis consideremos una f : W V lineal


cualquiera, y tomememos
1 X
f = a f a1
n
aG

Entonces, tomando m = dim(V ), tenemos

Si y no son equivalentes, f = 0.
T r(f )
Si = , entonces f = m id

Proof. Basta observar que la f definieda cumple la hipotesis exigida a g en el


teorema anterior. En el segundo caso, ademas, hemos de hallar la constante c,
pues el teorema solo asegura que f = c id. Para ello vemos que
1 X n
mc = T r(f) = T r(a f 1
a )= T r(f )
n n
aG

T r(f )
y por lo tanto c = m .

3
2 Funcion caracterstica
Definicion 2.1. Sea una representacion sobre un C-espacio vectorial, defin-
imos su funcion caracterstica : G C como

(a) = T r(a )

Definicion 2.2. Consideremos dos funciones , : G C. Definimos su


producto como
1 X
(|) = (a) (a)
n
aG

Es evidente comprobar que este producto cumple las propiedades de ser un


producto escalar (lineal, definido positivo y simetrico respecto a la conjugacion).

Ahora queremos ver como se comportan las funciones caractersticas de rep-


resentaciones irreducibles respecto de este producto. A traves del corolario 1.11
podremos probar que estas funciones son ortonormales. Para ello trabajaremos
en forma matricial.
Observacion 2.3. Podemos suponer las matrices de las aplicaciones que for-
man una representacion como matrices unitarias, es decir, matrices tales que
A1 = A , siendo A la traspuesta conjugada de A. Para ello recordemos que
podemos definir un producto escalar que se conserva bajo todo a (observacion
1.7). Tomando una base ortonormal de dicho producto es claro que A A tiene
como elementos hei , ej i y, por tanto, A A = I.
Proposicion 2.4. Si y son dos representaciones irreducibles no equivalentes
del mismo grupo y y son sus funciones caractersticas, entonces (|) = 0.
Proof. Cojamos el corolario 1.11 y expresemoslo en forma matricial
1 X
(f)i,l = (a,i,j )(fj,k )(a1 ,k,l ) = 0i,l
n
aG

Como f es una funcion cualquiera, cada termino que acompane a un fj,k debe ser
nulo, para que la expresion se anule en todas las posibles funciones f . Ademas,
recordemos que por 2.3, podemos intercambiar la matriz inversa por la simetrica
conjugada. As, obtenemos
1 X
(a,i,j )(a,k,l ) = 0i,l
n
aG

para todo j y todo k. Por lo tanto,


1 X 1 XX
(|) = T r(a )T r(a ) = (a,i,i )(a,l,l )=0
n n
aG aG i,l

4
Proposicion 2.5. Si es una representacion irreducible y su funcion carac-
terstica, entonces (|) = 1.
La demostracion de esta proposicion es analoga a la anterior y se deja como
ejercicio.

Observacion 2.6. Supongamos que tenemos una representacion irreducible


y una reducible = 1 2 . . . k con funciones caractersticas y i respec-
tivamente. Entonces si ejecutamos (|) = (| i ) nos dira cuantas de las i
P
son equivalentes a . Esto implica que la descomposicion en representaciones
irreducibles es unica, modulo equivalencia de representaciones. Es decir, puede
que existan dos sucesiones diferentes de espacios invariantes para descomponer
una representacion, pero nos tienen que dar representaciones irreducibles equiv-
alentes.
Una vez hemos visto que las funciones caractersticas de representaciones
irreducibles son ortonormales, nos gustara saber el espacio que generan. Para
ello podemos observar una propiedad que cumplen las funciones caractersticas,
y es que (aba1 ) = (b), por el hecho de proceder de una traza.
Definicion 2.7. Decimos que una funcion : G C es funcion de clase si
(aba1 ) = (b).

Observacion 2.8. Es evidente que habra funciones de G a C que no sean de


clase, salvo que G sea abeliano, en cuyo caso aba1 = b siempre. Aun as,
las funciones de clase son un subespacio del espacio de funciones de G a C, y
heredan el producto definido.
Observacion 2.9. Si consideramos la relacion de equivalencia en nuestro grupo
b c si y solo si existe a G tal que aba1 = c, entonces una funcion de clase
es aquella funcion que es constante sobre cada una de las clases de equivalencia
de nuestra relacion. A estas clases se les denomina clases de conjugacion. Por
tanto, la dimension del espacio de funciones de clase es igual a la cantidad de
clases de conjugacion del grupo.

Teorema 2.10. Las funciones caractersticas de respresentaciones irreducibles


de G forman una base ortonormal de las funciones de clase.
Proof. Ya hemos visto en 2.4 y 2.5 que son ortonormales (y por tanto, lineal-
mente independientes). Solo nos falta ver que generan todo el espacio, y para
ello veremos que su complementario es cero. De esta manera, supondremos una
funcion de clase perpendicular a toda funcion caracterstica de representacion
irreducible, y probaremos que = 0. Consideremos la representacion regular
definida en 1.3, y consideremos i , las representaciones irreducibles en las que
descompone. Asimismo sean y i sus funciones caractersticas.

5
i
Por hipotesis (i |) = 0. Consideremos f i =
P
aG (a) a , que por la
i
hipotesis, verifica T r(f ) = 0. Pero ademas, tenemos que
X X
b f i 1
b = (a) b a 1
b = (bab1 ) bab1 = f i
aG aG

Por 1.10 tenemos que f i = c Id, pero como T r(f i ) = 0, necesariamente f i = 0.


Ahora consideremos f como la suma de las f i con sus respectivos grados (can-
tidad de veces que la representacion i aparece en ). Como f = 0, tendremos
que X
(a) a = 0
aG

Es evidente que todos los endomorfismos a son linealmente independientes, y


por tanto, todo (a) = 0, siendo = 0.
Corolario 2.11. Toda representacion irreducible ha de estar contenida en la
representacion regular. Esto es as porque sino su funcion de clase sera per-
pendicular a toda i , contradiciendo la prueba anterior.
Corolario 2.12. Cojamos la representacion regular y descompongamosla, =
n1 1 + . . . nk k (los ni P
se refieren a la cantidad de veces que aparece cada una).
Si efectuamos (|) = n2i podemos ver que como (a) = |G|1,a , claramente
(|) = 1. De ah se deduce la formula
k
X
dim(V ) = dim(Vi )2
i=1

donde la representacion regular actua en GL(V ) y cada Vi es uno de los espacios


invariantes donde actua i .
Corolario 2.13. Habamos visto previamente que la dimension del espacio de
funciones de clase era igual a la cantidad de clases de conjugacion. A su vez, esta
dimension ha de ser igual a la cantidad de representaciones irreducibles (ya que
sus funciones de clase forman una base). Por tanto, hay tantas representaciones
irreducibles de G como clases de conjugacion en G.

3 Representaciones en el grupo simetrico


Observacion 3.1. La cantidad de clases de conjugacion del grupo simetrico,
Sn es la cantidad de particiones de n, que denotaremos por P(n). Esto es as
porque cada clase de conjugacion permite cambiar de nombre a los elementos,
conservando unicamente la forma de los ciclos (cuantos ciclos de cada orden
hay). Evidentemente, si sumamos los ordenes de los ciclos, obtenemos n, y de
ah que haya una clase por cada particion. En consecuencia, del corolario 2.13
Sn tiene P(n) representaciones irreducibles.

6
Ejemplo 3.2. Si consideramos n = 4, tenemos P(n) = 5 que se corresponden
con 4, 3 + 1, 2 + 2, 2 + 1 + 1 y 1 + 1 + 1 + 1. En la primera clase encontraramos
permutaciones como (1234) o (3241), que son 4-ciclos. En la segunda clase,
permutaciones con un 3-ciclo y un 1-ciclo (punto fijo), como (413). En el tercer
grupo, habra permutaciones como (42)(31), en el cuarto grupo estaran las
trasposiciones y en el quinto unicamente estara la identidad.
Ahora lo que nos interesera es construir una representacion del grupo simetrico
para cada particion de n, = (1 , . . . k ). De este modo, es logico que con-
struyamos los objetos sobre los que actue Sn en funcion de . La manera
mas natural es, para cada , considerar las posibles particiones del conjunto
{1, 2, . . . n} que tengan la forma de . Dejaremos que cada a Sn actue direc-
tamente permutando los elementos en la particion.

Definicion 3.3. Definimos una tabla de Young T de una n-particion como


un diagrama de Ferrers de forma en el que colocamos un entero entre 1 y n
(sin repetirlos) en cada hueco del diagrama de Ferrers. Definimos una relacion
de equivalencia entre tablas de Young donde dos tablas T , T 0 son equivalentes
si sus filas, como conjuntos, son las mismas (es decir, cada fila esta, posible-
mente, desordenada). A un elemento del cociente respecto de esta relacion le
llamaremos tabloide de Young (o simplemente tabloide) y lo denotaremos por
[T ]. Tambien haremos lo mismo por columnas, y a una tabla cocientada por
columnas la denotaremos por {T }.
Observacion 3.4. Los tabloides de Young de forma estan en biyeccion natural
con las diferentes n-particiones de forma del conjunto {1, 2, . . . n}. Simple-
mente, consideremos cada fila del tabloide como un subconjunto de la particion.

Definicion 3.5. Consideremos un espacio vectorial generado por todos las


tablas de Young como base y C como cuerpo. A dicho espacio le denotaremos
por V y le llamaremos espacio de tablas. Este espacio admite una repre-
sentacion natural del grupo simetrico dejando simplemente que cada a Sn
actue permutando cada elemento de la tabla. Esta representacion de Sn sobre
V la denotaremos por .
Observacion 3.6. Si definimos el espacio cociente de V por , obtenemos un
nuevo espacio W = V / , que llamaremos espacio de tabloides. Es obvio
que la representacion factoriza sobre el cociente W , y por tanto definde
una representacion de Sn sobre W , a la que, cometiendo abuso de notacion,
llamaremos tambien .
Para empezar a entender los espcios V , W que acabamos de definir, con
sus representaciones , lo mas logico es empezar a estudiar como actuan las
trasposiciones, ya que son los elementos no triviales de Sn mas simples, y
ademas, generan todo Sn .

7
Observacion 3.7. Sea T una tabla de Young, a = (i, j) Sn una trasposicion.
Tenemos que a (T ) = b (c (d (T ))), donde b y d son permutaciones sobre una
fila, y c es una trasposicion sobre una columna. Basta considerar un elemento
k en la fila de i y columna de j (o viceversa) y ver que (i, j) = (k, i)(i, j)(j, k).
Es importante ver que cuando decimos que c actua sobre una columna, no nos
referimos a una columna de T , sino a una columna de donde actua, es decir,
una columna de d (T ).
Definicion 3.8. Dada una tabla de Young T , definimos los subgrupos de Sn ,
F (T ) y C(T ), o estabilizadores de T por filas y columnas. Dichos subgrupos son
los subgrupos de permutaciones que actuan en T permutando solo elementos de
la misma fila, o de la misma columna, respectivamente
Lemma 3.9. Ahora podemos ver como se comportan estos estabilizadores re-
specto de nuestra representacion . Tenemos que C(a (T )) = aC(T )a1 y
F (a (T )) = aF (T )a1 .
Proof. Sea b C(a (T )), esto quiere decir que i, tenemos que b(i) esta en la
misma columna de i en a (T ). Por lo tanto, son la imagen por a de elementos
de la misma columna de T . Es decir, a1 (b(i)) y a1 (i) estan en la misma
columna de T . Haciendo un cambio de variable j = a1 esto es que (a1 ba)(j)
y j esten en la misma columna de T , j. Por tanto, esto es que a1 ba C(T ),
es decir, que b aC(T )a.
Nuestro objetivo ahora sera estudiar sobre W . Como en la teora general
(seccion 1), sera muy interesante definir estructuras que se correspondan con
sumatorios de acciones de nuestra representacion.
Definicion 3.10. Dada una tabla de Young T , definimos la aplicacion lineal
f que actua sobre una tabla y un tabloide como sigue
X
f ({T 0 }, [T ]) = sgn(a)a ([T ])
aC(T 0 )

Aunque la definicion de esta f parezca sacada de la manga, las dos


propiedades que veremos a continuacion motivaran claramente esta definicion.
Tambien cabe observar que la definicion es simetrica, en el sentido de que solo
utiliza las columnas de T 0 y las filas de T .
Proposicion 3.11. Siguiendo esta idea intuitiva de la simetra, nos podemos
preguntar por f ({T }, [T ]) y su comportamiento respecto a . Tenemos que
b (f ({T }, [T ])) = f (b {T }, b [T ]).
Proof. Simplemente ejecutando el calculo, tenemos
X X
b (f ({T }, [T ])) = sgn(a)ba [T ] = sgn(bab1 )bab1 (b [T ])
aC(T ) aC(T )
X X
= sgn(c)c (b [T ]) = sgn(c)c (b [T ]) = f (b (T ), b [T ])
cbC(T )b1 cC(
b (T ))

8
donde hemos hecho el cambio de variable c = bab1 y hemos utilizado el lema
3.9 para bC(T )b1 = C(b (T )).
Proposicion 3.12. Por otro lado, estudiando f ({T 0 }, [T ]) podemos ver que
f ({T 0 }, [T ]) = f ({T 0 }, [T 0 ]).
Proof. Consideremos la permutacion que lleva T 0 a T , sea a Sn . Podemos
factorizar a como trasposiciones, y a su vez la observacion 3.7 nos dice que
podemos factorizar estas como trasposiciones que actuen en una fila o en una
columna. Por tanto, basta probarlo para estas. Si T = b (T 0 ) y b es trasposicion
por filas, es trivial, pues [T ] = [T 0 ]. Si T = c (T 0 ) y c es trasposicion por
columnas de T 0 , como T y T 0 tienen las mismas columnas, c C(T 0 y por tanto
X
f ({T 0 }, [T ]) = sgn(a)ac [T 0 ] =
aC(T 0 )

X
sgn(ac)ac [T 0 ] = f ({T 0 }, [T 0 ])
acC(T 0 )

En el caso general nos apareceran tantos signos menos como trasposiciones por
columnas, de ah el signo .
Una vez probadas estas dos proposiciones, queda justificada la construccion
de f . De hecho, ya tenemos suficiente para encontrar un subespacio V in-
variante, y ver que es irreducible, solo se trata de ordenar nuestros resultados
adecuadamente.

Observacion 3.13. Podemos extender nuestra definicion de f en la segunda


coordenada, aceptando un elemento de V cualquiera (simplemente, ponemos
w W en la definicion, en vez de [T ]). Como ademas, los tabloides son una
base trivial de este espacio, heredamos una nueva version de la proposicion 3.12,
que nos dice que f (T, w) = ({T }, [T ]) donde c C es un escalar (no nulo, si
w 6= 0, ya que la imagen de elementos de la base sobre la segunda coordenada
es no nula).
Definicion 3.14. Definimos el espacio de Specht de la particion , S como el
espacio generado por todos los f ({T }, [T ]).
Teorema 3.15. Los espacios de Specht son invariantes por y ademas, las
representaciones restringidas a dichos subespacios son irreducibles.
Proof. Para ver que S es invariante por basta comprobarlo para el con-
junto de generadores f ({T }, [T ] Pero esto es consecuencia inmediata de la
proposicion 3.11 ya que a (f ({T }, [T ])) = f (a (T ), a [T ]) S . Para ver que
S es irreducible, supongamos S1 un subespacio no trivial y 0 6= w S1 . Por
la proposicion 3.12 (extendida a todo W ) tenemos que cualquier f (T, w) =
cf ({T }, [T ]) con c escalar no nulo. Por tanto, S1 contiene a los generadores
de S y es el subespacio total.

9
Teorema 3.16. Los modulos de Specht S admiten como base la de los politabloides
generados por tablas ordenadas por filas y columnas. A dichas tablas las llamare-
mos tablas estandard.

Proof. Primero veamos la independencia. Observemos que las tablas estandard,


al recibir la accion de a con a C(T ) solo generan tablas con los numeros
grandes mas arriba (ya que las estandard estan ordenadas por columnas).
Podemos formalizar esta idea mediante una relacion de orden en las tablas
que dice que T < T 0 si el primer numero en diferente fila entre T y T 0 se
halla en una fila mas alta para T . En dicho caso, podemos ver que para
T estandar a (T ) T para cualquier a C(T ). Por tanto, si tenemos
c1 f ({T1 }, [T1 ]) + . . . + ck f ({Tk }, [Tk ]) = 0, cogemos el Ti mas pequeno y
vemos que f ({Ti }, [Ti ]) solo desarrolla un termino con ci [Ti ] (cuando a = id).
El resto de terminos procedentes de desarrollar cualquier otro f ({Ti }, [Ti ]) son
mas grandes y por tanto, ninguno podra tener un termino en [Ti ]. En conse-
cuencia, [Ti ] solo va acompanado de ci y necesariamente ci = 0. Procediendo
inductivamente, cualquier ci = 0 y vemos que los f ({Ti }, [Ti ]) con Ti tabla
estandar son independientes.
Para ver que son generadores, simplemente obervamos que para cualquier otra
tabla T no estandar, tenemos f ({T }, [T ]) = f ({T 0 }, [T ]) = f ({T 0 }, [T 0 ])
siendo T 0 resultado de ordenar T por columnas.
Es obvio que hemos fabricado P(n) representaciones irreducibles de Sn (un
S por cada particion ). Si pudieramos probar que todas son no equivalentes
entre s, el corolario 2.13 nos garantizara que hemos hallado todas las repre-
sentaciones de Sn . Ahora que ya tenemos que nuestras representaciones son
irreducibles un enfoque razonable sera intentar utilizar el Lema de Schur 1.10
para ver que no son equivalentes. Para fabricarnos morfismos entre S y S
siendo , dos particiones no equivalentes observamos lo siguiente.

10