Schubert enumerative calculus
A formal calculus of symbols representing geometric conditions used to solve problems in enumerative geometry. This originated in work of M. Chasles [a3] on conics and was systematized and used to great effect by H. Schubert in [a13]. The justification of Schubert's enumerative calculus and the verification of the numbers he obtained was the contents of Hilbert's 15th problem (cf. also Hilbert problems).
Justifying Schubert's enumerative calculus was a major theme of twentieth century algebraic geometry, and intersection theory provides a satisfactory modern framework. Enumerative geometry deals with the second part of Hilbert's problem. See [a7] for a complete reference on intersection theory; for historical surveys and a discussion of enumerative geometry, see [a9], [a10].
The Schubert calculus also refers to mathematics arising from the following class of enumerative geometric problems: Determine the number of linear subspaces of projective space that satisfy incidence conditions imposed by other linear subspaces. For a survey, see [a12]. For example, how many lines in projective -space meet given lines? These problems are solved by studying both the geometry and the cohomology or Chow rings of Grassmann varieties (cf. also Chow ring; Grassmann manifold). This field of Schubert calculus enjoys important connections not only to algebraic geometry and algebraic topology, but also to algebraic combinatorics, representation theory, differential geometry, linear algebraic groups, and symbolic computation, and has found applications in numerical homotopy continuation [a8], linear algebra [a6] and systems theory [a2].
The Grassmannian of -dimensional subspaces (-planes) in over a field has distinguished Schubert varieties
where is a flag of linear subspaces with . The Schubert cycle is the cohomology class Poincaré dual to the fundamental homology cycle of (cf. also Homology). The basis theorem asserts that the Schubert cycles form a basis of the Chow ring (when is the complex number field, these are the integral cohomology groups ) of the Grassmannian with
(see also Grassmann manifold). The duality theorem asserts that the basis of Schubert cycles is self-dual under the intersection pairing
with dual to .
Let be a special Schubert cycle (cf. Schubert cycle). Then
the sum running over all with and . This Pieri formula determines the ring structure of cohomology; an algebraic consequence is the Giambelli formula for expressing an arbitrary Schubert cycle in terms of special Schubert cycles. Define if or , and . Then Giambelli's formula is
These four results enable computation in the Chow ring of the Grassmannian, and the solution of many problems in enumerative geometry. For instance, the number of -planes meeting general -planes non-trivially is the coefficient of in the product , which is [a14]
These four results hold more generally for cohomology rings of flag manifolds ; Schubert cycles form a self-dual basis, the Chevalley formula [a4] determines the ring structure (when is a Borel subgroup), and the Bernshtein–Gel'fand–Gel'fand formula [a1] and Demazure formula [a5] give the analogue of the Giambelli formula. More explicit Giambelli formulas are provided by Schubert polynomials.
One cornerstone of the Schubert calculus for the Grassmannian is the Littlewood–Richardson rule [a11] for expressing a product of Schubert cycles in terms of the basis of Schubert cycles. (This rule is usually expressed in terms of an alternative indexing of Schubert cycles using partitions. A sequence corresponds to the partition ; cf. Schur functions in algebraic combinatorics.) The analogue of the Littlewood–Richardson rule is not known for most other flag varieties .
|[a1]||I.N. Bernshtein, I.M. Gel'fand, S.I. Gel'fand, "Schubert cells and cohomology of the spaces " Russian Math. Surveys , 28 : 3 (1973) pp. 1–26|
|[a2]||C.I. Byrnes, "Algebraic and geometric aspects of the control of linear systems" C.I. Byrnes (ed.) C.F. Martin (ed.) , Geometric Methods in Linear systems Theory , Reidel (1980) pp. 85–124|
|[a3]||M. Chasles, "Construction des coniques qui satisfont à cinque conditions" C.R. Acad. Sci. Paris , 58 (1864) pp. 297–308|
|[a4]||C. Chevalley, "Sur les décompositions cellulaires des espaces " W. Haboush (ed.) , Algebraic Groups and their Generalizations: Classical Methods , Proc. Symp. Pure Math. , 56:1 , Amer. Math. Soc. (1994) pp. 1–23|
|[a5]||M. Demazure, "Désingularization des variétés de Schubert généralisées" Ann. Sci. École Norm. Sup. (4) , 7 (1974) pp. 53–88|
|[a6]||W. Fulton, "Eigenvalues, invariant factors, highest weights, and Schubert calculus" Bull. Amer. Math. Soc. , 37 (2000) pp. 209–249|
|[a7]||W. Fulton, "Intersection theory" , Ergebn. Math. , 2 , Springer (1998) (Edition: Second)|
|[a8]||B. Huber, F. Sottile, B. Sturmfels, "Numerical Schubert calculus" J. Symbolic Comput. , 26 : 6 (1998) pp. 767–788|
|[a9]||S. Kleiman, "Problem 15: Rigorous foundation of Schubert's enumerative calculus" , Mathematical Developments arising from Hilbert Problems , Proc. Symp. Pure Math. , 28 , Amer. Math. Soc. (1976) pp. 445–482|
|[a10]||S. Kleiman, "Intersection theory and enumerative geometry: A decade in review" S. Bloch (ed.) , Algebraic Geometry (Bowdoin, 1985) , Proc. Symp. Pure Math. , 46:2 , Amer. Math. Soc. (1987) pp. 321–370|
|[a11]||D.E. Littlewood, A.R. Richardson, "Group characters and algebra" Philos. Trans. Royal Soc. London. , 233 (1934) pp. 99–141|
|[a12]||S.L. Kleiman, D. Laksov, "Schubert calculus" Amer. Math. Monthly , 79 (1972) pp. 1061–1082|
|[a13]||H. Schubert, "Kälkul der abzählenden Geometrie" , Springer (1879) (Reprinted (with an introduction by S. Kleiman): 1979)|
|[a14]||H. Schubert, "Anzahl-Bestimmungen für lineare Räume beliebiger Dimension" Acta Math. , 8 (1886) pp. 97–118|
Schubert calculus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Schubert_calculus&oldid=15371