719 research outputs found
Cell Decomposition for semibounded p-adic sets
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.Comment: 20 page
Cell decomposition and classification of definable sets in p-optimal fields
We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) a cell decomposition theorem follows from methods going back to Denef’s paper [7]. We derive from it the existence of definable Skolem functions and strong p-minimality. Then we turn to strongly p-minimal fields satisfying the Extreme Value Property—a property which in particular holds in fields which are elementarily equivalent to a p-adic one. For such fields K, we prove that every definable subset of K × K d whose fibers over K are inverse images by the valuation of subsets of the value group is semialgebraic. Combining the two we get a preparation theorem for definable functions on p-optimal fields satisfying the Extreme Value Property, from which it follows that infinite sets definable over such fields are in definable bijection iff they have the same dimension
Cell decomposition for semi-affine structures on p-adic fields
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.Comment: 22 page
Definable sets, motives and p-adic integrals
We associate canonical virtual motives to definable sets over a field of
characteristic zero. We use this construction to show that very general p-adic
integrals are canonically interpolated by motivic ones.Comment: 45 page
A closedness theorem and applications in geometry of rational points over Henselian valued fields
We develop geometry of algebraic subvarieties of over arbitrary
Henselian valued fields . This is a continuation of our previous article
concerned with algebraic geometry over rank one valued fields. At the center of
our approach is again the closedness theorem that the projections are definably closed maps. It enables application
of resolution of singularities in much the same way as over locally compact
ground fields. As before, the proof of that theorem uses i.a. the local
behavior of definable functions of one variable and fiber shrinking, being a
relaxed version of curve selection. But now, to achieve the former result, we
first examine functions given by algebraic power series. All our previous
results will be established here in the general settings: several versions of
curve selection (via resolution of singularities) and of the \L{}ojasiewicz
inequality (via two instances of quantifier elimination indicated below),
extending continuous hereditarily rational functions as well as the theory of
regulous functions, sets and sheaves, including Nullstellensatz and Cartan's
theorems A and B. Two basic tools applied in this paper are quantifier
elimination for Henselian valued fields due to Pas and relative quantifier
elimination for ordered abelian groups (in a many-sorted language with
imaginary auxiliary sorts) due to Cluckers--Halupczok. Other, new applications
of the closedness theorem are piecewise continuity of definable functions,
H\"{o}lder continuity of definable functions on closed bounded subsets of
, the existence of definable retractions onto closed definable subsets
of , and a definable, non-Archimedean version of the Tietze--Urysohn
extension theorem. In a recent preprint, we established a version of the
closedness theorem over Henselian valued fields with analytic structure along
with some applications.Comment: This paper has been published in Journal of Singularities 21 (2020),
233-254. arXiv admin note: substantial text overlap with arXiv:1704.01093,
arXiv:1703.08203, arXiv:1702.0784
Integration and Cell Decomposition in -minimal Structures
We show that the class of -constructible functions is closed
under integration for any -minimal expansion of a -adic field
. 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 -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 -minimal structures. A direct corollary is that
Denef's results on the rationality of Poincar\'e series hold in any -minimal
expansion of a -adic field .Comment: 22 page
- …