Modularity conjecture for character-sheaf packets

About 20 years old · traced to

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∗≅(DG−M)[2ne]M^*\cong({\mathbb D}^-_G M)[2n_e]

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

References

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.