Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-6/3/a/solution

Fix a Borel subgroup and a maximal algebraic torus . Conjugacy of Borel subgroups and the equality identify the flag variety with , by .
Every simultaneous conjugacy orbit on pairs contains a pair : first conjugate its first member to . The remaining allowed conjugations are by . Two such pairs are in the same orbit exactly when belongs to . Indeed is equivalent to . Thus there is an explicit bijection
The Bruhat decomposition is the disjoint partition , with . Under the displayed bijection its double coset becomes the orbit
This proves that the orbits are indexed by the Weyl group. Conversely, the assertion that these particular exhaust the orbits without repetitions says precisely that the exhaust without repetitions. Hence the orbit description and the Bruhat decomposition are equivalent, not merely two sets of the same cardinality. Their common index is the relative position of Borel subgroups.

New to topics? Read the docs here!