Showing 1–4 of 4 results for author: Chambille, S

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

Proof of Cluckers-Veys's conjecture on exponential sums for polynomials with log-canonical threshold at most a half

Authors: Saskia Chambille, Kien Huu Nguyen

Abstract: In this paper, we will give two proofs of the Cluckers-Veys conjecture on exponential sums for the case of polynomials in $\mathbb{Z}[x_{1},\ldots,x_{n}]$ having log-canonical thresholds at most one half. In particular, these results imply Igusa's conjecture and Denef-Sperber's conjecture under the same restriction on the log-canonical threshold. In this paper, we will give two proofs of the Cluckers-Veys conjecture on exponential sums for the case of polynomials in $\mathbb{Z}[x_{1},\ldots,x_{n}]$ having log-canonical thresholds at most one half. In particular, these results imply Igusa's conjecture and Denef-Sperber's conjecture under the same restriction on the log-canonical threshold. △ Less

Submitted 8 September, 2017; originally announced September 2017.

MSC Class: 11L07; 03C98 11L05 11S40 11U09 12L12 14E18

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