Generalized flag variety

Last updated January 11, 2024

In mathematics, a generalized flag variety (or simply flag variety) is a homogeneous space whose points are flags in a finite-dimensional vector space V over a field F. When F is the real or complex numbers, a generalized flag variety is a smooth or complex manifold, called a real or complexflag manifold. Flag varieties are naturally projective varieties.

Flag varieties can be defined in various degrees of generality. A prototype is the variety of complete flags in a vector space V over a field F, which is a flag variety for the special linear group over F. Other flag varieties arise by considering partial flags, or by restriction from the special linear group to subgroups such as the symplectic group. For partial flags, one needs to specify the sequence of dimensions of the flags under consideration. For subgroups of the linear group, additional conditions must be imposed on the flags.

In the most general sense, a generalized flag variety is defined to mean a projective homogeneous variety, that is, a smooth projective variety X over a field F with a transitive action of a reductive group G (and smooth stabilizer subgroup; that is no restriction for F of characteristic zero). If X has an F-rational point, then it is isomorphic to G/P for some parabolic subgroup P of G. A projective homogeneous variety may also be realised as the orbit of a highest weight vector in a projectivized representation of G. The complex projective homogeneous varieties are the compact flat model spaces for Cartan geometries of parabolic type. They are homogeneous Riemannian manifolds under any maximal compact subgroup of G, and they are precisely the coadjoint orbits of compact Lie groups.

Flag manifolds can be symmetric spaces. Over the complex numbers, the corresponding flag manifolds are the Hermitian symmetric spaces. Over the real numbers, an R-space is a synonym for a real flag manifold and the corresponding symmetric spaces are called symmetric R-spaces.

Flags in a vector space

A flag in a finite dimensional vector space V over a field F is an increasing sequence of subspaces, where "increasing" means each is a proper subspace of the next (see filtration):

\{0\}=V_{0}\subset V_{1}\subset V_{2}\subset \cdots \subset V_{k}=V.

If we write the dim V_i = d_i then we have

0=d_{0}<d_{1}<d_{2}<\cdots <d_{k}=n,

where n is the dimension of V. Hence, we must have k ≤ n. A flag is called a complete flag if d_i = i for all i, otherwise it is called a partial flag. The signature of the flag is the sequence (d₁, ..., d_k).

A partial flag can be obtained from a complete flag by deleting some of the subspaces. Conversely, any partial flag can be completed (in many different ways) by inserting suitable subspaces.

Prototype: the complete flag variety

According to basic results of linear algebra, any two complete flags in an n-dimensional vector space V over a field F are no different from each other from a geometric point of view. That is to say, the general linear group acts transitively on the set of all complete flags.

Fix an ordered basis for V, identifying it with Fⁿ, whose general linear group is the group GL(n,F) of n × n invertible matrices. The standard flag associated with this basis is the one where the ith subspace is spanned by the first i vectors of the basis. Relative to this basis, the stabilizer of the standard flag is the group of nonsingular lower triangular matrices, which we denote by B_n. The complete flag variety can therefore be written as a homogeneous space GL(n,F) / B_n, which shows in particular that it has dimension n(n−1)/2 over F.

Note that the multiples of the identity act trivially on all flags, and so one can restrict attention to the special linear group SL(n,F) of matrices with determinant one, which is a semisimple algebraic group; the set of lower triangular matrices of determinant one is a Borel subgroup.

If the field F is the real or complex numbers we can introduce an inner product on V such that the chosen basis is orthonormal. Any complete flag then splits into a direct sum of one-dimensional subspaces by taking orthogonal complements. It follows that the complete flag manifold over the complex numbers is the homogeneous space

U(n)/T^{n}

where U(n) is the unitary group and Tⁿ is the n-torus of diagonal unitary matrices. There is a similar description over the real numbers with U(n) replaced by the orthogonal group O(n), and Tⁿ by the diagonal orthogonal matrices (which have diagonal entries ±1).

Partial flag varieties

The partial flag variety

F(d_{1},d_{2},\ldots d_{k},\mathbb {F} )

is the space of all flags of signature (d₁, d₂, ... d_k) in a vector space V of dimension n = d_k over F. The complete flag variety is the special case that d_i = i for all i. When k=2, this is a Grassmannian of d₁-dimensional subspaces of V.

This is a homogeneous space for the general linear group G of V over F. To be explicit, take V = Fⁿ so that G = GL(n,F). The stabilizer of a flag of nested subspaces V_i of dimension d_i can be taken to be the group of nonsingular block lower triangular matrices, where the dimensions of the blocks are n_i := d_i−d_i−1 (with d₀ = 0).

Restricting to matrices of determinant one, this is a parabolic subgroup P of SL(n,F), and thus the partial flag variety is isomorphic to the homogeneous space SL(n,F)/P.

If F is the real or complex numbers, then an inner product can be used to split any flag into a direct sum, and so the partial flag variety is also isomorphic to the homogeneous space

U(n)/U(n_{1})\times \cdots \times U(n_{k})

in the complex case, or

O(n)/O(n_{1})\times \cdots \times O(n_{k})

in the real case.

Generalization to semisimple groups

The upper triangular matrices of determinant one are a Borel subgroup of SL(n,F), and hence the stabilizers of partial flags are parabolic subgroups. Furthermore, a partial flag is determined by the parabolic subgroup which stabilizes it.

Hence, more generally, if G is a semisimple algebraic or Lie group, then the (generalized) flag variety for G is G/P where P is a parabolic subgroup of G. The correspondence between parabolic subgroups and generalized flag varieties allows each to be understood in terms of the other.

The extension of the terminology "flag variety" is reasonable, because points of G/P can still be described using flags. When G is a classical group, such as a symplectic group or orthogonal group, this is particularly transparent. If (V, ω) is a symplectic vector space then a partial flag in V is isotropic if the symplectic form vanishes on proper subspaces of V in the flag. The stabilizer of an isotropic flag is a parabolic subgroup of the symplectic group Sp(V,ω). For orthogonal groups there is a similar picture, with a couple of complications. First, if F is not algebraically closed, then isotropic subspaces may not exist: for a general theory, one needs to use the split orthogonal groups. Second, for vector spaces of even dimension 2m, isotropic subspaces of dimension m come in two flavours ("self-dual" and "anti-self-dual") and one needs to distinguish these to obtain a homogeneous space.

Cohomology

If G is a compact, connected Lie group, it contains a maximal torus T and the space G/T of left cosets with the quotient topology is a compact real manifold. If H is any other closed, connected subgroup of G containing T, then G/H is another compact real manifold. (Both are actually complex homogeneous spaces in a canonical way through complexification.)

The presence of a complex structure and cellular (co)homology make it easy to see that the cohomology ring of G/H is concentrated in even degrees, but in fact, something much stronger can be said. Because G → G/H is a principal H-bundle, there exists a classifying map G/H → BH with target the classifying space BH. If we replace G/H with the homotopy quotient G_H in the sequence G → G/H → BH, we obtain a principal G-bundle called the Borel fibration of the right multiplication action of H on G, and we can use the cohomological Serre spectral sequence of this bundle to understand the fiber-restriction homomorphism H*(G/H) → H*(G) and the characteristic map H*(BH) → H*(G/H), so called because its image, the characteristic subring of H*(G/H), carries the characteristic classes of the original bundle H → G → G/H.

Let us now restrict our coefficient ring to be a field k of characteristic zero, so that, by Hopf's theorem, H*(G) is an exterior algebra on generators of odd degree (the subspace of primitive elements). It follows that the edge homomorphisms

E_{r+1}^{0,r}\to E_{r+1}^{r+1,0}

of the spectral sequence must eventually take the space of primitive elements in the left column H*(G) of the page E₂ bijectively into the bottom row H*(BH): we know G and H have the same rank, so if the collection of edge homomorphisms were not full rank on the primitive subspace, then the image of the bottom row H*(BH) in the final page H*(G/H) of the sequence would be infinite-dimensional as a k-vector space, which is impossible, for instance by cellular cohomology again, because a compact homogeneous space admits a finite CW structure.

Thus the ring map H*(G/H) → H*(G) is trivial in this case, and the characteristic map is surjective, so that H*(G/H) is a quotient of H*(BH). The kernel of the map is the ideal generated by the images of primitive elements under the edge homomorphisms, which is also the ideal generated by positive-degree elements in the image of the canonical map H*(BG) → H*(BH) induced by the inclusion of H in G.

The map H*(BG) → H*(BT) is injective, and likewise for H, with image the subring H*(BT)^W(G) of elements invariant under the action of the Weyl group, so one finally obtains the concise description

H^{*}(G/H)\cong H^{*}(BT)^{W(H)}/{\big (}{\widetilde {H}}^{*}(BT)^{W(G)}{\big )},

where ${\widetilde {H}}^{*}$ denotes positive-degree elements and the parentheses the generation of an ideal. For example, for the complete complex flag manifold U(n)/Tⁿ, one has

H^{*}{\big (}U(n)/T^{n}{\big )}\cong \mathbb {Q} [t_{1},\ldots ,t_{n}]/(\sigma _{1},\ldots ,\sigma _{n}),

where the t_j are of degree 2 and the σ_j are the first n elementary symmetric polynomials in the variables t_j. For a more concrete example, take n = 2, so that U(2)/[U(1) × U(1)] is the complex Grassmannian Gr(1, $\mathbb {C}$ ²) ≈ $\mathbb {C}$ P¹ ≈ S². Then we expect the cohomology ring to be an exterior algebra on a generator of degree two (the fundamental class), and indeed,

H^{*}{\big (}U(2)/T^{2}{\big )}\cong \mathbb {Q} [t_{1},t_{2}]/(t_{1}+t_{2},t_{1}t_{2})\cong \mathbb {Q} [t_{1}]/(t_{1}^{2}),

as hoped.

Highest weight orbits and projective homogeneous varieties

If G is a semisimple algebraic group (or Lie group) and V is a (finite dimensional) highest weight representation of G, then the highest weight space is a point in the projective space P(V) and its orbit under the action of G is a projective algebraic variety. This variety is a (generalized) flag variety, and furthermore, every (generalized) flag variety for G arises in this way.

Armand Borel showed^{[ citation needed ]} that this characterizes the flag varieties of a general semisimple algebraic group G: they are precisely the complete homogeneous spaces of G, or equivalently (in this context), the projective homogeneous G-varieties.

Symmetric spaces

Let G be a semisimple Lie group with maximal compact subgroup K. Then K acts transitively on any conjugacy class of parabolic subgroups, and hence the generalized flag variety G/P is a compact homogeneous Riemannian manifold K/(K∩P) with isometry group K. Furthermore, if G is a complex Lie group, G/P is a homogeneous Kähler manifold.

Turning this around, the Riemannian homogeneous spaces

M = K/(K∩P)

admit a strictly larger Lie group of transformations, namely G. Specializing to the case that M is a symmetric space, this observation yields all symmetric spaces admitting such a larger symmetry group, and these spaces have been classified by Kobayashi and Nagano.

If G is a complex Lie group, the symmetric spaces M arising in this way are the compact Hermitian symmetric spaces: K is the isometry group, and G is the biholomorphism group of M.

Over the real numbers, a real flag manifold is also called an R-space, and the R-spaces which are Riemannian symmetric spaces under K are known as symmetric R-spaces. The symmetric R-spaces which are not Hermitian symmetric are obtained by taking G to be a real form of the biholomorphism group G^c of a Hermitian symmetric space G^c/P^c such that P := P^c∩G is a parabolic subgroup of G. Examples include projective spaces (with G the group of projective transformations) and spheres (with G the group of conformal transformations).

Related Research Articles

<span class="mw-page-title-main">Lie group</span> Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold.

In mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with the identity matrix as the identity element of the group. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.

In mathematics, the orthogonal group in dimension $, denoted, is the group of distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of orthogonal matrices, where the group operation is given by matrix multiplication. The orthogonal group is an algebraic group and a Lie group. It is compact.$

<span class="mw-page-title-main">Symplectic group</span> Mathematical group

In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted $Sp(2 n, F)$ and $Sp(n)$ for positive integer n and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by $. Many authors prefer slightly different notations, usually differing by factors of 2 . The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group Sp(2 n, C) is denoted C n, and Sp(n) is the compact real form of Sp(2 n, C) . Note that when we refer to the (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension n .$

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

<span class="mw-page-title-main">Homogeneous space</span> Topological space in group theory

In mathematics, a homogeneous space is, very informally, a space that looks the same everywhere, as you move through it, with movement given by the action of a group. Homogeneous spaces occur in the theories of Lie groups, algebraic groups and topological groups. More precisely, a homogeneous space for a group G is a non-empty manifold or topological space X on which G acts transitively. The elements of G are called the symmetries of X. A special case of this is when the group G in question is the automorphism group of the space X – here "automorphism group" can mean isometry group, diffeomorphism group, or homeomorphism group. In this case, X is homogeneous if intuitively X looks locally the same at each point, either in the sense of isometry, diffeomorphism, or homeomorphism (topology). Some authors insist that the action of G be faithful, although the present article does not. Thus there is a group action of G on X which can be thought of as preserving some "geometric structure" on X, and making X into a single G-orbit.

In mathematics, the Grassmannian $is a differentiable manifold that parameterizes the set of all -dimensional linear subspaces of an -dimensional vector space over a field . For example, the Grassmannian is the space of lines through the origin in, so it is the same as the projective space of one dimension lower than . When is a real or complex vector space, Grassmannians are compact smooth manifolds, of dimension . In general they have the structure of a nonsingular projective algebraic variety.$

In mathematics, particularly in linear algebra, a flag is an increasing sequence of subspaces of a finite-dimensional vector space V. Here "increasing" means each is a proper subspace of the next :

In mathematics, a linear algebraic group is a subgroup of the group of invertible $matrices that is defined by polynomial equations. An example is the orthogonal group, defined by the relation where is the transpose of .$

In mathematics, the Heisenberg group $, named after Werner Heisenberg, is the group of 3\times3 upper triangular matrices of the form$

In mathematics, the Borel–Weil–Bott theorem is a basic result in the representation theory of Lie groups, showing how a family of representations can be obtained from holomorphic sections of certain complex vector bundles, and, more generally, from higher sheaf cohomology groups associated to such bundles. It is built on the earlier Borel–Weil theorem of Armand Borel and André Weil, dealing just with the space of sections, the extension to higher cohomology groups being provided by Raoul Bott. One can equivalently, through Serre's GAGA, view this as a result in complex algebraic geometry in the Zariski topology.

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation that has a finite kernel and is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive.

In mathematics, the Stiefel manifold $is the set of all orthonormal k -frames in That is, it is the set of ordered orthonormal k -tuples of vectors in It is named after Swiss mathematician Eduard Stiefel. Likewise one can define the complex Stiefel manifold of orthonormal k -frames in and the quaternionic Stiefel manifold of orthonormal k -frames in . More generally, the construction applies to any real, complex, or quaternionic inner product space.$

<span class="mw-page-title-main">Symmetric space</span> A (pseudo-)Riemannian manifold whose geodesics are reversible.

In mathematics, a symmetric space is a Riemannian manifold whose group of symmetries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, leading to consequences in the theory of holonomy; or algebraically through Lie theory, which allowed Cartan to give a complete classification. Symmetric spaces commonly occur in differential geometry, representation theory and harmonic analysis.

<span class="mw-page-title-main">Hermitian symmetric space</span> Manifold with inversion symmetry

In mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds.

In algebraic geometry, a Schubert variety is a certain subvariety of a Grassmannian, $of -dimensional subspaces of a vector space, usually with singular points. Like the Grassmannian, it is a kind of moduli space, whose elements satisfy conditions giving lower bounds to the dimensions of the intersections of its elements, with the elements of a specified complete flag. Here may be a vector space over an arbitrary field, but most commonly this taken to be either the real or the complex numbers.$

In mathematics, a prehomogeneous vector space (PVS) is a finite-dimensional vector space V together with a subgroup G of the general linear group GL(V) such that G has an open dense orbit in V. Prehomogeneous vector spaces were introduced by Mikio Sato in 1970 and have many applications in geometry, number theory and analysis, as well as representation theory. The irreducible PVS were classified by Sato and Tatsuo Kimura in 1977, up to a transformation known as "castling". They are subdivided into two types, according to whether the semisimple part of G acts prehomogeneously or not. If it doesn't then there is a homogeneous polynomial on V which is invariant under the semisimple part of G.

<span class="mw-page-title-main">Complexification (Lie group)</span> Universal construction of a complex Lie group from a real Lie group

In mathematics, the complexification or universal complexification of a real Lie group is given by a continuous homomorphism of the group into a complex Lie group with the universal property that every continuous homomorphism of the original group into another complex Lie group extends compatibly to a complex analytic homomorphism between the complex Lie groups. The complexification, which always exists, is unique up to unique isomorphism. Its Lie algebra is a quotient of the complexification of the Lie algebra of the original group. They are isomorphic if the original group has a quotient by a discrete normal subgroup which is linear.

In mathematics, an invariant convex cone is a closed convex cone in a Lie algebra of a connected Lie group that is invariant under inner automorphisms. The study of such cones was initiated by Ernest Vinberg and Bertram Kostant.

In mathematics, a mutation, also called a homotope, of a unital Jordan algebra is a new Jordan algebra defined by a given element of the Jordan algebra. The mutation has a unit if and only if the given element is invertible, in which case the mutation is called a proper mutation or an isotope. Mutations were first introduced by Max Koecher in his Jordan algebraic approach to Hermitian symmetric spaces and bounded symmetric domains of tube type. Their functorial properties allow an explicit construction of the corresponding Hermitian symmetric space of compact type as a compactification of a finite-dimensional complex semisimple Jordan algebra. The automorphism group of the compactification becomes a complex subgroup, the complexification of its maximal compact subgroup. Both groups act transitively on the compactification. The theory has been extended to cover all Hermitian symmetric spaces using the theory of Jordan pairs or Jordan triple systems. Koecher obtained the results in the more general case directly from the Jordan algebra case using the fact that only Jordan pairs associated with period two automorphisms of Jordan algebras are required.

References

Robert J. Baston and Michael G. Eastwood, The Penrose Transform: its Interaction with Representation Theory, Oxford University Press, 1989.
Jürgen Berndt, Lie group actions on manifolds , Lecture notes, Tokyo, 2002.
Jürgen Berndt, Sergio Console and Carlos Olmos, Submanifolds and Holonomy , Chapman & Hall/CRC Press, 2003.
Michel Brion, Lectures on the geometry of flag varieties , Lecture notes, Varsovie, 2003.
James E. Humphreys, Linear Algebraic Groups , Graduate Texts in Mathematics, 21, Springer-Verlag, 1972.
S. Kobayashi and T. Nagano, On filtered Lie algebras and geometric structures I, II, J. Math. Mech. 13 (1964), 875–907, 14 (1965) 513–521.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.