Schubert calculus

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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 (part of enumerative geometry). It was a precursor of several more modern theories, for example characteristic classes, and in particular its algorithmic aspects are still of current interest; the phrase "Schubert calculus" is sometimes used to mean the enumerative geometry of linear subspaces, roughly equivalent to describing the cohomology ring of Grassmannians, and sometimes used to mean the more general enumerative geometry of nonlinear varieties. Even more generally, “Schubert calculus” is often understood to encompass the study of analogous questions in generalized cohomology theories.

The objects introduced by Schubert are the Schubert cells, which are locally closed sets in a Grassmannian defined by conditions of incidence of a linear subspace in projective space with a given flag. For details see Schubert variety.

The intersection theory of these cells, which can be seen as the product structure in the cohomology ring of the Grassmannian of associated cohomology classes, in principle allows the prediction of the cases where intersections of cells results in a finite set of points, which are potentially concrete answers to enumerative questions. A supporting theoretical result is that the Schubert cells (or rather, their classes) span the whole cohomology ring.

In detailed calculations the combinatorial aspects enter as soon as the cells have to be indexed. Lifted from the Grassmannian, which is a homogeneous space, to the general linear group that acts on it, similar questions are involved in the Bruhat decomposition and classification of parabolic subgroups (by block matrix).

Putting Schubert's system on a rigorous footing is Hilbert's fifteenth problem.

References[edit]

  • Phillip Griffiths and Joseph Harris (1978), Principles of Algebraic Geometry, Chapter 1.5
  • Kleiman, Steven (1976). "Rigorous foundations of Schubert's enumerative calculus". In Felix E. Browder (ed.). Mathematical Developments Arising from Hilbert Problems. Proceedings of Symposia in Pure Mathematics. XXVIII.2. American Mathematical Society. pp. 445–482. ISBN 0-8218-1428-1.
  • Steven Kleiman and Dan Laksov (1972). "Schubert calculus" (PDF). American Mathematical Monthly. 79: 1061–1082. doi:10.2307/2317421.
  • Sottile, Frank (2001) [1994], "S/s130080", in Hazewinkel, Michiel (ed.), Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
  • David Eisenbud and Joseph Harris (2016), "3264 and All That: A Second Course in Algebraic Geometry".