Classical affine Schur-Weyl kernel conjecture

From papers

Let E[ASm]E[AS_m] be the group algebra of the affine symmetric group, let χ:E[ASm]EndSym(x)(Rnm)\chi:E[AS_m]\to\operatorname{End}_{\operatorname{Sym}(\underline{x})}(R^m_n) be the specialization at q=1q=1, and let esgn(T1,,Tk)e_{sgn}(T_1,\dots,T_k) denote the sign idempotent in C[Sk]C[Sm]\mathbb C[S_k]\subset\mathbb C[S_m]. For hj=hj(X1,,Xk+1)h_j=h_j(X_1,\dots,X_{k+1}), write hjh_j for the homogeneous symmetric function of degree jj, and let ere_r denote the relevant elementary symmetric functions. Classical affine Schur-Weyl kernel conjecture. The kernel of χ\chi is generated, for k=0,,min(n,m1)k=0,\dots,\min(n,m-1), by

esgn(T1,,Tk)(hnke1hnk1+e2hnk2+(1)nkenk).e_{sgn}(T_1,\dots,T_k)(h_{n-k}-e_1h_{n-k-1}+e_2h_{n-k-2}-\dots+(-1)^{n-k}e_{n-k}).

This conjecture interpolates between the Cayley-Hamilton theorem at k=0k=0 and Schur-Weyl duality at k=nk=n when m>nm>n; the full kernel description is not established in the supplied text.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Sabin Cautis and Joel Kamnitzer, “Quantum K-theoretic geometric Satake”, arXiv:1509.00112 (2017).

Solutions 0

No solutions have been posted yet.