SU(3)

Fernando Izaurieta
CONVENCI ONES.
Denotaremos con negritas a los elementos del grupo y a los generadores del grupo.
Denotaremos con hi a la traza.
Denotaremos con Fraktur al lgebra.
Usaremos letras griegas en bold y con una echa, ~ , para denotar la baseen la cual est escrito un operador.
Usaremos ji para denotar vectores en el espacio rangg dimensional.
EL GRUPO SU(3)
Denition 1 (Grupo SU(3))
SU(3) =
n
A de 3 3 tal que AA
y
=1 y det A =1:
o
Condiciones sobre los generadores.
Al escribir los elementos deSU(3) en funcin desus generadores, tal como sehacetradicionalmentepara los grupos
deLie,
A =e
i a
B
T B
podemos ver quesi imponemos la condicin deunitareidad sobreun elemento innitesimalmentecercano a la iden-
tidad, obtenemos

1+ida
B
T
B

1 ida
B
T
y
B

= 1
1 ida
B
T
y
B
+ida
B
T
B
= 1
da
B
T
y
B
= da
B
T
B
T
y
B
= T
B
La condicin dedeterminanteuno, por otra parte, implica que
1 = det A
= det e
i a
B
T B
Supongamos quea
B
T
B
est en su representacin deeigenvalores,
a
B
T
B
=
2
4
l
1
0 0
0 l
2
0
0 0 l
3
3
5
Entonces,
e
i a
B
T B
=
2
4
e
i l1
0 0
0 e
i l
2
0
0 0 e
i l3
3
5
y
det e
i a
B
T B
= e
i l1
e
i l2
e
i l3
= e
i (l
1
+l
2
+l
3
)
= e
i ha
B
T
B i
= e
i a
B
hT
B
i
como la traza es invariantebajo transformaciones desimilaridad, esta ecuacin secumplesiempre. Entonces,
e
i a
B
hT B i
= 1
hT
B
i = 0
As, en resumen, tenemos que
T
y
B
= T
B
hT
B
i = 0
Una representacin de los Generadores: Las Matrices de Gell-Mann.
Dimensin del lgebra: Si pensamos en la representacin matricial, podemos ver que este grupo queda
descrito por 3 3 1parmetros reales, as, vemos quela dimensin del lgebra es 8: dimg=8
Matrices de Gell-Mann: La forma general deuna matriz hermtica de3 3, detraza nula, es
2
4
d
1
m
3
+im
4
m
5
+im
6
m
3
im
4
d
2
m
7
+im
8
m
5
im
6
m
7
im
8
(d
1
+d
2
)
3
5
La basems evidentepara esteconjunto dematrices es
2
4
1 0 0
0 0 0
0 0 1
3
5
2
4
0 0 0
0 1 0
0 0 1
3
5
2
4
0 1 0
1 0 0
0 0 0
3
5
2
4
0 0 1
0 0 0
1 0 0
3
5
2
4
0 0 0
0 0 1
0 1 0
3
5
2
4
0 i 0
i 0 0
0 0 0
3
5
2
4
0 0 i
0 0 0
i 0 0
3
5
2
4
0 0 0
0 0 i
0 i 0
3
5
Ahora bien, las dos matrices diagonales pueden sumarsey restarse, y multiplicar por coecientes arbitrarios,
lo quenos entrega la nueva base

8
=
1
p
3
2
4
1 0 0
0 1 0
0 0 2
3
5

3
=
2
4
1 0 0
0 1 0
0 0 0
3
5

1
=
2
4
0 1 0
1 0 0
0 0 0
3
5

4
=
2
4
0 0 1
0 0 0
1 0 0
3
5

6
=
2
4
0 0 0
0 0 1
0 1 0
3
5

2
=
2
4
0 i 0
i 0 0
0 0 0
3
5

5
=
2
4
0 0 i
0 0 0
i 0 0
3
5

7
=
2
4
0 0 0
0 0 i
0 i 0
3
5
quees conocida como matrices deGell-Mann. Es comn usar los generadores
T
A
=
1
2

A
PROPI EDADES DE SU(3): DEL LGEBRA DE LI E HASTA LAS
RA CES.
El lgebra de Lie es
[T
A
; T
B
] =
0
B
B
B
B
B
B
B
B
B
B
@
0 iT
3
iT
2
i
2
T
7

i
2
T
6
i
2
T
5

i
2
T
4
0
0 iT
1
i
2
T
6
i
2
T
7

i
2
T
4

i
2
T
5
0
0
i
2
T
5

i
2
T
4

i
2
T
7
i
2
T
6
0
0
i
2

T
3
+
p
3T
8

i
2
T
2
i
2
T
1

i
2
p
3T
5
0
i
2
T
1
i
2
T
2
i
2
p
3T
4
0
i
2

T
3

p
3T
8

i
2
p
3T
7
0
i
2
p
3T
6
0
1
C
C
C
C
C
C
C
C
C
C
A
(1)
La mtrica de K illing deestos generadores,
g
AB
=hT
A
T
B
i
resulta ser
g
AB
=
1
2

AB
As, vemos que como la mtrica de Killing es positiva denida (todos sus eigenvalores son positivos), esto es
equivalentea queel grupo es compacto
1
, y semisimple
2
.
1
O sea, los parmetros del grupo estn dentro de un rango acotado.
2
O sea, no tiene subgrupos abelianos invariantes, esto es @subgrupo H de G tal que ghg
1
2 H8g 2 G; h 2 H.
Ahora bien, una propiedad importantedelos grupos compactos y semisimples es quesi el lgebra deLiegdel
grupo tieneuna sublgebra h, entonces g puedeser escrita como
g=h+P
con
[h; P ] P
En efecto, escojamos a P como el complemento ortogonal deh, o sea
hhP i =0:
Pero, uno recuerdaqueusando la propiedad cclica dela traza, uno tieneque
hA [B; C]i = hA [BC CB]i
= hABC ACBi
= hABC BACi
= h[A; B]Ci
y as,
hh[h;P ]i = h[h; h]P i
= hhP i
= 0
y por lo tanto,
[h; P ] P (2)
Sublgebra de Cartan: Pues bien, losmiembrosdel sublgebradeCartan, son todos aquellos queconmutan
entres. O sea, son matrices diagonales. Comolos generadores son detrazanulay de3 3, el mximonmero
de generadores diagonales linealmente independientes es 2. As, la dimensin del Sublgebra de Cartan (O
rango del lgebra) es 2. Pues vemos queT
3
y T
8
conmutan, as quelos escogemos
3
como nuestra sublgebra
deCartan. Sedicequerangg=2.
Races: Como la dimensin del lgebra es 8, y su rango es 2, hay 6 generadores que no pertenecen a la
sublgebra deCartan, y por lo tanto, decimos queel grupo tiene6races.
Llamaremos Y

a todos los generadores que no pertenezcan a la sublgebra de Cartan. Y llamaremos H

j
a
todos aquellos ques pertenecen a ella. Entonces, usando la ecuacin 2, setieneque
[H
j
; Y

] =
(j )

Y

Ahora, hagamos un cambio debasepara los Y

,
Y

! m

3
Tambin podramos haber usado T
1
y T
8
T
2
y T
8
, pero siempre slo 2 operadores.
m

[H
j
; Y

] = m

(j )

[H
j
; m

] = m

(j )

m
1

m

Si exijimos que
m

(j )

m
1

=
j

(o sea, quem sea la matriz quediagonaliza a

(j )
), y llamamos
E

=m

entonces
[H
j
; E

] =
j

[H
j
; E

] =
j
E

(3)
Es claro, quecomo
m

(j )

m
1

=
j

Entonces los
j
son los eigenvalores de
(j )
, y m es la matriz cuyas las son los eigenvectores.
Denition 2 (Raz) Llamaremos sima raz ji al vector rangg dimensional cuyas componentes son los

j
de la ecuacin 3.
Aclaremos desde ya, que cuando escribamos en una ecuacin esto signicar su mdulo, =
p
hji . Es
claro, entonces, quepodemos hacer un cambio en la notacin, y denotar ms correctamente

H
j
; E
ji

=
j
E
ji
Ahora bien, la matriz m es la misma para todos los
(j )
. En efecto, como lo generadores del lgebra cumplen
con la identidad deJ acobi,
[H
i
; [H
j
; Y

]]+[Y

; [H
i
; H
j
]]+[H
j
; [Y

; H
i
]] = 0
h
H
i
;
(j )

Y

i
+[Y

; 0]+
h
H
j
;
(i )

Y

i
= 0

(j )

[H
i
; Y

]
(i )

[H
j
; Y

] = 0

(j )

(i )

Y

(i )

(j )

= 0

(j )

(i )


(i )

(j )

= 0

(j )

(i )

=
(i )

(j )

(generadores l.i.)
entonces,
(i )
y
(j )
conmutan 8i;j . Entonces, los eigenvectores de una, sern tambin eigenvectores de la
otras, y la matriz m quediagonaliza a un los diagonaliza a todos. Ahora apliquemos toda esta maquinaria
a SU (3). Vamos a hacer el siguientemapeo:
T
3
! H
1
T
8
! H
2
T
1
! Y
1
T
2
! Y
2
T
4
! Y
3
T
5
! Y
4
T
6
! Y
5
T
7
! Y
6
Y as, usando el lgebra dela ecuacin 1, setieneque
[H
1
;Y
1
] =iY
2
[H
2
; Y
1
] =0
[H
1
;Y
2
] = iY
1
[H
2
; Y
2
] =0
[H
1
;Y
3
] =
i
2
Y
4
[H
2
; Y
3
] =
i
2
p
3Y
4
[H
1
;Y
4
] =
i
2
Y
3
[H
2
; Y
4
] =
i
2
p
3Y
3
[H
1
;Y
5
] =
i
2
Y
6
[H
2
; Y
5
] =
i
2
p
3Y
6
[H
1
;Y
6
] =
i
2
Y
5
[H
2
; Y
6
] =
i
2
p
3Y
5
Por lo tanto,

(1)

=
0
B
B
B
B
B
B
@
0 i 0 0 0 0
i 0 0 0 0 0
0 0 0
i
2
0 0
0 0
i
2
0 0 0
0 0 0 0 0
i
2
0 0 0 0
i
2
0
1
C
C
C
C
C
C
A
y
(2)

=
0
B
B
B
B
B
B
B
@
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 i
p
3
2
0 0
0 0 i
p
3
2
0 0 0
0 0 0 0 0 i
p
3
2
0 0 0 0 i
p
3
2
0
1
C
C
C
C
C
C
C
A
Aqu podemos detenernos a observar una propiedad muy interesante: las matrices
(i )
son hermticas. Esto es
en general, pues
[H
i
; T

] =
(i )

[H
i
T

H
i
] =
(i )

h
T
y

H
y
i
H
y
i
T
y

i
=
(i )

T
y

y si hemos escogido generadores hermticos,

[T

H
i
H
i
T

] =
(i )

[H
i
; T

] =
(i )

[H
i
; T

] =
(i )

[H
i
; T

] =
(i )

T

y entonces,

(i )

=
(i )

(i )
=
y(i )
El quesean hermticas implica que:
Adems, sus elementos fuera dela diagonal son puramenteimaginarios, pues son antisimtricas.
Sus eigenvalores son reales )
(i )
=
(i )
.
La primera deestas matrices tieneeigenvalores
1; 1;
1
2
;
1
2
;
1
2
;
1
2
y los eigenvectores asociados
1
p
2
0
B
B
B
B
B
B
@
1
i
0
0
0
0
1
C
C
C
C
C
C
A
$ 1
1
p
2
0
B
B
B
B
B
B
@
1
i
0
0
0
0
1
C
C
C
C
C
C
A
$ 1
1
p
2
0
B
B
B
B
B
B
@
0
0
0
0
1
i
1
C
C
C
C
C
C
A
$
1
2
1
p
2
0
B
B
B
B
B
B
@
0
0
0
0
1
i
1
C
C
C
C
C
C
A
$
1
2
1
p
2
0
B
B
B
B
B
B
@
0
0
1
i
0
0
1
C
C
C
C
C
C
A
$
1
2
1
p
2
0
B
B
B
B
B
B
@
0
0
1
i
0
0
1
C
C
C
C
C
C
A
$
1
2
As, podemos construir nuestra matriz dediagonalizacin como
m=
0
B
B
B
B
B
B
B
B
@
1
p
2
i
p
2
0 0 0 0
1
p
2

i
p
2
0 0 0 0
0 0 0 0
1
p
2
i
p
2
0 0 0 0
1
p
2

i
p
2
0 0
1
p
2

i
p
2
0 0
0 0
1
p
2
i
p
2
0 0
1
C
C
C
C
C
C
C
C
A
y entonces,
m
1
=
0
B
B
B
B
B
B
B
B
@
1
p
2
1
p
2
0 0 0 0

1
p
2
i
1
p
2
i 0 0 0 0
0 0 0 0
1
p
2
1
p
2
0 0 0 0
1
p
2
i
1
p
2
i
0 0
1
p
2
1
p
2
0 0
0 0
1
p
2
i
1
p
2
i 0 0
1
C
C
C
C
C
C
C
C
A
y as,
m
(1)
m
1
=
0
B
B
B
B
B
B
@
1 0 0 0 0 0
0 1 0 0 0 0
0 0
1
2
0 0 0
0 0 0
1
2
0 0
0 0 0 0
1
2
0
0 0 0 0 0
1
2
1
C
C
C
C
C
C
A
m
(2)
m
1
=
0
B
B
B
B
B
B
B
@
0 0 0 0 0 0
0 0 0 0 0 0
0 0
p
3
2
0 0 0
0 0 0
p
3
2
0 0
0 0 0 0
p
3
2
0
0 0 0 0 0
p
3
2
1
C
C
C
C
C
C
C
A
As, las races son
j1i =

1
0

j 1i =

1
0

j2i =

1
2 p
3
2

j 2i =

1
2

p
3
2

j3i =

1
2

p
3
2

j 3i =

1
2 p
3
2

Los nombres que les colocamos a las races son slo ocurrencia del que escribe. Podemos dibujar esto en el
siguientediagrama deraces:
|1 |1
|3
|2
|2
|3
|1 |1
|3
|2
|2
|3
en dondeen el ejehorizontal hemos puesto la componente1 dela raz, y en el vertical, la componente2. Es
visible la alta simetra de las races en este diagrama. Una de ellas es que si ji es una raz, entonces ji
tambin es una raz (a la quellamamos j i ). Esto sedebea la siguienterazn: la componente
i
deuna raz
es un eigenvalor de
(i )
:

(i )
ji =
i
ji

(i )
ji =

i
ji

(i )
ji =
i
ji

(i )
ji =
i
ji
y as,

i
tambin es un eigenvalor.
Ahora bien, tenamos que
E
ji
=m

Y

y entonces
0
B
B
B
B
B
B
@
E
j1i
E
j 1i
E
j2i
E
j 2i
E
j3i
E
j 3i
1
C
C
C
C
C
C
A
=
1
p
2
0
B
B
B
B
B
B
@
1 i 0 0 0 0
1 i 0 0 0 0
0 0 0 0 1 i
0 0 0 0 1 i
0 0 1 i 0 0
0 0 1 i 0 0
1
C
C
C
C
C
C
A
0
B
B
B
B
B
B
@
Y
1
Y
2
Y
3
Y
4
Y
5
Y
6
1
C
C
C
C
C
C
A
O ms explcitamente,
E
(1;0)
=
1
p
2
(Y
1
iY
2
) =
1
p
2
(T
1
iT
2
) (4)
E

1
2
;
p
3
2

=
1
p
2
(Y
3
iY
4
) =
1
p
2
(T
4
iT
5
)
E

1
2
;
p
3
2

=
1
p
2
(Y
5
iY
6
) =
1
p
2
(T
6
iT
7
)
Hacia el Grupo de Weyl. Veamos como podemos obtener informacin sobre las races a partir de la parte del
lgebra queno est dentro dela sublgebra deCartan.
Primero quenada, observemos que

H
i
; E
ji
E
j i

= E
ji

H
i
; E
j i

H
i
; E
ji

E
j i
=
i
E
ji
E
j i
+
i
E
ji
E
j i
= (
i
+
i
) E
ji
E
j i
y como
h[A; B]i =0
entonces
(
i
+
i
)
!
E
ji
E
j i

=0
y as,
!
E
ji
E
j i

=0

i
+
i
=0
Como el lgebra es simple,
!
E
ji
E
j i

6=0
(sino, el determinantedelamtricadeKillingseracero) As quenuevamentevemos quelas races deben venir
dea pares.
Veamos adems quecomo los H conmutan,

H
i
; H
j
E
ji

= H
j

H
i
; E
ji

+[H
i
; H
j
]E
ji
= H
j

H
i
; E
ji

= H
j

i
E
ji
=
i
H
j
E
ji
y entonces,
!
H
j
E
ji

=0 (H? E)
Notemos adems, que

H
i
;

E
ji
;E
j i

=

H
i
; E
ji
E
j i

H
i
; E
j i
E
ji

= (
i
+
i
) E
ji
E
j i
(
i
+
i
) E
j i
E
ji
= (
i
+
i
)

E
ji
; E
j i

As,
(
i
+
i
) es la raz deE
ji +j i
=c

E
ji
; E
j i

(5)

E
ji
; E
j i

=0y (
i
+
i
) no es la raz
Usando esta informacin, podemos denir lo quellamaremos la basedeCartan-Weyl.
Denition 3 (Base de Cartan - Weyl) Es la base en la que secumple que
hH
i
H
j
i =
i j
!
H
i
E
ji

= 0
!
E
ji
E
j i

=
+ ;0
Qusucedecon nuestra representacin deSU(3)? Pues bien,
g
AB
=hT
A
T
B
i =
1
2

AB
hH
i
H
j
i =
1
2

i j
, i; j =1; 2
!
H
i
E
ji

= 0
!
E
ji
E
j i

= ?
Uno puedever fcilmente, dela mtrica deKilling, y delas ecuaciones 4quelos trminos distintos decero en
!
E
ji
E
j i

son:
!
E
j1i
E
j 1i

=
!
E
j 1i
E
j1i

=
1
2
!
E
j3i
E
j 3i

=
!
E
j 3i
E
j3i

=
1
2
!
E
j 2i
E
j2i

=
!
E
j2i
E
j 2i

=
1
2
As que
!
E
ji
E
j i

=
1
2

+ ;0
Entonces estamos en una basequees casi la deCartan-Weyl, deno ser por un factor de
1
2
global, queveremos
en realidad no tieneimportancia.
Sublgebras de SU (2) asociadas a cada raz.
Demostraremos quehay una sublgebra deSU (2) asociada a cada raz. Ya sabemos quelas races vienen en
pares. Entonces,

H
i
;

E
ji
; E
j i

=(
i

i
)

E
ji
; E
j i

=0
y entonces,

E
ji
; E
j i

=x
i
H
i
Como en nuestro caso,
hH
i
H
j
i =
1
2

i j
entonces
x
i
= 2hH
i
x
j
H
j
i
= 2
!
H
i

E
ji
; E
j i

= 2
!
H
i
; E
ji

E
j i

= 2
i
!
E
ji
E
j i

= 2
i
1
2

;0
=
i
Y as,

E
ji
; E
j i

=
i
H
i
Pero entonces, uno veque

i
H
i
; E
ji

= hji E
ji

i
H
i
; E
j i

= hji E
j i
Entonces, uno tieneel lgebra asociada a la raz ji ,

E
ji
;E
j i

=
i
H
i

i
H
i
; E
ji

=
2
E
ji

i
H
i
;E
j i

=
2
E
j i
Recordemos el lgebra deSU (2) es
[J
i
; J
k
] =i"
i j k
J
k
Pero si denimos
J

=
1
p
2
(J
1
iJ
2
)
entonces
[J
3
;J

] = J

[J
+
;J

] = J
3
As, podemos ver quesi hacemos las equivalencias

i
H
i

2
! J
3
1

E
j i
! J

Veque

E
ji
;
1

E
j i

=

i
H
i

i
H
i

2
;
1

E
j i

=
1

E
j i
quees la misma lgebra quela deSU(2). As, vemos quecada raz ji tieneasociada un lgebra deSU (2).
Pero claramente, el lgebra asociada a la raz ji , y la asocida a j i involucra a los mismos operadores, as
queslo basta con considerar, para el caso deSU(3), las sublgebras deSU(2) asociadas a j1i , j2i y j3i :
J
3
J
+
J

j1i H
1
E
j1i
E
j 1i
j2i
1
2

H
1

p
3H
2

E
j2i
E
j 2i
j3i
1
2

H
1
+
p
3H
2

E
j3i
E
j 3i
Ahora bien, hay otro importantepunto a considerar, y es quepara toda lgebra deSU(2), los eigenvalores de
J
3
tienen valores semienteros.
En efecto, sea jmi un eigenvector deJ
3
,
J
3
jmi =mjmi
Y as,
J
3
J
+
jmi = [J
3
; J
+
]jmi +J
+
J
3
jmi
= J
+
jmi +J
+
J
3
jmi
= J
+
jmi +mJ
+
jmi
= (m+1) J
+
jmi
J
3
J
+
jmi =(m+1) J
+
jmi
y dela misma forma,
J
3
J

jmi = [J
3
;J

]jmi +J

J
3
jmi
= J

jmi +mJ

jmi
= (m 1) J

jmi
As vemos quesiemprehay dos alternativas:
J
+
jmi =

jm+1i
0
J

jmi =

jm 1i
0
Ahora bien, el operador deCasimir del Grupo, J
2
es
J
2
jmi =J
2
1
+J
2
2
+J
2
3
Pero como
1
p
2
(J
+
+J

) = J
1
i
1
p
2
(J
+
J

) = J
2
entonces,
J
2
= J
+
J

+J

J
+
+J
2
3
= [J
+
; J

]+2J

J
+
+J
2
3
= J
3
+2J

J
+
+J
2
3
As,
J
2
jmi =

J
3
+2J

J
+
+J
2
3

jmi
=

m+2J

J
+
+m
2

jmi
= m(m+1) jmi +2J

J
+
jmi
Ahorabien, si el espacioderepresentacinesnitodimensional, losvaloresdemdebenestar acotados. Digamos
que
l m j
Entonces,
J
3
jj i = j jj i
J
+
jj i = 0
y por lo tanto,
J
2
jj i =j (j +1) jj i
Pero
J
2
jj 1i = J
2
J

jj i
= J

J
2
jj i
= J

j (j +1) jj i
= j (j +1) jj 1i
y as, en general,
J
2
jmi =j (j +1) jmi
Dela misma forma,
J
3
jli = l jli
J

jli = 0
y entonces
0 = hlj J
y

J

jli
= hlj J
+
J

jli
=
1
2
hlj

J
2
+J
3
J
2
3

jli
=
1
2

hlj J
2
jli +hlj J
3
jli hlj J
2
3
jli

=
1
2

j (j +1) +l l
2

=
1
2
(j (j +1) l (l 1))
La solucin para esto es,
l = j
Como el estado j j i es obtenido despus deaplicar J

un nmero entero n deveces,
j = j n
2j = n
j =
1
2
n
Y as vemos quelos eigenvalores son nmeros semienteros
Sigamos. Entonces, si denimos
H
ji
=2

i
H
i
hji
estetieneeigenvalores enteros positivos. Y como

H
ji
; E
j i

=

2

i
H
i

2
; E
j i

= 2

2
E
j i
= 2
hji

2
E
j i
y entonces, si llamamos jmi a un eigenestado deH

, con un entero mcomo eigenvalor,

H
ji
E
j i
= 2
hji

2
E
j i
+E
j i
H
ji
H
ji
E
j i
jmi = 2
hji

2
E
j i
jmi +E
j i
H
ji
jmi
H
ji
E
j i
jmi =

m+2
hji

E
j i
jmi
y as, entonces E
j i
jmi tambin es un eigenestado deH
ji
, y por lo tanto, 2
hj i

2
tambin es siempreentero.
An ms, dela desigualdad deSchwartz,
hxjyi =xycos xy
y si llamamos
m = 2
hji

2
=2

cos
n = 2
hji

2
=2

cos
setiene
0 mn =4cos
2
4:
Hay un nmero nito decombinaciones posibles para esto
m n mn
0 0 0
1 1 1
1 2 2
2 1 2
1 3 3
3 1 3
1 4 4
4 1 4
2 2 4
Esto, imponevarias constricciones para los ngulos entreraces. Pues, en efecto, si
m = 2

cos
n = 2

cos
entonces, dela primera ecuacin,
cos=
1
2
m

y reemplazando en la segunda,

r
n
m
=
y as,
cos=(signom)
1
2
p
mn
En efecto, para cada uno delos casos setiene:
[0; 0]: ==2, no hay restriccin sobreel mdulo delas races.
[ 1; 1]
=
cos =
1
2
! =
1
3
,
2
3

[ 1; 2]
=
p
2
cos =
p
2
2
! =
1
4
,
3
4

[ 1; 3]
=
p
3
cos =
p
3
2
! =
1
6
,
5
6

[ 1; 4]
= 2
cos = 1! =0, 2
[ 2; 2]
=
cos = 1! =0, 2
Notemossinembargo, que[ 2; 2] esobvio; todaraz esparalelaas misma, y paratodaraz, suopuestatambin
es raz. La alternativa [ 1; 4] tambin tieneproblemas: implicara quesi ji es una raz, entonces 2ji tambin es
una raz, y esto no puedeser, pues dela ecuacin 5, pues
E
2ji
=c

E
ji
;E
ji

=0
As, podemos considerar los valores permitidos entreraces distintas:
m n mn
0 0 0
1 1 1
1 2 2
2 1 2
1 3 3
3 1 3
(6)
EL GRUPO DE WEY L, O GRUPO CALEI DOSCPI CO.
Recordemos, quecomo

E
ji
;
1

E
j i

=

i
H
i

i
H
i

2
;
1

E
j i

=
1

E
j i
uno poda hacer las equivalencias

i
H
i

2
=
1
2
H
ji
1
2
H
ji
! J
3
(ji )
1

E
j i
! J

(ji )
y as, tener el lgebra deSU(2),
[J
+
; J

] = J
3
[J
3
; J

] = J

Ahora bien, uno recuerda que
J

=
1
p
2
(J
1
iJ
2
) ) J
2
=
1
p
2i
(J
+
J

)
Consideremos una rotacin en , sobreel eje2.
2
3
1
2
3
1
e
i J 2(ji )
J
3
(ji ) e
i J 2(ji )
= J
3
(ji )
Y entonces,
e
i J 2()

i
H
i

2
e
i J 2()
=

i
H
i

2
e
i J 2()

i
H
i
e
i J 2()
=
i
H
i
2
3
1

y
i
2
3
1

y
i
y as, en general, para un vector jyi ,
e
i J
2
y
i
H
i
e
i J
2
=

y
i
2
hjyi

H
i
Podemos sistematizar ms esto deniendo un operador dereexin,
ji
, tal que

ji
jyi =jyi 2
ji hjyi

2
Las reexiones efectuadas de esta forma, son llamadas reexiones de Weyl. Es claro queSU(3) es invariante bajo
reexiones deWeyl, efectuadas sobrelos siguientes planos dereexin, marcados con lneas punteadas:
En efecto, si llamamos
S
ji
=e
i J 2(ji )
Entonces
S
ji
x
i
H
i
S
1
ji
=
ji
x
i
H
i
Como

x
i
H
i
; E
j i

= x
i

i
E
j i
= hxji E
j i
y si denotamos
E
0
j i
=S
ji
E
j i
S
1
ji
Entonces,
h

ji
x
i
H
i
; E
0
j i
i
=
h
S
ji
x
i
H
i
S
1
ji
; S
ji
E
j i
S
1
ji
i
= S
ji
x
i
H
i
S
1
ji
S
ji
E
j i
S
1
ji
S
ji
E
j i
S
1
ji
S
ji
x
i
H
i
S
1
ji
= S
ji
x
i
H
i
E
j i
S
1
ji
S
ji
E
j i
x
i
H
i
S
1
ji
= S
ji

x
i
H
i
; E
j i

S
1
ji
= S
ji
hxji E
j i
S
1
ji
= hxji E
0
j i
Claramente,
2
=1. Si
jyi =
ji
jxi ) jxi =
ji
jyi
y entonces,
hxji =hj
ji
jyi =hyj
ji
ji
y entonces,
h
y
i
H
i
; E
0
j i
i
= hyj
ji
ji E
0
j i
h
H
i
; E
0
j i
i
=
ji
ji E
0
j i
As, si ji es la raz asociada a E
j i
,)
ji
ji es la raz asociada a S
ji
E
j i
S
1
ji
. As, mediantereexiones deWeyl,
uno puede obtener unas races a partir de las otras. Sin embargo, no son todas, pues pueden haberlas de distinto
largo.
As, en resumen, el diagrama deraces es un conjunto devectores en un espacio Euclideano dedimensin igual a
la del rango del lgebra, con las siguientes propiedades:
1. Nmero deRaces=dimg rangg.
2. Si ji y ji son races, ) 2
hj i

2
es un entero entre 4 y 4.
3. Si ji y ji son races, )
ji
ji es una raz tambin.
4. Si ji y ji son races, y ji =nji ) n = 1.
TodalgebradeLiesimpley compacta, debetener undiagramaderacesquecumpleconlaspropiedadespuestas
arriba. A s mismo, para cada diagrama deraces quecumpla con estas propiedades, existeun lgebra deLiesimple
y compacta. As, uno puedecomprobar quedado una dimensin para el rango del lgebra, existen un nmero nito
dediagramas deraces posibles, y por lo tanto, un nmero nito delgebras posibles.
As, por ejemplo, uno puede encontrar todas las posibles lgebras de rango 2, usando los requerimientos de la
tabla 6:
? ?
?
?
SO(4)
m = 0 n = 0
SU(3)
m = 1 n = 1
Sp(4)
m = 1 n = 3
SO(5)
m = 1 n = 2 ? ?
?
?
? ?
?
?
SO(4)
m = 0 n = 0
SU(3)
m = 1 n = 1
Sp(4)
m = 1 n = 3
SO(5)
m = 1 n = 2
El Grupo de Weyl: Ya probamos que la reexin de toda raz sobre el hiperplano perpendicular a otra es
tambin una raz.As, si uno hacereexiones dereexiones, el diagrama deraces siguesiendo invariante. Todos los
posibles operadores dereexin deun diagrama deracesforman un grupo, quees el Grupo de Weyl. Por alguna
extica razn, uno puedeidenticar los elementos del Grupo deWeyl con transformaciones deGauge.
Vamos a reetiquetar las races dela siguienteforma, y deniremos otras cosas, para trabajar ms cmodamente
con las reexiones:
|1
|1
|3
|2
|2
|3
C
1
C
2
C
3
P
1
P
2 P
3
|1
|1
|3
|2
|2
|3
C
1
C
2
C
3
P
1
P
2 P
3
Las regiones grises sern Cmaras deWeyl. Claramente, a las races etiquetadas con nmeros negativos tambin
les correspondeuna camra, pero no es necesaria para lo queharemos aqu, por el momento. Con P

etiquetamos
los planos de reexin. Ahora bien, para denotar a una reexin, usaremos los planos, y no las races. Esto, por
la sencilla razn dequeuna reexin altera la posicin delas races, pero no la delos planos dereexin. As que
ahora, en vez deusar

para denotar la operacin dereexin sobreel hiperplano otogonal a la raz

i
usaremos la
notacin P

para denotar la reexin sobreel hiperplano P

. Ahora bien, es claro quebajo cualquier reexin, la

raz ji y j i siguen siendo opuestas. As, slo senecesita especicar 3nmeros en vez de6para denotar el estado
del diagrama deraces. Denotaremos el estado del sistema por
2
4

3
5
en dondeesto quieredecir quela raz ji est en la cmara 1, la ji en la cmara 2, y la ji en la cmara 3. As, el
estado de
|1
|1
|3
|2
|2
|3
C
1
C
2
C
3
P
1
P
2 P
3
|1
|1
|3
|2
|2
|3
C
1
C
2
C
3
P
1
P
2 P
3
es
2
4
1
2
3
3
5
Ahora, veamos como actan las reexiones sobreesteestado del sistema.
P
1
2
4
1
2
3
3
5
=
2
4
1
3
2
3
5
P
2
2
4
1
2
3
3
5
=
2
4
3
2
1
3
5
P
3
2
4
1
2
3
3
5
=
2
4
2
1
3
3
5
As vemos que lo que hace el operador de reexin P

as construdo es mantener el elemento simo del vec-

tor columna intacto, intercambiar los otros dos, y luego, cambiar el signo de todos. As, vemos que una posible
representacin matricial deellos es:
P
1
=
2
4
1 0 0
0 0 1
0 1 0
3
5
P
2
=
2
4
0 0 1
0 1 0
1 0 0
3
5
P
3
=
2
4
0 1 0
1 0 0
0 0 1
3
5
Es claro que
P
2
1
=P
2
2
=P
2
3
=1
Pero notemos algo ms:
R
+
= P
1
P
2
=P
2
P
3
=P
3
P
1
=
2
4
0 0 1
1 0 0
0 1 0
3
5
R

= P
2
P
1
=P
3
P
2
=P
1
P
3
=
2
4
0 1 0
0 0 1
1 0 0
3
5
Y
R
+
2
4
1
2
3
3
5
=
2
4
0 0 1
1 0 0
0 1 0
3
5
2
4
1
2
3
3
5
=
2
4
3
1
2
3
5
R

2
4
1
2
3
3
5
=
2
4
0 1 0
0 0 1
1 0 0
3
5
2
4
1
2
3
3
5
=
2
4
2
3
1
3
5
Lo quepodemos representar grcamentecomo
|3
|3
|2
|1
|1
|2
C
1
C
2
C
3
P
1
P
2 P
3
R
+
|2
|2
|1
|3
|3
|1
C
1
C
2
C
3
P
1
P
2 P
3
R

|3
|3
|2
|1
|1
|2
C
1
C
2
C
3
P
1
P
2 P
3
R
+
|3
|3
|2
|1
|1
|2
C
1
C
2
C
3
P
1
P
2 P
3
|3
|3
|2
|1
|1
|2
C
1
C
2
C
3
P
1
P
2 P
3
R
+
|2
|2
|1
|3
|3
|1
C
1
C
2
C
3
P
1
P
2 P
3
R

|2
|2
|1
|3
|3
|1
C
1
C
2
C
3
P
1
P
2 P
3
|2
|2
|1
|3
|3
|1
C
1
C
2
C
3
P
1
P
2 P
3
R

dedondepodemosobservar queR
+
correspondeaunarotacinde
2
3
y R

correspondeaunade
2
3
. Claramente,
R

R
+

1
y por lo tanto,
R

=1.
Ahora bien, como bajo cualquiera de las operaciones que hemos especicado, las races opuestas siguen siendo
opuestas, vemos que en realidad estas corresponden a permutar 3 objetos, o sea, a S
3
. Uno a estas alturas ve
claramentequeel conjunto

1; R
+
; R

; P
1
; P
2
; P
3

es un grupo. Su tabla demultiplicar es

1 R
+
R

P
1
P
2
P
3
R
+
R

1 P
3
P
1
P
2
R

1 R
+
P
2
P
3
P
1
P
1
P
2
P
3
1 R
+
R

P
2
P
3
P
1
R

1 R
+
P
3
P
1
P
2
R
+
R

1
Algunas curiosidades: Con 6 objetos slo se pueden construir dos grupos: El grupo cclico Z
6
, que es abeliano, y
S
3
, que es el grupo simtrico, o de permutaciones, de 3 objetos. Este ltimo adems es el grupo no abeliano ms
pequeo quepuede construirse. Como las reexiones son no conmutativas, en realidad esta estructura de grup era
la nica posible. Las cosas son as pues no podan haber sido deotra forma.
Las Cmaras de Weyl Denotemos por (g) al conjunto de races del lgebra de Lie g, compacta y simple, de
rango r. Los hiperplanos responsables delas ecuaciones son
P

=f jxi si 9ji 2 (g) tal que hxji =0g

Estos hiperplanos particionan el espacio r dimensional euclideano en conos disjuntos. Cada uno deellos es llamado
una cmaradeWeyl. La accin del grupo deWeyl transforma todos los elementos deunacmara en los deotra.As,
vemos que el grupo de Weyl en relaidad acta sobre cmaras. De hecho, el nmero de cmaras de Weyl es el
mismo que el nmero de elementos del grupo de Weyl. En general, pueden haber ms races que cmaras, como
demostraremos ms tarde.
Escojamos una cmara deWeyl en particular, y un vector jxi queest dentro deella. As, vemos que
8ji , hjxi 6=0.
Ms an, si jxi semueveslo dentro deuna cmara, hjxi no cambia designo, pues sino, en algn instantedebera
tocar las paredes delas cmaras y ser cero. As, uno puededenir, con respecto a una cmara especca, dentro de
la cual uno poneal vector jxi , quelas races son
positivas, si hjxi > 0
negativas, si hjxi < 0
As, sepuededemostrar el siguientelema y teorema:
Lemma 1 Sean ji y ji dos races distintas. As,
si hji > 0) ji ji es raz.
si hji < 0) ji +ji es raz.
Theorem 2 Hay un nmero rangg races, f jii g
rangg
i =1
, llamadas races simples, que cumplen con
hijj i <0

ngulo Obtuso entre ellas

tales que una raz positiva puede ser escrita como

ji =a
i
jii , a
i
2 Z
+
y una raz negativa como
ji =b
i
jii , b
i
2 Z

Por ejemplo, en el diagrama deSU (3), podemos ver quecon respecto a la camra j 3i , las races j1i y j2i son
simples.
|1 |1
|3
|2
|2
|3
C
1
C
2
C
3
P
1
P
2 P
3
|1 |1
|3
|2
|2
|3
C
1
C
2
C
3
P
1
P
2 P
3
Y bueno, es claro que
j 3i = j1i +j2i
j 2i = j2i
j 1i = j1i
j1i = j1i
j2i = j2i
j3i = j1i j2i
Claro quetambin las races simples pueden tomarsecomo cualquier otropar con un nguloobtusoentreellas. Pero
loimportante, esquebajocualquier operacindel grupodeWeyl, losngulosentreellassepreservan. Enmi opinin,
esto es por quelas operaciones del grupo deWeyl son equivalentes a cambios desistema decoordenadas. As, uno
vequepara denir el sistema deraces, lo nico uehay precisar bien son los ngulos entrelas races. Por ello, uno
denela Matriz de Cartan, quees una matriz derangg rangg, con los elementos
K
i j
=2
hijj i
hj jj i
, i; j =1; :::; rangg
en dondelos ndices van sobrelas races simples.
Alguna delas propiedades deK
i j
:
1.
K
i j
= 2
p
hijii hj jj i
hj jj i
cos
= 2
s
hijii
hj jj i
cos
y entonces,
K
i i
=2(Sin suma)
2.
K
i j
K
j i
= 2
s
hijii
hj jj i
cos2
s
hj jj i
hijii
cos
= (2cos)
2
(Sin sumatoria)
Como el ngulo es obtuso,
cos<0
y entonces,
cos=
1
2
p
K
i j
K
j i
3.
K
i j
K
j i
=
2
q
hi ji i
hj jj i
cos
2
q
hj jj i
hi ji i
cos
=
hijii
hj jj i
Estas propiedades dicen que la Matriz de Cartan nos da todos los ngulos y largos de las races simples, sin
importar las rotaciones y reexiones.
4.
K
i j
K
j i
=(2cos)
2
=0; 1; 2; 3
(El 4no, pues jii 6=jj i )
5. Como hijj i <0, entonces
K
i j
=2
hijj i
hj jj i
<0 si i 6=j .
6. Si
K
i j
=0) K
j i
=0, pues jii ? jj i
As, por ejemplo, para el grupo SU (3),
K
i j
=

2 2cos
2
3
2cos
2
3
2

=

2 1
1 2

Diagramas de Dynkin.
Delas matricesdeCartan, sloloselementosfueradeladiagonal importan. Unaformadecodicar estainformacin
es mediantelos diagramas deDynkin. Estos sehacen siguiendo las siguientes reglas:
1. Dibujerangg puntos, correspondientes a las races simples j1i , j2i ,...,jranggi .
2. Una el i simo punto con el j simo por K
i j
K
j i
lneas. (El nmero deesas lneas puedeser 0; 1;2; 3.)
3. Si el nmerodelneas entrei y j excedea 1, hay queponer una echa, indicando queecha tieneunalongitud
ms corta quela otra.
As, por ejemplo, para SU (3),
En dondelos dos puntos indican quehay dos races simples, y el quehaya una sola lnea, indica queambas son del
mismo largo, quehemos normalizado a 1.
Pero hay que tener cuidado, pues no todos los diagramas posibles mediante estas reglas correspondern a un
lgebra deLie.
Representaciones.
Laidea fundamental es quelos miembros del grupopueden ser escritos comomatrices con lapropiedad fundamental
dequelamultiplicacinentreellasobedecealaley demultiplicacindeloselementosdel grupo. Matricesdiagonales
debloque,

A 0
0 B

son reducibles, y son el producto directo delas representaciones provistas por A y B.

Para grupos de Liecompactos y simples, setieneque el nmero de representaciones irreducibles inequivalentes
es nito.
As, loquebuscamos son matrices nitodimensionales, quepueden por lotantoactuar sobreun espaciovectorial
nito dimensional. Podemos tomar como basedeesteespacio a los eiegnvectores delos H
i
. As, para un estado ~
dela basesetendr que
H
i
~ =
i
~ , i =1; :::; rangg
Peroojo, sinimportar queestadodelabasesea, este
i
serel mismo, puesenunarepresentacindadasiemprepode-
mostomar losH
i
comomltiplosdelaidentidad. As, labaseescaracterizadapor unvector derangg componentes
f
i
g llamadas pesos. Cada vector de pesos posible corresponde a una representacin diferente del grupo. Vectores
etiquetados por los pesos pueden ser degenerados, o sea, puedehaber ms deun vector con el mismo peso. Por esto,
representaremos estevector rangg dimensional por:
j i =
0
B
B
B
@

2
.
.
.

rangg
1
C
C
C
A
Recordemos que
H

=
2
i
H
i

2
slo tieneeigenvalores enteros. Y as,
H

=
2
i
H
i

2

=
2
i

2

=
2hj i

2

y entonces,
2hj i

2
es entero para cada raz ji
Esa es la nica condicin sobrelos vectores depesos. Recordemos quesi ji y ji son races, entonces
2hji

2
es entero
As, vemos quetodas las races son pesos, pero el inverso no es cierto.
Recordemos quetambin tenamos races simples, jii , i =1;:::; rangg. As, tenemos
2hij i
hijii
=m
i
con, claro, m
i
entero.
Ahora, deniremos los pesos fundamentales,

, queson aquellos quecumplen con

2
!
ij
j

hijii
=
i j
Entonces, es claro que
2
1
hj jj i
hj j

j i
X
i
m
i

!
= 2
hj j i
hj jj i

X
i
m
i
2
!
j j
i

hj jj i
= m
j

X
i
m
i

j i
= m
j
m
j
= 0
As, j i
P
i
m
i

o es ortogonal a jj i , o es cero. Pero no puede ser ortogonal, pues los jj i forman una base
del espacio vectorial rangg dimensional, y a alguno de ellos por lo menos no puede ser ortogonal. Entonces,
necesariamente,
j i =
X
i
m
i

Esto nos muestra quecada peso es una conbinacin lineal delos pesos fundamentales, con coecientes enteros. Este
espectro cuantizado es propio delos grupos deLiecompactos.
An ms, es posibledemostrar quecualquier combinacin lineal con coecientes enteros delos pesos fundamen-
tales, es un peso. En efecto, lo quehay quedemostrar es que
ji =
X
i
n
i

, n
i
2 Z,
satisfaceque
2hji
hji
es entero, para toda raz ji
Pues bien, recordemos que
ji =
X
i
a
i
jii a
i
2 Z
+
XoRZ

,
y entonces, una co-raz,
ji
hji
, puedeser escrita como
ji
hji
=
X
i
a
i
jii
hijii
y as,
2
hji
hji
=
X
i
a
i
2
hjii
hijii
=
X
i
X
j
a
i
n
j
2
!

j
ji

hijii
=
X
i
X
j
a
i
n
j

j i
=
X
i
a
i
n
i
2 Z
y entonces, ji es un peso tambin.
Unopuedeformar unamalla depesoscontodoslosposiblesvectoresdepesosobreel espaciorangg dimensional,
a la quellamaremos . Tambin es posibleformar una malla de races,
r
en dondeuno formada por todas las
conbinaciones lineales de coecientes enteros de las races simples. Como las races simples son pesos tambin,
entonces

r

Apliquemos todo esto al grupo SU (3). Primero quenada, busquemos los pesos fundamentales. Tomemos como
races simples a j1i y j2i ,
|1 |1
|3
|2
|2
|3
|1 |1
|3
|2
|2
|3
Cada una deellas tienelargo unitario, y sus componentes son
j1i =

1
0

j2i =


1
2 p
3
2

Y bueno, para encontrar los pesos simples tenemos queresolver

2
!
ij
j

hijii
=
i j
y como hijii =1,
!
ij
j

=
1
2

i j
Y entonces,
1
1
x
+0
1
y
=
1
2

1
2

1
x
+
p
3
2

1
y
= 0

1
2

2
x
+
p
3
2

2
y
=
1
2
1
2
x
+0
2
y
= 0
Dela primera ecuacin,

1
x
=
1
2
y reemplazando en la segunda,

1
y
=
1
2
p
3
Dela ltima,

2
x
=0
y reemplazando en la tercera,

2
y
=
1
p
3
Entonces,

=

1
2
1
2
p
3

=

0
1
p
3

Dibujemos en negro las races simples y los pesos fundamentales correspondientes:

|1
|1
|3
|2
|2
|3
|
1

|
2

|
1

|
2

|
3

|
3

2
|1
|1
|3
|2
|2
|3
|
1

|
2

|
1

|
2

|
3

|
3

2
Tambin hemos dibujado en gris las otras races, y otros pesos posibles (aunqueno los nicos). Observemos queel
peso

es el centroide del tringulo

i
. Pero,

etiquetan dos representaciones irreducibles distintas,

una formada por el triplete

y el otro el antitriplete

. (?)
Es claro quela malla depesos est formada, en el caso deSU(3), por la malla deraces y todos los centroides:
La malla depesos es obtenida a partir de

, y la malla deraces, formada por j1i y j2i , es una submalla

dentro dela malla depesos, tal como semuestra en la siguientegura:
Malla de pesos (Todos los puntos)
Submalla de Races (Puntos negros)
Diagrama de Races y tripletes, en lneas negritas
Representaciones I rreducibles Finito Dimensionales LosgruposdeLiecompactostienen lapropiedaddeque
el volumen del espacio del grupo es nito. Dehecho, sepuededemostrar quepara grupos nitos,
Una representacin nito dimensional es equivalentea
La caracterstica fundamental deuna irrep (representacin irreducible) es el estado de peso ms alto. Este
eigenestado deH
i
,
~

H
i
~
=
i
~

es denido como uno tal quesu peso ji sea tal queji +ji no sea un peso para todas las races positivas, o sea,
que
E
ji
~
=0(?)
Construiremos otros estados usando operadores debajada, E
j i
. Primero, jmosnos en que

H
i
; E
j i

=
i
E
j i
H
i
E
j i
= E
j i
(H
i

i
)
Denotemos por j
+
i a la sima raz positiva. Y denamos un estado ~ como
~ = E
j
+
i
E
j 2
+
i
E
j 1
+
i
~

H
i
~ = H
i
E
j
+
i
E
j 2
+
i
E
j 1
+
i
~

= E
j
+
i

H
i

+
i

E
j ( 1)
+
i
E
j 2
+
i
E
j 1
+
i
~

= E
j
+
i
E
j ( 1)
+
i

H
i
( 1)
+
i

+
i

E
j 2
+
i
E
j 1
+
i
~

= E
j
+
i
E
j ( 1)
+
i
E
j 2
+
i
E
j 1
+
i

H
i

+
i
( 1)
+
i
2
+
i
1
+
i

= E
j
+
i
E
j ( 1)
+
i
E
j 2
+
i
E
j 1
+
i
H
i
~

h

+
i
+( 1)
+
i
++2
+
i
+1
+
i
i
E
j
+
i
E
j ( 1)
+
i
E
j 2
+
i
E
j 1
+
i
~

=

E
j
+
i
E
j ( 1)
+
i
E
j 2
+
i
E
j 1
+
i

i
~

h

+
i
+( 1)
+
i
++2
+
i
+1
+
i
i
~

=

i

h

+
i
+( 1)
+
i
++2
+
i
+1
+
i
i
~
y entonces,
H
i
~ =
i
~
con

i
=
i

h

+
i
+( 1)
+
i
++2
+
i
+1
+
i
i
As, vemos quej i tambin es una raz,
j i =ji

X
=1

~ =E
j
+
i
E
j 2
+
i
E
j 1
+
i
~

quees siempreji menos combinaciones lineales con coecientes enteros positivos delas races simples. Es posible
demostrar, quedada una representacin, todos los vectores baseposibles pueden ser obtenidos medianteoperadores
debajada, tal como acabamos demostrar.
El peso ms alto ji es dominante, es decir, pertenecea la cmara deWeyl positiva, (O sea, hj
+
i >08j
+
i ).
Deaqu seobtieneun importanteteorema, quemostramos sin demostracin:
Theorem 3 9! irrep. (fuera de una demostracin de similaridad) con un peso ms alto ji para cada ji de la
malla de pesos dentro de la cmara de Weyl positiva, o sea, las irreps pueden ser etiquetadas por puntos de
+
=
f tal que hj
+
i >08j
+
i g
Una irrep ser denotada por D
j i

con ji el peso ms alto dela irrep.
En el caso deSU (3), los pesos fundamentaleson j
1
i y j
2
i
|1
|1
|3
|2
|2
|3
|
1

|
2

|
1

|
2

|
3

|
3

2
|1
|1
|3
|2
|2
|3
|
1

|
2

|
1

|
2

|
3

|
3

2
Las representaciones D
j
1
i
y D
j
2
i
corresponde a la de triplete y antitriplete, respectivamente. La representacin
D
j 1i +j 2i
=D
j 3i
, correspondealarepresentacin adjunta, yaquela raz ms alta correspondeal peso ms altode
la representacin adjunta. Y as, el conjunto deirreps es el marcado por la regin oscurecida en la siguientegura:
Irreps (Puntos de la Regin Sombreada)