In connection with my last post on the Boij–Söderberg conjectures, I mentioned constructing equivariant supernatural vector bundles and equivariant pure Cohen–Macaulay modules using the Borel–Weil–Bott theorem. So in this post, I’d like to say something about what this theorem says and next time discuss how it can be used. I learned the stuff on Bott’s theorem from Jerzy Weyman’s book *Cohomology of Vector Bundles and Syzygies* [warning: there are some mistakes in the statement of Bott’s theorem for general reductive groups]. Bott’s theorem is usually stated for a reductive group, but for concreteness we’ll stick with the general linear group, since that’s all we’ll need.

The setup is as follows: k denotes some field of characteristic 0, , B is the subgroup of upper triangular matrices, and T is the subgroup of diagonal matrices. Then G/B is the complete flag variety whose k-points correspond to maximal flags where . We are interested in realizing representations of G as cohomology groups of line bundles over G/B. But first we’ll state the relative version of the theorem.

For this, let X be any variety (really, X could be any scheme) and be a vector bundle of rank n over X. We can construct the relative flag variety as follows. For any affine open set U inside of X where we get a trivialization , let be the complete flag variety of . Using the gluing data of , we can also glue together the spaces (on intersections, we have an isomorphism , and this defines an isomorphism of complete flag varieties) to get a scheme which maps to X, call the map h. In fact, h is a locally trivial fibration whose fibers are complete flag varieties. To define the analogues of , consider the vector bundle on . We define to be the subbundle of consisting of points where . Note that if we took X to be a single point (in particular Spec(k)), then is just a k-vector space, and is the usual flag variety. So we can also define, in analogy, .

Now let W be the Weyl group of G, i.e., the normalizer of T in G quotiented by T, in our case W is the symmetric group on n letters. In fact, W is a finite Coxeter group, and hence is equipped with a length function, denoted . For a permutation w, is just the minimal number of simple transpositions you need when expressing w as a product of them. So W has a natural action on the set of weights of T, and we define a dotted action of W on the weight lattice as follows. First, let be the sum of the positive roots (i.e., the weights that appear when T acts on B via conjugation). In our case, we have . Then for and a weight, we set . Let denote the Weyl functor, or co-Schur functor associated to the weight . I’ll describe its construction in a later post. For now, it’s a functorial way of constructing, from E, an irreducible representation of of highest weight . We have the following theorem:

**Theorem.** With the notation above, one of two mutually exclusive cases occurs:

- There exists a nonidentity element such that . In this case, all higher direct images vanish.
- Otherwise, there is a unique such that is a dominant weight. In this case, if , then , and is an equivariant bundle whose fibers are the dual of the irreducible representation of with highest weight .

This gives us the cohomology for line bundles over G/B since when X is a point (and hence is just a vector space), the higher direct images become cohomology groups.

If we assume this theorem, we can use the Leray spectral sequence to extract some information about vector bundles on partial flag varieties. Let be a sequence of increasing numbers, and let be the relative partial flag variety (i.e., the fibers are flags where . So we still have the tautological bundles . For each r>j>0, let be a nonincreasing sequence of numbers of length , and write (this is an n-tuple of numbers, not an r-tuple of sequences). Then we can define a bundle . Now Bott’s theorem is the same as above except and replace and , respectively.

To deduce this version, note that we have a forgetful morphism , which is a locally trivial fibration whose fibers are products of complete flag varieties. On , we can construct the line bundle as before. Using the relative version of Bott’s theorem and induction on the number of terms that we forget, we see that , and its higher direct images vanish because we assumed that each was a dominant weight. Letting be the structure map, we can also use the relative Bott’s theorem to calculate . Alternatively, we have the Leray spectral sequence . But we just showed that these terms are 0 for q=0, so the spectral sequence degenerates and we conclude that .

I’ll end this post with what this all says on projective space, and next time I’ll discuss how we can use this special case to construct equivariant pure modules and supernatural vector bundles.

Over projective space , the fiber of the tautological bundle over a point (which is a line in ) is the simply the vectors lying in that line. This is also the total space of the dual of the Serre twisting sheaf . Given the inclusion , the quotient will be called and called the tautological quotient. Then our bundles of interest are of the form where u is an integer and . Note that this is the same where by duality. Hence the theorem says

**Theorem.** With the notation above, one of two mutually exclusive cases occurs:

- There exists a nonidentity element such that . In this case, all cohomology groups vanish.
- Otherwise, there is a unique such that is nondecreasing. In this case, if , then , and is an irreducible representation of with highest weight .

-Steven

[…] that Laurent Manivel gave. The two tools that we’ll use are Schur–Weyl duality and the Borel–Weil theorem. Schur–Weyl duality will let us reformulate Kronecker coefficients in terms of a branching […]

By:

Rectangle rule for Kronecker coefficients « Concrete Nonsenseon April 19, 2010at 6:19 PM