Schubert variety explained
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.
X = \{w\subsetV\mid\dim(w)=2,\dim(w\capV2)\ge1\}.
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
V1\subsetV2\subset … \subsetVn=V
, where
. (In the example above, this would mean requiring certain intersections of the line
L with the
x-axis and the
xy-plane.)
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
.
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, 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.
See also
References
- Book: Griffiths . P.A. . Harris . J.E. . Phillip Griffiths . Joel Harris . Principles of algebraic geometry . Wiley-Interscience . Wiley Classics Library edition . 1994 . 0-471-05059-8 . 10.1002/9781118032527 .
- H. Schubert, Lösung des Charakteristiken-Problems für lineare Räume beliebiger Dimension Mitt. Math. Gesellschaft Hamburg, 1 (1889) pp. 134–155
- Book: Fulton, William . William Fulton (mathematician) . Young Tableaux. With Applications to Representation Theory and Geometry, Chapts. 5 and 9.4 . 1997 . London Mathematical Society Student Texts . 35 . Cambridge University Press . Cambridge, U.K.. 9780521567244 . 10.1017/CBO9780511626241 .
- Book: Fulton . William . William Fulton (mathematician) . Intersection Theory . . Berlin, New York . 978-0-387-98549-7 . 1644323 . 1998 .