Igusa's Conjecture on Exponential Sums Modulo p and p2 and the Motivic Oscillation Index
Katholieke Universiteit Leuven, Departement wiskunde, Celestijnenlaan 200B, B-3001 Leuven, Belgium
Correspondence: Correspondence to be sent to: cluckers{at}ens.fr
We prove the modulo p and modulo p2 cases of Igusa's conjecture on exponential sums. This conjecture predicts specific uniform bounds in the homogeneous polynomial case of exponential sums modulo pm when p and m vary. We introduce the motivic oscillation index of a polynomial f and prove the stronger, analogue bounds for m = 1,2 using this index instead of the original bounds. The modulo p2 case of our bounds holds for all polynomials; the modulo p case holds for homogeneous polynomials and under extra conditions also for nonhomogeneous polynomials. We obtain natural lower bounds for the motivic oscillation index by using results of Segers. We also show that, for p big enough, Igusa's local zeta function has a nontrivial pole when there are Fp-rational singular points on f = 0. We introduce a new invariant of f, the flaw of f.
Present address: École Normale Supérieure, Département de mathématiques et applications, 45 rue d'Ulm, 75230 Paris Cedex 05, France.
References
- Birch B. J., McCann K. A criterion for the p-adic solubililty of Diophantine equations. The Quarterly Journal of Mathematics (1967) 18(1):59–63.
[Free Full Text] - Cluckers R. Igusa–Denef–Sperber conjecture on nondegenerate p-adic exponential sums. Duke Mathematical Journal (2006) preprint arXiv:math.NT/0606269.
- Cluckers R., Loeser F. b-minimality. Journal of Mathematical Logic (2006) preprint arXiv:math.LO/0610183.
- Cluckers R., Loeser F. Constructible exponential functions, motivic Fourier transform and transfer principle. (2005) preprint arXiv:math.AG/0512022.
- Cluckers R., Loeser F. Constructible motivic functions and motivic integration. (2004) preprint arXiv:math.AG/0410203.
- Cluckers R., Loeser F. Fonctions constructibles exponentielles, transformation de Fourier motivique et principe de transfert. Comptes rendus de l'Académie des Sciences (2005) 341(12):741–46.
- Deligne P. "La conjecture de Weil 1" [Weil's conjecture 1]. Publications Mathematiques Institut de Hautes Etudes Scientifiques (1974) 43:273–307.[CrossRef]
- Denef J. The rationality of the Poincaré series associated to the p-adic points on a variety. Inventiones Mathematicae (1984) 77:1–23.[CrossRef][Web of Science]
- Denef J. On the degree of Igusa's local zeta function. American Journal of Mathematics (1987) 109:991–1008.[CrossRef][Web of Science]
- Denef J. Report on Igusa's local zeta function. Séminaire Bourbaki (1990–1991) 33(741):28.
- Denef J., Loeser F. Definable sets, motives and p-adic integrals. Journal of the American Mathematical Society (2001) 14(2):429–69.[CrossRef][Web of Science]
- Denef J., Sperber S. Exponential sums mod pn and Newton polyhedra. Bulletin of the Belgian Mathematical Society (2001) S55–S63.
- Denef J., Veys W. On the holomorphy conjecture for Igusa's local zeta function. Proceedings of the American Mathematical Society (1995) 123(10):2981–8.[CrossRef][Web of Science]
- Igusa J. Lectures on forms of higher degree (notes by S. Raghavan). Lectures on Mathematics and Physics. 59. Tata Institute of Fundamental Research. Berlin: Springer, 1978.
- Katz N. Estimates for 'singular' exponential sums. International Mathematics Research Notices (1999) 1999(16):875–99.
[Free Full Text] - Pas J. Uniform p-adic cell decomposition and local zeta functions. Journal für die reine und angewandte Mathematik (1989) 399:137–72.[Web of Science]
- Segers D., Veys W. Private communication, Leuven, Belgium, 2006.
- Segers Dirk. Lower bound for the poles of Igusa's p-adic zeta functions. Mathematische Annalen (2006) 336(3):659–69.[CrossRef][Web of Science]
| ||||||||||||||||||||||||||||||||||||||||||||||||||