Weight-filtration and hard-Lefschetz conjecture for affine Toda centralizers

Let GG be a semisimple group over C\mathbb{C}, let GscG^{\mathrm{sc}} be its simply-connected cover, and let JGscGJ^G_{G^{\mathrm{sc}}} be the associated regular centralizer group scheme. Write rr for the rank of GG, let I~d\widetilde{I}_d be the set of affine simple roots whose Dynkin labeling is divisible by dd, let rd=I~dr_d=|\widetilde{I}_d|, and let φ\varphi be Euler's totient function. Weight-filtration and hard-Lefschetz conjecture. The following hold: Hi(JGscG,Q)=0\operatorname{H}^{i}(J^G_{G^{\mathrm{sc}}},\mathbb{Q})=0 for odd ii; for 0jr0\leq j\leq r and ji2jj\leq i\leq 2j,

dimGr2iWH2j(JGscG,Q)=dN,I~d,2ji=rrd+1φ(d),\dim \operatorname{Gr}^{W}_{2i}\operatorname{H}^{2j}(J^G_{G^{\mathrm{sc}}},\mathbb{Q})=\sum_{d\in\mathbb{N},\,\widetilde{I}_d\neq\varnothing,\,2j-i=r-r_d+1}\varphi(d),

and otherwise Gr2iWH2j(JGscG,Q)=0\operatorname{Gr}^{W}_{2i}\operatorname{H}^{2j}(J^G_{G^{\mathrm{sc}}},\mathbb{Q})=0. In particular, dimH2(JGscG,Q)=1\dim\operatorname{H}^{2}(J^G_{G^{\mathrm{sc}}},\mathbb{Q})=1 and it is pure of weight 44. If ηH2(JGscG,Q)\eta\in\operatorname{H}^{2}(J^G_{G^{\mathrm{sc}}},\mathbb{Q}) is nonzero, then cupping with ηi\eta^i induces an isomorphism

ηi:Gr2r2iWH(JGscG,Q)Gr2r+2iWH+2i(JGscG,Q)\cup\eta^i:\operatorname{Gr}^{W}_{2r-2i}\operatorname{H}^{*}(J^G_{G^{\mathrm{sc}}},\mathbb{Q})\stackrel{\sim}{\longrightarrow}\operatorname{Gr}^{W}_{2r+2i}\operatorname{H}^{*+2i}(J^G_{G^{\mathrm{sc}}},\mathbb{Q})

for 0ir0\leq i\leq r.

These predictions refine the P=W conjecture and the computed cohomology of MG\mathcal{M}^{\circ}_G, specifying the expected weights and a hard-Lefschetz pattern on the centralizer side. The source does not state that this conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Xin Jin and Zhiwei Yun, “Mirror Symmetry of the Affine Toda Systems”, arXiv:2605.21159 (2026).

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.