Schubert Cycle

In algebraic geometry, a Schubert variety is a certain subvariety of a Grassmannian, usually with singular points. Like a Grassmannian, it is a kind of moduli space, whose points correspond to certain kinds of subspaces ''V'', specified using linear algebra, inside a fixed vector subspace ''W''. Here ''W'' may be a vector space over an arbitrary field, though most commonly over the complex numbers.

A typical example is the set ''X'' whose points correspond to those 2-dimensional subspaces ''V'' of a 4-dimensional vector space ''W'', such that ''V'' non-trivially intersects a fixed (reference) 2-dimensional subspace ''W''₂:

:$X \ =\ \.$

Over the real number field, this can be pictured in usual ''xyz''-space as follows. Replacing subspaces with their corresponding projective spaces, and intersecting with an affine coordinate patch of $\mathbb(W)$, we obtain an open subset ''X''° ⊂ ''X''. This is isomorphic to the set of all lines ''L'' (not necessarily through the origin) which meet the ''x''-axis. Each such line ''L'' corresponds to a point of ''X''°, and continuously moving ''L'' in space (while keeping contact with the ''x''-axis) corresponds to a curve in ''X''°. Since there are three degrees of freedom in moving ''L'' (moving the point on the ''x''-axis, rotating, and tilting), ''X'' is a three-dimensional real algebraic variety. However, when ''L'' is equal to the ''x''-axis, it can be rotated or tilted around any point on the axis, and this excess of possible motions makes ''L'' a singular point of ''X''.

More generally, a Schubert variety is defined by specifying the minimal dimension of intersection between a ''k''-dimensional ''V'' with each of the spaces in a fixed reference flag $W_1\subset W_2\subset \cdots \subset W_n=W$, where $\dim W_j=j$. (In the example above, this would mean requiring certain intersections of the line ''L'' with the ''x''-axis and the ''xy''-plane.)

In even greater generality, given a semisimple algebraic group ''G'' with a Borel subgroup ''B'' and a standard parabolic subgroup ''P'', it is known that the homogeneous space ''X'' = ''G''/''P'', which is an example of a flag variety, consists of finitely many ''B''-orbits that may be parametrized by certain elements of the Weyl group ''W''. The closure of the ''B''-orbit associated to an element ''w'' of the Weyl group is denoted by ''X''_w and is called a Schubert variety in ''G''/''P''. The classical case corresponds to ''G'' = SL_''n'' and ''P'' being the ''k''th maximal parabolic subgroup of ''G''.

Significance

Schubert varieties form one of the most important and best studied classes of singular algebraic varieties. A certain measure of singularity of Schubert varieties is provided by Kazhdan–Lusztig polynomials, which encode their local Goresky–MacPherson intersection cohomology.

The algebras of regular functions on Schubert varieties have deep significance in algebraic combinatorics and are examples of algebras with a straightening law. (Co)homology of the Grassmannian, and more generally, of more general flag varieties, has a basis consisting of the (co)homology classes of Schubert varieties, the Schubert cycles. The study of the intersection theory on the Grassmannian was initiated by Hermann Schubert and continued by Zeuthen in the 19th century under the heading of enumerative geometry. This area was deemed by David Hilbert important enough to be included as the fifteenth of his celebrated 23 problems. The study continued in the 20th century as part of the general development of algebraic topology and representation theory, but accelerated in the 1990s beginning with the work of William Fulton on the degeneracy loci and Schubert polynomials, following up on earlier investigations of Bernstein–Gelfand–Gelfand and Demazure in representation theory in the 1970s, Lascoux and Schützenberger in combinatorics in the 1980s, and of Fulton and MacPherson in intersection theory of singular algebraic varieties, also in the 1980s.

See also

* Schubert calculus
* Bruhat decomposition
* Bott–Samelson resolution

References

*P.A. Griffiths, J.E. Harris, ''Principles of algebraic geometry'', Wiley (Interscience) (1978)
*
*H. Schubert, ''Lösung des Charakteristiken-Problems für lineare Räume beliebiger Dimension'' Mitt. Math. Gesellschaft Hamburg, 1 (1889) pp. 134–155

{{Authority control
Algebraic geometry
Representation theory
Commutative algebra
Algebraic combinatorics