## The Schubert calculus framework

Last update: 17 February 2013

## The Schubert calculus framework

### Flag an Schubert varieties

The basic data is

$G a connected complex reductive algebraic group ∪∣ B a Borel subgroup ∪∣ T a maximal torus. (2.1)$

The Weyl group, the character lattice and cocharacter lattice are, respectively,

$W0=N(T)/T, 𝔥ℤ*= Hom(T,ℂ×) and𝔥ℤ=Hom (ℂ×,T), (2.2)$

where $\text{Hom}\left(H,K\right)$ is the abelian group of algebraic group homomorphisms from $H$ to $K$ with product given by pointwise multiplication, $\left(\varphi \phi \right)\left(h\right)=\varphi \left(h\right)\phi \left(h\right)\text{.}$ Since the Weyl group acts on $T,$ it also acts on ${𝔥}_{ℤ}^{*}$ and on ${𝔥}_{ℤ}\text{.}$

A standard parabolic subgroup of $G$ is a subgroup ${P}_{J}\supseteq B$ such that $G/{P}_{J}$ is a projective variety. A parabolic subgroup of $G$ is a conjugate of a standard parabolic subgroup.

$The flag variety is G/Band G/PJ are the partial flag varieties. (2.3)$

These are studied via the Bruhat decomposition

$G=⨆w∈W0Bw BandG= ⨆u∈WJBu PJ (2.4)$

where ${W}_{J}=\left\{v\in {W}_{0} \mid vT\subseteq {P}_{J}\right\}$ and

$WJ= { coset representatives u of cosets in W0/WJ } . (2.5)$

The Schubert varieties are

$Xw= BwB‾in G/Band XuJ= BuPJ‾ in G/PJ, (2.6)$

and the Bruhat orders are the partial orders on ${W}_{0}$ and ${W}_{J}$ given by

$Xw=BwB‾= ⨆v≤wBvB andXuJ= BuPJ‾= ⨆z≤uBzPJ. (2.7)$

The $T\text{-fixed}$ points

$in G/B are { wB ∣ w∈W0 } andin G/PJ are { uPJ ∣ u∈ WJ } . (2.8)$

Let ${P}_{1},\dots ,{P}_{n}$ be the minimal parabolic subgroups ${P}_{i}\ne B\text{.}$ Then

$Wi=W{i}= {1,si}and s1,…,sn are the simple reflections in W0. (2.9)$

With respect to the action ${W}_{0}$ on ${𝔥}_{ℝ}^{*}=ℝ{\otimes }_{ℤ}{𝔥}_{ℤ}^{*},$ the ${s}_{i}$ are reflections in the hyperplanes ${\left({𝔥}^{*}\right)}^{{s}_{i}}=\left\{\mu \in {𝔥}_{ℝ}^{*} \mid {s}_{i}\mu =\mu \right\}\text{.}$ An alternative description of the standard parabolic subgroups is to let $J\subseteq \left\{1,2,\dots ,n\right\}$ and let

$WJ= ⟨ sj ∣ j∈J ⟩ .ThenPJ= ⨆v∈WJ BvB. (2.10)$

In particular, ${P}_{i}={P}_{\left\{i\right\}}=B\bigsqcup B{s}_{i}B,$ for $i=1,2,\dots ,n\text{.}$

Theorem 2.1. (Coxeter) The group ${W}_{0}$ is generated by ${s}_{1},\dots ,{s}_{n}$ with relations

$si2=1and sisjsi… ⏟mij factors = sjsisj… ⏟mij factors$

where $\pi /{m}_{ij}={\left({𝔥}^{*}\right)}^{{s}_{i}}\angle {\left({𝔥}^{*}\right)}^{{s}_{j}}$ is the angle between ${\left({𝔥}^{*}\right)}^{{s}_{i}}$ and ${\left({𝔥}^{*}\right)}^{{s}_{j}}\text{.}$

The definitions in (2.3), (2.8) and (2.6) provide $T\text{-equivariant}$ maps

$pJ: G/B ⟶ G/PJ gB ⟼ gPJ ιw: pt ↪ G/B pt ⟼ wB σw: Xw ↪ G/B gB ⟼ gB (2.11)$

and

$ιuJ: pt ↪ G/PJ pt ⟼ uPJ σuJ: XuJ ↪ G/PJ gPJ ⟼ gPJ (2.12)$

for $J\subseteq \left\{1,2,\dots ,\ell \right\},$ $w\in {W}_{0},$ and $u\in {W}^{J}\text{.}$

For example, in type $G=G{L}_{3},$ with $T$ and $B$ the subgroups given by

$T= { ( * 0 0 0 * 0 0 0 * ) } andB= { ( * * * 0 * * 0 0 * ) } ,$

then ${W}_{0}=⟨{s}_{1},{s}_{2} \mid {s}_{i}^{2}=1,{s}_{1}{s}_{2}{s}_{1}={s}_{2}{s}_{1}{s}_{2}⟩,$ where

$s1= ( 0 1 0 1 0 0 0 0 1 ) ands2= ( 0 1 0 1 0 0 0 0 1 ) .$

Then

$\begin{array}{cc}& {X}_{{w}_{0}}=G/B\\ {X}_{{s}_{1}{s}_{2}}& & {X}_{{s}_{2}{s}_{1}}\\ \text{}\\ {X}_{{s}_{1}}& & {X}_{{s}_{2}}\\ & \text{pt}={X}_{1}\end{array} and \begin{array}{cc}& G/B\\ G/{P}_{1}& & G/{P}_{2}\\ & G/G=\text{pt}\end{array}$

where ${P}_{1}$ and ${P}_{2}$ are the subgroups of $G=G{L}_{3}\left(ℂ\right)$ given by

$P1= { ( * * * * * * 0 0 * ) } =B⊔Bs1Band P2= { ( * * * 0 * * 0 * * ) } =B⊔Bs2B.$

### Generalized cohomology theories

Schubert calculus is the study of the cohomology of flag and Schubert varieties. Although the home for our computations is the particular ring $S=𝕃\left[\left[{y}_{\lambda }\right]\right]$ of (3.4) the motivation comes from the formalism of generalized cohomology theories $h\text{.}$ Model examples are: ordinary cohomology $H,$ $K\text{-theory}$ $K,$ elliptic cohomology (see [MRa2330502, GKV9505012, Gro1994, And1637129, Lur2597740]) and complex and algebraic cobordism $\Omega$ (see [LMo2286826]). Key to our point of view is that if $f:X\to Y$ is a morphism of spaces, the contravariance of the cohomology theory provides

$a pullbackf*:h(Y)→ h(X),anda pushforward f!:h(X)→h(Y)$

exists if the morphism $f$ is nice enough. Our true interest is in the morphisms in (2.11) and (2.12) and (4.5). Sometimes we will try to consider, by combinatorial gadgetry, pushforwards across these morphisms even in cases where we are not sure that, for any given cohomology theory, the pushforward properly exists.

As in [CPZ0905.1341, §8.2], the important property for the analysis of Schubert calculus is that an oriented cohomology theory $h$ comes with a formal group law $F$ over the coefficient ring $h\left(pt\right)$ such that

$F ( c1h(ℒ1), c1h(ℒ2) ) =c1h (ℒ1⊗ℒ2),$

where ${ℒ}_{1}$ and ${ℒ}_{2}$ are line bundles on $X$ and ${c}_{1}^{h}$ denotes the first Chern class in the cohomology theory $h$ (see [LMo2286286, Cor. 4.1.8]). The Lazard ring $𝕃$ is generated by symbols ${a}_{ij},$ for $i,j\in {ℤ}_{>0},$ which satisfy the relations given by the equations

$F(x,F(y,z))= F(F(x,y),z), F(x,y)=F (y,x),F (x,0)=x, (2.13)$

where

$F(x,y)=x+y+ a11xy+a12x y2+a21x2y +…$

The ring $𝕃$ is the universal coefficient ring for a formal group law $F\text{.}$ This ring is one of the ingredients for the construction of the ring $S$ where we do our computations.

A equivariant cohomology theory ${h}_{T}$ is a functor from $T\text{-spaces}$ (some appropriate class of topological or geometric objects with $T\text{-action)}$ to some class of algebraic objects (in most of our model examples, ${h}_{T}\text{(pt)-algebras).}$ Important features and properties of the theory include:

1. Normalization: specification of ${h}_{T}\text{(pt),}$
2. nice behaviour under products, smashes, suspensions: such as axioms for computing ${h}_{G×K}\left(M×N\right),$
3. functoriality/pullbacks: if $f:X\to Y$ then we have ${f}^{*}:{h}_{T}\left(Y\right)\to {h}_{T}\left(X\right)$
4. Thom isomorphism/orientability/pushforwards: For certain classes of maps $f:X\to Y$ there exists a pushforward ${f}_{!}:{h}_{T}\left(X\right)\to {h}_{T}\left(Y\right),$
5. Change of groups: For certain classes of groups $G$ and $K$ and group homomorphisms $\phi :G\to K$ there exist ${\chi }_{\phi }:{h}_{G}\to {h}_{K}$ and ${\chi }^{\phi }:{h}_{K}\to {h}_{G}\text{.}$

The art of choosing appropriate categories of input $\text{"}T\text{-spaces",}$ of output “algebraic objects” and widening the classes of maps on which pushforwards and/or change of groups homomorphisms are defined is a beautiful chapter in algebraic topology and geometry. The challenge of extending a nonequivariant generalized cohomology theory to the equivariant case can be considerable. For such a genuinely equivariant theory the formal groups above will be replaced by actual groups but we do not emphasize this point of view here. For a small selection of references we refer the reader to [Ada1324104, p. 37-29] for a discussion of the connection to formal group laws and spectra, [May1413302, Chapt. XIII] and [Oko0645496] for a discussion of equivariant orientable theories as Mackey functors and [GKV9505012, (1.5)] for discussion of axioms for equivariant elliptic cohomology.

In order to specify a home for our computations in Schubert calculus in equivariant cohomology theories we follow [HHH0409305]. They restrict their class of spaces to GKM spaces: stratified $T\text{-spaces}$

$X=⋃i∈ℤ>0 Xi,X1⊆X2 ⊆X3⊆…,$

where the successive quotients ${X}_{i}/{X}_{i-1}$ are homeomorphic to the Thom spaces $Th\left({V}_{i}\right)$ of some $h\text{-orientable}$ $T\text{-vector}$ bundles ${V}_{i}\to {F}_{i}$ (see [HHH0409305, (2.1)]). As pointed out in [HHH0409305, Remark 3.3], for the case of flag and Schubert varieties that are the focus of this paper, the ${F}_{i}$ are points and the ${V}_{i}$ are one dimensional representations of $T\text{.}$ In particular, the assumptions of [HHH0409305, §3] hold for these cases.

### The Borel model for ${h}_{T}\left(G/B\right)$

The general combinatorial Schubert calculus uses ${𝔥}_{ℤ}^{*}$ and ${𝔥}_{ℤ}$ to build a $C\text{-algebra}$ $R$ with an action of ${W}_{0}$ on $R$ by $C\text{-algebra}$ automorphisms (in favorite examples $C$ may be $ℤ,$ or the ring ${\stackrel{\sim }{Th}}_{0}$ of holomorphic functions on the upper half plane, or the Lazard ring $𝕃,$ see the examples below). If

$RW0= { f∈R ∣ wf=f for w∈W0 } is the invariant ring,$

then, conceptually,

$R=hT(pt) andRW0=hG (pt), (2.14)$

for the equivariant cohomology theory ${h}_{T}$ under analysis. By definition, the coinvariant ring is

$R⊗RW0R= R⊗CR ⟨ f⊗1-1⊗f ∣ f∈RW0 ⟩ , (2.15)$

where the terminology is chosen to be representative of the classical terminology in the study of the cohomology of $G/B,$ not to reflect a notion of coinvariants with respect to a group action. Then (see [Bor0051508, Proposition 26.1], [KLu0862716, Proposition 1.6], [KKr1104.1089, Theorem 4.7]) the ring

$R⊗RW0R is a good combinatorial model forhT (G/B), (2.16)$

where the product on $R{\otimes }_{{R}^{{W}_{0}}}R$ is given by $\left({f}_{1}\otimes {g}_{1}\right)\left({f}_{2}\otimes {g}_{2}\right)={f}_{1}{f}_{2}\otimes {g}_{1}{g}_{2}\text{.}$

There are four favorite examples:

Cohomology: ${h}_{T}={H}_{T}\text{.}$ Here

$HT(pt)=S (𝔥ℤ*)=ℂ [x1,…,xn] and HG(pt)=HT (pt)W0=ℂ [x1,…,xn] W0 ,$

where ${x}_{i}={x}_{{\omega }_{i}},$ where ${\omega }_{1},\dots ,{\omega }_{n}$ is a $ℤ\text{-basis}$ of ${𝔥}_{ℤ}^{*}\text{.}$ Alternatively, ${H}_{T}\left(\text{pt}\right)$ is the ring

$ℂ [ xλ ∣ λ∈ 𝔥ℤ* ] withxλ+μ= xλ+xμ,$

for $\lambda ,\mu \in {𝔥}_{ℤ}^{*}$ and with $w{x}_{\lambda }={x}_{w\lambda }$ for $w\in {W}_{0}$ and $\lambda \in {𝔥}_{ℤ}^{*}\text{.}$ Then

$HT(G/B)=HT (pt)⊗HG(pt) HT(pt)= ℂ [ y1,…,yn, x1,…,xn ] ⟨ f(x1,…,xn)- f(y1,…,yn) ∣ f∈ℂ [x1,…,xn] W0 ⟩ .$

K-theory: ${h}_{T}={K}_{T}\text{.}$ Here

$KT(pt)=ℂ [𝔥ℤ*]=ℂ [ X1±1,…, Xn±1 ] and KG(pt)=KT (pt)W0=ℂ [ X1±1,…, Xn±1 ] W0 ,$

where ${X}_{i}={e}^{{\omega }_{i}},$ where ${\omega }_{1},\dots ,{\omega }_{n}$ is a $ℤ\text{-basis}$ of ${𝔥}_{ℤ}^{*}\text{.}$ Alternatively, ${K}_{T}\left(\text{pt}\right)$ is the ring

$ℂ[eλ ∣ λ∈𝔥ℤ*] witheλ+μ= eλeμ,$

for $\lambda ,\mu \in {𝔥}_{ℤ}^{*}$ and with $w{e}^{\lambda }={e}^{w\lambda }$ for $w\in {W}_{0}$ and $\lambda \in {𝔥}_{ℤ}^{*}\text{.}$ Then

$KT(G/B)=KT (pt)⊗KG(pt) KT(pt)= ℂ [ Y1±1,…, Yn±1, X1±1,…, Xn±1 ] ⟨ f(X1,…,Xn)- f(Y1,…,Yn) ∣ f∈ℂ [ X1±1,…, Xn±1 ] W0 ⟩ .$

Elliptic cohomology: ${h}_{T}={Ell}_{T}\text{.}$ Here ${Ell}_{T}\left(\text{pt}\right)$ is the structure sheaf of the abelian variety ${A}_{\tau }={𝔥}_{ℂ}^{*}/\left({𝔥}_{ℤ}^{*}+\tau {𝔥}_{ℤ}^{*}\right)\text{.}$ The homogeneous coordinate ring

$for Aτ is Th∼= ⨁m∈ℤ≥0 Th∼m,and for Aτ/W0 is Th∼W0.$

Then the graded $\stackrel{\sim }{Th}\text{-module}$ corresponding to

$the sheaf EllT(G/B) on Aτ is Th∼ ⊗Th∼W0 Th∼.$

Complex or algebraic cobordism: ${h}_{T}={\Omega }_{T}\text{.}$ Algebraic cobordism is treated in the book of Levine-Morel [LMo2286826] and $T\text{-equivariant}$ algebraic cobordism ${\Omega }_{T}$ is treated in [Kri1006.3176] and [KKr1104.1089]. The following summary of our setting is made precise by Theorem 3.1 below.

The Lazard ring $𝕃$ is the coefficient ring for the universal formal group law $F$ so that $𝕃$ is given by generators ${a}_{ij}$ with relations given by setting

$F(x,y)=x+y+ ∑i,j∈ℤ>0 aijxiyi in 𝕃[[x,y]],$

and requiring

$F(x,0)=F(0,x) =x,F(x,y)=F (y,x),F (x,F(y,z))=F (F(x,y),z).$

Then

$ΩT(pt)=𝕃 [ [ xλ ∣ λ∈𝔥ℤ* ] ] withxλ+μ= xλ+Fxμ=F (xλ,xμ),$

for $\lambda ,\mu \in {𝔥}_{ℤ}^{*}\text{.}$ Then

$ΩG(pt)= ΩT (pt)W0=𝕃 [ [ xλ ∣ λ∈𝔥ℤ* ] ] W0 ,wherewxλ= xwλ,$

for $w\in {W}_{0}$ and $\lambda \in {𝔥}_{ℤ}^{*},$ and

$ΩT(G/B)= ΩT(pt) ⊗ΩG(pt) ΩT(pt)= 𝕃 [ [ yλ,xμ ∣ λ∈𝔥ℤ* ] ] ⟨ f(x)-f(y) ∣ f∈𝕃 [ [ xλ ∣ λ∈𝔥ℤ* ] ] W0 ⟩ .$

Sample references for such identities are [KKu0866159] for the case of ${H}_{T}\left(G/B\right),$ [KKu0895705], [KLu0862716], [CGi1433132] for ${K}_{T}\left(G/B\right),$ [KPe0750341], [Gro1994], [GKV9505012], [And1637129], [Gan1206.0528] for ${Ell}_{T}\left(G/B\right)$ and [HHH0409305], [CPZ0905.1341], [HKi0903.3926], [KKr1104.1089] for ${\Omega }_{T}\left(G/B\right)\text{.}$

The cobordism case specializes to the cases of cohomology ${H}_{T}$ and $K\text{-theory}$ ${K}_{T}$ by setting

$F(x,y)= { x+y, in HT, x+y-xy, in KT, andxλ= { xλ, ∈ HT, 1-eλ, in KT.$

## Notes and References

This is an excerpt from a paper entitled Generalized Schubert Calculus authored by Nora Ganter and Arun Ram. It was dedicated to C.S. Seshadri on the occasion of his 90th birthday.