Everyone (that is, everyone who cares) knows that double Schubert polynomials represent Schubert classes in equivariant cohomology in type $A$. We also know that we can restrict Schubert classes to fixed points of the torus action to obtain a realization of the equivariant cohomology ring as a subring of a direct product of polynomial rings. Positive formulas for the restrictions in terms of the negative roots are well known.


There's another formula for the restrictions, however, that is not positive, that I figured out but don't remember seeing anywhere. Namely, the restriction of the Schubert class $[X\_u]^T$ to the fixed point $t\_w$ is given by
$$S\_u(x\_{w(1)},x\_{w(2)},\ldots,x\_{w(n)};x\_1,x\_2,\ldots,x\_n)$$
where $S\_u$ is the corresponding double Schubert polynomial. This can be proved with Macdonald's skew divided difference operators. This formula is pretty logical considering the equivariant cohomology ring as the dual of the nil-Hecke ring, but it's not immediately obvious that the relationship between the rings is so literal that you can just plug things into the polynomials to get the answer. 


Any references/insights/comments are welcome.



Reference for restriction formula in terms of double Schubert polynomials
Instead of thinking of the double Schubert polynomial $S\_u$ as representing $[\overline{B\_- uB}/B] \in H^\*\_T(GL\_n/B)$, equivalently think of it as representing $[\overline{B\_- uB}] \in H^\*\_{T\times B}(GL\_n) \cong H^\*\_{T\times T}(GL\_n)$. Then setting $y\_i \mapsto x\_{w(i)}$ corresponds to restricting the $T\times T$ action to the $w$-twisted diagonal $T$, i.e. the map $H^\*\_{T\times T}(GL\_n) \twoheadrightarrow H^\*\_{w\cdot T\_\Delta}(GL\_n)$.


The reason to restrict is that $T\times T$ has no fixed points on $GL\_n$, i.e. the $T$-fixed points on $GL\_n/B$ are not images of $T$-fixed points upstairs. Rather, $wB/B$ is the image of many $w\cdot T\_\Delta$-fixed points $p$. Now we can restrict from $H^\*\_{w\cdot T\_\Delta}(GL\_n) \to H^\*\_{w\cdot T\_\Delta}(p) \cong H^\*\_{w\cdot T\_\Delta}$ and get the polynomial you wanted.


