Classical affine Schur-Weyl kernel conjecture

About 11 years old · traced to

Let E[ASm]E[AS_m] be the group algebra of the affine symmetric group, let χ:E[ASm]→End⁡Sym⁡(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,m−1)k=0,\dots,\min(n,m-1), by

esgn(T1,…,Tk)(hn−k−e1hn−k−1+e2hn−k−2−⋯+(−1)n−ken−k).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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.