Take $W = S\_n$ for simplicity, though other Weyl groups work too. Let $r\_i$ denote the $i$th simple reflection acting on ${\mathbb A}^n$, and $\partial\_i = 1/(x\_i - x\_{i+1}) ({\operatorname{Id}} - r\_i)$ denote the corresponding divided difference operator.


It's easy to show that the operators $r\_i + c \partial\_i$ satisfy the Coxeter relations. I know I saw this in a Lascoux article, but there are so many that I'm hoping MathOverflow can tell me which one so I don't have to pore over the French, or can suggest some other canonical reference, the older the better.


Separately, I'd like to know if any author explicitly discusses these in the context of the Steinberg variety, where the $c$ should be the equivariant cohomology parameter corresponding to dilation of the cotangent bundle, I guess.



Reference for representation of Weyl group using r_ + c∂_
The difference operators (as you presumably know) are defined in a paper of Bernstein–Gelfand–Gelfand on Schubert cells etc. which is probably roughly as old as you can get. The fact that the $r\_i + c\partial\_i$ satisfy the Coxeter relations is implied by (equivalent to, pretty much) the fact that the graded/degenerate affine Hecke algebra is isomorphic as a vector space to $\mathbb C[W]\otimes \mathbb C[x\_1,x\_2,\dotsc,x\_n]$ (the operators give the action of the $\mathbb C[W]$ subalgebra on the polynomial representation of the degenerate affine Hecke algebra). The first references for the degenerate affine Hecke algebra are Drinfeld's paper [Degenerate affine Hecke algebras and Yangians](https://doi.org/10.1007/BF01077318) (for type A) and Lusztig's paper [Cuspidal local systems and graded Hecke algebras, I](http://archive.numdam.org/item/PMIHES_1988__67__145_0/), and the Lusztig paper that Stephen references, which is pure algebra. I think it also arises in some form in Cherednik's paper [A new interpretation of Gelʹfand–Tzetlin bases](https://doi.org/10.1215/S0012-7094-87-05423-8).


The connection to the equivariant cohomology of the Steinberg is examined in Lusztig's cuspidal local systems papers (it is the easiest "Springer theory" case, i.e. where you don't have to worry about cuspidal local systems).


