Corps C-minimaux, en l’honneur de François Lucas

Françoise Delon[1]

  • [1] Équipe de Logique Mathématique, IMJ, CNRS-Université Paris 7-UPD, UFR de mathématiques, case 7012, site Chevaleret, 75205 Paris Cedex 13, France

Annales de la faculté des sciences de Toulouse Mathématiques (2012)

  • Volume: 21, Issue: 2, page 413-434
  • ISSN: 0240-2963

Abstract

top
In algebraic geometry the class of constructible sets is closed under projection. Model theory expresses this fact by saying that algebraically closed fields eliminate quantifiers in the language of rings. Analogously, non-trivially valued algebraically closed fields eliminate quantifiers in the language of rings with an additional binary relation for v ( x ) ≤ v ( y ) . This implies that such a valued field K is “ C -minimal”: a definable subset of K is a finite Boolean combination of open and closed balls. This property can be considered in any ultrametric structure and the structures that enjoy it are the subject of this text. We study analogies and differences between C -minimal and o-minimal structures, with a particular emphasis on fields. We prove a result of almost everywhere differentiability.

How to cite

top

Delon, Françoise. "Corps C-minimaux, en l’honneur de François Lucas." Annales de la faculté des sciences de Toulouse Mathématiques 21.2 (2012): 413-434. <http://eudml.org/doc/250998>.

@article{Delon2012,
abstract = {La classe des constructibles de la géométrie algébrique est close par projection. La théorie des modèles exprime ce fait en disant que les corps algébriquement clos éliminent les quantificateurs dans le langage des anneaux. De façon analogue, les corps algébriquement clos non trivialement valués éliminent les quantificateurs dans le langage des anneaux enrichi de la relation dite de divisibilité $v(x) \le v(y)$. Cela implique en particulier la « $C$-minimalité » : une partie définissable d’un corps algébriquement clos valué est une combinaison booléenne finie de boules, ouvertes ou fermées. Cette propriété peut être considérée dans toute structure ultramétrique, et les structures qui en jouissent sont l’objet de ce texte. Nous étudions semblances et dissemblances entre structures $C$-minimales et o-minimales. Nous nous concentrons plus particulièrement sur le cas des corps et prouvons un résultat de dérivabilité presque partout des fonctions définissables dans un corps $C$-minimal.},
affiliation = {Équipe de Logique Mathématique, IMJ, CNRS-Université Paris 7-UPD, UFR de mathématiques, case 7012, site Chevaleret, 75205 Paris Cedex 13, France},
author = {Delon, Françoise},
journal = {Annales de la faculté des sciences de Toulouse Mathématiques},
language = {fre},
month = {4},
number = {2},
pages = {413-434},
publisher = {Université Paul Sabatier, Toulouse},
title = {Corps C-minimaux, en l’honneur de François Lucas},
url = {http://eudml.org/doc/250998},
volume = {21},
year = {2012},
}

TY - JOUR
AU - Delon, Françoise
TI - Corps C-minimaux, en l’honneur de François Lucas
JO - Annales de la faculté des sciences de Toulouse Mathématiques
DA - 2012/4//
PB - Université Paul Sabatier, Toulouse
VL - 21
IS - 2
SP - 413
EP - 434
AB - La classe des constructibles de la géométrie algébrique est close par projection. La théorie des modèles exprime ce fait en disant que les corps algébriquement clos éliminent les quantificateurs dans le langage des anneaux. De façon analogue, les corps algébriquement clos non trivialement valués éliminent les quantificateurs dans le langage des anneaux enrichi de la relation dite de divisibilité $v(x) \le v(y)$. Cela implique en particulier la « $C$-minimalité » : une partie définissable d’un corps algébriquement clos valué est une combinaison booléenne finie de boules, ouvertes ou fermées. Cette propriété peut être considérée dans toute structure ultramétrique, et les structures qui en jouissent sont l’objet de ce texte. Nous étudions semblances et dissemblances entre structures $C$-minimales et o-minimales. Nous nous concentrons plus particulièrement sur le cas des corps et prouvons un résultat de dérivabilité presque partout des fonctions définissables dans un corps $C$-minimal.
LA - fre
UR - http://eudml.org/doc/250998
ER -

References

top
  1. Adeleke (S. A.) et Neumann (P. M.).— Relations Related to Betweenness : Their Structure and Automorphisms, Mem. AMS 623, Providence (1998). Zbl0896.08001MR1388893
  2. Delon (F.).— C -minimal structures without density assumption, in Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry II, Éditeurs R. Cluckers, J. Nicaise et J. Sebag, LMS LNS 384, Cambridge University Press, Cambridge, p. 51-86 (2011). MR2885341
  3. Delon (F.).— Élimination des quantificateurs dans les paires de corps algébriquement clos, soumis (2012). 
  4. Haskell (D.) et Macpherson (D.).— Cell decompositions of C -minimal structures, APAL 66, p. 113-162 (1994). Zbl0790.03039MR1262433
  5. Hrushovski (E.) et Kazhdan (D.).— Integration in valued fields, in Algebraic Geometry and Number Theory, Progr. Math. 253, Birkhäuser Boston, Boston, p. 261-405 (2006). Zbl1136.03025MR2263194
  6. Kaplansky (I.).— Maximal fields with valuation, Duke Math. J. 9, p. 303-321 (1942). Zbl0063.03135MR6161
  7. Knight (J.), Pillay (A.) et Steinhorn (C.).— Definable sets in ordered structures II, TAMS 295, p. 593-605 (1986). Zbl0662.03024MR833698
  8. Macpherson (D.).— Notes on o-Minimality and Variations, in Model Theory, Algebra, and Geometry, Éditeurs D. Haskell, A. Pillay et C. Steinhorn MSRI Publications 39, Cambridge University Press, Cambridge, p. 97-130 (2000). Zbl0967.03033MR1773704
  9. Macpherson (D.) et Steinhorn (C.).— On variants of o-minimality, APAL 79, 165-209 (1996). Zbl0858.03039MR1396850
  10. Marker (D.).— Model Theory : An Introduction, Graduate Texts in Mathematics, Springer (2002). Zbl1003.03034MR1924282
  11. Pillay (A.).— Stable embeddedness and NIP, arXiv 1001.0515 (2010). Zbl1220.03020MR2830421
  12. Pillay (A.) et Steinhorn (C.).— Definable sets in ordered structures I, TAMS 295, p. 565-592 (1986). Zbl0662.03023MR833697
  13. van den Dries (L.).— Tame Toplogy and O-minimal Structures, LMS LNS 248, Cambridge University Press, Cambridge (1998). Zbl0953.03045MR1633348
  14. Wilkie (A.).— Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, JAMS 9, p. 1051-1094 (1996). Zbl0892.03013MR1398816

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.