Modularity conjecture for character-sheaf packets

Let GG be a connected unipotent algebraic group, let ee be a minimal idempotent in DG(G){\mathscr D}_G(G), and let nen_e be as in the preceding conjecture. Set

Me=Meperv[ne]eDG(G).{\mathcal M}_e={\mathcal M}_e^{perv}[n_e]\subset e{\mathscr D}_G(G).

The modularity conjecture. The subcategory Me{\mathcal M}_e is closed under convolution and hence is a monoidal category with unit ee if the preceding perversity conjecture holds; it is rigid with

M(DGM)[2ne]M^*\cong({\mathbb D}^-_G M)[2n_e]

for MMeM\in{\mathcal M}_e; and it is a modular category, with ribbon structure given by the restriction of the canonical automorphism θ\theta.

Sources & referencesView supporting material

Primary source

Mitya Boyarchenko and Vladimir Drinfeld, “A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic”, arXiv:math/0609769 (2010).

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.