Let $k$ be a field of characteristic 0 (say $\mathbb{C}$).
Consider the ring of polynomials $R = k[X_1,...,X_n]$ and its subring of invariant polynomials $S = R^{S_n}$. It is known that the endomorphism algebra $End_{S}(R)$ is the nil affine Hecke ring (we can give a nice presentation of this ring in terms of Demazure operators). This presentation is as follows: generators:
a) $X_1,...,X_n$ (which act on polynomials by multiplication by the corresponding variable)
b) $T_1,...,T_{n-1}$ which act on polynomials by Demazure operators, i.e.:
$T_i(P) = \frac{P-s_i(P)}{X_{i+1}-X_i}$, where $s_i$ is the usual simple reflection.
The relations are:
a) The $X_i$'s commute
b) $T_i^2=0$ and the $T$'s satisfy the braid relations plus they commute if $|i-j|>1$
c) $[T_i,X_j] = 0$ if $j\neq i,i+1$
d) $T_iX_i-X_{i+1}T_i = -1$ and $T_iX_{i+1}-X_iT_i = 1$.
I would like to know if there is a similar result for the diagonal invariants. Namely: let $A = k[X_1,...,X_n,Y_1,...,Y_n]$ and let $B = A^{S_n}$ where the symmetric group acts by the diagonal embedding $S_n\hookrightarrow S_n\times S_n$. Is there a (nice) presentation of the algebra $End_B(A)$? (does it have a name?) If I understand correctly (from Chevalley-Shephard-Todd theorem) in this case $A$ is not even free over $B$ so the things might get ugly...