The Kostant Dirac Operator

Quantum mechanics and representation theory are very closely linked subjects since the Hilbert space of a quantum system with symmetry group G carries a unitary representation of G. To the extent that one has a way of quantizing a classical Hamiltonian system with G-symmetry, one has a way of constructing representations of G out of symplectic manifolds with G-action. This “geometric quantization” approach to constructing representations has been a very fruitful one.

For the case of G compact, connected, with maximal torus T (the crucial example to keep in mind is G=SU(2), T=U(1)), the “flag manifold” G/T (the 2-sphere for G=SU(2)) is a symplectic manifold (actually Kahler) and can be thought of as a classical phase space with G-symmetry. Choosing a representation of T (a “weight”) allows one to construct a line bundle over G/T, which turns out to be holomorphic. The Borel-Weil theorem says that irreducible G-representations are given by holomorphic sections of this line bundle, for “dominant” weights.

For weights that are not dominant, one gets not holomorphic sections, but elements in higher cohomology groups. These can be expressed either in terms of the sheaf cohomology of G/T with coefficients in the sheaf of holomorphic sections of the line bundle, or in terms of Lie algebra cohomology. This is known as the Borel-Weil-Bott theorem, which first appeared in:

Bott, R., Homogeneous Vector Bundles, Ann. of Math. 66 (1967) 203.

the Lie algebra version was further developed by Kostant in

Kostant, B., Lie Algebra Cohomology and the Generalized Borel-Weil Theorem, Ann. of Math. 74 (1961) 329.

Instead of using complex manifold methods and the Dolbeaut operator to construct cohomology classes, one can use spinors and the Dirac operator, with the representation appearing as the kernel of the Dirac operator (or, more accurately, its index). For this point of view, which fits in beautifully with equivariant K-theory and the index theorem, see:

Bott, R., The Index Theorem for Homogeneous Differential Operators, in: Differential and Combinatorial Topology: A Symposium in honor of Marston Morse, Princeton (1964) 71.

The Dirac operator approach to representation theory has been extended to some cases of G non-compact by various authors. In the last few years, Kostant has come up with a new version of the Dirac operator in this context which has quite interesting properties. He likes to work algebraically, so his Dirac operator on G is given as an element of U(Lie G)XCliff(Lie G), where U(g) is the universal enveloping algebra of the Lie algebra Lie G and Cliff(Lie G) is the Clifford algebra of Lie G. The Kostant Dirac operator is the standard one you would expect, with the addition of an extra cubic term. For the details of all this, see Kostant’s paper:

Kostant, B. , A Cubic Dirac Operator and the Emergence of Euler Number Multiplets of Representations for Equal Rank Subgroups, Duke Math. J. 100 (1999) 447.

Things get interesting when you consider the case of H a subgroup of G of the same rank (one example is H=T, another important one is G=S0(2n+1), H=SO(2n), where G/H is an even-dimensional sphere). Taking the difference of Kostant Dirac operators for G and H gives something that corresponds to a Dirac operator on G/H, which acts on the product of a G rep with the spinors associated to Cliff (Lie G/Lie H). For H=T, one gets back the old Bott-Kostant construction of representations, but with the Lie algebra cohomology replace by the index of a Dirac operator.

Part of this story is that one finds that, starting with an irreducible G-representation, the kernel of Kostant’s Dirac operator consists of a “multiplet” of H representations of size given by the Euler characteristic of G/H. The existence of these multipliets was first noticed by Ramond for the case H=SO(9), where SO(9) is the massless little group in 11 dimensions and the multiplets appear in the massless spectrum of N=1 11d-supergravity (the low energy limit of a conjectural M-theory). These SO(9) multiplets come about because SO(9) is an equal rank subgroup of the exceptional group F4, so for each irreducible F4 representation one gets a multiplet of SO(9) representations.

The first paper about this was by Gross, Kostant, Ramond and Sternberg, for more about this from a geometrical point of view, see a paper by Greg Landweber. For a discussion of the relation of this to supersymmetric models in physics, look up recent preprints by Pierre Ramond, one of which is by Brink and Ramond.

Greg Landweber has applied these ideas to loop groups, getting a beautiful interpretation in terms of loop group representation theory of certain N=2 superconformal models first studied by Kazama and Suzuki in 1989. This paper also contains a detailed exposition of the story both for finite dimensional groups and loop groups.

More recently, Freed, Hopkins and Teleman have used a modified version of the Kostant Dirac operator to give a proof of their theorem relating the Verlinde algebra and twisted K-theory. Their construction is quite beautiful and gives a new point of view on the whole story of the relation of geometric methods of quantization to K-theory and the index of Dirac operators. I’ll try and write something about this at some later date.

This entry was posted in Uncategorized. Bookmark the permalink.

6 Responses to The Kostant Dirac Operator

  1. erinj says:

    JC,

    It’s been a while since I looked at fundamental aspects of supersymmetry, and my own copies of the Coleman-Mandula and HLS papers are boxed away, but I could offer an answer to your question. (Though the last time I wrote about SUSY involving these papers was in my thesis, which I also boxed away, and I’m no longer an academic.)

    I believe – possibly incorrectly – that the answer is no, there have been no other ways to circumvent the Coleman-Mandula `No-Go Theorem’. I believe this is the case because:

    (a) I myself once pondered this question and either asked someone once or read up on it to provide an answer for myself, and

    (b) Doesn’t the paper by HLS, or a follow-up paper by HLS, actually contain a proof that, on physical grounds (e.g. positive energy), there is no other way to circumvent the Coleman-Mandula theorem other than SUSY. That is, SUSY is the unique and only way to circumvent the constraints imposed on the S-Matrix by the Coleman-Mandula theorem?

    Please correct me if I am wrong, as I think my SUSY has become very rusty from lack of use.

    Erin

  2. JC says:

    Has anyone ever found any other loopholes around the Coleman-Mandula theorem, besides the Z_2 grading SUSY case covered by the Haag-Lopuszansky-Sohnius theorem?

    Such as:

    A*A*A ~= vector, where A is like a “one third vector”

    or

    B*B*B*B ~= vector, where B is like a “one quarter vector”

    or in general,

    Q^n ~= vector, where Q is like a fractional “one n’th vector”

  3. Peter says:

    I’d never heard of the “half vector” terminology, but it sounds plausible. People often say that spinors are “square roots” of vectors. More generally, given a vector space, the space of antisymmetric tensors can be identified with the spinor space times its dual.

    I don’t know of any way in which there would be more general fractional powers or fractions of vectors.

  4. JC says:

    Did Landau refer to a spinor as a “half vector”?

    Is there any mathematical objects that could possibly be described as a “one third” or “one quarter” vector? Or for that matter any non-integer fractional vector?

  5. Peter says:

    I’m afraid the lack of much response to this post is due to it being rather obscure. I’ve been thinking about the Kostant Dirac operator, so wanted to write something about it, but to write something readable by a significant number of people would require giving a lot more detail. Maybe I’ll try and do that at some later point.

    The geometry of spinors is truly amazing, and all evidence is that it is more fundamental than the geometry of vectors and tensors. The Dirac operator is a fascinating thing, and Kostant’s recent version of it is something that deserves to be better known. I hope at least some people will be inspired to look into some of this, I especially recommend the Landweber paper as being pretty readable.

  6. erinj says:

    Isn’t it startling, Peter, how much attention a squabble over comments made in a string theory forum attracts, whereas your post on a fascinating and intriguing area of mathematics and mathematical physics seems to receive much less?

    Admittedly your post is a rather technical one, but nonetheless it is illuminating. I myself find the applications and historical development of the Dirac operator continually amazing. Is there no end to its uses? No bound to its development?

    Spinors and Dirac’s operator seem to keep surfacing in surprising places, and always seem to simplify things when they do – as in the representation theory in your post, and in other examples such as Witten’s proof (using spinors) of the positive mass theorem in General Relativity. I couldn’t resist recalling Hermann Weyl’s remark about spinors (and the orthogonal group) whilst reading your post:

    “Only with spinors do we strike that level in the theory of representations on which Euclid himself, flourishing ruler and compass, so deftly moves in the realm of geometric figures.”

    It’s wonderful, inspirational mathematics and mathematical physics! Now I certainly appreciate Konstant’s work, which beforehand I was only very vaguely aware of, after reading your post.

    The only downside, for me, upon reading your post, is not being able to access some of the papers you refer to in it, now that I have left academia :\

Comments are closed.