I'm looking for a "conceptual" explanation to the question in the title. The standard proofs that I've seen go as follows: use the Schubert cell decomposition to get a basis for cohomology and show that the special Schubert classes satisfy Pieri's formula. Then use the fact that basic homogeneous symmetric functions $h_n$ are algebraically independent generators of the ring of symmetric functions, to get a surjective homomorphism from the ring of symmetric functions to the cohomology ring. Pieri's rule can be shown with some calculations, but is there any reason a priori to believe that tensor product multiplicities for the general linear group should have anything at all to do with the Grassmannian?

Maybe a more specific question: is it possible to prove that these coefficients are the same without calculating them beforehand?

One motivation for asking is that the cohomology ring of the type B and type C Grassmannians ${\bf OGr}(n,2n+1)$ and ${\bf IGr}(n,2n)$ are described by (modified) Schur P- and Q-functions which seem to have nothing(?) to do with the representation theory of the orthogonal and symplectic groups ${\bf SO}(2n+1)$ and ${\bf Sp}(2n)$. So as far as I can tell the answer isn't just because general linear groups and Grassmannians are "type A" objects.


6 Answers 6


There are several rings-with-bases to get straight here. I'll explain that, then describe three serious connections (not just Ehresmann's Lesieur's proof as recounted in the OP).

The wrong one is $Rep(GL_d)$, whose basis is indexed by decreasing sequences in ${\mathbb Z}^d$.

That has a subring $Rep(M_d)$, representations of the Lie monoid of all $d\times d$ matrices, whose basis is indexed by decreasing sequences in ${\mathbb N}^d$, or partitions with at most $d$ rows.

That is a quotient of $Rep({\bf Vec})$, the Grothendieck ring of algebraic endofunctors of ${\bf Vec}$, whose basis (coming from Schur functors) is indexed by all partitions. Obviously any such functor will restrict to a rep of $M_d$ (not just $GL_d$); what's amazing is that the irreps either restrict to $0$ (if they have too many rows) or again to irreps!

  1. Harry Tamvakis' proof is to define a natural ring homomorphism $Rep({\bf Vec}) \to H^*(Gr(d,\infty))$, applying a functor to the tautological vector bundle, then doing a Chern-Weil trick to obtain a cohomology class. (It's not just the Euler class of the resulting huge vector bundle.) The Chern-Weil theorem is essentially the statement that Harry's map takes alternating powers to special Schubert classes. So then it must do the right thing, but to know that he essentially repeats the Ehresmann proof.

  2. Kostant studied $H^* (G/P)$ in general, in "Lie algebra cohomology and generalized Schubert cells", by passing to the compact picture $H^* (K/L)$, then to de Rham cohomology, then taking $K$-invariant forms, which means $L$-invariant forms on the tangent space $Lie(K)/Lie(L)$. Then he complexifies that space to $Lie(G)/Lie(L_C)$, and identifies that with $n_+ \oplus n_-$, where $n_+$ is the nilpotent radical of $Lie(P)$. Therefore forms on that space is $Alt^* (n_+) \otimes Alt^* (n_-)$.

Now, there are two things left to do to relate this space to $H^* (G/P)$. One is to take cohomology of this complex (which is hard, but he describes the differential), and the other is to take $L$-invariants as I said. Luckily those commute. Kostant degenerates the differential so as to make sense on each factor separately (at the cost of not quite getting $H^* (G/P)$).

Theorem: (1) Once you take cohomology, $Alt^* (n_+)$ is a multiplicity-free $L$-representation. So when you tensor it with its dual and take $L$-invariants, you get a canonical basis by Schur's lemma. (2) This basis is the degeneration of the Schubert basis.

Theorem: (1) If $P$ is (co?)minuscule, the differential is zero, so you can skip the take-cohomology step. That is, $Alt^* (n_+)$ is already a multiplicity-free $L$-rep. The Schur's lemma basis has structure constants coming from representation theory. (2) In the Grassmannian case, the degeneration doesn't actually affect the answer, so the product of Schubert classes does indeed come from representation theory.

I believe the degenerate product on $H^*(G/P)$ is exactly the one described by [Belkale-Kumar].

It's fun to see what's going on in the Grassmannian case -- $L = U(d) \times U(n-d)$, $n_+ = M_{d,n-d}$, and $Alt^* (n_+)$ contains each partition (or rather, the $U(d)$-irrep corresponding) fitting inside that rectangle tensor its transpose (or rather, the $U(n-d)$-irrep).

I think this is going to be the closest to what you want, for other groups' Grassmannians.

  1. (No, 3. Silly site software!) Belkale has the best (least decategorified) proof I've seen (which appeared separately as _Invariant theory of $GL(n)$ and intersection theory of Grassmannians _ IMRN 2004 Issue 69 (2004) 3709–3721, https://doi.org/10.1155/S107379280414155X). He takes three Schubert cycles meeting transversely, and for each point of intersection, constructs an actual invariant vector inside the corresponding triple product of representations. The set of such vectors is then a basis.
  • 4
    $\begingroup$ It is worth pointing out that after many discussions with Allen, we came to the conclusion that point 2 above is flawed and does not lead to a satisfactory explanation. $\endgroup$
    – Steven Sam
    Dec 12, 2013 at 20:54
  • $\begingroup$ Allen, is that link in point 3. supposed to go to this paper: arxiv.org/abs/math/0208107v2 ? We need to replace that link, but I can't quite identify the proof you mention in that paper, as I don't know the area. $\endgroup$
    – David Roberts
    Sep 20, 2021 at 5:29
  • $\begingroup$ Prakash Belkale, Invariant theory of 𝐺 𝐿 (𝑛) and intersection theory of Grassman- nians. Int. Math. Res. Not. (2004), no. 69, 3709–3721. $\endgroup$ Sep 21, 2021 at 11:23
  • $\begingroup$ @AllenKnutson thanks! I have edited in better links $\endgroup$
    – David Roberts
    Sep 22, 2021 at 5:14

This is slightly off-topic (I don't have a lot to add to David's answer), but let me just mention that the phenomenon of type A Lie theoretic objects coinciding with other Lie theoretic objects also of type A but for a different rank in a way that just doesn't seem to work for other groups is shockingly common. I'm not sure there's a high concept explanation for it, other than that GL_n is a really important object.

This business with Grassmannians and classifying spaces may be the best known example, but it just happens over and over. Schur-Weyl duality and Howe duality are great examples, though I think my favorite may be that type A slices between nilpotent orbits are the same as type A quiver varieties are the same as type A slices between $\mathrm{Gr}_\lambda$'s in the affine Grassmannian. These varieties seemingly have little or nothing to do with each other in other types, but somehow they magically match up in type A.

Another example I like a lot is that all representation categories of quantum groups are braided with the type A braid group.


This is certainly one of the most vexing questions of all time! There really is no simple answer, though I agree that Allen has presented some reasonable ones.

In their paper Schubert calculus and representations of general linear group (JAMS 22 Number 4 (2009) 909–940, doi:10.1090/S0894-0347-09-00640-7) Mukhin–Tarasov–Varchenko give another answer. They construct any algebra $ \mathcal{B} $ called the Bethe algebra, which acts on a tensor product multiplicity space $ Hom(V_\lambda, V_{\lambda_1} \otimes \cdots \otimes V_{\lambda_m}) $, depending on parameters $ b_1, \dots, b_n$. They prove that the image $ A $ of the Bethe algebra acting on this vector space has the same dimension of this vector space (for generic $ b_i $ you get all diagonal matrices with respect to some basis). Then they prove this algebra $ A $ is isomorphic to the functions on an scheme-theorectic intersection of $n+1 $ Schubert varieties corresponding to the $ \lambda_i$, with respect to flags given by the $ b_1, \dots, b_n $.


The easier part is to see that $\lim_{\infty \leftarrow n} H^*(G(d,n))$ is very close to $\mathrm{Rep}(GL_d)$ as rings. (As Allen points out below, we don't want all the representations of $GL_d$, only the polynomial ones. I'll continue glossing over that point, but it is another sign that any answer has to be somewhat complex.)

The representation ring of $GL_d$ is the same as the $GL_d$-equivariant $K$-theory of a point. Let $\mathrm{Mat}_{d \times n}^{\circ}$ be the full rank $d \times n$-matrices. I won't define this rigorously, but the ind-scheme $\lim_{n \to \infty} \mathrm{Mat}_{d \times n}^{\circ}$ is "contractible", so the $GL_d$-equivariant $K$-theory of a point is $K^0(\lim_{n \to \infty} \mathrm{Mat}_{d \times n}^{\circ} / GL_d)$. One can justify turning this into $\lim_{n \leftarrow \infty} K^0( \mathrm{Mat}_{d \times n}^{\circ} / GL_d)$. Of course, $\mathrm{Mat}_{d \times n}^{\circ} / GL_d = G(d,n)$.`

The Chern character map is an isomorphism between sends $K^0(G(d,n))$ to the completion of $H^*(G(d,n))$, at least once we tensor with $\mathbb{Q}$. (That completion is related to the issue of whether we work with polynomial representations or all representations.)

The hard thing is to explain why there should be an isomorphism which takes irreps to Schubert cycles, and works over $\mathbb{Z}$. This is especially difficult because Chern character is not that isomorphism. I don't know any really short answer to this question, but Harry Tamvakis has an expository paper which does a pretty good job.

  • $\begingroup$ Not Rep($GL_d$), but Rep($M_d$), the "polynomial representations" of $GL(d)$. I'll spell out more in my answer. $\endgroup$ Feb 5, 2010 at 3:39

There is some additional information on page 399 of Enumerative Combinatorics, vol. 2. The first conceptual explanations are due to Horrocks in 1957 and Carrell in 1978. See also pages 278-279 of Fulton's Intersection Theory.


Another paper which should be added to the list of references here is Derksen-Weyman, On the number of subrepresentations of a general quiver representation. They generalize the Intersection Multiplicity = Tensor Product Multiplicity equation to a general statement about quivers, and prove it in a very elegant manner.

I have long had a vague feeling that Mukhin-Tarasov-Varchenko, Belkale and Derksen-Weyman are describing the same construction in different languages. I haven't been able to confirm this but, if so, I recommend Derksen-Weyman's version as particularly readable.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.