Strong rigidity characterization conjecture for Kloosterman sheaves

About 16 years old · traced to

Let kk be the finite base field, let Gˇ\check{G} be the dual group with maximal torus Tˇ\check{T}, let TT be the corresponding torus, and let U=P\{0,∞}1U={\mathbb P}^1_{\backslash\{0,\infty\}}. Suppose LL is a Gˇ\check{G}-local system on UU such that LL is tame at 00, the semisimple part of a topological generator of tame inertia at 00 is conjugate to an element of Tˇ[q−1]\check{T}[q-1] corresponding to a multiplicative character χ:T(k)→Q‾ℓ×\chi:T(k)\to\overline{{\mathbb Q}}_\ell^\times, and

Swan⁡∞(LAd⁡)=r,(LAd⁡)I∞=0.\operatorname{Swan}_\infty(L^{\operatorname{Ad}})=r,\qquad (L^{\operatorname{Ad}})^{\mathscr I_\infty}=0.

Strong rigidity characterization conjecture. There exists a generic linear function ϕ:I(1)/I(2)→Ga\phi:I(1)/I(2)\to{\mathbb G}_a such that L≅Kl⁡Gˇ(ϕ,χ)L\cong\operatorname{Kl}_{\check{G}}(\phi,\chi) up to an unramified twist given by a homomorphism Gal⁡(k‾/k)→ZGˇ\operatorname{Gal}(\overline{k}/k)\to Z\check{G}. This would characterize Kloosterman sheaves from their local ramification data, up to the stated central twist.

References

Primary source

Jochen Heinloth, Ngo Bao Chau and Zhiwei Yun, “Kloosterman sheaves for reductive groups”, arXiv:1005.2765 (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.