Notes on BRST V: Highest Weight Theory

In the last posting we discussed the Lie algebra cohomology $H^*(\mathfrak g, V)$ for $\mathfrak g$ a semi-simple Lie algebra. Because the invariants functor is exact here, this tells us nothing about the structure of irreducible representations in this case. In this posting we’ll consider a different sort of example of Lie algebra cohomology, one that is intimately involved with the structure of irreducible $\mathfrak g$ -representations.

Structure of semi-simple Lie algebras

A semi-simple Lie algebra is a direct sum of non-abelian simple Lie algebras. Over the complex numbers, every such Lie algebra is the complexification $\mathfrak g_{\mathbf C}$ of some real Lie algebra $\mathfrak g$ of a compact, connected Lie group. The Lie algebra $\mathfrak g$ of a compact Lie group is, as a vector space, the direct sum

$\mathfrak g=\mathfrak t \oplus \mathfrak g/\mathfrak t$

where $\mathfrak t$ is a commutative sub-algebra (the Cartan sub-algebra), the Lie algebra of , a maximal torus subgroup of .

Note that $\mathfrak t$ is not an ideal in $\mathfrak g$ , so $\mathfrak g/\mathfrak t$ is not a subalgebra. $\mathfrak g$ is itself a representation of $\mathfrak g$ (the adjoint representation: $\pi(X)Y= [X,Y]$ ), and thus a representation of the subalgebra $\mathfrak t$ . On any complex representation of $\mathfrak g$ , the action of $\mathfrak t$ can be diagonalized, with eigenspaces $V^\lambda$ labeled by the corresponding eigenvalues, given by the weights $\lambda$ . These weights $\lambda\in\mathfrak t_{\mathbf C}^*$ are defined by (for $v\in V^\lambda,\ H\in \mathfrak t$ ):

$\pi(H)v=\lambda(H)v$

Complexifying the adjoint representation, the non-zero weights of this representation are called roots, and we have

$\mathfrak g_{\mathbf C}=\mathfrak t_{\mathbf C} \oplus ((\mathfrak g/\mathfrak t)\otimes\mathbf C)$

The second term on the right is the sum of the root spaces $V^\alpha$ for the roots $\alpha$ . If $\alpha$ is a root, so is $-\alpha$ , and one can choose decompositions of the set of roots into “positive roots” and “negative roots” such that:

$\mathfrak n^+=\bigoplus_{+\ roots\ \alpha}(\mathfrak g_{\mathbf C})^\alpha,\ \mathfrak n^-=\bigoplus_{-\ roots\ \alpha}(\mathfrak g_{\mathbf C})^\alpha$

where $\mathfrak n^+$ (the “nilpotent radical”) and $\mathfrak n^-$ are nilpotent Lie subalgebras of $\mathfrak g_{\mathbf C}$ . So, while $\mathfrak g/\mathfrak t$ is not a subalgebra of $\mathfrak g$ , after complexifying we have decompositions

$(\mathfrak g/\mathfrak t)\otimes \mathbf C=\mathfrak n^+ \oplus \mathfrak n^-$

The choice of such a decomposition is not unique, with the Weyl group (for a compact group , W is the finite group N(T)/T , N(T) the normalizer of in ) permuting the possible choices.

Recall that a complex structure on a real vector space is given by a decomposition

$V\otimes \mathbf C=W\oplus\overline{W}$

so the above construction gives |W| different invariant choices of complex structure on $\mathfrak g/\mathfrak t$ , which in turn give |W| invariant ways of making G/T into a complex manifold.

The simplest example to keep in mind is $G=SU(2),\ T=U(1),\ W=\mathbf Z_2,$ where $\mathfrak g=\mathfrak{su}(2)$ , and $\mathfrak g_{\mathbf C}=\mathfrak{sl}(2,\mathbf C)$ . One can choose to be the diagonal matrices, with a basis of $\mathfrak t$ given by

$\frac{i}{2}\sigma_3=\frac{1}{2}\begin{pmatrix}i&0\\0&-i\end{pmatrix}$

and bases of $\mathfrak n^+,\ \mathfrak n^-$ given by

$\frac{1}{2}(\sigma_1+i\sigma_2)=\begin{pmatrix}0&1\\0&0\end{pmatrix},\ \frac{1}{2}(\sigma_1-i\sigma_2)=\begin{pmatrix}0&0\\1&0\end{pmatrix}$

(here the $\sigma_i$ are the Pauli matrices). The Weyl group in this case just interchanges $\mathfrak n^+ \leftrightarrow \mathfrak n^-$ .

Highest weight theory

Irreducible representations of a compact Lie group are finite dimensional and correspond to finite dimensional representations of $\mathfrak g_{\mathbf C}$ . For a given choice of $\mathfrak n^+$ , such representations can be characterized by their subspace $V^{\mathfrak n^+}$ , the subspace of vectors annihilated by $\mathfrak n^+$ . Since $\mathfrak n^+$ acts as “raising operators”, taking subspaces of a given weight to ones with weights that are more positive, this is called the “highest weight” space since it consists of vectors whose weight cannot be raised by the action of $\mathfrak g_{\mathbf C}$ . For an irreducible representation, this space is one dimensional, and we can label irreducible representations by the weight of $V^{\mathfrak n^+}$ . The irreducible representation with highest weight $\lambda$ is denoted $V_{\lambda}$ . Note that this labeling depends on the choice of $\mathfrak n^+$ .

Getting back to Lie algebra cohomology, while $H^*(\mathfrak g, V)=0$ for an irreducible representation , the Lie algebra cohomology for $\mathfrak n^+$ is more interesting, with $H^0(\mathfrak n^+, V)=V^{\mathfrak n^+}$ , the highest weight space. $\mathfrak t$ acts not just on , but on the entire complex $C(\mathfrak n^+, V)$ , in such a way that the cohomology spaces $H^i(\mathfrak n^+,V)$ are representations of $\mathfrak t$ , so can be characterized by their weights.

For an irreducible representation $V_\lambda$ , one would like to know which higher cohomology spaces are non-zero and what their weights are. The answer to this question involves a surprising “ $\rho$ – shift”, a shift in the weights by a weight $\rho$ , where

$\rho=\frac{1}{2}\sum_{+\ roots} \alpha$

half the sum of the positive roots. This is a first indication that it might be better to work with spinors rather than with the exterior algebra that is used in the Koszul resolution used to define Lie algebra cohomology. Much more about this in a later posting.

One finds that $dim\ H^*(\mathfrak n^+,V_\lambda)=|W|$ , and the weights occuring in $H^i(\mathfrak n^+,V_\lambda)$ are all weights of the form $w(\lambda +\rho)-\rho$ , where $w\in W$ is an element of length . The Weyl group can be realized as a reflection group action on $\mathfrak t^*$ , generated by one reflection for each “simple” root. The length of a Weyl group element is the minimal number of reflections necessary to realize it. So, in dimension 0, one gets $H^0(\mathfrak n^+, V_\lambda)=V^{\mathfrak n^+}$ with weight $\lambda$ , but there is also higher cohomology. Changing one’s choice of $\mathfrak n^+$ by acting with the Weyl group permutes the different weight spaces making up $H^*(\mathfrak n^+, V)$ . For an irreducible representation, to characterize it in a manner that is invariant under change in choice of $\mathfrak n^+$ , one should take the entire Weyl group orbit of the $\rho$ – shifted highest weight $\lambda$ , i.e. the set of weights

$\{w(\lambda +\rho),\ w\in W\}$

In our G=SU(2) example, highest weights can be labeled by non-negative half integral values (the “spin” of the representation)

$s=0,\frac{1}{2},1,\frac{3}{2}\2,\cdots$

with $\rho=\frac{1}{2}$ . The irreducible representation V_s is of dimension 2s+1 , and one finds that $H^0(\mathfrak n^+,V_s)$ is one-dimensional of weight , while $H^1(\mathfrak n^+,V_s)$ is one-dimensional of weight -s-1 .

The character of a representation is given by a positive integral combination of the weights

$char(V)=\sum_{weights\ \omega} (dim\ V^\omega)\omega$

(here $V^\omega$ is the $\omega$ weight space). The Weyl character formula expresses this as a quotient of expressions involving weights taken with both positive and negative integral coefficients. The numerator and denominator have an interpretation in terms of Lie algebra cohomology:

$char(V)=\frac{\chi(H^*(\mathfrak n^+, V))}{\chi(H^*(\mathfrak n^+, \mathbf C))}$

Here $\chi$ is the Euler characteristic: the difference between even-dimensional cohomology (a sum of weights taken with a + sign), and odd-dimensional cohomology (a sum of weights taken with a – sign). Note that these Euler characteristics are independent of the choice of $\mathfrak n^+$ .

The material in this last section goes back to Bott’s 1957 paper Homogeneous Vector Bundles, with more of the Lie algebra story worked out by Kostant in his 1961 Lie Algebra Cohomology and the Generalized Borel-Weil Theorem. For an expository treatment with details, showing how one actually computes the Lie algebra cohomology in this case, for U(n) see chapter VI.3 of Knapp’s Lie Groups, Lie Algebras and Cohomology, or for the general case see chapter IV.9 of Knapp and Vogan’s Cohomological Induction and Unitary Representations.

4 Responses to Notes on BRST V: Highest Weight Theory

D R Lunsford says:

November 24, 2008 at 10:22 pm

Well what did you ever determine intuitively about the bifurcation of the world represented by W direct bar W? There are many candidates, but they come down to matter vs. antimatter. I mean how did you come to think about it? This issue comes up again and again.

-drl
Peter Woit says:

November 24, 2008 at 11:37 pm

drl,

This is just the completely conventional way mathematicians think of what it means to put a complex structure on a real vector space.

I should have commented somewhere about the fact that the whole highest-weight theory set-up is very much analogous to quantum field theory, with the highest weight vector playing the role of a the vacuum vector. You get something just like the particle-anti-particle business.

In the case of affine Lie algebras, the analogous construction is exactly one that comes from 1+1 d QFT.
Pingback: A semana nos arXivs… « Ars Physica
newcomer to QFT says:

December 9, 2008 at 9:25 pm

“The answer to this question involves a surprising $\rho$ – shift”, a shift in the weights by a weight $\rho$, where

$$\rho=\frac{1}{2}\sum_{+} roots} \alpha$$

half the sum of the positive roots. This is a first indication that it might be better to work with spinors rather than with the exterior algebra that is used in the Koszul resolution used to define Lie algebra cohomology.”

See Ettienne Rassart’s thesis:
http://www.math.cornell.edu/~rassart/pub/EtienneRassart_Thesis.pdf

for another way of avoiding the $\rho$-shift without using spinors.

Notes on BRST V: Highest Weight Theory

4 Responses to Notes on BRST V: Highest Weight Theory

About

FAQ

Not Even Wrong: The Book

Categories

Recent Comments

Archives

Links

Mathematics Weblogs

Physics Weblogs

Meta