Schubert Variety
   HOME

TheInfoList



OR:

In
algebraic geometry Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...
, a Schubert variety is a certain
subvariety Subvariety may refer to: * Subvariety (botany) * Subvariety (algebraic geometry) * Variety (universal algebra) In universal algebra, a variety of algebras or equational class is the class of all algebraic structures of a given signature satis ...
of a
Grassmannian In mathematics, the Grassmannian \mathbf_k(V) (named in honour of Hermann Grassmann) is a differentiable manifold that parameterizes the set of all k-dimension (vector space), dimensional linear subspaces of an n-dimensional vector space V over a ...
, \mathbf_k(V) of k-dimensional subspaces of a vector space V, usually with singular points. Like the Grassmannian, it is a kind of
moduli space In mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme (mathematics), scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of suc ...
, whose elements satisfy conditions giving lower bounds to the dimensions of the intersections of its elements w\subset V, with the elements of a specified complete flag. Here V may be a vector space over an arbitrary
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
, but most commonly this taken to be either the real or the
complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s. A typical example is the set X of 2-dimensional subspaces w \subset V of a 4-dimensional space V that intersect a fixed (reference) 2-dimensional subspace V_2 nontrivially. :X \ =\ \. Over the
real number In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every re ...
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(V), 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 Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the solution set, set of solutions of a system of polynomial equations over the real number, ...
. 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 \mathbf_k(V) is defined by specifying the minimal dimension of intersection of a k-dimensional subspace w\subset V with each of the spaces in a fixed reference complete flag V_1\subset V_2\subset \cdots \subset V_n=V, where \dim V_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 In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of ''sim ...
algebraic group In mathematics, an algebraic group is an algebraic variety endowed with a group structure that is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory. Man ...
G with a
Borel subgroup In the theory of algebraic groups, a Borel subgroup of an algebraic group ''G'' is a maximal Zariski closed and connected solvable algebraic subgroup. For example, in the general linear group ''GLn'' (''n x n'' invertible matrices), the subgr ...
B and a standard parabolic subgroup P, it is known that the
homogeneous space 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 ...
G/P, which is an example of a flag variety, consists of finitely many B-orbits, which may be parametrized by certain elements w\in W of the
Weyl group In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections t ...
W. The closure of the B-orbit associated to an element w\in W is denoted X_ and is called a Schubert variety in G/P. The classical case corresponds to G=SL_n, with P=P_k, the kth maximal parabolic subgroup of SL_n, so that G/P = \mathbf_k(\mathbf^n) is the Grassmannian of k-planes in \mathbf^n.


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 polynomial In the mathematical field of representation theory, a Kazhdan–Lusztig polynomial P_(q) is a member of a family of integral polynomials introduced by . They are indexed by pairs of elements ''y'', ''w'' of a Coxeter group ''W'', which can in parti ...
s, which encode their local Goresky–MacPherson
intersection cohomology In topology, a branch of mathematics, intersection homology is an analogue of singular homology especially well-suited for the study of singular spaces, discovered by Mark Goresky and Robert MacPherson in the fall of 1974 and developed by them ov ...
. The algebras of regular functions on Schubert varieties have deep significance in
algebraic combinatorics Algebraic combinatorics is an area of mathematics that employs methods of abstract algebra, notably group theory and representation theory, in various combinatorial contexts and, conversely, applies combinatorial techniques to problems in algeb ...
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 Zeuthen is a Municipalities of Germany, municipality in the district of Dahme-Spreewald in Brandenburg in Germany. Geography It is located near the southeastern Berlin city limits on the western shore of the Dahme (river), Dahme River and the Zeu ...
in the 19th century under the heading of enumerative geometry. This area was deemed by
David Hilbert David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician and philosopher of mathematics and one of the most influential mathematicians of his time. Hilbert discovered and developed a broad range of fundamental idea ...
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 Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up t ...
and
representation theory Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), ...
, 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 In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theorem o ...
of singular algebraic varieties, also in the 1980s.


See also

*
Schubert calculus In mathematics, Schubert calculus is a branch of algebraic geometry introduced in the nineteenth century by Hermann Schubert in order to solve various counting problems of projective geometry and, as such, is viewed as part of enumerative geometr ...
*
Bruhat decomposition In mathematics, the Bruhat decomposition (introduced by François Bruhat for classical groups and by Claude Chevalley in general) G=BWB of certain algebraic groups G=BWB into cells can be regarded as a general expression of the principle of Gaussâ ...
*
Bott–Samelson resolution In algebraic geometry, the Bott–Samelson resolution of a Schubert variety is a resolution of singularities. It was introduced by in the context of compact Lie groups. The algebraic formulation is independently due to and . Definition Let ''G ...
* Schubert polynomial


References

* * * 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 Topology of homogeneous spaces Representation theory Commutative algebra Algebraic combinatorics