Cohomological rigidity conjecture for Airy local systems

Let j:UX=\bPk1j:U\hookrightarrow X=\bP^1_k be an open immersion, let uUu\in U be a geometric point, and let Ai\hG\mathrm{Ai}_{\hG} be the Airy \hG\hG-local system with corresponding representation ρ:π1(U,u)\hG(\bQl)\rho:\pi_1(U,u)\to\hG(\bQ_l). Let \fg^der\widehat{\fg}^{\mathrm{der}} be the derived Lie algebra of \fg^\widehat{\fg}, let Ai\hG\Ad\mathrm{Ai}_{\hG}^{\Ad} be the local system obtained through the adjoint representation, and let nn be the semisimple rank of GG. Cohomological rigidity conjecture. The local system Ai\hG\mathrm{Ai}_{\hG} is cohomologically rigid, meaning

H1(X,j!Ai\hG\Ad)=0.\mathrm{H}^1\left(X,j_{!*}\mathrm{Ai}_{\hG}^{\Ad}\right)=0.

More specifically, the conjecture predicts

Sw(\fg^der)=n(h+1),\mathrm{Sw}_{\infty}(\widehat{\fg}^{\mathrm{der}})=n(h+1),

and, if \cI\cI_{\infty} is the inertia group at \infty in the Weil group WFW_F of FF, then

(\fg^der)ρ(\cI)=0.\left(\widehat{\fg}^{\mathrm{der}}\right)^{\rho(\cI_{\infty})}=0.

The paper presents these as predictions about the local structure of the Airy sheaves; it confirms the corresponding conjectures in the case G=\GLnG=\GL_n.

Sources & referencesView supporting material

Primary source

Konstantin Jakob, Masoud Kamgarpour and Lingfei Yi, “Airy sheaves for reductive groups”, arXiv:2111.02256 (2021).

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.