BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We give an algebraic geometric proof of the Theorem of Ax and Kochen on p-adic diophantine equations in many variables. Unlike Ax-Kochen's proof, ours does not use any notions from mathematical logic and is based on weak toroidalization of morphisms. We also show how this geometric approach yields new proofs of the Ax-Kochen-Ersov transfer principle for local fields, and of quantifier elimination theorems of Basarab and Pas.
This note contains some results related to the definitions of toroidal embeddings and toroidal morphisms over non-closed fields of characteristic zero.
We prove that any dominant morphism of algebraic varieties over a field k of characteristic zero can be transformed into a toroidal (hence monomial) morphism by projective birational modifications of source and target. This was previously proved by the first and third author when k is algebraically closed. Moreover we show that certain additional requirements can be satisfied.
We give a short proof of Macintyre's Theorem on Quantifier Elimination for the p-adic numbers, using a version of monomialization that follows directly from the Weak Toroidalization Theorem of Abramovich an Karu (extended to non-closed fields).
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.