Igusa's conjecture on uniform exponential-sum bounds

About 5 years old · traced to

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

Ef(Z,ψ)=∫O⁡LnΦ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,ψ)∣≤cL∣kL∣−mψσ|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.

References

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.