Alladi Ramakrishnan Hall
Proving Monk's formula for the complete flag variety
Vijay Ravikumar
CMI
We will give a proof by induction of Monk's formula, which
computes the product of an arbitrary Schubert polynomial with a linear
Schubert polynomial. Equivalently, and in Monk's original formulation, it
describes the intersection of a codimension-one Schubert variety with an
arbitrary Schubert variety, in the complete flag variety.
Done