Theorem
The projective line as a rank-one flag variety
The projective line is the complete flag variety of a two-dimensional vector space.
Statement
Let be a field and let be the split upper-triangular Borel subgroup over . The orbit map that sends a matrix to the line spanned by its first column induces
Thus the projective line is the complete flag variety in type .
What this does and does not identify
The displayed isomorphisms concern homogeneous spaces. They do not identify with either group. Over , also acts as the holomorphic automorphism group of the Riemann sphere, while in Langlands duality occurs as the dual group of . These are different roles of the same algebraic group.
References
- T. A. Springer, Linear Algebraic Groups, 2nd ed., Birkhäuser, 1998, Chapter 8. DOI.