An o-minimal structure which does not admit \(C^\infty\) cellular decomposition (Q1013022): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Semianalytic and subanalytic sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-adic and real subanalytic sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4392286 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The real field with convergent generalized power series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Field of Reals with Multisummable Series and the Exponential Function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complements of subanalytic sets and existential formulas for analytic functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasianalytic Denjoy-Carleman classes and o-minimality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theorem of the complement and some new o-minimal structures / rank | |||
Normal rank |
Latest revision as of 13:01, 1 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An o-minimal structure which does not admit \(C^\infty\) cellular decomposition |
scientific article |
Statements
An o-minimal structure which does not admit \(C^\infty\) cellular decomposition (English)
0 references
29 April 2009
0 references
The aim of this well-written paper is to construct an o-minimal expansion of the real field which does not admit \(C^\infty\)-cell decomposition, thus settling an old open question in the subject. It is not too hard to construct functions on the reals which are not \(C^\infty\) at the origin but are \(C^k\) for any \(k\), and further, are piecewise polynomial away from \(0\). The problem is to show that some such function is o-minimal. The authors follow the setting of [\textit{J.-P. Rolin, P. Speissegger} and \textit{A. J. Wilkie}, J. Am. Math. Soc. 16, No. 4, 751--777 (2003; Zbl 1095.26018)] and so have to show that large algebras of functions generated by the initial function, under some basic operations, are quasianalytic. The main work, and difficulty, in the paper is to show that if the Taylor expansion of the initial function at the origin is sufficiently generic then the desired quasianalyticity can be achieved. The authors then adapt the model completeness and o-minimality proofs from the paper cited above to work with suitable non-\(C^{\infty}\) functions, and this completes the proof.
0 references
o-minimal
0 references
smooth cell decomposition
0 references