Integral freeness conjecture for cuspidal algebras of imaginary root multiples

Let δ\delta be the minimal positive imaginary root of the affine ADE root system, let nZ>0n\in\mathbb{Z}_{>0}, and let kk be either FF or KK. Write Cnδ,OC_{n\delta,\mathcal O} for the corresponding cuspidal algebra over O\mathcal O, and Cnδ,kC_{n\delta,k} for its base change to kk. Integral freeness conjecture. The algebra Cnδ,OC_{n\delta,\mathcal O} should be free over O\mathcal O and satisfy

Cnδ,kCnδ,OOk.C_{n\delta,k}\cong C_{n\delta,\mathcal O}\otimes_{\mathcal O} k.

This extends the preceding integral-freeness and base-change result for Cnα,OC_{n\alpha,\mathcal O} with αΦ+\alpha\in\Phi_+ and for Cδ,OC_{\delta,\mathcal O}. The statement is presented as the part that remains open in the general case.

Sources & referencesView supporting material

Primary source

Alexander Kleshchev and Robert Muth, “Stratifying KLR algebras of affine ADE types”, arXiv:1511.05511 (2016).

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.