Definable Functions and Stratifications in Power-Bounded T -Convex Fields

Hensel minimality I

“…The existence proof of t-stratifications given in [43] is carried out under some axiomatic assumptions, namely [43,Hypothesis 2.21]. Those assumptions hold in valued fields with analytic structure (in the sense of [18]) by [43,Proposition 5.12] and in power-bounded T-convex structures by [41]. We will now show that the assumptions hold in any 1-h-minimal theory of equi-characteristic 0, hence implying that t-stratifications exist in this generality.…”

“…Note that the proof we gave here also simplifies the proofs from [43] (in the case of fields with analytic structure) and [41] (in the case of T-convex structures): In those papers, the proof of (4) was done using a complicated inductive argument using the existence of t-stratifications in a lower dimension. This has been replaced by the more direct proof of our Theorem 5.4.10.…”

“…The proof that Th(𝐾) is 1-h-minimal is essentially contained in the existing literature: Using the criteria given in Theorem 2.9.1, this can be deduced from [41, Theorems 2.1 and 2.9]. However, Theorem 2.9 is a lot deeper than what we really need, so we give a more direct proof below (mainly following the ideas from [41]).…”

“…A large part of this paper consists of proving our main geometric results in Hensel minimal structures, which are similar to those in o-minimal structures, in particular cell decomposition, dimension theory, the 'Jacobian Property' (which plays a key role in constructing motivic integration and can be considered an analogue of the Monotonicity Theorem from the o-minimal context, where sgn is replaced by rv), as well as higher-order and higher-dimension versions of the Jacobian Property, which state that definable functions have good approximations by their Taylor polynomials. Based on those properties, various recent results in the model theory of Henselian valued fields readily generalize to arbitrary Hensel minimal valued fields, like those on Lipschitz continuity [11] and t-stratifications (which were introduced in [43] and studied further in [42,41,44]). As an extra upshot, Hensel minimality intrinsically has resplendency properties in the spirit of resplendent quantifier elimination: that is, it is preserved by different kinds of expansions of the structure.…”