The past few weeks there has been a summer school and conference on geometric representation theory and extended affine Lie algebras at University of Ottawa. As part of this event, I gave a week long lecture series entitled “three geometric constructions of the irreducible representations of “. Specifically I discussed the Borel-Weil theorem, Ginzburg’s construction using Springer fibres, and the geometric Satake correspondence. I focused on to keep the root system combinatorics and the geometry as elementary as possible.

The typed lecture notes from my talk are now available. If you do read them, please let me know if you have any comments/corrections. (You can also find videos of the talks.)

The other lectures at the summer school were given by Neher, Kang, Wang, Savage, and Chari. I recommend reading their notes/watching their videos if you want to learn more about geometric representation theory, crystals, and affine Lie algebras.

### Like this:

Like Loading...

*Related*

Hi Joel,

This is great! I’ve been wanting to learn about this stuff for a while now. Some comments on the first few pages:

1) Typo on page 2, line 10: “without any using”.

2) Typo on page 2, line -14: “This is equivalent to consider”.

3) Possible typo on page 3, lines 2 and 3: should there be parentheses around the bases?

4) Is it actually true that every group homomorphism is of the form ? Or should we have an extra condition on the homomorphism (such as continuity)?

5) Typo on page 3, line 13: towards the end, you have ^x instead of ^\times.

6) You say that Proposition 2.4 tells us that an arbitrary representation (of ) can be written as a direct sum of irreducible representations. Does this mean that the V(n)’s are irreducible? If so, why is this the case?

7) In example 2.10, it would probably be less ambiguous if you replaced “these […] representations” by “alt(2,C^n) and sym(2, C^n) […] representations” (I’m too lazy to TeX!).

8) On page 6, paragraphs 2 and 4 are identical.

Anonymous: regarding 4), it’s said at the beginning that all representations are assumed to be algebraic (or holomorphic), and in this case, all algebraic homomorphisms are of the form for some integer n.

Otherwise, you could take the map , and this is certainly a (continuous) group homomorphism, but it’s not algebraic.

Joel: Thanks for these notes!

OK, I’m trying to work through the Ginzburg construction of the adjoint rep of . I keep winding up with a -crystal rather than a -representation. Can someone explain what I’m doing wrong?

There are seven weights in the adjoint rep. For the six extreme weights, the Springer variety is a point. For the weight in the center, the Springer variety is two ‘s, glued at a single node. I’ll call this variety . So the dimensions of the weight spaces work.

Now, I try to get the maps. Morally, in each case, we have a subvariety of . This subvariety is isomorphic to and lies above one of the two components of ; We are supposed to push-pull through . Because you have only defined pull-back in smooth fiber bundles, we are in fact supposed to pull-back to some smooth ambient space, intersect with and then push.

I don’t want to write out my attempts here, as they are surely flawed. I keep getting that, for any map to (resp. from) the center weight space, the image (resp. kernel) is spanned by the fundamental class of one or the other component of . Could someone write out a computation of a case where that doesn’t happen, so I can see where I’m going wrong?

Thanks in advance,

David

Typo: in the sentence beginning “Now define a map” on page 13, the arrow is backwards.

David-

Thanks for your question. I think that it works like this:

The map going _out_ of the central weight space is the “non-crystal” one. I mean it is non-zero on each of the two fundamental classes. Let me call the two components . We need to look at the intersection of with and . The intersection with one of them will be transverse — they meet in a point. The intersection with the other is not transverse since they meet in a . So we get a contribution of the Euler characteristic of the normal bundle which turns out to be 2. Hence we get and .

Note: there is a typo in the definition of the Ginzburg action. In section 4.3, should actually be maps from the product of the cotangent bundles.

Thanks Joel! On the T home, I figured out how this works for the adjoint rep of GL_2 (that is, why the multipicities aren’t all 1), so I guessed it had to be similar for GL_3. Maybe I’ll write up the GL_2 example for anyone else who is interested.

I still suspect there is a way to make the excess intersection computation much easier than I am finding it. Here is how I learned to use the excess intersection formula: Suppose that A and B, smooth varieties of dimensions a and b, intersect inside a smooth variety X of dimension a+b, and their intersection, D, has dimension d. Then we have natural maps of normal bundles:

Consider the kernel; it is a d-dimensional vector bundle on Z. Its top Chern class is the multiplicity with which A meets B.

In our example, the ambient X is 10-dimensional (namely ), the two subvarieties are both 5-dimensional, and is a . I’d be a bit intimidated by that normal bundle computation. You clearly aren’t, which makes me suspect that you know something that I don’t.

I notice that, in the few cases I’ve tried, the multiplicity of the intersection seems to be the same as the Euler characteristic of . That makes me think there is some symplectic magic going on here.

For example, in the GL_2 case, I needed to compute the self intersection of the exceptional locus in the resolution of an singularity. That self intersection is , the same (up to sign) as the Euler characteristic of . If I had needed to compute the self intersection of the exceptional fiber in the blow up of a smooth point, instead, I would have gotten . I’m sure this has something to do with the fact that the former is a symplectic resolution and the latter is not. Any clues?

The computation: We’ll compute the representation of with highest weight . So we are dealing with -step flags in -space.

The nilpotent cone, , consists of all matrices of the form with . This is a quadratic singularity in -space; it looks like the cone on a plane conic.

The Springer variety has three components. They are the cotangent bundles to the spaces of flags of type , of type and of type . Call them , and . The spaces $lates S_0$ and are just points, and the maps to send them to the origin. The space is a line bundle over , specifically the cotangent bundle, and can be thought of as blowing up the origin of . We’ll write for the fiber of over the origin.

The representation we are interested in corresponds to the fiber over the origin in . So the Springer fibers are , and . By definition, is contained in ; in fact, it lives in and . More specifically, .

Let’s start by computing the maps from the outside to the center. Take the fundamental class of . Pull it back to to get all of . Intersect with to get . Pushforward to to get . The only thing that is hard is not getting frustrated by the trivialities. We conclude that and are taken to .

Now, let’s go the other way. Start with the fundmental class of . Pull back to to get . Intersect with —

that intersection is not transverse. We get a contribution of the degree of the normal bundle to , namely . (Hmmm. Actually, it’s . Any idea why the final answer has a positive sign?) Pushing forward doesn’t do anything funny, so our final answer is that is taken to .Note that, even though we only cared about the fiber over zero, we still had to know the whole family. I suspect that, had I been smarter, and used some symplectic magic, I could avoid that.

By the way, thanks for the great notes!

Here is the symplectic trick that you ask for.

Suppose you have two Lagrangians subvarieties of a symplectic variety . Then the excess intersection bundle of the intersection of A and B is the cotangent bundle of .

To see this, let us take everything to be linear. Then is isotropic, so the symplectic form gives us a surjection . The kernel of this map is . However, and so we see that the cokernel of is .