The trace conjecture for perverse schobers

Let XX be an algebraic variety or stack, and let LTX\mathbb{L}\subset T^*X be a conic Lagrangian. Write LX\mathfrak{L}X for the loop space, and let Λ(L)TLX\Lambda(\mathbb{L})\subset T^*\mathfrak{L}X be the Lagrangian determined by L\mathbb{L}. The categorical trace of the 2-category of perverse schobers on XX with singular support in L\mathbb{L} should be equivalent, as an S1S^1-category, to the category of sheaves on LX\mathfrak{L}X with singular support in Λ(L)\Lambda(\mathbb{L}):

Tr(2PervL(X))ShΛ(L)(LX).{\sf Tr}(2\mathsf{Perv}_{\mathbb{L}}(X))\simeq \mathsf{Sh}_{\Lambda(\mathbb{L})}(\mathfrak{L}X).

This conjecture proposes an A-model description of the categorical trace of perverse schobers, motivated by 3-dimensional mirror symmetry and the expected relationship between symplectic and coherent 2-categories. The Lagrangian Λ(L)\Lambda(\mathbb{L}) is only approached or constructed in special cases, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Benjamin Gammage and Justin Hilburn, “Betti Tate's thesis and the trace of perverse schobers”, arXiv:2210.06548 (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.