The non-dualizable quasi-monodromic categorical representation conjecture

Let GG be a group, let \Shv(G)\onqmon\Shv(G)^{\on{q-mon}} denote the quasi-monodromic sheaf category, and write G\mmodG\mmod for the category of categorical representations of GG. Let

\Shv(G)\onqmon\commod(\DGCat)\biG\mmod\onqmonG\mmod\Shv(G)^{\on{q-mon}}\commod(\DGCat) \overset{\bi}\to G\mmod^{\on{q-mon}}\to G\mmod

be the indicated composition, and let \bi:\DGCat\AGCat\bi:\DGCat\to\AGCat be the functor sending a DG category to its underlying object of \AGCat\AGCat. The non-dualizable quasi-monodromic categorical representation conjecture. The essential image of the composition consists of those objects of G\mmodG\mmod for which the underlying object of \AGCat\AGCat lies in the essential image of \bi:\DGCat\AGCat\bi:\DGCat\to\AGCat. This conjecturally removes the dualizability assumption from the preceding theorem and would give a direct-sum decomposition into quasi-monodromic pieces for every such categorical representation.

Sources & referencesView supporting material

Primary source

D. Gaitsgory, N. Rozenblyum and Y. Varshavsky, “Applications of (higher) categorical trace II: Deligne-Lusztig theory”, arXiv:2603.26957 (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.