Abstract.
Nash constructible functions on a real algebraic set V are defined as linear combinations, with integer coefficients, of Euler characteristic of fibres of proper regular morphisms restricted to connected components of algebraic sets. We prove that if V is compact, these functions are sums of signs of semialgebraic arc-analytic functions (i.e. functions which become analytic when composed with any analytic arc). We also give a sharp upper bound to the number of semialgebraic arc-analytic functions which are necessary to define any given Nash constructible functions.
Similar content being viewed by others
References
Andradas, C., Bröcker, L., Ruiz, J.M.: Constructible Sets in Real Geometry. Ergebnisse der Math. 3.Folge, vol. 33, Springer, 1996
Andradas, C., Ruiz, J.M.: Algebraic and analytic geometry of fans. Memoirs AMS 115(553), (1995)
Andradas, C., Ruiz, J.M.: Low dimensional sections of basic semialgebraic sets. Illinois J. Math. 38, 303–326 (1994)
Becker, E., Bröcker, L.: On the description of the reduced Witt ring. J. Alg. 52, 328–346 (1978)
Bierstone, E., Milman, P.: Canonical desingularization in characteristic zero by blowing-up the maximum strata of a canonical invariant. Invent. Math. 128, 207–302 (1997)
Bierstone, E., Milman, P.: Arc-analytic functions. Invent. Math. 101, 411–424 (1990)
Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. Ergebnisse der Math. 3.Folge, vol. 36, Springer, 1998
Bonnard, I.: Un critère pour reconnaître les fonctions algébriquement constructibles. J. Reine Angew. Math. 526, 61–88 (2000)
Coste, M., Kurdyka, K.: Le discriminant d'un morphisme de variétés algébriques réelles. Topology 37, 393–400 (1998)
Kurdyka, K.: Ensembles semi-algébriques symétriques par arcs. Math. Ann. 282, 445–462 (1988)
McCrory, C., Parusiński, A.: Topology of real algebraic sets of dimension 4. 39, 495–523 (2000)
McCrory, C., Parusiński, A.: Complex monodromy and the topology of real algebraic sets. Comp. Math. 106, 211–233 (1997)
McCrory, C., Parusiński, A.: Algebraically constructible functions. Ann. Scient. Ecole Norm. Sup. 30(4), 527–552 (1997)
Parusiński, A., Szafraniec, Z.: Algebraically constructible functions and signs of polynomials. Manuscripta Math. 93, 443–456 (1997)
Parusiński, A., Szafraniec, Z.: On the Euler characteristic of fibres of real polynomial map. Singularities Symposium Lojasiewicz, Banach Center Publications 44, 175–182 (1998)
Villamayor, O.: Patching Local Uniformizations. Ann. Scient. Ecole Norm. Sup. 25(4), 629–677 (1992)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bonnard, I. Nash constructible functions. manuscripta math. 112, 55–75 (2003). https://doi.org/10.1007/s00229-003-0391-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-003-0391-3