Skip to main content
Log in

Nash constructible functions

  • Published:
manuscripta mathematica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Andradas, C., Bröcker, L., Ruiz, J.M.: Constructible Sets in Real Geometry. Ergebnisse der Math. 3.Folge, vol. 33, Springer, 1996

  2. Andradas, C., Ruiz, J.M.: Algebraic and analytic geometry of fans. Memoirs AMS 115(553), (1995)

  3. Andradas, C., Ruiz, J.M.: Low dimensional sections of basic semialgebraic sets. Illinois J. Math. 38, 303–326 (1994)

    MathSciNet  MATH  Google Scholar 

  4. Becker, E., Bröcker, L.: On the description of the reduced Witt ring. J. Alg. 52, 328–346 (1978)

    MATH  Google Scholar 

  5. 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)

    Article  MathSciNet  MATH  Google Scholar 

  6. Bierstone, E., Milman, P.: Arc-analytic functions. Invent. Math. 101, 411–424 (1990)

    MathSciNet  MATH  Google Scholar 

  7. Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. Ergebnisse der Math. 3.Folge, vol. 36, Springer, 1998

  8. Bonnard, I.: Un critère pour reconnaître les fonctions algébriquement constructibles. J. Reine Angew. Math. 526, 61–88 (2000)

    MathSciNet  MATH  Google Scholar 

  9. Coste, M., Kurdyka, K.: Le discriminant d'un morphisme de variétés algébriques réelles. Topology 37, 393–400 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  10. Kurdyka, K.: Ensembles semi-algébriques symétriques par arcs. Math. Ann. 282, 445–462 (1988)

    MathSciNet  MATH  Google Scholar 

  11. McCrory, C., Parusiński, A.: Topology of real algebraic sets of dimension 4. 39, 495–523 (2000)

  12. McCrory, C., Parusiński, A.: Complex monodromy and the topology of real algebraic sets. Comp. Math. 106, 211–233 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  13. McCrory, C., Parusiński, A.: Algebraically constructible functions. Ann. Scient. Ecole Norm. Sup. 30(4), 527–552 (1997)

    Article  MATH  Google Scholar 

  14. Parusiński, A., Szafraniec, Z.: Algebraically constructible functions and signs of polynomials. Manuscripta Math. 93, 443–456 (1997)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. Villamayor, O.: Patching Local Uniformizations. Ann. Scient. Ecole Norm. Sup. 25(4), 629–677 (1992)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Isabelle Bonnard.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00229-003-0391-3

Keywords

Navigation