Last update: 28 June 2013
Let $\delta ={\delta}_{n}=(n1,n2,\dots ,1,0),$ so that
$${x}^{\delta}={x}_{1}^{n1}{x}_{2}^{n2}\dots {x}_{n1}\text{.}$$For each permutation $w\in {S}_{n}$ the Schubert polynomial ${\U0001d516}_{w}$ is defined to be
$$\begin{array}{cc}\text{(4.1)}& {\U0001d516}_{w}={\partial}_{{w}^{1}{w}_{0}}\left({x}^{\delta}\right)\end{array}$$where as usual ${w}_{0}$ is the longest element of ${S}_{n}\text{.}$
(4.2) Let $v,w\in {S}_{n}\text{.}$ Then
$${\partial}_{v}{\U0001d516}_{w}=\{\begin{array}{cc}{\U0001d516}_{w{v}^{1}}& \text{if}\hspace{0.17em}\ell \left(w{v}^{1}\right)=\ell \left(w\right)\ell \left(v\right),\\ 0& \text{otherwise.}\end{array}$$In particular,
$${\partial}_{i}{\U0001d516}_{w}=\{\begin{array}{cc}{\U0001d516}_{w{s}_{i}}& \text{if}\hspace{0.17em}w\left(i\right)>w(i+1),\\ 0& \text{if}\hspace{0.17em}w\left(i\right)<w(i+1)\text{.}\end{array}$$
Proof.  
From (2.7) we have $${\partial}_{v}{\partial}_{{w}^{1}{w}_{0}}=\{\begin{array}{cc}{\partial}_{v{w}^{1}{w}_{0}}& \text{if}\hspace{0.17em}\ell \left(v\right)+\ell \left({w}^{1}{w}_{0}\right)=\ell \left(v{w}^{1}{w}_{0}\right),\\ 0& \text{otherwise.}\end{array}$$Now $$\ell \left(v\right)+\ell \left({w}^{1}{w}_{0}\right)=\ell \left(v\right)+\ell \left({w}_{0}\right)\ell \left(w\right)$$and $$\ell \left(v{w}^{1}{w}_{0}\right)=\ell \left({w}_{0}\right)\ell \left(w{v}^{1}\right)$$by (1.6). Hence ${\partial}_{v}{\U0001d516}_{w}={\partial}_{v}{\partial}_{{w}^{1}{w}_{0}}{x}^{\delta}$ is equal to ${\partial}_{v{w}^{1}{w}_{0}}{x}^{\delta}={\U0001d516}_{w{v}^{1}}$ if $\ell \left(w\right)\ell \left(v\right),$ and is zero otherwise. $\square $ 
(4.3) 

Proof.  
(i) That ${\U0001d516}_{{w}_{0}}={x}^{\delta}$ is clear from the definition (4.1). Also by (2.11) we have $${\U0001d516}_{1}={\partial}_{{w}_{0}}{x}^{\delta}={s}_{\delta \delta}=1\text{.}$$(ii) The operator ${\partial}_{{w}^{1}{w}_{0}}$ lowers degrees by $\ell \left({w}^{1}{w}_{0}\right)=\ell \left({w}_{0}\right)\ell \left({w}^{1}\right)=\frac{1}{2}n(n1)\ell \left(w\right)\text{.}$ Hence ${\U0001d516}_{w}={\partial}_{{w}^{1}{w}_{0}}{x}^{\delta}$ is homogeneous of degree $\ell \left(w\right)\text{.}$ If now $\alpha \in {\mathbb{N}}^{n1}$ is such that $\alpha \subset \delta ,$ then by (2.1) ${\partial}_{r}{x}^{\alpha}$ is a linear combination of monomials ${x}^{\beta}$ such that ${\beta}_{i}={\alpha}_{i}$ if $i\ne r,r+1,$ and $$\text{max}({\beta}_{i},{\beta}_{i+1})\le \text{max}({\alpha}_{i},{\alpha}_{i+1})1\le ni1,$$so that $\beta \subset \delta \text{.}$ Hence the linear span ${H}_{n}$ of the monomials ${x}^{\alpha},\alpha \subset \delta $ is mapped into itself by each ${\partial}_{r}$ $(1\le r\le n1)$ and hence by each ${\partial}_{w},$ $w\in {S}_{n}\text{.}$ Hence ${\U0001d516}_{w}\in {H}_{n}$ for each $w\in {S}_{n}\text{.}$ (iii) ${\U0001d516}_{w}$ is symmetrical in ${x}_{i}$ and ${x}_{i+1}$ if and only if ${s}_{i}{\U0001d516}_{w}={\U0001d516}_{w},$ that is to say if and only if ${\partial}_{i}{\U0001d516}_{w}=0,$ which by (4.2) is equivalent to $w\left(i\right)<w(i+1)\text{.}$ (iv) ${\U0001d516}_{w}$ is symmetrical in ${x}_{r+1},\dots ,{x}_{n}$ by (iii) above, but does not contain ${x}_{n},$ hence does not contain any of ${x}_{r+1},\dots ,{x}_{n}\text{.}$ $\square $ 
Remark. We shall show later (4.17) that the coefficients in (4.3)(ii) are always nonnegative integers.
(4.4) For $i=1,2,\dots ,n1$ we have
$${\U0001d516}_{{s}_{i}}={x}_{1}+{x}_{2}+\dots +{x}_{i}\text{.}$$
Proof.  
By (4.3), ${\U0001d516}_{{s}_{i}}$ is a homogeneous symmetric polynomial of degree $\ell \left({s}_{i}\right)=1$ in ${x}_{1},\dots ,{x}_{i},$ hence is equal to $c({x}_{1}+\dots +{x}_{i})$ for some integer $c\text{.}$ But ${\partial}_{i}{\U0001d516}_{{s}_{i}}={\U0001d516}_{1}=1$ by (4.2) and (4.3)(i), hence $c=1\text{.}$ $\square $ 
(4.5) (Stability) Let $m>n$ and let $i:{S}_{n}\hookrightarrow {S}_{m}$ be the embedding. Then
$${\U0001d516}_{w}={\U0001d516}_{i\left(w\right)}$$for all $w\in {S}_{n}\text{.}$
Proof.  
We may assume that $m=n+1\text{.}$ Let ${w}_{0}^{\prime}$ be the longest element of ${S}_{n+1},$ then ${w}_{0}^{\prime}={w}_{0}{s}_{n}{s}_{n1}\dots {s}_{1},$ where ${w}_{0}$ is the longest element of ${S}_{n},$ and hence $$\begin{array}{ccc}{\U0001d516}_{i\left(w\right)}& =& {\partial}_{{w}^{1}{w}_{0}^{\prime}}\left({x}_{1}^{n}{x}_{2}^{n1}\dots {x}_{n}\right)\\ & =& {\partial}_{{w}^{1}{w}_{0}}{\partial}_{n}{\partial}_{n1}\dots {\partial}_{1}\left({x}_{1}^{n}{x}_{2}^{n1}\dots {x}_{n}\right)\\ & =& {\partial}_{{w}^{1}{w}_{0}}\left({x}_{1}^{n1}{x}_{2}^{n2}\dots {x}_{n1}\right)\end{array}$$(because ${\partial}_{1}\left({x}_{1}^{n}{x}_{2}^{n1}\dots {x}_{n}\right)={x}_{1}^{n1}{x}_{2}^{n1}{x}_{3}^{n2}\dots {x}_{n},$ hence ${\partial}_{2}{\partial}_{1}\left({x}_{1}^{n}{x}_{2}^{n1}\dots {x}_{n}\right)={x}_{1}^{n1}{x}_{2}^{n2}{x}_{3}^{n2}{x}_{4}^{n3}\dots {x}_{n},$ and so on.) $\square $ 
From (4.5) it follows that ${\U0001d516}_{w}$ is a welldefined polynomial for each permutation $w\in {S}_{\infty}={\bigcup}_{n}{S}_{n}\text{.}$
If $u\in {S}_{m}$ and $v\in {S}_{n},$ we denote by $u\times v$ the permutation
$$u\times v=(u\left(1\right),\dots ,u\left(m\right),v\left(1\right)+m,\dots ,v\left(n\right)+m)$$in ${S}_{m+n}\text{.}$ We have then
$$\begin{array}{cc}\text{(4.6)}& {\U0001d516}_{u\times v}={\U0001d516}_{u}\xb7{\U0001d516}_{{1}_{m}\times v}\end{array}$$where ${1}_{m}$ is the identity element of ${S}_{m}\text{.}$
Proof.  
We shall make use of the following fact: if $f$ is a polynomial in ${x}_{1},{x}_{2},\dots ,$ and ${\partial}_{i}f=0$ for all $i\ge 1,$ then $f$ is a constant. For $f\in {P}_{n}=\mathbb{Z}[{x}_{1},\dots ,{x}_{n}]$ for some $n,$ and is symmetric in ${x}_{1},\dots ,{x}_{n+1}$ because ${\partial}_{1}f=\dots ={\partial}_{n}f=0\text{.}$ To prove (4.6) we proceed by induction on $\ell \left(u\right)+\ell \left(v\right)\text{.}$ If $\ell \left(u\right)=\ell \left(v\right)=0$ then $u={1}_{m},$ $v={1}_{n},$ and both sides of (4.6) are equal to $1\text{.}$ Let $$F(u,v)={\U0001d516}_{u\times v}{\U0001d516}_{u}{\U0001d516}_{{1}_{m}\times v}\text{.}$$By the remark above, it is enough to show that ${\partial}_{i}F(u,v)=0$ for each $i\text{.}$ Suppose first that $i<m\text{.}$ Then $${\partial}_{i}F(u,v)={\partial}_{i}\left({\U0001d516}_{u\times v}\right){\partial}_{i}\left({\U0001d516}_{u}\right)\xb7{\U0001d516}_{{1}_{m}\times v}$$because ${\partial}_{i}\left({\U0001d516}_{{1}_{m}\times v}\right)=0$ by (4.2). Hence we have ${\partial}_{i}F(u,v)=0$ if $\ell \left(u{s}_{i}\right)>\ell \left(u\right)\text{;}$ and if $\ell \left(u{s}_{i}\right)<\ell \left(u\right)$ then $${\partial}_{i}F(u,v)=F(u{s}_{i},v)$$which is zero by the inductive hypothesis. Likewise, if $i>m$ we have $${\partial}_{i}F(u,v)=\{\begin{array}{cc}F(u,v{s}_{i})& \text{if}\hspace{0.17em}\ell \left(v{s}_{i}\right)<\ell \left(v\right),\\ 0& \text{otherwise,}\end{array}$$and so again ${\partial}_{i}F\left(uv\right)=0$ by the inductive hypothesis. Finally, if $i=m$ we have $\ell \left((u\times v){s}_{m}\right)>\ell (u\times v),$ because $$(u\times v)\left(m\right)=u\left(m\right)<m+v\left(1\right)=(u\times v)(m+1),$$and therefore ${\partial}_{m}$ kills ${\U0001d516}_{u\times v}$ and ${\U0001d516}_{{1}_{m}\times v}\text{;}$ moreover, ${\partial}_{m}{\U0001d516}_{u}=0,$ because ${\U0001d516}_{u}\in \mathbb{Z}[{x}_{1},\dots ,{x}_{m1}]\text{.}$ Hence ${\partial}_{m}F(u,v)=0,$ and the proof is complete. $\square $ 
For certain classes of permutations there are explicit formulas for ${\U0001d516}_{w}\text{.}$ We consider first the case where $w$ is dominant, of shape $\lambda $ (so that the diagram of $w$ coincides with the diagram of $\lambda \text{).}$
(4.7) If $w$ is dominant of shape $\lambda ,$ then
$${\U0001d516}_{w}={x}^{\lambda}\text{.}$$
Proof.  
We use descending induction on $\ell \left(w\right)\text{.}$ where $w\in {S}_{n}\text{.}$ The result is true for $w={w}_{0}$ by (4.3)(i), since ${w}_{0}$ is dominant of shape $\delta \text{.}$ Suppose $w\in {S}_{n},$ $w\ne {w}_{0}$ and $w$ is dominant of shape $\lambda \text{.}$ Then $\lambda \subset \delta $ and $\lambda \ne \delta \text{.}$ Let $r\ge 0$ be the largest integer such that ${\lambda}_{i}^{\prime}=ni$ for $1\le i\le r,$ and let $a={\lambda}_{r+1}^{\prime}+1\le nr1\text{.}$ Then $w{s}_{a}$ is dominant of length $\ell \left(w\right)+1,$ and $\lambda \left(w{s}_{a}\right)=\lambda +{\epsilon}_{a},$ where ${\epsilon}_{a}$ is the vector whose ${a}^{\text{th}}$ component is $1$ and all other components zero. Hence we have $${\U0001d516}_{w}={\partial}_{a}{\U0001d516}_{w{s}_{a}}={\partial}_{a}\left({x}_{a}{x}^{\lambda}\right)={x}^{\lambda},$$because ${\lambda}_{a}={\lambda}_{a+1}\text{.}$ $\square $ 
Conversely, every monomial ${x}^{\lambda}$ (where $\lambda $ is a partition) occurs as a Schubert polynomial, namely as ${\U0001d516}_{w}$ where $w$ is the permutation with code $c\left(w\right)=\lambda \text{.}$
Suppose next that $w$ is Grassmannian, with descent at $r\text{.}$
(4.8) If $w$ is Grassmannian of shape $\lambda ,$ then ${\U0001d516}_{w}$ is the Schur function ${s}_{\lambda}\left({X}_{r}\right),$ where $r$ is the unique descent of $w,$ and ${X}_{r}={x}_{1}+\dots +{x}_{r}\text{.}$
Proof.  
We may assume that $w\ne 1$ (by (4.3)(i), ${\U0001d516}_{1}=1\text{).}$ Then $r\ge 1$ and the code of $w$ is $$(w\left(1\right)1,w\left(2\right)2,\dots ,w\left(r\right)r)$$so that $\lambda =(w\left(r\right)r,\dots ,w\left(2\right)2,w\left(1\right)1)\text{.}$ Let $u={w}_{0}^{\left(r\right)}$ be the longest element of ${S}_{r}\text{.}$ Then $$wu=(w\left(r\right),\dots ,w\left(1\right),w(r+1),w(r+2)\dots )$$is dominant of shape $\lambda +{\delta}_{r},$ where ${\delta}_{r}=(r1,r2,\dots ,1,0),$ and $\ell \left(wu\right)=\ell \left(w\right)+\ell \left(u\right)\text{.}$ Hence $${\U0001d516}_{w}={\partial}_{u}{\U0001d516}_{wu}={\partial}_{u}\left({x}^{\lambda +{\delta}_{r}}\right)={s}_{\lambda}\left({X}_{r}\right)$$by (4.2), (4.7) and (2.11). $\square $ 
Conversely, every Schur function ${s}_{\lambda}\left({X}_{r}\right)$ (where $\lambda $ is a partition of length $\le r\text{)}$ occurs as a Schubert polynomial, namely as ${\U0001d516}_{w}$ where $w$ is the permutation with code $c\left(w\right)=({\lambda}_{r},{\lambda}_{r1},\dots ,{\lambda}_{1}),$
More generally, let $w$ be vexillary with shape $\lambda =({\lambda}_{1},\dots ,{\lambda}_{m})$ (where $m=\ell \left(\lambda \right)\text{)}$ and flag $\varphi =({\varphi}_{1},\dots ,{\varphi}_{m})$ (Chapter I). Then ${\U0001d516}_{w}$ is a multiSchur function (Chapter III), namely
$$\begin{array}{cc}\text{(4.9)}& {\U0001d516}_{w}={s}_{\lambda}({X}_{{\varphi}_{1}},\dots ,{X}_{{\varphi}_{m}})\end{array}$$where ${X}_{i}={x}_{1}+\dots +{x}_{i}$ for each $i\ge 1\text{.}$
Proof.  
The idea is to convert $w$ systematically into a dominant permutation. Recall ((1.23), (1.24)) that if $c\left(w\right)=({c}_{1},{c}_{2},\dots )$ and ${c}_{i}\le {c}_{i+1}$ for some $i\ge 1,$ then $\ell \left(w{s}_{i}\right)=\ell \left(w\right)+1$ and $$\begin{array}{cc}(*)& c\left(w{s}_{i}\right)=({c}_{1},\dots ,{c}_{i1},{c}_{i+1}+1,{c}_{i},{c}_{i+2},{c}_{i+3},\dots )\text{.}\end{array}$$As in Chapter I let $$\lambda \left(w\right)=({p}_{1}^{{m}_{1}},\dots ,{p}_{k}^{{m}_{k}})$$where ${p}_{1}>\dots >{p}_{k}>0$ (and each ${m}_{i}\ge 1\text{),}$ and let $$\varphi \left(w\right)=({f}_{1}^{{m}_{1}},\dots ,{f}_{k}^{{m}_{k}})$$where ${f}_{1}\le \dots \le {f}_{k}\text{.}$ Consider first the terms equal to ${p}_{1}$ in the sequence $c\left(w\right)\text{.}$ They occupy the positions ${f}_{1}{m}_{1}+1,\dots ,{f}_{1}\text{.}$ We shall use $(*)$ to move them all to the left until they occupy the first ${m}_{1}$ positions, by multiplying $w$ on the right by $${u}_{1}=\left({s}_{{f}_{1}{m}_{1}}\dots {s}_{2}{s}_{1}\right)\left({s}_{{f}_{1}{m}_{1}+1}\dots {s}_{3}{s}_{2}\right)\dots \left({s}_{{f}_{1}1}\dots {s}_{{m}_{1}+1}{s}_{{m}_{1}}\right)\text{.}$$Let ${w}_{1}=w{u}_{1}\text{.}$ In the code of ${w}_{1},$ the first ${m}_{1}$ entries will be equal to ${p}_{1}+{f}_{1}{m}_{1}\text{;}$ the shape of ${w}_{1}$ is $${\lambda}^{\left(1\right)}=\lambda \left({w}_{1}\right)=({({p}_{1}+{f}_{1}{m}_{1})}^{{m}_{1}},{p}_{s}^{{m}_{2}},\dots ,{p}_{k}^{{m}_{k}}),$$and it follows from the description (1.38) of vexillary codes that the terms equal to ${p}_{2}$ in the sequence $c\left({w}_{1}\right)$ will occupy the positions ${f}_{2}{m}_{2}+1,\dots ,{f}_{2}\text{.}$ The next step is to move those to the left until they occupy the positions ${m}_{1}+1,\dots ,{m}_{1}+{m}_{2}$ by multiplying ${w}_{1}$ on the right by $${u}_{2}=\left({s}_{{f}_{2}{m}_{2}}\dots {s}_{{m}_{1}+2}{s}_{{m}_{1}+1}\right)\left({s}_{{f}_{2}{m}_{2}+1}\dots {s}_{{m}_{1}+2}\right)\dots \left({s}_{{f}_{2}1}\dots {s}_{{m}_{1}+{m}_{2}}\right)\text{.}$$Let ${w}_{2}={w}_{1}{u}_{2}\text{;}$ the code of ${w}_{2}$ starts off with ${m}_{1}$ entries to ${p}_{1}+{f}_{1}{m}_{1},$ then ${m}_{2}$ entries equal to ${p}_{2}+{f}_{2}{m}_{1}{m}_{2}\text{;}$ the shape of ${w}_{2}$ is $${\lambda}^{\left(2\right)}=\lambda \left({w}_{2}\right)=({({p}_{1}+{f}_{1}{m}_{1})}^{{m}_{1}},{({p}_{1}+{f}_{2}{m}_{1}{m}_{2})}^{{m}_{2}},{p}_{3}^{{m}_{3}},\dots ,{p}_{k}^{{m}_{k}}),$$and the terms equal to ${p}_{3}$ in the sequence $c\left({w}_{2}\right)$ will occupy the positions ${f}_{3}{m}_{3}+1,\dots ,{f}_{3}{m}_{3}\text{.}$ We continue in this way; at the ${r}^{\text{th}}$ stage we define ${w}_{r}={w}_{r1}{u}_{r},$ where $${u}_{r}=\left({s}_{{f}_{r}{m}_{r}}\dots {s}_{{m}_{1}+\dots +{m}_{r1}+1}\right)\dots \left({s}_{{f}_{r}1}\dots {s}_{{m}_{1}+\dots +{m}_{r}}\right),$$and ${w}_{r}$ has shape $${\lambda}^{\left(r\right)}=\lambda \left({w}_{r}\right)=({({p}_{1}+{a}_{1})}^{{m}_{1}},\dots ,{({p}_{r}+{a}_{r})}^{{m}_{r}},{p}_{r+1}^{{m}_{r}+1},\dots ,{p}_{k}^{{m}_{k}})$$where ${a}_{i}={f}_{i}({m}_{1}+\dots +{m}_{i})\ge 0$ by (1.36). Notice also that $$({p}_{i1}+{a}_{i1})({p}_{i}+{a}_{i})=({m}_{i}+{p}_{i1}{p}_{i})({f}_{i}{f}_{i1})\ge 0$$by (1.37). Finally we reach ${w}_{k}=w{u}_{1}\dots {u}_{k},$ which is dominant with shape (and code) $$\mu ={\lambda}^{\left(k\right)}=({({p}_{1}+{a}_{1})}^{{m}_{1}},\dots ,{({p}_{k}+{a}_{k})}^{{m}_{k}})\text{.}$$We have $$\begin{array}{c}\ell \left(w\right)=\left\lambda \right=\sum {m}_{i}{p}_{i},\\ \ell \left({w}_{k}\right)=\left{\lambda}^{\left(k\right)}\right=\sum {m}_{i}({p}_{i}+{a}_{i}),\end{array}$$and $$\ell \left({u}_{r}\right)={a}_{r}{m}_{r}\phantom{\rule{2em}{0ex}}(1\le r\le k)$$so that $$\ell \left({w}_{k}\right)=\ell \left(w\right)+\sum _{r=1}^{k}\ell \left({u}_{r}\right)$$and therefore, since $w={w}_{k}{\left({u}_{1}\dots {u}_{k}\right)}^{1},$ $${\U0001d516}_{w}={\partial}_{{u}_{1}}\dots {\partial}_{{u}_{k}}{\U0001d516}_{{w}_{k}}$$by (4.2). Now by (4.6) and (3.5') we have $${\U0001d516}_{{w}_{k}}={x}^{\mu}={s}_{\mu}({X}_{1},\dots ,{X}_{m})$$where $m={m}_{1}+\dots +{m}_{k}=\ell \left(\lambda \right)\text{.}$ Hence by repeated use of (3.10) we obtain $$\begin{array}{ccc}{\U0001d516}_{{w}_{k1}}& =& {\partial}_{{u}_{k}}{\U0001d516}_{{w}_{k}}\\ & =& {s}_{{\lambda}^{(k1)}}({X}_{1},\dots ,{X}_{{m}_{1}+\dots +{m}_{k1}},{X}_{{f}_{k}{m}_{k}+1},\dots ,{X}_{{f}_{k}1},{X}_{{f}_{k}})\\ & =& {s}_{{\lambda}^{(k1)}}({X}_{1},\dots ,{X}_{{m}_{1}+\dots +{m}_{k1}},{\left({X}_{{f}_{k}}\right)}^{{m}_{k}})\end{array}$$by virtue of (3.6). If we now operate with ${\partial}_{{u}_{k1}}$ we shall obtain in the same way $${\U0001d516}_{{w}_{k1}}={\partial}_{{u}_{k1}}{\U0001d516}_{{w}_{k1}}={s}_{{\lambda}^{(k2)}}({X}_{1},\dots ,{X}_{{m}_{1}+\dots +{m}_{k2}},{\left({X}_{{f}_{k1}}\right)}^{{m}_{k1}},{\left({X}_{{f}_{k}}\right)}^{{m}_{k}})$$and so finally $${\U0001d516}_{w}={s}_{\lambda}({\left({X}_{{f}_{1}}\right)}^{{m}_{1}},\dots ,{\left({X}_{{f}_{k}}\right)}^{{m}_{k}})\text{.}$$$\square $ 
Remarks. 1. As in Chapter I, let
$$\lambda \prime =({q}_{1}^{{n}_{1}},\dots ,{q}_{k}^{{n}_{k}})$$be the conjugate partition, so that
$${m}_{1}+\dots +{m}_{i}=={q}_{k+1i}\phantom{\rule{2em}{0ex}}(1\le i\le k)$$and therefore
$$\begin{array}{ccc}{p}_{i}+{a}_{i}& =& {p}_{i}+{f}_{i}{q}_{k+1i}\\ & =& {g}_{k+1i}\end{array}$$by (1.41), where $({g}_{1}^{{n}_{1}},\dots ,{g}_{k}^{{n}_{k}})$ is the flag of ${w}^{1}\text{.}$ Thus
$$\begin{array}{cc}\text{(4.10)}& \mu ={\lambda}^{\left(k\right)}=({g}_{k}^{{m}_{1}},{g}_{k1}^{{m}_{2}},\dots ,{g}_{1}^{{m}_{k}})\text{.}\end{array}$$2. The result (4.9) admits a converse. If $\lambda =({p}_{1}^{{m}_{1}},\dots ,{p}_{k}^{{m}_{k}})$ as above, every nonzero multiSchur function ${s}_{\lambda}({\left({X}_{{f}_{1}}\right)}^{{m}_{1}},\dots ,{\left({X}_{{f}_{k}}\right)}^{{m}_{k}})$ that satisfies the conditions of the duality theorem (3.8''), namely
$$\begin{array}{cc}\text{(1)}& 0\le {f}_{i+1}{f}_{i}\le {m}_{i+1}+{n}_{k+1i}\phantom{\rule{2em}{0ex}}(1\le i\le k1),\end{array}$$is the Schubert polynomial of a vexillary permutation, namely the permutation with shape $\lambda $ and flag $\varphi =({f}_{1}^{{m}_{1}},\dots ,{f}_{k}^{{m}_{k}})\text{.}$ This follows from (1.38) and (4.9), since the conditions (1) on the flag $\varphi $ coincide with those of (1.37). (The conditions (1.36), namely
$${f}_{i}\ge {m}_{1}+\dots +{m}_{i}\phantom{\rule{2em}{0ex}}(1\le i\le k)$$ensure that the multiSchur function does not vanish indentically.)
Let ${H}_{n}$ denote the additive subgroup of ${P}_{n}=\mathbb{Z}[{x}_{1},\dots ,{x}_{n}]$ spanned by the monomials ${x}^{\alpha},\alpha \subset {\delta}_{n}=(n1,n2,\dots ,1,0)\text{.}$
(4.11) The Schubert polynomials ${\U0001d516}_{w},w\in {S}_{n}$ form a $\mathbb{Z}\text{basis}$ of ${H}_{n}\text{.}$
Proof.  
By (4.3) each ${\U0001d516}_{w}$ lies in ${H}_{n}\text{.}$ If $$\sum {a}_{w}{\U0001d516}_{w}=0\phantom{\rule{2em}{0ex}}({a}_{w}\in \mathbb{Z})$$is a linear dependence relation, then by homogeneity we have $$\begin{array}{cc}\text{(1)}& \sum _{\ell \left(w\right)=p}{a}_{w}{\U0001d516}_{w}=0\end{array}$$for each $p\ge 0,$ and by operating on (1) with ${\partial}_{w}$ we see that ${a}_{w}=0\text{.}$ Hence the ${\U0001d516}_{w}$ are linearly independent and hence form a $\mathbb{Q}\text{basis}$ of ${H}_{n}\otimes \mathbb{Q}\text{.}$ It follows that each monomial ${x}^{\alpha},\alpha \subset {\delta}_{n},$ can be expressed in the form $$\begin{array}{cc}\text{(2)}& {x}^{\alpha}=\sum _{\ell \left(w\right)=\left\alpha \right}{b}_{w}{\U0001d516}_{w}\end{array}$$with rational coefficients ${b}_{w}\text{;}$ by operating on (2) with ${\partial}_{w}$ we have ${b}_{w}={\partial}_{w}{x}^{\alpha},$ and hence the ${b}_{w}$ are integers. $\square $ 
From (4.11) it follows that
(4.12) The ${\U0001d516}_{w},w\in {S}_{\infty},$ form a $\mathbb{Z}\text{basis}$ of ${P}_{\infty}=\mathbb{Z}[{x}_{1},{x}_{2},\dots ]\text{.}$
Proof.  
Let ${x}^{\alpha}$ be a monomial in ${P}_{\infty}\text{.}$ Then $\alpha \subset {\delta}_{n}$ for sufficiently large $n,$ hence ${x}^{\alpha}$ is a linear combination of the ${\U0001d516}_{w}\text{.}$ $\square $ 
For each $n\ge 1,$ let ${S}^{\left(n\right)}$ denote the set of all permutations $w$ such that $w(n+1)<w(n+2)<\dots ,$ or equivalently such that the code of $w$ has length $\le n\text{.}$
(4.13) The ${\U0001d516}_{w},w\in {S}^{\left(n\right)},$ form a $\mathbb{Z}\text{basis}$ of ${P}_{n}\text{.}$
Proof.  
By (4.3)(iii) we have $$\begin{array}{ccc}{\U0001d516}_{w}\in {P}_{n}& \u27fa& {\partial}_{m}{\U0001d516}_{w}=0\hspace{0.17em}\text{for all}\hspace{0.17em}m>n\\ & \u27fa& w\in {S}^{\left(n\right)}\text{.}\end{array}$$Let ${P}_{n}^{\prime}\subset {P}_{n}$ be the $\mathbb{Z}\text{span}$ of the ${\U0001d516}_{w},w\in {S}^{\left(n\right)}\text{.}$ If ${P}_{n}^{\prime}\ne {P}_{n},$ choose $f\in {P}_{n}{P}_{n}^{\prime}\text{;}$ by (4.12) we can write $f$ as a linear combination of Schubert polynomials, say $$\begin{array}{cc}\text{(1)}& f=\sum _{w}{a}_{w}{\U0001d516}_{w}\end{array}$$where there is at least one term with ${a}_{w}\ne 0$ and $w\notin {S}^{\left(n\right)}\text{.}$ Hence for some $m>n$ we have ${\partial}_{m}{\U0001d516}_{w}={\U0001d516}_{w{s}_{m}},$ and since ${\partial}_{m}f=0$ we obtain from (1) a nontrivial linear dependence relation among the Schubert polynomials, contradicting (4.12). Hence ${P}_{n}^{\prime}={P}_{n},$ which proves (4.13). $\square $ 
Let $\eta :{P}_{n}\to \mathbb{Z}$ be the homomorphism defined by $\eta \left({x}_{i}\right)=0$ $(1\le i\le n)\text{.}$ In other words, $\eta \left(f\right)$ is the constant term of $f,$ for each polynomial $f\in {P}_{n}\text{.}$ The expression of $f$ in terms of Schubert polynomials is then
$$\begin{array}{cc}\text{(4.14)}& f=\sum _{w\in {S}^{\left(n\right)}}\eta \left({\partial}_{w}f\right){\U0001d516}_{w}\text{.}\end{array}$$
Proof.  
By (4.13) and linearity, it is only necessary to verify this formula when $f$ is a Schubert polynomial ${\U0001d516}_{v},v\in {S}^{\left(n\right)},$ and then it follows from (4.2) and (4.3)(ii) that $\eta \left({\partial}_{w}{\U0001d516}_{v}\right)$ is equal to $1$ when $w=v$ and is zero otherwise. $\square $ 
(4.15) Let $f=\sum {\alpha}_{i}{x}_{i}$ be a homogeneous linear polynomial, and let $w$ be a permutation. Then
$$f{\U0001d516}_{w}=\sum ({\alpha}_{i}{\alpha}_{j}){\U0001d516}_{w{t}_{ij}},$$where ${t}_{ij}$ is the transposition that interchanges $i$ and $j,$ and the sum is over all pairs $i<j$ such that $\ell \left(w{t}_{ij}\right)=\ell \left(w\right)+1\text{.}$
Proof.  
The polynomial $f{\U0001d516}_{w}$ is homogeneous of degree $\ell \left(w\right)+1,$ and hence by (4.14) we have $$f{\U0001d516}_{w}=\sum _{v}{\partial}_{v}\left(f{\U0001d516}_{w}\right)\xb7{\U0001d516}_{v}$$summed over $v$ of length $\ell \left(w\right)+1\text{.}$ Now by (2.13) $${\partial}_{v}\left(f{\U0001d516}_{w}\right)=v\left(f\right){\partial}_{v}{\U0001d516}_{w}+\sum ({\alpha}_{i}{\alpha}_{j}){\partial}_{v{t}_{ij}}{\U0001d516}_{w}$$summed over $i<j$ such that $\ell \left(v{t}_{ij}\right)=\ell \left(v\right)1=\ell \left(w\right)\text{.}$ It follows that ${\partial}_{v}\left(f{\U0001d516}_{w}\right)={\alpha}_{i}{\alpha}_{j}$ if $w=v{t}_{ij},$ and is zero otherwise. $\square $ 
In particular:
$$\begin{array}{cc}\text{(4.15')}& {x}_{r}{\U0001d516}_{w}=\sum \sigma \left(t\right){\U0001d516}_{wt}\end{array}$$summed over transpositions $t={t}_{ir}$ such that $\ell \left(wt\right)=\ell \left(w\right)+1,$ where $\sigma \left(t\right)=1$ or $+1$ according as $i<r$ or $i>r\text{.}$
(4.15'') (Monk's formula) ${\U0001d516}_{{s}_{r}}{\U0001d516}_{w}=\sum {\U0001d516}_{wt}$ summed over transpositions $t={t}_{ij}$ such that $i\le r<j$ and $\ell \left(wt\right)=\ell \left(w\right)+1\text{.}$
Remark. As pointed out by A. Lascoux, Monk's formula (4.15'') (which is the counterpart of Pieri's formula in the theory of Schur functions) characterizes the algebra of Schubert polynomials.
We shall apply (4.15') in the following situation. Suppose that $r$ is the last descent of $w,$ so that $w\left(r\right)>w(r+1)$ and $w(r+1)<w(r+2)\le \dots \text{.}$ Choose the largest $s>r$ such that $w\left(r\right)>w\left(s\right)$ and let $v=w{t}_{rs}\text{.}$ Then from (4.15') applied to $v$ we have
$$\begin{array}{cc}\text{(1)}& {x}_{r}{\U0001d516}_{v}={\U0001d516}_{w}\sum _{w\prime}{\U0001d516}_{w\prime}\end{array}$$summed over all permutations $w\prime =v{t}_{qr}$ where $q<r$ and $\ell \left(w\prime \right)=\ell \left(v\right)+1=\ell \left(w\right)\text{.}$ Hence $w\prime \left(q\right)=v\left(r\right)>v\left(q\right)=w\left(q\right),$ and $w\prime \left(j\right)=w\left(j\right)$ for $j<q\text{.}$
Let us arrange the permutations of a given length $p$ in reverse lexicographical ordering, so that if $\ell \left(w\right)=\ell \left(w\prime \right)=p$ then $w\prime $ precedes $w$ if and only if for some $i\ge 1$ we have
$$w\prime \left(j\right)=w\left(j\right)\hspace{0.17em}\text{for}\hspace{0.17em}j<i,\hspace{0.17em}\text{and}\hspace{0.17em}w\prime \left(i\right)>w\left(i\right)\text{.}$$For this ordering there is a first element, namely the permutation $(p+1,1,2,\dots ,p)\text{.}$
We have proved
(4.16) For each permutation $w\ne 1$ the Schubert polynomial ${\U0001d516}_{w}$ can be expressed in the form
$${\U0001d516}_{w}={x}_{r}{\U0001d516}_{v}+\sum _{w\prime}{\U0001d516}_{w\prime}$$where $r$ is the last descent of $w,$ $\ell \left(v\right)=\ell \left(v\right)1$ and each $w\prime $ in the sum precedes $w$ in the reverse lexicographical ordering.
From (4.16) we deduce immediately that
(4.17) For each permutation $w,{S}_{w}$ is a polynomial in ${x}_{1},{x}_{2},\dots $ with positive integral coefficients.
Proof.  
For we may assume, as inductive hypothesis, that (4.17) is true for all permutations $v$ such that either $\ell \left(v\right)\ell \left(w\right),$ or $\ell \left(v\right)=\ell \left(w\right)$ and $v$ precedes $w$ in the reverse lexicographical ordering; and then (4.16) shows that the result is true for $w\text{.}$ (The permutation $(p+1,1,2,\dots ,p)$ has code $\left(p\right),$ hence is dominant with Schubert polynomial ${x}_{1}^{p}$ by (4.7)Â·) $\square $ 
Now fix integers $m,n$ such that $1\le m<n,$ and let $w\in {S}^{\left(n\right)},$ so that ${\U0001d516}_{w}\in {P}_{n}\text{.}$ By (4.12) we can express ${\U0001d516}_{w}$ uniquely in the form
$$\begin{array}{cc}\text{(4.18)}& {\U0001d516}_{w}({x}_{1},\dots ,{x}_{n})=\sum _{u,v}{d}_{uv}^{w}{\U0001d516}_{u}({x}_{1},\dots ,{x}_{m}){\U0001d516}_{v}({x}_{m+1},\dots ,{x}_{n})\end{array}$$summed over $u\in {S}^{\left(m\right)}$ and $v\in {S}^{(nm)}\text{.}$
(4.19) The coefficients ${d}_{uv}^{w}$ in (4.18) are nonnegative integers.
Proof.  
We proceed by induction on $\ell \left(v\right)\text{.}$ Suppose first that ${d}_{uv}^{w}\ne 0$ and that $\ell \left(v\right)>0,$ so that $v\ne 1\text{.}$ Then there exists $j>m$ such that ${\partial}_{j}{\U0001d516}_{v}({x}_{m+1},\dots ,{x}_{n})\ne 0\text{.}$ From (4.18) we conclude that ${\partial}_{j}{\U0001d516}_{w}\ne 0,$ hence is equal to ${\U0001d516}_{w{s}_{j}},$ and therefore we have ${d}_{u,v}^{w}={d}_{u,v{s}_{jm}}^{w{s}_{j}}$ and $\ell \left(v{s}_{j}\right)=\ell \left(v\right)1\text{.}$ By the inductive hypothesis, we conclude that ${d}_{uv}^{w}\ge 0$ if $v\ne 1\text{.}$ It remains to consider the case $v=1\text{.}$ Let ${\rho}_{m}:{P}_{n}\to {P}_{m}$ be the homomorphism for which $\rho \left({x}_{i}\right)={x}_{i}$ if $i\le m,$ and $\rho \left({x}_{i}\right)=0$ if $i>m\text{.}$ From (4.18) we have $$\begin{array}{cc}\text{(2)}& {\rho}_{m}{\U0001d516}_{w}=\sum _{u}{d}_{u,1}^{w}{\U0001d516}_{u}\text{.}\end{array}$$Let $r$ be the last descent of $w\text{.}$ If $r\le m$ then ${\U0001d516}_{w}\in {P}_{r}$ and hence ${\rho}_{m}{\U0001d516}_{w}={\U0001d516}_{w},$ so that ${d}_{u,1}^{w}$ is equal to $1$ if $u=w,$ and is zero otherwise. If $r>m$ we deduce from (4.16) that $$\begin{array}{cc}\text{(3)}& {\rho}_{m}{\U0001d516}_{w}=\sum _{w\prime}{\rho}_{m}{\U0001d516}_{w\prime}\text{.}\end{array}$$Assume that the coefficients ${d}_{u,1}^{w\prime}$ are $\ge 0$ whenever $w\prime $ precedes $w$ in the reverse lexicographical ordering. Then it follows from (2) and (3) that each ${d}_{u,1}^{w}\ge 0\text{.}$ (As remarked before (4.16), the first element in this ordering (if $\ell \left(w\right)=p\text{)}$ is the permutation $(p+1,1,2,\dots ,p),$ for which the last descent $r$ is equal to $1\text{.)}$ $\square $ 
Let $D$ be a "diagram", which for present purposes means any finite non empty set of lattice points $(i,j)$ in the positive quadrant $(i\ge 1,j\ge 1)\text{.}$ Choose a point $p=(i,j)\in D$ which is rightmost in its row, and suppose that not all the points $(1,j),\dots ,(i1,j)$ directly above $p$ belong to $D\text{.}$ If $h$ is the largest integer less than $i$ such that $(h,j)\in D,$ let ${D}_{1}$ denote the diagram obtained from $D$ by replacing $p=(i,j)$ by $(h,j)\text{.}$ We can then repeat the process on ${D}_{1},$ by choosing the rightmost element in some row, and obtain a diagram ${D}_{2},$ and so on. Let $K\left(D\right)$ denote the set of all diagrams (including $D$ itself) obtainable from $D$ by a sequence of such moves.
Next, we associate with each diagram $D$ a monomial
$${x}^{D}=\prod _{i\ge 1}{x}_{i}^{{a}_{i}}$$where ${a}_{i}$ is the number of elements of $D$ in the ${i}^{\text{th}}$ row, i.e., the number of $j$ such that $(i,j)\in D\text{.}$
With this notation established, Kohnert's algorithm states that
(4.20) For each permutation $w$ we have
$${\U0001d516}_{w}=\sum _{D\in K\left(D\left(w\right)\right)}{x}^{D}$$where $D\left(w\right)$ is the diagram (1.20) of $w\text{.}$
Example. If $w=\left(1432\right),$ $K\left(D\left(w\right)\right)$ consists of the diagrams
$$\begin{array}{ccccc}\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n& \n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n& \n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n& \n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n& \n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\end{array}$$and ${\U0001d516}_{w}={x}_{2}^{2}{x}_{3}+{x}_{1}{x}_{2}{x}_{3}+{x}_{1}{x}_{2}^{2}+{x}_{1}^{2}{x}_{3}+{x}_{1}^{2}{x}_{2}\text{.}$
A proof of a related algorithm by N. Bergeron is given in the Appendix to this chapter. The present status of (4.20) is that it is true for $w$ vexillary [Koh1990], but open in general.
Let $f\in {P}_{n}$ and let $m\ge n\text{.}$ Then
$$\begin{array}{cc}\text{(4.21)}& \begin{array}{ccc}\tau f={\tau}_{m}f& =& {\partial}_{1}\dots {\partial}_{m}\left({x}_{1}\dots {x}_{m}f\right)\\ & =& {\pi}_{1}\dots {\pi}_{m}\left(f\right)\end{array}\end{array}$$is independent of $m,$ because ${\pi}_{m}f=f$ if $f$ is symmetrical in ${x}_{m}$ and ${x}_{m+1},$ and in particular if $f$ does not contain ${x}_{m},{x}_{m+1}\text{.}$
The operator $\tau :{P}_{n}\to {P}_{n+1}$ is called the shift operator. For example, we have
$$\tau {x}_{1}={\partial}_{1}\left({x}_{1}^{2}\right)={x}_{1}+{x}_{2}$$and for $i\ge 2,$
$$\begin{array}{ccc}\tau {x}_{i}& =& {\partial}_{1}\dots {\partial}_{i}\left({x}_{1}\dots {x}_{i1}{x}_{i}^{2}\right)\\ & =& {\partial}_{1}\dots {\partial}_{i1}\left({x}_{1}\dots {x}_{i1}({x}_{i}+{x}_{i+1})\right)\\ & =& {x}_{i+1}{\partial}_{1}\dots {\partial}_{i1}\left({x}_{1}\dots {x}_{i1}\right)\\ & =& {x}_{i+1}\end{array}$$so that by (4.4)
$$\tau {\U0001d516}_{{s}_{i}}=\tau ({x}_{1}+\dots +{x}_{i})={x}_{1}+\dots +{x}_{i+1}={\U0001d516}_{{s}_{i+1}}\text{.}$$More generally,
(4.22) For all permutations $w,$
$$\tau {\U0001d516}_{w}={\U0001d516}_{1\times w}$$where $1\times w$ is the permutation $(1,w\left(1\right)+1,w\left(2\right)+1,\dots )\text{.}$
Proof.  
For each $r\ge 1$ let ${w}_{0}^{\left(r\right)}$ be the longest element of ${S}_{r},$ and let ${\delta}_{r}=(r1,r2,\dots ,1)\text{.}$ Then if $w\in {S}_{n}$ we have $$\begin{array}{ccc}\tau {\U0001d516}_{w}& =& {\partial}_{1}\dots {\partial}_{n}\left({x}_{1}\dots {x}_{n}{\partial}_{{w}^{1}{w}_{0}^{\left(n\right)}}{x}^{{\delta}_{n}}\right)\\ & =& {\partial}_{1}\dots {\partial}_{n}{\partial}_{{w}^{1}{w}_{0}^{\left(n\right)}}\left({x}^{{\delta}_{n+1}}\right)\text{.}\end{array}$$Now ${s}_{1}\dots {s}_{n}$ is the cycle $1\to 2\to \dots \to n+1\to 1,$ and hence $${s}_{1}\dots {s}_{n}{w}^{1}{w}_{0}^{\left(n\right)}={(1\times w)}^{1}{w}_{0}^{(n+1)}$$so that $$\ell \left({s}_{1}\dots {s}_{n}{w}^{1}{w}_{0}^{\left(n\right)}\right)=\ell \left({s}_{1}\dots {s}_{n}\right)+\ell \left({w}^{1}{w}_{0}^{\left(n\right)}\right)$$and therefore by (2.7) we have $$\tau {\U0001d516}_{w}=\partial {(1\times w)}^{1}{w}_{0}^{(n+1)}\left({x}^{{\delta}_{n+1}}\right)={\U0001d516}_{1\times w}\text{.}$$$\square $ 
(4.23) Let $\alpha \in {\mathbb{N}}^{n}$ and $0\le {p}_{1}\le \dots \le {p}_{n}\text{.}$ Then
$$\tau {s}_{\alpha}({X}_{{p}_{1}},\dots ,{X}_{{p}_{n}})={s}_{\alpha}({X}_{{p}_{1}+1},\dots ,{X}_{{p}_{n}+1})\text{.}$$
Proof.  
Since $\tau ={\pi}_{1}{\pi}_{2}\dots {\pi}_{{p}_{n}},$ this follows from (3.10). $\square $ 
(4.24) We have
$${\partial}_{i}{\tau}^{r}=0$$for $1\le i\le r\text{.}$
Proof.  
By (4.12) it is enough to show that ${\partial}_{i}{\tau}^{r}{\U0001d516}_{w}=0$ for all permutations $w,$ and this follows from (4.22) and (4.2). $\square $ 
For each $n\ge 1$ let ${\rho}_{n}:{P}_{\infty}\mapsto {P}_{m}$ be the homomorphism defined by
$${\rho}_{n}\left({x}_{i}\right)=\{\begin{array}{cc}{x}_{i}& \text{if}\hspace{0.17em}i\le n,\\ 0& \text{if}\hspace{0.17em}i>n\text{.}\end{array}$$(4.25) Let ${w}_{0}^{\left(n\right)}$ be the longest element of ${S}_{n}\text{.}$ Then
$${\pi}_{{w}_{0}^{\left(n\right)}}\left(f\right)={\rho}_{n}{\tau}^{n}\left(f\right)$$for all $f\in {P}_{n}\text{.}$
Proof.  
By linearity we may assume that $f={x}^{\alpha}$ where $\alpha \in {\mathbb{N}}^{n}\text{.}$ Since ${x}^{\alpha}={s}_{\alpha}({X}_{1},\dots ,{X}_{n})$ by (3.5'), we have $${\tau}^{n}\left({x}^{\alpha}\right)={s}_{\alpha}({X}_{n+1},\dots ,{X}_{2n})$$by (4.23), and hence $${\rho}_{n}{\tau}^{n}\left({x}_{\alpha}\right)={s}_{\alpha}({X}_{n},\dots ,{X}_{n})$$which is equal to ${\pi}_{{w}_{0}^{\left(n\right)}}\left({x}^{\alpha}\right)$ by (2.16')Â· $\square $ 
A transition is an equation of the form
$$\begin{array}{cc}T(w,r)& {\U0001d516}_{w}={x}_{r}{\U0001d516}_{u}+\sum _{v\in \Phi}{\U0001d516}_{v}\end{array}$$where $r\ge 1,$ $w$ and $u$ are permutations and $\Phi $ is a set of permutations. It exists only for certain values of $r,$ depending on $w\text{.}$ An example is (4.16), in which $r$ is the last descent of $w\text{.}$
By (4.15') we have
$${x}_{r}{\U0001d516}_{u}=\sum _{t}\sigma \left(t\right){\U0001d516}_{ut}$$summed over transpositions $t={t}_{ir}$ such that $\ell \left(ut\right)=\ell \left(u\right)+1,$ where $\sigma \left(t\right)$ is the sign of $ir\text{.}$ So for $T(w,r)$ to hold there must be exactly one $j>r$ such that
$$\begin{array}{cccc}\text{(1)}& \ell \left(u{t}_{rj}\right)& =& \ell \left(u\right)+1,\\ \text{(2)}& w& =& u{t}_{rj}\text{.}\end{array}$$Consider the graphs $G\left(w\right)$ and $G\left(u\right)$ of $w$ and $u\text{.}$ They differ only in rows $r$ and $j\text{:}$
$$\begin{array}{cc}\n\n\n\n\n\n\n\n\n\nA\nB\nC\nD\nr\nj\n\n& \n\n\n\n\n\n\n\n\n\nA\nB\nC\nD\nr\nj\n\n\\ G\left(w\right)& G\left(u\right)\end{array}$$By (1.10) the relation (1) above is equivalent to $A\cap G\left(u\right)=\varnothing ,$ where $A$ is the open region indicated in the diagram. Moreover, $j$ is the only integer $>r$ such that $u\left(j\right)>u\left(r\right)$ and $A\cap G\left(u\right)=\varnothing ,$ and this will be the case if and only if $(A\cup B\cup C)\cap G\left(u\right)$ is empty. Since $(A\cup B\cup C)\cap G\left(u\right)=(A\cup B\cup C)\cap G\left(w\right),$ it follows that
(4.26) There is a transition $T(w,r)$ if and only if
$$(A\cup B\cup C)\cap G\left(w\right)=\varnothing \text{.}$$From (4.26) it follows that if $T(w,r)$ exists we must have $w\left(r\right)>w(r+1),$ i.e., $r$ must be a descent of $w\text{.}$ Hence
$${d}_{0}\left(w\right)\le r\le {d}_{1}\left(w\right)$$where ${d}_{0}\left(w\right)$ (resp. ${d}_{1}\left(w\right)\text{)}$ is the first (resp. last) descent of $w\text{.}$ (In terms of the code $c\left(w\right),{d}_{0}\left(w\right)$ is the first descent of the sequence $c\left(w\right),$ and ${d}_{1}\left(w\right)$ is the largest $i$ such that ${c}_{i}\left(w\right)\ne 0\text{.)}$ In general, not all descents of $w$ will give rise to transitions, but the last descent always does, by (4.16).
Consider next the set $\Phi =\Phi (w,r)$ of permutations that feature in $T(w,r)\text{.}$ Each $v\in \Phi $ is of the form $v=u{t}_{ir}$ with $i<r$ and $\ell \left(v\right)=\ell \left(u\right)+1$ $\text{(}=\ell \left(w\right)\text{).}$ Again by (1.10), this means that
$$\begin{array}{ccc}\n\n\n\n\n\n\n\n\n\n\n\n\n\nA\u2032\nB\u2032\nC\u2032\nD\u2032\ni\nr\nj\n\n& \n\n\n\n\n\n\n\n\n\n\n\n\n\ni\nr\nj\n\n& \n\n\n\n\n\n\n\n\n\n\n\n\n\ni\nr\nj\n\n\\ G\left(w\right)& G\left(u\right)& G\left(v\right)\end{array}$$$A\prime \cap G\left(w\right)$ is empty, where $A\prime $ is the open region indicated in the diagram above.
The element $v=u{t}_{ir}$ of $\Phi $ for which $i$ is maximal is called the leader of $\Phi \text{.}$ Thus $v\in \Phi $ is the leader if and only if
$$\begin{array}{cc}\text{(4.27)}& (A\prime \cup B\prime )\cap G\left(w\right)=\varnothing \text{.}\end{array}$$Remark (4.28). The set $\Phi $ will be empty if and only if there is no $i<r$ such that $w\left(i\right)<w\left(j\right)\text{.}$ We can always avoid this possibility by replacing $w$ by $1\times w\text{.}$ If $\Phi (w,r)$ is not empty, then $v\mapsto 1\times v$ is a bijection of $\Phi (w,r)$ onto $\Phi (1\times w,r+1)\text{.}$
The condition (4.26) is stable under reflection in the main diagonal, which interchanges $G\left(w\right)$ and $G\left({w}^{1}\right)\text{.}$ Hence
(4.29) The transition $T(w,r)$ exists if and only if $T({w}^{1},s)$ exists, where $s=w\left(j\right)\text{.}$ Moreover we have
$$\Phi ({w}^{1},s)=\Phi {(w,r)}^{1}$$so that $T({w}^{1},s)$ is the relation
$${\U0001d516}_{{w}^{1}}={x}_{s}{\U0001d516}_{{u}^{1}}+\sum _{v\in \Phi}{\U0001d516}_{{v}^{1}}\text{.}$$We may notice directly one corollary of (4.29). Let
$${\U0001d516}_{w}\left(1\right)={\U0001d516}_{w}(1,1,\dots )$$be the number of monomials in ${\U0001d516}_{w},$ each counted with its multiplicity. (By (4.17), ${\U0001d516}_{w}$ is a positive sum of monomials.) If $T(w,r)$ is a transition, we have
$${\U0001d516}_{w}\left(1\right)={\U0001d516}_{u}\left(1\right)+\sum _{v\in \Phi}{\U0001d516}_{v}\left(1\right)$$and also, by (4.29)
$${\U0001d516}_{{w}^{1}}\left(1\right)={\U0001d516}_{{u}^{1}}\left(1\right)+\sum _{v\in \Phi}{\U0001d516}_{{v}^{1}}\left(1\right)\text{.}$$From these two relations it follows, by induction on $\ell \left(w\right)$ and on the integer ${\U0001d516}_{w}\left(1\right),$ that
$$\begin{array}{cc}\text{(4.30)}& {\U0001d516}_{w}\left(1\right)={\U0001d516}_{{w}^{1}}\left(1\right)\end{array}$$or in other words that ${\U0001d516}_{w}$ and ${\U0001d516}_{{w}^{1}}$ each contain the same number of monomials. So if Kohnert's algorithm (4.20) is true, we should have
$$\text{Card}\hspace{0.17em}K\left(D\left(w\right)\right)=\text{Card}\hspace{0.17em}K\left(D\left({w}^{1}\right)\right)\text{.}$$Doubtless the combinatorialists will seek a "bijective" proof of this fact.
Let $T(w,r)$ be a transition and let $v\in \Phi (w,r)\text{.}$ Consider again the graphs of $w$ and $v\text{:}$
$$\begin{array}{cc}\n\n\n\n\n\n\n\n\n\n\n\n\n\n0\nM\n0\n0\nP\nN\n0\n\ni\nr\nj\n\n& \n\n\n\n\n\n\n\n\n\n\n\n\n\ni\nr\nj\n\n\\ G\left(w\right)& G\left(v\right)\end{array}$$Let $m,n,p$ denote respectively the number of points of $G\left(w\right)$ (or equivalently $G\left(v\right)\text{)}$ in the open regions of $M,N,P\text{.}$ (The regions marked with a zero contain no graph points.) Then we have
$$\begin{array}{cc}\text{(4.31)}& \begin{array}{cc}{c}_{i}\left(w\right)=m+n,& {c}_{r}\left(w\right)=n+p+1,\\ {c}_{i}\left(v\right)=m+n+p+1,& {c}_{r}\left(v\right)=n,\end{array}\end{array}$$and ${c}_{k}\left(v\right)={c}_{k}\left(w\right)$ if $k\ne i,r\text{.}$ In particular, ${c}_{r}\left(w\right)>{c}_{r}\left(v\right)$ for all $v\in \Phi (w,r)\text{.}$
Proof.  
${c}_{i}\left(w\right)$ is the number of positive integers $k>i$ such that $w\left(k\right)<w\left(i\right),$ hence is equal to $m+n\text{.}$ Similarly for the other assertions. $\square $ 
Suppose first that $m=0,$ i.e (by (4.27)) that $v$ is the leader of $\Phi \text{.}$ Then from (4.31) we have ${c}_{i}\left(w\right)={c}_{r}\left(v\right)$ and ${c}_{r}\left(w\right)={c}_{i}\left(v\right)\text{.}$ Hence in this case $c\left(v\right)={t}_{ir}c\left(w\right)$ and therefore $\lambda \left(v\right)=\lambda \left(w\right)\text{.}$
If on the other hand $m>0,$ there are two possibilities:
either
$${c}_{i}\left(v\right)>{c}_{i}\left(w\right)\ge {c}_{r}\left(w\right)>{c}_{r}\left(v\right),$$or
$${c}_{i}\left(v\right)>{c}_{r}\left(w\right)>{c}_{i}\left(w\right)>{c}_{r}\left(v\right)\text{.}$$In both cases it follows that $\lambda \left(v\right)$ is of the form ${R}^{a}\lambda \left(w\right),$ where $R$ is a raising operator and $a\ge 1\text{.}$ Hence $\lambda \left(v\right)>\lambda \left(w\right)$ (for the dominance partial ordering on partitions), and we have proved
(4.32) If $T(w,r)$ is a transition, we have $\lambda \left(v\right)\ge \lambda \left(w\right)$ for all $v\in \Phi (w,r),$ with equality if and only if $v$ is the leader of $\Phi \text{.}$
Recall (1.26) that for any permutation $w$ we have
$$\lambda \left(w\right)\prime \ge \lambda \left({w}^{1}\right)\text{.}$$Hence for $v\in \Phi (w,r)$ we have
$$\begin{array}{cc}\text{(4.33)}& \lambda \left(w\right)\prime \stackrel{(*)}{\ge}\lambda \left(v\right)\prime \ge \lambda \left({v}^{1}\right)\stackrel{(*)}{\ge}\lambda \left({w}^{1}\right)\end{array}$$by (4.29) and (4.32). Moreover, at least one of the inequalities $(*)$ is strict unless $v$ is the leader of $\Phi (w,r)$ and ${v}^{1}$ is the leader $\Phi ({w}^{1},s)$ (in the notation of (4.29)). In the notation of the diagram preceding (4.27) this means that
$$(A\prime \cup B\prime \cup C\prime )\cap G\left(w\right)=\varnothing $$and hence, as in the proof of (4.26), that $\text{Card}\hspace{0.17em}\Phi \le 1\text{.}$
(4.34) If $T(w,r)$ is a transition with $w$ vexillary, then $\Phi (w,r)$ is either empty or consists of one vexillary permutation.
Proof.  
Suppose that $\Phi $ is not empty, and let $v\in \Phi \text{.}$ By (1.27) we have $\lambda \left(w\right)\prime =\lambda \left({w}^{1}\right),$ and hence all the inequalities in (4.33) are equalities. Thus $v$ is vexillary, and by the remarks above it is the only member of $\Phi \text{.}$ $\square $ 
(4.35) Let $T(w,r)$ be a transition with $r>{d}_{0}\left(w\right)\text{.}$ Then
$${d}_{0}\left(v\right)\ge {d}_{0}\left(w\right)$$for all $v\in \Phi (w,r)\text{.}$
Proof.  
As before, let $v=u{t}_{ir}$ with $i<r,$ and let ${d}_{0}\left(w\right)=d\text{.}$ We have to show that $$\begin{array}{cc}(*)& {c}_{1}\left(v\right)\le \dots \le {c}_{d}\left(v\right)\text{.}\end{array}$$We distinguish three cases:
$\square $ 
The maximal transition for $w$ is $T(w,{d}_{1}\left(w\right))\text{.}$ Let us temporarily write $w\to v$ to mean that $v\in \Phi (w,{d}_{1}\left(w\right))\text{.}$
(4.36) Suppose that
$$w={w}_{0}\to {w}_{1}\to \dots \to {w}_{p}$$is a chain of maximal transitions in which none of the ${w}_{i}$ is Grassmannian. Then
$$p<({d}_{1}\left(w\right){d}_{0}\left(w\right))\ell \left(w\right)\text{.}$$
Proof.  
For any permutation $v,$ let $e\left(v\right)={d}_{1}\left(v\right){d}_{0}\left(v\right)\ge 0\text{.}$ Also let $f\left(v\right)$ denote the last nonzero term in the sequence $c\left(v\right),$ i.e. $f\left(v\right)={c}_{{d}_{1}\left(v\right)}\left(v\right)\text{.}$ Recall that $v$ is Grassmannian if and only if it has only one descent, that is to say if and only if $e\left(v\right)=0\text{.}$ From (4.35) we have $${d}_{0}\left({w}_{k}\right)\ge {d}_{0}\left({w}_{k1}\right)$$for $1\le k\le p,$ and from (4.31) we have $$\begin{array}{cc}\text{(1)}& {c}_{r}\left({w}_{k}\right)<{c}_{r}\left({w}_{k1}\right)\end{array}$$where $r={d}_{1}\left({w}_{k1}\right)\text{.}$ Hence ${d}_{1}\left({w}_{k}\right)\le {d}_{1}\left({w}_{k1}\right)$ and therefore $$e\left({w}_{k}\right)\le e\left({w}_{k1}\right)\text{.}$$Moreover, if $e\left({w}_{k}\right)=e\left({w}_{k1}\right)$ we must have ${d}_{1}\left({w}_{k}\right)={d}_{1}\left({w}_{k1}\right)$ and hence by (1) $$f\left({w}_{k}\right)<f\left({w}_{k1}\right)\text{.}$$It follows that the $p+1$ points $({x}_{k},{y}_{k})=(e\left({w}_{k}\right),f\left({w}_{k}\right))$ are all distinct. Since they all satisfy $1\le {w}_{k}\le e\left(w\right)$ and $1\le {y}_{k}\le \ell \left(w\right),$ we have $p+1\le e\left(w\right)\ell \left(w\right),$ as required. $\square $ 
In what follows we shall when necessary replace a permutation $w$ by $1\times w,$ in order to ensure that at each stage the set $\Phi (w,r)$ is not empty (4.28). Observe that this replacement does not change the bound $({d}_{1}\left(w\right){d}_{0}\left(w\right))\ell \left(w\right)$ in (4.36).
The rooted tree ${T}_{w}$ of a permutation $w$ defined as follows:
(i)  if $w$ is vexillary, then ${T}_{w}=\left\{w\right\}\text{;}$ 
(ii)  if $w$ is not vexillary, take the maximal transition for $w\text{:}$ $$\begin{array}{cc}(*)& {\U0001d516}_{w}={x}_{r}{\U0001d516}_{u}+\sum _{v\in \Phi}{\U0001d516}_{v}\end{array}$$ 
where $r={d}_{1}\left(w\right)\text{.}$ (If $\Phi $ is empty, replace $w$ by $1\times w$ as explained above.) To obtain ${T}_{w},$ join $w$ by an edge to each $v\in \Phi ,$ and attach to each $v\in \Phi $ its tree ${T}_{v}\text{.}$
By (4.36), ${T}_{w}$ is a finite tree, and by construction all its endpoints are vexillary permutations of length $\ell \left(w\right)\text{.}$ It follows from (4.28) that $v\mapsto 1\times v$ is a bijection of ${T}_{w}$ onto ${T}_{1\times w}\text{.}$ Thus ${T}_{w}$ depends (up to isomorphism) only on the diagonal equivalence class (Chapter I) of the permutation $w\text{.}$
Recall that ${\rho}_{m}:{P}_{\infty}\to {P}_{m}$ is the homomorphism defined by ${\rho}_{m}\left({x}_{i}\right)={x}_{i}$ if $1\le i\le m,$ and ${\rho}_{m}\left({x}_{i}\right)=0$ if $i>m\text{.}$
(4.37) Let $V$ be the set of endpoints of ${T}_{w}\text{.}$ Then if $m\le {d}_{0}\left(w\right)$ we have
$${\rho}_{m}\left({\U0001d516}_{w}\right)=\sum _{v\in V}{s}_{\lambda \left(v\right)}\left({X}_{m}\right)\text{.}$$
Proof.  
If $w$ is vexillary we have ${\rho}_{m}\left({\U0001d516}_{w}\right)={s}_{\lambda \left(w\right)}\left({X}_{m}\right)$ by (4.4), since ${\varphi}_{1}\left(w\right)={d}_{0}\left(w\right)\ge m\text{.}$ If $w$ is not vexillary, it follows from the maximal transition $(*)$ above that $${\rho}_{m}\left({\U0001d516}_{w}\right)=\sum _{v\in \Phi}{\rho}_{m}\left({\U0001d516}_{v}\right)$$since $r={d}_{1}\left(w\right)>{d}_{0}\left(w\right)\ge m\text{.}$ The result now follows by induction on $\text{Card}\left({T}_{w}\right)\text{.}$ $\square $ 
Let $\mu ,\nu $ be partitions and let $u\in {S}_{n},$ $u\prime \in {S}_{p}$ be Grassmannian permutations of shapes $\mu ,\nu $ respectively. Let $w=u\times u\prime \in {S}_{n+p},$ so that by (4.6) and (4.8)
$$\begin{array}{ccc}{\U0001d516}_{w}& =& {\U0001d516}_{u}\xb7{\U0001d516}_{{1}_{n}\times u\prime}\\ & =& {s}_{\mu}\left({X}_{r}\right){s}_{\nu}\left({X}_{s}\right)\end{array}$$where $r={d}_{0}\left(u\right)$ and $s=n+{d}_{0}\left(u\prime \right)\text{.}$ Hence if $m\le r$ we have
$${\rho}_{m}\left({\U0001d516}_{w}\right)={s}_{\mu}\left({X}_{m}\right){s}_{\nu}\left({X}_{m}\right)$$and so by (4.37)
$${s}_{\mu}\left({X}_{m}\right){s}_{\nu}\left({X}_{m}\right)=\sum _{v\in V}{s}_{\lambda \left(v\right)}\left({X}_{m}\right)$$where $V$ is the set of endpoints of the tree ${T}_{w}\text{.}$ Here the integer $m$ can be arbitrarily large, because we can replace $w$ by ${1}_{k}\times w$ for any positive integer $k\text{.}$ Consequently we have
$$\begin{array}{cc}\text{(4.38)}& {s}_{\mu}{s}_{\nu}=\sum _{v\in V}{s}_{\lambda \left(v\right)}\end{array}$$where $V$ is the set of endpoints of the tree ${T}_{u\times u\prime},$ and $u$ (resp. $u\prime \text{)}$ is Grassmannian of shape $\mu $ (resp. $\nu \text{).}$
The same argument evidently applies to the product of any number of Schur functions. If ${\mu}^{\left(1\right)},\dots ,{\mu}^{\left(k\right)}$ are partitions, let ${u}_{i}\in {S}_{{n}_{i}}$ be a Grassmannian permutation of shape ${\mu}^{\left(i\right)},$ for each $i=1,\dots ,k$ (so that ${n}_{i}\ge \ell \left({\mu}^{\left(i\right)}\right)+\ell \left({\mu}^{\left(i\right)}\prime \right)\text{)}$ and let $w={u}_{1}\times \dots \times {u}_{k}\text{.}$ Then
$$\begin{array}{cc}\text{(4.38')}& {s}_{{\mu}^{\left(1\right)}}\dots {s}_{{\mu}^{\left(k\right)}}=\sum _{v\in V}{s}_{\lambda \left(v\right)}\end{array}$$where $V$ is the set of endpoints of the tree ${T}_{w}\text{.}$
In particular, suppose that each ${\mu}^{\left(i\right)}$ is onepart partition, say ${\mu}^{\left(i\right)}=\left({\mu}_{i}\right),$ so that the lefthand side of (4.38') becomes ${h}_{{\mu}_{1}}{h}_{{\mu}_{2}}\dots ={h}_{\mu}\text{.}$ Correspondingly, each ${u}_{i}$ is a cycle of length ${\mu}_{i}+1,$ namely ${u}_{i}=({\mu}_{i}+1,1,2,\dots ,{\mu}_{i})\text{.}$ Now [Mac1979, Ch.I, §6] the coefficient of a Schur function ${s}_{\lambda}$ in ${h}_{\mu}$ is the Kostka number ${K}_{\lambda \mu}\text{.}$ Hence we have
(4.39) ${K}_{\lambda \mu}$ is the number of endpoints of shape $\lambda $ in the tree of $w={u}_{}\times {u}_{2}\times \dots \text{.}$
Schubert polynomials for ${S}_{4}$
$\begin{array}{cc}w& {\U0001d516}_{w}\\ 1234& 1\\ 1243& {x}_{1}+{x}_{2}+{x}_{3}\\ 1324& {x}_{1}+{x}_{2}\\ 1342& {x}_{1}{x}_{2}+{x}_{1}{x}_{3}+{x}_{2}{x}_{3}\\ 1423& {x}_{1}^{2}+{x}_{1}{x}_{2}+{x}_{2}^{2}\\ 1432& {x}_{1}^{2}{x}_{2}+{x}_{1}^{2}{x}_{3}+{x}_{1}{x}_{2}^{2}+{x}_{1}{x}_{2}{x}_{3}+{x}_{2}^{2}{x}_{3}\\ 2134& {x}_{1}\\ 2143& {x}_{1}^{2}+{x}_{1}{x}_{2}+{x}_{1}{x}_{3}\\ 2314& {x}_{1}{x}_{2}\\ 2341& {x}_{1}{x}_{2}{x}_{3}\\ 2413& {x}_{1}^{2}{x}_{2}+{x}_{1}{x}_{2}^{2}\\ 2431& {x}_{1}^{2}{x}_{2}{x}_{3}+{x}_{1}{x}_{2}^{2}{x}_{3}\\ 3124& {x}_{1}^{2}\\ 3142& {x}_{1}^{2}{x}_{2}+{x}_{1}^{2}{x}_{3}\\ 3214& {x}_{1}^{2}{x}_{2}\\ 3241& {x}_{1}^{2}{x}_{2}{x}_{3}\\ 3412& {x}_{1}^{2}{x}_{2}^{2}\\ 3421& {x}_{1}^{2}{x}_{2}^{2}{x}_{3}\\ 4123& {x}_{1}^{3}\\ 4132& {x}_{1}^{3}{x}_{2}+{x}_{1}^{3}{x}_{3}\\ 4213& {x}_{1}^{3}{x}_{2}\\ 4213& {x}_{1}^{3}{x}_{2}\\ 4231& {x}_{1}^{3}{x}_{2}{x}_{3}\\ 4312& {x}_{1}^{3}{x}_{2}^{2}\\ 4321& {x}_{1}^{3}{x}_{2}^{2}{x}_{3}\end{array}$This is a typed excerpt of the book Notes on Schubert Polynomials by I. G. Macdonald.