Igusa's conjecture on uniform exponential-sum bounds for homogeneous polynomials

About 20 years old · traced to

Let ff be a homogeneous polynomial over Q\mathbf{Q} in nn variables. For an embedded resolution π\pi of the relevant hypersurfaces, let α(π)≤0\alpha(\pi)\leq 0 be the associated rational number, and define

Ef(N):=1Nn∑x∈{0,…,N−1}nexp⁡(2πif(x)N).E_f(N):=\frac{1}{N^n}\sum_{x\in\{0,\ldots,N-1\}^n}\exp\left(2\pi i\frac{f(x)}{N}\right).

Igusa's conjecture. There exists a constant cc such that for every prime pp and every positive integer mm,

∣Ef(pm)∣<c mn−1pmα(π).|E_f(p^m)|<c\,m^{n-1}p^{m\alpha(\pi)}.

This is the homogeneous-polynomial form of Igusa's conjecture: the constant in the resolution-based bound should be uniform in the prime. The supplied status evidence does not establish whether this formulation has been resolved, so it is recorded as open.

References

Primary source

R. Cluckers, “Igusa's conjecture on exponential sums modulo p and p^2 and the motivic oscillation index”, arXiv:math/0602438 (2007).

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.