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.