2
$\begingroup$

I am reading the book Introduction to lie algebras and representation theory. I have some difficulty in understanding some parts of the book for Freudenthal's formula.

  1. Page 120, line 6, why $m(\mu-i\alpha)=n_0+\cdots+n_i$? Here $m=\langle\mu,\alpha\rangle$ is an integer and $\mu,\alpha$ are weights. So $m(\mu-i\alpha)$ is an element in $H^{*}$ where $H$ is the Cartan subalgebra. But $n_0+\cdots+n_i$ is an integer. How to prove this formula? What does figure 1 on this page mean?

  2. Page 121, section 22.3, line 7, why $(\mu,\mu)=\sum_{i,j}a_ia_j\kappa(h_j,h_i)$? Here $\mu(h_i)=\sum_{j}a_j\kappa(h_j,h_i)$.

  3. Page 123, example 22.4, I cannot compute some of the data in table 1. For example, $(\mu+\delta, \mu+\delta)$. When $\mu=\lambda=\lambda_1+3\lambda_2$, $\delta=(\alpha_1+\alpha_2)/2$, $(\mu+\delta, \mu+\delta)=(13\alpha_1/6+17\alpha_2/6, 13\alpha_1/6+17\alpha_2/6)$. But $(\alpha_1,\alpha_1)=(\alpha_2,\alpha_2)=2$, $(\alpha_1,\alpha_2)=\sqrt{2}\times \sqrt{2}\cos (2\pi/3) = -1$. I cannot get $(\mu+\delta, \mu+\delta)=28/3$.

Thank you very much.

1 Answers 1

3

[Edit: Massive editing coming up. I now have my copy of Humphreys with me]

1) Here $m(\mu)$ denotes the multiplicity of a weight $\mu$ in the representation under discussion. It is perhaps a bit unfortunate that here $m$ is both a constant $m=\langle\mu,\alpha\rangle$ and a mapping $m=m_V:\Lambda\rightarrow\mathbf{Z}$. You have to look at the context to figure out which it is at each point.

2) This goes back to §8. You are adviced to review it. I had to, too! It is easy to forget the origin of the inner product (the Killing form), after you have absorbed the geometric viewpoint, where we identify the weights as a lattice in a Euclidean space. Here $(\mu,\mu)= \kappa(t_\mu,t_\mu)$, so by plugging in the expansion $t_\mu=\sum_ia_ih_i$ we get $ (\mu,\mu)=\sum_{i,j}a_ia_j\kappa(h_j,h_i)= \sum_i a_i\left(\sum_ja_j\kappa(h_j,h_i)\right)=\sum_ia_i\mu(h_i)=\sum_i\mu(h_i)\mu(k_i).$ [/Edit]

3) Surely $\delta=\lambda_1+\lambda_2=(\alpha_1+\alpha_2)$. Also $\cos2\pi/3=-1/2$. But why don't you use the basis of the fundamental weights? $||\lambda_1||^2=||\lambda_2||^2=1/3$ and the angle between them is $\pi/3$, so $||a\lambda_1+b\lambda_2||^2=(a^2+ab+b^2)/3.$ Here $\mu+\delta=2\lambda_1+4\lambda_2$, so the squared norm is $(2^2+2\cdot4+4^2)/3=28/3$.

  • 0
    ... and the weight $\mu-j\alpha$ (or $m-2j$, if we restrict ourselves to $sl_2$) has multiplicity$1$in $V(m-2i)$, if $i\le j$ (again by the known $sl_2$-theory) and 0 otherwise.2011-07-12