Math 2.0

Algebraic geometry Definition

Flag variety

Builds on Borel subgroupReductive groupHomogeneous spaceProjective varietyGrassmannian

Definition

Let kk be a field, let VV be a vector space of dimension nn over kk, and let 0<d1<⋯<dm<n0 < d_1 < \cdots < d_m < n be integers. A flag of type (d1,…,dm)(d_1, \ldots, d_m) in VV is a chain of subspaces V1⊂⋯⊂VmV_1 \subset \cdots \subset V_m with dim⁡Vi=di\dim V_i = d_i. The flag variety Fl(d1,…,dm;V)\mathrm{Fl}(d_1, \ldots, d_m; V) is the set of these flags. It is a closed subvariety of the product of Grassmannians ∏iGr(di,V)\prod_i \mathrm{Gr}(d_i, V), so it is a projective variety. The full flag variety is the case (d1,…,dm)=(1,2,…,n−1)(d_1, \ldots, d_m) = (1, 2, \ldots, n - 1).

Remarks

The group GL(V)\mathrm{GL}(V) acts transitively on the flags of a given type, so the flag variety is a homogeneous space. The stabilizer of a full flag is a Borel subgroup, conjugate to the upper triangular matrices, so the full flag variety is GLn/B\mathrm{GL}_n / B.

General form: let GG be a connected reductive group over an algebraically closed field. A closed subgroup PP of GG is parabolic if it contains a Borel subgroup. The generalized flag variety is G/PG / P, a smooth projective homogeneous variety.

Example: for m=1m = 1, the flag variety Fl(d1;V)\mathrm{Fl}(d_1; V) is the Grassmannian Gr(d1,V)\mathrm{Gr}(d_1, V), and for d1=1d_1 = 1 it is the projective space ℙ(V)\mathbb{P}(V).

Non-example: let TT be the diagonal torus of GL2\mathrm{GL}_2, the stabilizer of the pair of coordinate lines. The quotient GL2/T\mathrm{GL}_2 / T is the space of ordered pairs of distinct lines in k2k^2, which is ℙ1×ℙ1\mathbb{P}^1 \times \mathbb{P}^1 minus its diagonal. It is not projective, since TT contains no Borel subgroup, and it is not a flag variety.

Reading path

To understand this page from the ground up, read these 11 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Borel subgroup concept
  2. Dimension of an algebraic variety concept
  3. Exterior algebra concept
  4. Grassmannian as classifying space example
  5. Homogeneous space concept
  6. Linear subspace concept
  7. Projective space concept
  8. Projective variety concept
  9. Reductive group concept
  10. Grassmannian object
  11. Flag variety definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Generalized_flag_variety
About this page
TagZ9HNJ529DF
URIm2://Z9HNJ529DF
Kinddefinition
WritingW0 stub
MSC14M15, 14M17
DefinesFlag variety
UsesBorel subgroup, Reductive group, Homogeneous space, Projective variety, Grassmannian

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.