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~d∣r_d=|\widetilde{I}_d|, and let φ\varphi be Euler's totient function. Weight-filtration and hard-Lefschetz conjecture. The following hold: H⁡i(JGscG,Q)=0\operatorname{H}^{i}(J^G_{G^{\mathrm{sc}}},\mathbb{Q})=0 for odd ii; for 0≤j≤r0\leq j\leq r and j≤i≤2jj\leq i\leq 2j,

dim⁡Gr⁡2iWH⁡2j(JGscG,Q)=∑d∈N, I~d≠∅, 2j−i=r−rd+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 Gr⁡2iWH⁡2j(JGscG,Q)=0\operatorname{Gr}^{W}_{2i}\operatorname{H}^{2j}(J^G_{G^{\mathrm{sc}}},\mathbb{Q})=0. In particular, dim⁡H⁡2(JGscG,Q)=1\dim\operatorname{H}^{2}(J^G_{G^{\mathrm{sc}}},\mathbb{Q})=1 and it is pure of weight 44. If η∈H⁡2(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:Gr⁡2r−2iWH⁡∗(JGscG,Q)⟶∼Gr⁡2r+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 0≤i≤r0\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.

References

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.