From Wikipedia, the free encyclopedia
In mathematics , the Dynkin index
x
λ
{\displaystyle x_{\lambda }}
of a representation with highest weight
|
λ
|
{\displaystyle |\lambda |}
of a compact simple Lie algebra
g
{\displaystyle {\mathfrak {g}}}
that has a highest weight
λ
{\displaystyle \lambda }
is defined by
t
r
(
t
a
t
b
)
=
2
x
λ
g
a
b
{\displaystyle {\rm {tr}}(t_{a}t_{b})=2x_{\lambda }g_{ab}}
evaluated in the representation
|
λ
|
{\displaystyle |\lambda |}
. Here
t
a
{\displaystyle t_{a}}
are the matrices representing the generators, and
g
a
b
{\displaystyle g_{ab}}
is given by
t
r
(
t
a
t
b
)
=
2
g
a
b
{\displaystyle {\rm {tr}}(t_{a}t_{b})=2g_{ab}}
evaluated in the defining representation.
By taking traces, we find that
x
λ
=
dim
|
λ
|
2
dim
g
(
λ
,
λ
+
2
ρ
)
{\displaystyle x_{\lambda }={\frac {\dim |\lambda |}{2\dim {\mathfrak {g}}}}(\lambda ,\lambda +2\rho )}
where the Weyl vector
ρ
=
1
2
∑
α
∈
Δ
+
α
{\displaystyle \rho ={\frac {1}{2}}\sum _{\alpha \in \Delta ^{+}}\alpha }
is equal to half of the sum of all the positive roots of
g
{\displaystyle {\mathfrak {g}}}
. The expression
(
λ
,
λ
+
2
ρ
)
{\displaystyle (\lambda ,\lambda +2\rho )}
is the value of the quadratic Casimir in the representation
|
λ
|
{\displaystyle |\lambda |}
. The index
x
λ
{\displaystyle x_{\lambda }}
is always a positive integer.
In the particular case where
λ
{\displaystyle \lambda }
is the highest root , meaning that
|
λ
|
{\displaystyle |\lambda |}
is the adjoint representation ,
x
λ
{\displaystyle x_{\lambda }}
is equal to the dual Coxeter number .
References
Philippe Di Francesco, Pierre Mathieu, David Sénéchal, Conformal Field Theory , 1997 Springer-Verlag New York, ISBN 0-387-94785-X