Misplaced Pages

Flag bundle

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In algebraic geometry, the flag bundle of a flag

E : E = E l E 1 0 {\displaystyle E_{\bullet }:E=E_{l}\supsetneq \cdots \supsetneq E_{1}\supsetneq 0}

of vector bundles on an algebraic scheme X is the algebraic scheme over X:

p : Fl ( E ) X {\displaystyle p:\operatorname {Fl} (E_{\bullet })\to X}

such that p 1 ( x ) {\displaystyle p^{-1}(x)} is a flag V {\displaystyle V_{\bullet }} of vector spaces such that V i {\displaystyle V_{i}} is a vector subspace of ( E i ) x {\displaystyle (E_{i})_{x}} of dimension i.

If X is a point, then a flag bundle is a flag variety and if the length of the flag is one, then it is the Grassmann bundle; hence, a flag bundle is a common generalization of these two notions.

Construction

A flag bundle can be constructed inductively.

References

  1. Here, E i {\displaystyle E_{i}} is a subbundle not subsheaf of E i + 1 . {\displaystyle E_{i+1}.}
Stub icon

This algebraic geometry–related article is a stub. You can help Misplaced Pages by expanding it.

Categories:
Flag bundle Add topic