Flag manifold In mathematics, a flag is an increasing sequence of subspaces of a vector space. "Increasing" means each is a subspace of the next. As homogeneous spaces According to basic results of linear algebra, any two flags of a finite-dimensional vector space V, in which the dimensions are the same, are no different from each other from a geometric point of view. Therefore if we specify a sequence of dimensions 0 < d1 < d2 < ... < dk < n, where n is the dimension of V, we can consider a homogeneous space F(d1, d2, ... , dk) = H\G of all flags of that type. Here H must therefore be taken as the stabilizer of one such flag given by subspaces Vi of dimension di, that are nested. We call F(d1, d2, ... , dk) a flag manifold. As algebraic varieties This much works over any field K. The flag manifold is an algebraic variety over K; which turns out to be a projective variety. These varieties therefore include the Grassmannians, which are the special case where k = 1: i.e. we take just one intermediate space V1. Just as in that case, when K is the real or complex field we can also consider the flag manifolds as coset spaces for Lie groups - in more than one way, since we can for example use orthogonal groups in the real case rather than the general linear group. To look more closely at the stabilizer H, one can take a standard basis e1, ..., en, and Vi to be spanned by the first di of them. Then as a matrix group H has a definite block structure; in fact the various H correspond to the various ways of considering what 'below the diagonal' means in block matrix terms, by demanding entries that are 0 there. This can be applied, for example, to count flags over finite fields, as is done on the general linear group page. Subgroups of the general linear group It also gives a survey of all the parabolic subgroups of the general linear group, up to conjugacy. That is, in this case the abstract algebraic group theory of parabolic subgroups (those containing a Borel subgroup) can be read off from the flag manifolds, considered collectively. The subgroup of upper triangular matrices is in this case a Borel subgroup: it corresponds to the stabiliser of a complete flag, where di = i and k=n-1. The corresponding manifold is often called a full flag manifold; the others, with some gap in dimensions, are then referred to as partial flag manifolds. Stiefel manifolds The case in which we take di = i and k < n-1 is also called a Stiefel manifold: it corresponds, relative to the Grassmannian Gk,n, to taking additionally a basis (up to scalar multiples) of the k-dimensional subspace. There is an important mapping from a Stiefel manifold to the Grassmannian forgetting the extra information. It is closely related to the principal bundle for the associated universal or tautological bundle on the Grassmannian. Topology It is also possible to read off topological information about the groups H. From the point of view of homotopy theory, the unipotent part of the Jordan normal forms is a contractible factor in a direct product decomposition, and so makes no contribution. In this way one can to read off topological principles for vector bundles. Reduction of the structure group of such a bundle to one of the groups H implies the existence of sub-bundles. The obstructions will lie in the diagonal block parts, not in the above-diagonal part. For example the reduction to upper-triangular form implies reduction to diagonal form, and so sum of line bundles. This gives rise therefore to general 'splitting principles'. In functional analysis In an infinite-dimensional space V, as used in functional analysis, the flag idea generalises to a subspace nest, namely a collection of subspaces of V that is a total order for inclusion and which further is closed under arbitrary intersections and closed linear spans. See nest, nest algebra. FAVORITE ARTICLES: History of the World    History of the United States    History of Europe    Ancient History    History    Military History    World War I    Bombing of Dresden    California    US Constitution    Frank Sinatra    Boston    Marbury v. Madison This article is licensed under the GNU Free Documentation License at http://www.gnu.org/copyleft/fdl.html You may copy and modify it as long as the entire work (including additions) remains under this license. You must provide a link to http://www.gnu.org/copyleft/fdl.html To view or edit this article at Wikipedia go to http://www.wikipedia.org/wiki/Flag_manifold