Kloosterman-sheaf rigidity conjecture for prime rank

Let nn be prime and let ψ:FqQ×\psi:\mathbb F_q\to\overline{\mathbb Q}_\ell^{\times} be nontrivial. Let Γ=limFqn×^\Gamma=\varinjlim\widehat{\mathbb F_{q^n}^{\times}}, and let ξi,ηiΓ\xi_i,\eta_i\in\Gamma for 1in1\le i\le n. Suppose the Kloosterman sheaves Kl(ψ;ξ1,,ξn)\operatorname{Kl}(\psi;\xi_1,\ldots,\xi_n) and Kl(ψ;η1,,ηn)\operatorname{Kl}(\psi;\eta_1,\ldots,\eta_n) descend to local systems K1,K2\mathcal K_1,\mathcal K_2 over Gm,Fq\mathbb G_{m,\mathbb F_q}, equivalently the associated divisors are Frobenius invariant. Kloosterman-sheaf rigidity conjecture. If K1\mathcal K_1 and K2\mathcal K_2 have the same Frobenius traces on every Fq\mathbb F_q-point of Gm\mathbb G_m, then

K1K2,\mathcal K_1\cong\mathcal K_2,

and in particular

i=1nξi=i=1nηi\sum_{i=1}^n\xi_i=\sum_{i=1}^n\eta_i

as divisors on Γ\Gamma. The conjecture proposes that pointwise trace data determine these descended Kloosterman local systems and their character divisors; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Chufeng Nien and Lei Zhang, “Converse Theorem Meets Gauss Sums (with an appendix by Zhiwei Yun)”, arXiv:1806.04850 (2018).

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.