Cell decomposition and dimension theory on p-optimal fields
Résumé
We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) cell decomposition and cell preparation for definable functions follow from methods going back to Denef's paper [Invent. Math, 77 (1984)]. We derive from it that the topological dimension introduced by Haskell and Macpherson in [JSL, 62, 4 (1997)] for P -minimal fields has even better properties in p-optimal fields, relatively to fundamental operations such as taking the boundary of a definable set, or the fibers of a definable function. As a consequence the topological dimension coincides with the topological rank, and every two infinite definable sets are isomorphic if and only if they have the same dimension.
Origine | Fichiers produits par l'(les) auteur(s) |
---|