Loading AI tools
From Wikipedia, the free encyclopedia
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.
A typical example is the set of -dimensional subspaces of a 4-dimensional space that intersect a fixed (reference) 2-dimensional subspace nontrivially.
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 , 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 in is defined by specifying the minimal dimension of intersection of a -dimensional subspace with each of the spaces in a fixed reference complete flag , where . (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 with a Borel subgroup and a standard parabolic subgroup , it is known that the homogeneous space , which is an example of a flag variety, consists of finitely many -orbits, which may be parametrized by certain elements of the Weyl group . The closure of the -orbit associated to an element is denoted and is called a Schubert variety in . The classical case corresponds to , with , the th maximal parabolic subgroup of , so that is the Grassmannian of -planes in .
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, or 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 Fulton and MacPherson in intersection theory of singular algebraic varieties, also in the 1980s.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.