Gaudin monodromy conjectures for crystal tensor products

About 2 years old · traced to

Let g\mathfrak{g} be a simple Lie algebra, let V(λ1),…,V(λn)V(\lambda_1),\ldots,V(\lambda_n) be irreducible representations, write V(λ‾)=V(λ1)⊗⋯⊗V(λn)V({\underline{\lambda}})=V(\lambda_1)\otimes\cdots\otimes V(\lambda_n), and let V(λ‾)μV({\underline{\lambda}})_\mu denote its μ\mu-weight space. Let B(λi)B(\lambda_i) be the normal crystal of highest weight λi\lambda_i, and let vCn=π1Sn(F‾n(R))vC_n=\pi_1^{S_n}(\overline F_n(\mathbb{R})), Cn~=π1Sn(M‾n+2split(R))\widetilde{C_n}=\pi_1^{S_n}(\overline M_{n+2}^{split}(\mathbb{R})), and AC~n=π1Sn(M‾n+2comp(R))\widetilde{AC}_n=\pi_1^{S_n}(\overline M_{n+2}^{comp}(\mathbb{R})). The inhomogeneous and trigonometric Gaudin Hamiltonians have corresponding eigenlines in V(λ‾)μV({\underline{\lambda}})_\mu. Gaudin monodromy conjectures. (1) The monodromy action of vCnvC_n on the inhomogeneous Gaudin eigenlines in V(λ‾)μV({\underline{\lambda}})_\mu matches the action of vCnvC_n on B(λ1)⊗⋯⊗B(λn)B(\lambda_1)\otimes\cdots\otimes B(\lambda_n) given by crystal commutors and naive permutation of tensor factors. (2) The monodromy action of Cn~\widetilde{C_n} on the trigonometric Gaudin eigenlines in V(λ‾)μV({\underline{\lambda}})_\mu factors surjectively through the action of vCnvC_n. (3) The monodromy action of AC~n\widetilde{AC}_n on the trigonometric Gaudin eigenlines in V(λ‾)μV({\underline{\lambda}})_\mu factors through the action of vCnvC_n and is given by crystal commutors and cyclic rotation of tensor factors. These conjectures relate monodromy of Gaudin eigenlines to the combinatorial actions on tensor products of crystals; the source says they are intended to be proved in future work, so their resolution is not established here.

References

Primary source

Aleksei Ilin, Joel Kamnitzer and Leonid Rybnikov, “Gaudin models and moduli space of flower curves”, arXiv:2407.06424 (2025).

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.