The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

An Isaac Newton Institute Workshop

Model Theory, Algebraic and Analytic Geometry

Analytic Denef-Pas Cell Decomposition

14th July 2005

Authors: Zachary Robinson (East Carolina University), Raf Cluckers (ENS, Paris and Katholieke Universiteit Leuven), Leonard Lipshitz (Purdue University)


We prove a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language. To accomplish this, we introduce a general framework for Henselian valued fields K with analytic structure, and we investigate the structure of analytic functions in one variable defined on annuli over K.

We also prove that, after parameterization, definable analytic functions are given by terms. The results in this paper pave the way for a theory of analytic motivic integration and analytic motivic constructible functions in the line of R. Cluckers and F. Loeser [Fonctions constructible et int\'egration motivic I, Comptes rendus de l'Acad\'emie des Sciences, 339 (2004) 411 - 416].

Related Links