Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
A flag in a vector space or a projective space is a nested system of linear/projective subspaces, one of each dimension from to .
Given a field , the space of all flags in an -dimensional -vector space has the structure of a projective variety over , this is the flag variety.
If is the field of real or complex numbers, then it has a structure of a smooth manifold. It can be considered as the homogeneous space where is the subgroup of lower (or upper if you like) triangular matrices. By the Gram–Schmidt orthogonalization procedure, one shows the isomorphism as real manifolds where is the subgroup of the diagonal -matrices.
More generally, the generalized flag variety is the complex projective variety obtained as the coset space where is a compact Lie group, its maximal torus, the complexification of , which is a complex semisimple group, and is the Borel subgroup. It has a structure of a compact Kähler manifold. It is a special case of the larger family of coset spaces of semisimple groups modulo parabolics which includes, for example, Grassmannians. There are quantum, noncommutative and infinite-dimensional generalizations. Flag varieties have rich combinatorial and geometric structure and play an important role in representation theory and integrable systems.
character sheaf?, horocycle correspondence, Harish Chandra transform
D. Monk, The geometry of flag manifolds, Proceedings of the London Mathematical Society 1959 s3-9(2):253–286; doi:10.1112/plms/s3-9.2.253
Wikipedia, Generalized flag variety
M. Brion, Lectures on the geometry of flag varieties, pdf
Armand Borel, Linear algebraic groups, Springer
On flag varieties of loop groups:
On flag manifold sigma-models:
Last revised on July 26, 2024 at 14:47:54. See the history of this page for a list of all contributions to it.