Math 2.0

Algebraic geometry Definition

Schubert calculus

Builds on Schubert varietyGrassmannianCohomology ringChow group

Definition

Let 1≤d<n1 \le d < n, and let Gr(d,n)\mathrm{Gr}(d, n) be the complex Grassmannian. For each partition λ\lambda in the d×(n−d)d \times (n - d) rectangle, let σλ∈H2∣λ∣(Gr(d,n);ℤ)\sigma_\lambda \in H^{2 \abs{\lambda}}(\mathrm{Gr}(d, n); \Z) be the class of the Schubert variety XλX_\lambda. These classes form a ℤ\Z-basis of the cohomology ring H∗(Gr(d,n);ℤ)H^{*}(\mathrm{Gr}(d, n); \Z). Schubert calculus is the computation of the structure constants cλμνc_{\lambda \mu}^{\nu} in σλ⋅σμ=∑νcλμν σν,\sigma_\lambda \cdot \sigma_\mu = \sum_\nu c_{\lambda \mu}^{\nu} \, \sigma_\nu, and their use to count intersection points of Schubert varieties in general position. The same name is used for the analogous computations in the Chow ring and for flag varieties.

Remarks

For Grassmannians the constants cλμνc_{\lambda \mu}^{\nu} are the Littlewood–Richardson coefficients, and they are nonnegative. The Pieri rule computes the product with σk\sigma_k, for k=1,…,n−dk = 1, \ldots, n - d. It says that σkσλ\sigma_k \sigma_\lambda is the sum of σν\sigma_\nu over the ν\nu obtained from λ\lambda by adding kk boxes, no two in the same column. Only the ν\nu that fit in the d×(n−d)d \times (n - d) rectangle are counted.

Example: in Gr(2,4)\mathrm{Gr}(2, 4), the Pieri rule gives σ12=σ2+σ1,1\sigma_1^2 = \sigma_2 + \sigma_{1,1}, σ1σ2=σ1σ1,1=σ2,1\sigma_1 \sigma_2 = \sigma_1 \sigma_{1,1} = \sigma_{2,1} and σ1σ2,1=σ2,2\sigma_1 \sigma_{2,1} = \sigma_{2,2}. So σ14=2σ2,2\sigma_1^4 = 2 \sigma_{2,2}, and σ2,2\sigma_{2,2} is the class of a point. Hence 22 lines in ℙ3\mathbb{P}^3 meet four general lines.

Non-example: the count of lines meeting four lines in a common plane is not given by σ14\sigma_1^4. The four Schubert varieties are not in general position, and they meet in a positive-dimensional set.

Reading path

To understand this page from the ground up, read these 11 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Chow group concept
  2. Cohomology ring concept
  3. Dimension of an algebraic variety concept
  4. Exterior algebra concept
  5. Grassmannian as classifying space example
  6. Linear subspace concept
  7. Projective space concept
  8. Projective variety concept
  9. Schubert variety concept
  10. Grassmannian object
  11. Schubert calculus definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Schubert_calculus
About this page
Tag6GW1FHF9MB
URIm2://6GW1FHF9MB
Kinddefinition
WritingW0 stub
MSC14N15, 14M15, 05E14
DefinesSchubert calculus
UsesSchubert variety, Grassmannian, Cohomology ring, Chow group
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.