Q. Why is it a surjection? A. It's a nonzero $G$-equivariant map to (by Borel-Weil) a $G$-irrep.
Allen Knutson
- 27.9k
- 4
- 54
- 152