Nash structure of curves over a valued field and tame henselian rationality

Abstract

We provide a new proof, model-theoretic and geometric in nature, of the tame henselian rationality theorem of Kuhlmann. The proof takes place within the framework of stable completions of algebraic varieties over a valued field. It relies on the proof of two main results of independent interest: a Nash structure theorem for the stable completion of an algebraic curve and a tame descent theorem for abstract polydiscs.