Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-6/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 6 3 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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 bijectionThe Bruhat decomposition is the disjoint partition , with . Under the displayed bijection its double coset becomes the orbitThis 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!