The Ext-algebra conjecture for categories associated with distinguished nilpotents

From papers

Let g\mathfrak{g} be a Lie algebra, let ee be a distinguished nilpotent element, and let Q=Q(e)Q=Q(e) be the finite centralizer of an associated sl2sl_2-triple. Let Se\mathcal{S}_e be the Slodowy slice at ee, equipped with its Q×C×Q\times\mathbb{C}^{\times}-action, and let O(Se)Q\mathcal{O}(\mathcal{S}_e)^Q be the graded algebra of QQ-invariant functions. Write 1{\bf 1} for the tensor unit of C(g,e,l,q)\mathcal{C}(\mathfrak{g},e,l,q). The Ext-algebra conjecture. There is an isomorphism of graded algebras

ExtC(g,e,l,q)(1,1)O(Se)Q.\operatorname{Ext}_{\mathcal{C}(\mathfrak{g},e,l,q)}({\bf 1},{\bf 1})\cong \mathcal{O}(\mathcal{S}_e)^Q.

The conjecture is motivated by the relation between the cohomology of these categories and the singularity of the nilpotent cone at ee; the source does not provide a proof or a resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Victor Ostrik and Alexandra Utiralova, “A non-semisimple Witt class”, arXiv:2602.10519 (2026).

Solutions 0

No solutions have been posted yet.