#### 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