Igusa's conjecture on uniform exponential-sum bounds

Let fOK[x1,,xn]f\in\operatorname{O}_K[x_1,\ldots,x_n] be a nonconstant polynomial, let ZZ be a subscheme of AOKn\mathbb A^n_{\operatorname{O}_K}, and let LL be a non-Archimedean local field over OK\operatorname{O}_K. Write

Ef(Z,ψ)=OLnΦZ,L(x)ψ(f(x))dx,E_f(Z,\psi)=\int_{\operatorname{O}_L^n}\Phi_{Z,L}(x)\psi(f(x))|dx|,

where ΦZ,L\Phi_{Z,L} is the characteristic function of the points reducing into Z(kL)Z(k_L), and let mψm_\psi denote the conductor of a nontrivial additive character ψ\psi of LL. Igusa's conjecture. Let σ>0\sigma>0. If, for every such LL with sufficiently large residue-characteristic, there is a constant cLc_L satisfying

Ef(Z,ψ)cLkLmψσ|E_f(Z,\psi)|\leq c_L|k_L|^{-m_\psi\sigma}

for all additive characters of conductor mψ>1m_\psi>1, then the constant in the corresponding uniform inequality can be chosen independently of LL when kLk_L has sufficiently large characteristic. This conjecture predicts uniformity across non-Archimedean local fields and is part of the link between exponential sums, Igusa zeta functions, and arithmetic principles; no resolution is supplied in the excerpt.

Sources & referencesView supporting material

Primary source

Kien Huu Nguyen, “On a uniform bound for exponential sums modulo p^m for Deligne polynomials”, arXiv:2111.11898 (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.