Showing 1–11 of 11 results for author: Leenknegt, E

Exponential-constructible functions in $P$-minimal structures

Authors: Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt

Abstract: Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers-Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under integration. In this paper we will present a natural refinement of their definition that allows for stability results to hold within the wider class of P-minimal… ▽ More Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers-Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under integration. In this paper we will present a natural refinement of their definition that allows for stability results to hold within the wider class of P-minimal structures. One of the main technical improvements is that we remove the requirement of definable Skolem functions from the proofs. As a result, we obtain stability in particular for all intermediate structures between the semi-algebraic and the sub-analytic languages. △ Less

Submitted 23 February, 2018; originally announced February 2018.

Comments: 24 pages

MSC Class: 12J12; 12J25; 11S80; 11U09; 28A25; 03C52

A note on clustered cells

Authors: Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt

Abstract: This note contains additions to the paper 'Clustered cell decomposition in P-minimal structures' (arXiv:1612.02683). We discuss a question which was raised in that paper, on the order of clustered cells. We also consider a notion of cells of minimal order, which is a slight optimalisation of the theorem from the original paper. This note contains additions to the paper 'Clustered cell decomposition in P-minimal structures' (arXiv:1612.02683). We discuss a question which was raised in that paper, on the order of clustered cells. We also consider a notion of cells of minimal order, which is a slight optimalisation of the theorem from the original paper. △ Less

Submitted 10 March, 2017; originally announced March 2017.

Comments: 10 pages

Clustered Cell Decomposition in P-Minimal Structures

Authors: Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt

Abstract: We prove that in a $P$-minimal structure, every definable set can be partitioned as a finite union of classical cells and regular clustered cells. This is a generalization of previously known cell decomposition results by Denef and Mourgues, which were dependent on the existence of definable Skolem functions. Clustered cells have the same geometric structure as classical, Denef-type cells, but do… ▽ More We prove that in a $P$-minimal structure, every definable set can be partitioned as a finite union of classical cells and regular clustered cells. This is a generalization of previously known cell decomposition results by Denef and Mourgues, which were dependent on the existence of definable Skolem functions. Clustered cells have the same geometric structure as classical, Denef-type cells, but do not have a definable function as center. Instead, the center is given by a definable set whose fibers are finite unions of balls. △ Less

Submitted 8 December, 2016; originally announced December 2016.

Comments: 42 pages, 6 figures

MSC Class: 03C10; 12J12; 12J25

Topological cell decomposition and dimension theory in P-minimal fields

Authors: Pablo Cubides-Kovacsics, Luck Darnière, Eva Leenknegt

Abstract: This paper addresses some questions about dimension theory for P-minimal structures. We show that, for any definable set A, the dimension of the frontier of A is strictly smaller than the dimension of A itself, and that A has a decomposition into definable, pure-dimensional components. This is then used to show that the intersection of finitely many definable dense subsets of A is still dense in A… ▽ More This paper addresses some questions about dimension theory for P-minimal structures. We show that, for any definable set A, the dimension of the frontier of A is strictly smaller than the dimension of A itself, and that A has a decomposition into definable, pure-dimensional components. This is then used to show that the intersection of finitely many definable dense subsets of A is still dense in A. As an application, we obtain that any m-ary definable function is continuous on a dense, relatively open subset of its domain, thereby answering a question that was originally posed by Haskell and Macpherson. In order to obtain these results, we show that P-minimal structures admit a type of cell decomposition, using a topological notion of cells inspired by real algebraic geometry. △ Less

Submitted 30 August, 2015; originally announced August 2015.

Integration and Cell Decomposition in $P$-minimal Structures

Authors: Pablo Cubides Kovacsics, Eva Leenknegt

Abstract: We show that the class of $\mathcal{L}$-constructible functions is closed under integration for any $P$-minimal expansion of a $p$-adic field $(K,\mathcal{L})$. This generalizes results previously known for semi-algebraic and sub-analytic structures. As part of the proof, we obtain a weak version of cell decomposition and function preparation for $P$-minimal structures, a result which is independe… ▽ More We show that the class of $\mathcal{L}$-constructible functions is closed under integration for any $P$-minimal expansion of a $p$-adic field $(K,\mathcal{L})$. This generalizes results previously known for semi-algebraic and sub-analytic structures. As part of the proof, we obtain a weak version of cell decomposition and function preparation for $P$-minimal structures, a result which is independent of the existence of Skolem functions. %The result is obtained from weak versions of cell decomposition and function preparation which we prove for general $P$-minimal structures. A direct corollary is that Denef's results on the rationality of Poincaré series hold in any $P$-minimal expansion of a $p$-adic field $(K,\mathcal{L})$. △ Less

Submitted 23 February, 2015; originally announced February 2015.

Comments: 22 pages

MSC Class: Primary: 12J12; 03c10; 11u09. Secondary: 03c07; 03c64

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

Authors: Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt, Angus Macintyre

Abstract: We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which works uniformly for all $p$ and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negat… ▽ More We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which works uniformly for all $p$ and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negative result that in the language of rings there does not exist a uniform definition by an existential formula and neither by a universal formula for the valuation rings of all the finite extensions of a given Henselian valued field. We also show that there is no existential formula of the ring language defining Z_p inside Q_p uniformly for all p. For any fixed finite extension of Q_p, we give an existential formula and a universal formula in the ring language which define the valuation ring. △ Less

Submitted 7 June, 2013; originally announced June 2013.

MSC Class: Primary 11D88; 11U09; Secondary 11U05

Differentiation in P-minimal structures and a p-adic Local Monotonicity Theorem

Authors: Tristan Kuijpers, Eva Leenknegt

Abstract: We prove a p-adic, local version of the Monotonicity Theorem for P-minimal structures. The existence of such a theorem was originally conjectured by Haskell and Macpherson. We approach the problem by considering the first order strict derivative. In particular, we show that, for a wide class of P-minimal structures, the definable functions f : K -> K are almost everywhere strictly differentiable a… ▽ More We prove a p-adic, local version of the Monotonicity Theorem for P-minimal structures. The existence of such a theorem was originally conjectured by Haskell and Macpherson. We approach the problem by considering the first order strict derivative. In particular, we show that, for a wide class of P-minimal structures, the definable functions f : K -> K are almost everywhere strictly differentiable and satisfy the Local Jacobian Property. △ Less

Submitted 16 April, 2014; v1 submitted 26 March, 2013; originally announced March 2013.

Comments: 17 pages

Cell Decomposition for semibounded p-adic sets

Authors: Eva Leenknegt

Abstract: We study a reduct L\ast of the ring language where multiplication is restricted to a neighbourhood of zero. The language is chosen such that for p-adically closed fields K, the L\ast-definable subsets of K coincide with the semi-algebraic subsets of K. Hence structures (K,L\ast) can be seen as the p-adic counterpart of the o-minimal structure of semibounded sets. We show that in this language, p-a… ▽ More We study a reduct L\ast of the ring language where multiplication is restricted to a neighbourhood of zero. The language is chosen such that for p-adically closed fields K, the L\ast-definable subsets of K coincide with the semi-algebraic subsets of K. Hence structures (K,L\ast) can be seen as the p-adic counterpart of the o-minimal structure of semibounded sets. We show that in this language, p-adically closed fields admit cell decomposition, using cells similar to p-adic semi-algebraic cells. From this we can derive quantifier-elimination, and give a characterization of definable functions. In particular, we conclude that multi- plication can only be defined on bounded sets, and we consider the existence of definable Skolem functions. △ Less

Submitted 18 May, 2012; originally announced May 2012.

Comments: 20 pages

MSC Class: 03c07; 03c10; 03c64; 11u09

Cell decomposition and definable functions for weak p-adic structures

Authors: Eva Leenknegt

Abstract: We develop a notion of cell decomposition suitable for studying weak p- adic structures (reducts of p-adic fields where addition and multiplication are not (everywhere) definable). As an example, we apply this to a language with restricted addition. We develop a notion of cell decomposition suitable for studying weak p- adic structures (reducts of p-adic fields where addition and multiplication are not (everywhere) definable). As an example, we apply this to a language with restricted addition. △ Less

Submitted 18 May, 2012; originally announced May 2012.

Comments: 22 pages

MSC Class: 03C07; 03c10; 03c64; 11u09

Cell decomposition for semi-affine structures on p-adic fields

Authors: Eva Leenknegt

Abstract: We use cell decomposition techniques to study additive reducts of p- adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used to obtain cell decomposition results for the case of finite residue fields. We do not require fields to be Henselian, and we allow them to be of any characteris… ▽ More We use cell decomposition techniques to study additive reducts of p- adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used to obtain cell decomposition results for the case of finite residue fields. We do not require fields to be Henselian, and we allow them to be of any characteristic. △ Less

Submitted 17 May, 2012; v1 submitted 14 November, 2011; originally announced November 2011.

Comments: 22 pages

MSC Class: 03C07; 03C10; 03C64; 11U09

Parametric rectilinearization for p-adic semi-algebraic sets and rationality of p-adic integrals

Authors: Eva Leenknegt

Abstract: We present a rectilinearization theorem for p-adic semi-algebraic sets depending on parameters. As an application of our main theorem we present an alternative proof of a rationality result for parametric p-adic inte- grals, due to Denef. We present a rectilinearization theorem for p-adic semi-algebraic sets depending on parameters. As an application of our main theorem we present an alternative proof of a rationality result for parametric p-adic inte- grals, due to Denef. △ Less

Submitted 27 October, 2011; originally announced October 2011.

Comments: 11 pages

MSC Class: 11s40; 11u09; 03c07