Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1381

Preprint Number 1381

Previous Next Preprint server

1381. Pablo Cubides Kovacsics and Françoise Delon
Definable functions in tame expansions of algebraically closed valued fields

Submission date: 9 February 2018


In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II), which hold locally for all but finitely many points in the domain of the function. In the first part of the article, we show type (I) and (II) results concerning factorizations of definable functions over the value group.

As an application, we show that tame expansions of algebraically closed valued fields having value group Q (like C_p and \overline{F_p}^{alg}((t^Q))) are polynomially bounded.

In the second part, under an additional assumption on the asymptotic behavior of unary definable functions of the value group, we extend these factorizations over the residue multiplicative structure RV. In characteristic 0, we obtain as a corollary that the domain of a definable function f : X ⊆ K → K can be partitioned into sets F ∪ E ∪ J, where F is finite, f|E is locally constant and f|J satisfies locally the Jacobian property.

Mathematics Subject Classification: 12L12, 12J25, 03C64

Keywords and phrases:

Full text arXiv 1802.03323: pdf, ps.

Last updated: February 19 2018 17:54 Please send your corrections to: