Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-3/5/c/solution

Split the sequence as vector spaces at each vertex. In these coordinates, the middle arrow maps have block form
For , change basis by at every vertex. It changes the off-diagonal block to . These arrow matrices depend polynomially on and at give . Thus the split extension as a degeneration shows
We must check that the two orbits are different. If , apply to the original short exact sequence. Exactness makes the kernel of equal to . The assumed isomorphism of the middle representation gives , so this map is surjective. In particular the identity of lifts to , splitting the sequence, a contradiction. Hence the orbits are indeed distinct.
The group is irreducible, so is irreducible. An algebraic-group orbit is locally closed, hence open in its closure; its boundary is a proper closed subset of smaller dimension. The distinct orbit lies in that boundary. Therefore

New to topics? Read the docs here!