Faisceaux cohérents en géométrie algébrique réelle. (Coherent sheaves in real algebraic geometry) (Q1071836): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q171409 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Marie-Françoise Roy / rank | |||
Normal rank |
Revision as of 04:39, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Faisceaux cohérents en géométrie algébrique réelle. (Coherent sheaves in real algebraic geometry) |
scientific article |
Statements
Faisceaux cohérents en géométrie algébrique réelle. (Coherent sheaves in real algebraic geometry) (English)
0 references
1984
0 references
In this short résumé, the author announces a cohomological proof, via A-coherent sheaves, of Efroymson's extension theorem: Let h be a Nash function on \(R^ n\) such that \(h^{-1}(0)\neq \emptyset\) and U a semi- algebraic open set containing \(h^{-1}(0)\). Then for any Nash function \(f: U\to R\), there exists a Nash function \(g: R^ n\to R\) such that \(f- g=kh\), where \(k: U\to R\) is a Nash function. Such a cohomological proof would be very important in the theory of Nash functions. Unfortunately, none of the detailed versions proposed by the author have been fully convincing.
0 references
coherent sheaves
0 references
Efroymson's extension theorem
0 references
Nash function
0 references