Faithfulness conjecture for the polynomial representation at slope one-half

Let α(Z2)+\alpha\in({\mathbb Z}^2)^+, and let Aα12A^{\frac12}_\alpha be the algebra constructed from the convolution homology of the corresponding moduli spaces. Its polynomial representation is the representation

Pα12=αSeq12(α)iH(Cohαi12)P^{\frac12}_\alpha=\bigoplus_{\underline{\alpha}\in\mathrm{Seq}^{\frac12}(\alpha)}\bigotimes_i \mathrm{H}^*(\operatorname{Coh}^{\frac12}_{\alpha_i})

obtained from the convolution action.

Faithfulness conjecture. For any α(Z2)+\alpha\in({\mathbb Z}^2)^+, the polynomial representation Pα12P^{\frac12}_\alpha of Aα12A^{\frac12}_\alpha is faithful.

For ν12\nu\neq\frac12, faithfulness follows from a result of Przezdziecki, while the slope-12\frac12 case is the remaining case proposed here.

Sources & referencesView supporting material

Primary source

Olivier Schiffmann and Fang Yang, “KLR-Schur algebra of coherent sheaves on the projective line: Tilting and PBW bases”, arXiv:2603.01265 (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.