nLab
Schubert calculus

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Group Theory

Schubert calculus

Idea

Schubert calculus is a formal calculus in enumerative geometry, which geometrically reduces to the combinatorics and intersection theory of so-called Schubert cells in Grassmannians.

Schubert calculus is concerned with the ring structure on the cohomology of flag varieties and Schubert varieties. Traditionally this is considered for ordinary cohomology (see References – traditional) later also for generalized cohomology theories (see References – In generalized cohomology), notably in complex oriented cohomology theory such as K-theory, elliptic cohomology and algebraic cobordism.

The rigorous foundations of Schubert calculus is the content of 15th of Hilbert's problems.

Details

Flag varieties and Schubert varieties

The basic data to be fixed is a sequence of inclusions

TBG T \subset B \subset G

where

This induces

  • the Weyl group W 0=N(T)/TW_0 = N(T)/T;

  • the character lattice 𝔥 *=Hom(T, ×)\mathfrak{h}_{\mathbb{Z}}^\ast = Hom(T, \mathbb{C}^\times);

  • the cocharacter lattice 𝔥 =Hom( ×,T)\mathfrak{h}_{\mathbb{Z}} = Hom(\mathbb{C}^\times, T).

  • a standard parabolic subgroup of GG is a subgroup P JP_J including BB such that G/PG/P is a projective variety;

    parabolic subgroup is one conjugate to the standard parabolic subgroup.

  • the flag variety G/BG/B;

  • the partial flag varieties G/P JG/P_J

  • the Bruhat decomposition is the coproduct decomposition

    G=wW 0BwB G = \underset{w \in W_0}{\coprod} B w B
    G=uW JBuP j G = \underset{u \in W^J}{\coprod} B u P_j

    with

    • W J{vW 0vTP J}W_J \coloneqq \{v \in W_0 | v T \subset P_J\}

    • W J{cosetrepresentativesuofcosetsinW 0/W J}W^J \coloneqq \{coset\; representatives\; u \; of \; cosets \; in W_0/W_J\}

  • into the Schubert varieties

    X wBwB¯G/B X_w \coloneqq \overline{B w B} \subset G/B
    X u JBuP J¯G/P J. X_u^J \coloneqq \overline{B u P_J} \subset G/P_J \,.

Correspondences, pull-push and Schubert classes

From the above data one obtains homomorphisms of spaces with GG-action forming correspondences (“generalized twistor correspondence”)

G/B p 1 p 2 G/P 1 G/P 2. \array{ && G/B \\ & {}^{\mathllap{p_1}}\swarrow && \searrow^{\mathrlap{p_2}} \\ G/P_1 && && G/P_2 } \,.

e.g. (Ganter-Ram 12, p.4)

For fiber integration (p i) !(p_i)_! in generalized cohomology theories along these maps see (Ganter-Ram 12, 4.1)

Similarly, let

σ w:X wG/B \sigma_w \;\colon\; X_w \hookrightarrow G/B

be the inclusion of the Schubert varieties, then push-forward of the unit classes allong these inclusions defined Schubert classes

[X w](σ w) !(w) [X_w] \coloneqq (\sigma_w)_!(w)

(Ganter-Ram 12, 5)

For equivariant K-theory this is discussed in (Ganter 12, 8.2). For equivariant elliptic cohomology in (Ganter 12, 8.3)

Schubert products

With Schubert classes [X w][X_w] defines as above in a multiplicative cohomology theory, the Schubert product formula is

[X u][X v]=wW 0c uv w[X w] [X_u][X_v] = \underset{w \in W_0}{\sum} c^w_{u v} [X_w]

for some coefficients {c uv w}\{c^w_{u v}\}, to be determined.

(Ganter-Ram 12, 6)

References

Traditional

  • [eom]: Frank Sotile, Schubert calculus

  • wikipedia Schubert calculus

  • H. Schubert, Kalkül der abzählenden Geometrie, Springer (1879) (Reprinted (with an introduction by S. Kleiman): 1979), MR0555576

  • S.L. Kleiman, D. Laksov, Schubert calculus, Amer. Math. Monthly 79 (1972) pp. 1061–1082, MR0323796, jstor

In generalized cohomology theory

Discussion of Schubert calculus in generalized cohomology theories is in

  • Paul Bressler, Sam Evens. The Schubert calculus, braid relations, and generalized cohomology. Trans. Amer. Math. Soc., 317(2):799–811, 1990
  • Paul Bressler, Sam Evens, Schubert calculus in complex cobordism Trans. Amer. Math. Soc., 331(2):799–813, 1992

  • Baptiste Calmès, Victor Petrov, Kirill Zainoulline, Invariants, torsion indices and oriented cohomology of complete flags May 200 (web)

  • Jens Hornbostel, Valentina Kiritchenko, Schubert calculus for algebraic cobordism. J. Reine Angew. Math., 656:59–85, 2011

  • Nora Ganter, Arun Ram, Generalized Schubert calculus, (arxiv/1212.5742)

  • Nora Ganter, The elliptic Weyl character formula (arXiv:1206.0528)

Revised on February 16, 2014 05:39:23 by Urs Schreiber (89.204.153.238)