B-Minimality

@article{Cluckers2006BMinimality,
  title={B-Minimality},
  author={Raf Cluckers and François Loeser},
  journal={J. Math. Log.},
  year={2006},
  volume={7}
}
. — We introduce a new notion of tame geometry for structures admitting an abstract notion of balls. The notion is named b -minimality and is based on definable families of points and balls. We develop a dimension theory and prove a cell decomposition theorem for b -minimal structures. We show that b -minimality applies to the theory of Henselian valued fields of characteristic zero, generalizing work by Denef - Pas [ 25 ] [ 26 ]. Structures which are o -minimal, v -minimal, or p -minimal and… 

Tame topology and desingularization in Hensel minimal structures

. We deal with Hensel minimal, non-trivially valued fields K of equicharacteristic zero, whose axiomatic theory was introduced in a recent article by Cluckers–Halupczok–Rideau. We additionally require

A G ] 2 M ar 2 02 1 SOME RESULTS OF GEOMETRY IN HENSEL MINIMAL STRUCTURES

We deal with Hensel minimal, non-trivially valued fields K of equicharacteristic zero, whose axiomatic theory was introduced in a recent paper by Cluckers–Halupczok–Rideau. We additionally require

Non-archimedean stratifications in T-convex fields.

We prove that whenever T is a power-bounded o-minimal theory, t-stratifications exist for definable maps and sets in T-convex fields. To this effect, a thorough analysis of definability in T-convex

Some results of geometry over Henselian fields with analytic structure

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as

A version of p-adic minimality

A very weak language on p-adic fields K is introduced, which is just rich enough to have exactly the same definable subsets of the line K that one has using the ring language, and it is proved that the only definable functions in the language are trivial functions.

Motivic local density

We develop a theory of local densities and tangent cones in a motivic framework, extending work by Cluckers–Comte–Loeser about p-adic local density. We prove some results about geometry of definable

An introduction to b-minimality

We give a survey with some explanations but no proofs of the new notion of b-minimality by the author and F. Loeser [b-minimality, J. Math. Log., 7 no. 2 (2007) 195--227, math.LO/0610183]. We compare

A note on tropicalization in the context of Berkovich spaces

Let K be a non-Archimedean non-trivially valued field, and Γ be its value group. Let X be a compact strictly K-analytic space and f: X → $$A_K^{n,an}$$ be a morphism of K-analytic spaces. We prove

Motivic local density

  • A. Forey
  • Mathematics
    Mathematische Zeitschrift
  • 2016
We develop a theory of local densities and tangent cones in a motivic framework, extending work by Cluckers–Comte–Loeser about p-adic local density. We prove some results about geometry of definable

NON-ARCHIMEDEAN YOMDIN–GROMOV PARAMETRIZATIONS AND POINTS OF BOUNDED HEIGHT

We prove an analog of the Yomdin–Gromov lemma for $p$-adic definable sets and more broadly in a non-Archimedean definable context. This analog keeps track of piecewise approximation by Taylor

References

SHOWING 1-10 OF 38 REFERENCES

A version of o-minimality for the p-adics

A notion similar to o -minimality but appropriate for the p -adics is formulated, in a sense a sequel to [11] and [5], and the C-relation of [1] was considered, in place of the total order in the definition of strong o - minimality.

On Variants of o-Minimality

Fields with analytic structure

We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real

An introduction to b-minimality

We give a survey with some explanations but no proofs of the new notion of b-minimality by the author and F. Loeser [b-minimality, J. Math. Log., 7 no. 2 (2007) 195--227, math.LO/0610183]. We compare

Uniform p-adic cell decomposition and local zeta functions.

The purpose of this paper is to give a cell decomposition for p-adic fields, uniform in p. This generalizes a cell decomposition for fixed p, proved by Denef [7], [9]. We also give some applications

p-adic semi-algebraic sets and cell decomposition.

L 1. Notation. Let p denote a fixed prime number, Zp the ring of p-adic integers and Qp the field of p-adic numbers. Let K be a fixed finite field extension of Qp. For χ € K let ord χ e Z u {+ 00}

Quantifier Elimination for the Relative Frobenius

Let (K, v) be a complete discretely valued field of characteristic zero with an algebraically closed residue field of positive characteristic. Let σ : K → K be a continuous automorphism of K inducing

Constructible exponential functions, motivic Fourier transform and transfer principle

We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative settings. This allows us to define a

Constructible motivic functions and motivic integration

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These