The microlocal schober model for 2-categorical category O

Let (XL)(X\supset\mathbb L) be a sectorial conical symplectic resolution, and let L\mathbb L denote its distinguished Lagrangian. Write 2OA2\mathcal O_{\mathsf A} and 2OB2\mathcal O_{\mathsf B} for the A- and B-model 2-categories, with canonical generators P\mathcal P and S\mathcal S, respectively. Let HP\mathsf{HP} denote periodic cyclic homology, and let OZ/2\mathcal O_{\mathbb Z/2} be the corresponding Z/2\mathbb Z/2-graded category O\mathcal O, with projective and simple objects PP and LL. Microlocal schober conjecture. There is an associated pair of 2-categories

2OA:=μPervCat(L),2OB:=μCohCat(L),2\mathcal O_{\mathsf A}:=\mu\mathsf{PervCat}(\mathbb L),\qquad 2\mathcal O_{\mathsf B}:=\mu\mathsf{CohCat}(\mathbb L),

of microlocal perverse and coherent schobers on L\mathbb L, and

HP(end2OA(P))endOZ/2(P),HP(end2OB(S))endOZ/2(L).\mathsf{HP}(\mathsf{end}_{2\mathcal O_{\mathsf A}}(\mathcal P))\simeq \mathsf{end}_{\mathcal O_{\mathbb Z/2}}(P),\qquad \mathsf{HP}(\mathsf{end}_{2\mathcal O_{\mathsf B}}(\mathcal S))\simeq \mathsf{end}_{\mathcal O_{\mathbb Z/2}}(L).

Thus periodic cyclic homology recovers the projectives and simples of the Z/2\mathbb Z/2-graded category O\mathcal O. The statement is presented as a prediction for the 2-categorical origins of category O\mathcal O; the surrounding discussion indicates that these 2-categories are richer than the usual 1-category, while their full construction and the conjectured identifications remain open.

Sources & referencesView supporting material

Primary source

Benjamin Gammage and Justin Hilburn, “Hypertoric 2-categories O and symplectic duality”, arXiv:2310.06172 (2025).

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.