Monomialization of morphisms and p-adic quantifier elimination
HTML articles powered by AMS MathViewer
- by Jan Denef PDF
- Proc. Amer. Math. Soc. 141 (2013), 2569-2574 Request permission
Abstract:
We give a short proof of Macintyre’s Theorem on Quantifier Elimination for $p$-adic numbers, using a version of monomialization that follows directly from the Weak Toroidalization Theorem of Abramovich and Karu (extended to non-closed fields).References
- D. Abramovich and K. Karu, Weak semistable reduction in characteristic 0, Invent. Math. 139 (2000), no. 2, 241–273. MR 1738451, DOI 10.1007/s002229900024
- Dan Abramovich, Jan Denef, and Kalle Karu, Weak toroidalization over non-closed fields, Manuscripta Mathematica (2013), DOI:10.1007/s00229-013-0610-5
- James Ax and Simon Kochen, Diophantine problems over local fields. I, Amer. J. Math. 87 (1965), 605–630. MR 184930, DOI 10.2307/2373065
- Paul J. Cohen, Decision procedures for real and $p$-adic fields, Comm. Pure Appl. Math. 22 (1969), 131–151. MR 244025, DOI 10.1002/cpa.3160220202
- Steven Dale Cutkosky, Local monomialization of transcendental extensions, Ann. Inst. Fourier (Grenoble) 55 (2005), no. 5, 1517–1586 (English, with English and French summaries). MR 2172273
- Steven Dale Cutkosky, Toroidalization of dominant morphisms of 3-folds, Mem. Amer. Math. Soc. 190 (2007), no. 890, vi+222. MR 2356202, DOI 10.1090/memo/0890
- J. Denef, The rationality of the Poincaré series associated to the $p$-adic points on a variety, Invent. Math. 77 (1984), no. 1, 1–23. MR 751129, DOI 10.1007/BF01389133
- Jan Denef, $p$-adic semi-algebraic sets and cell decomposition, J. Reine Angew. Math. 369 (1986), 154–166. MR 850632, DOI 10.1515/crll.1986.369.154
- Jan Denef, Algebraic geometric proof of theorems of Ax-Kochen and Ershov, 2011, http://perswww.kuleuven.be/˜u0009256/Denef-Mathematics
- Ju. L. Eršov, On elementary theories of local fields, Algebra i Logika Sem. 4 (1965), no. 2, 5–30 (Russian). MR 0207686
- Luc Illusie and Michael Temkin, Gabber’s modification theorem (log smooth case), 2012, Exposé 10 in: Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schémas quasi-excellents (Séminaire à l’ École Polytechnique 2006–2008). Luc Illusie, Yves Laszlo, Fabrice Orgogozo, editors, arXiv:1207.3648.
- Angus Macintyre, On definable subsets of $p$-adic fields, J. Symbolic Logic 41 (1976), no. 3, 605–610. MR 485335, DOI 10.2307/2272038
Additional Information
- Jan Denef
- Affiliation: Department of Mathematics, KU Leuven, Celestijnenlaan 200B, Bus 2400, 3001 Leuven, Belgium
- Email: Jan.Denef@wis.kuleuven.be
- Received by editor(s): September 1, 2011
- Published electronically: May 6, 2013
- Additional Notes: The author thanks Dan Abramovich, Steven Dale Cutkosky, and Kalle Karu for stimulating conversations and information.
- Communicated by: Lev Borisov
- © Copyright 2013
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 141 (2013), 2569-2574
- MSC (2010): Primary 11S05, 11G25, 14G20; Secondary 03C10
- DOI: https://doi.org/10.1090/S0002-9939-2013-11562-5
- MathSciNet review: 3056546
Dedicated: Dedicated to the memory of Professor Patrick Sargos