Geometric categories and o-minimal structures (Q1922131): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:15, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Geometric categories and o-minimal structures |
scientific article |
Statements
Geometric categories and o-minimal structures (English)
0 references
22 October 1996
0 references
The theory of subanalytic sets is an excellent tool in various analytic-geometric contexts; see, for example, \textit{E. Bierstone} and \textit{P. D. Milman} [Publ. Math., Inst. Hautes Étud. Sci. 67, 5-42 (1988; Zbl 0674.32002)]. Regrettably, certain ``nice'' sets -- such as \(\{(x, x^r): x>0\}\) for positive irrational \(r\), and \(\{(x, e^{-1/x}): x>0\}\) -- are not subanalytic (at the origin) in \(\mathbb{R}^2\). Here we make available an extension of the category of subanalytic sets that has these sets among its objects and that behaves much like the category of subanalytic sets. The possibility of doing this emerged in 1991 when \textit{A. Wilkie} [J. Am. Math. Soc. 9, No. 4, 1051-1094 (1996)] proved that the real exponential field is ``model complete'', followed soon by work of Ressayre, Macintyre, Marker and the authors. However, there are two obstructions to the use by geometers of this development: (i) while the proofs in these articles make essential use of model theory, many results are also stated there (efficiently, but unnecessarily) in model-theoretic terms; (ii) the results of these papers apply directly only to the Cartesian spaces \(\mathbb{R}^n\), and not to arbitrary real analytic manifolds. Consequently, in order to carry out our goal, we recast here some results in those papers -- as well as many of their consequences -- in more familiar terms, with emphasis on results of a geometric nature, and allowing arbitrary (real analytic) manifolds as ambient spaces.
0 references
o-minimality
0 references
extension of the category of subanalytic sets
0 references
real analytic manifolds
0 references