In mathematics, Monk's formula, found by Monk (1959), is an analogue of Pieri's formula that describes the product of a linear Schubert polynomial by a Schubert polynomial. Equivalently, it describes the product of a special Schubert cycle by a Schubert cycle in the cohomology of a flag manifold. Write tij for the transposition (i j), and si = ti,i+1. Then 𝔖sr = x1 + ⋯ + xr, and Monk's formula states that for a permutation w,
S s r S w = ∑ i ≤ r < j ℓ ( w t i j ) = ℓ ( w ) + 1 S w t i j , {\displaystyle {\mathfrak {S}}_{s_{r}}{\mathfrak {S}}_{w}=\sum _{{i\leq r<j} \atop {\ell (wt_{ij})=\ell (w)+1}}{\mathfrak {S}}_{wt_{ij}},}
where ℓ ( w ) {\displaystyle \ell (w)} is the length of w. The pairs (i, j) appearing in the sum are exactly those such that i ≤ r < j, wi < wj, and there is no i < k < j with wi < wk < wj; each wtij is a cover of w in Bruhat order.
References Monk, D. (1959), "The geometry of flag manifolds", Proceedings of the London Mathematical Society, Third Series, 9 (2): 253–286, CiteSeerX 10.1.1.1033.7188, doi:10.1112/plms/s3-9.2.253, ISSN 0024-6115, MR 0106911 {{citation}}: Cite uses deprecated parameter |citeseerx= (help)
