Q. Why is it a surjection? A. It's a nonzero $G$-equivariant map to (by Borel-Weil) a $G$-irrep.
(Of course this has punted the difficulty, solved geometrically by the commenters, into the Borel-Weil theorem.)
Allen Knutson
- 27.9k
- 4
- 54
- 152