On Lack of Effectiveness in Semi-algebraic Geometry

  • Riccardo Benedetti
Part of the Progress in Mathematics book series (PM, volume 94)

Abstract

It is a fact and a motivation of this meeting, that many interesting constructions in semi-algebraic geometry can be effectively done, that is, roughly speaking, by means of algorithms with computably bounded complexity. It is also a fact that semi-algebraic objects have some effective finiteness properties. Hence the interest in finding reasonably ”fast” algorithms or “sharp” bounds. Neverthless, on the other side of the mainstream, one can be interested in essential lack of effectiveness or finiteness. We are going to see some examples and to discuss shortly some possible basic sources of such a lack.

Keywords

Manifold Stratification Mora Tame 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ABB]
    F. Acquistapace, R. Benedetti, F. Broglia, Effectiveness — non Effectiveness in semialgebraic and P. L. geometry, Inventiones Math. (to appear).Google Scholar
  2. [BS]
    R. Benedetti, M. Shiota, Finiteness of semialgebraic types of polynomial functions, to appear.Google Scholar
  3. [F]
    T. Fukuda, type topologique des polynômes, Publ. Math. I.H.E.S. 46 (1976), 87–106.MathSciNetMATHGoogle Scholar
  4. [M]
    J. R. Munkres, “Elementary Differential Topology,” Am. math. Studies, n.61, Princeton Univ. Press, 1968.Google Scholar
  5. [N]
    I. Nakai, On topological types of polynomial mappings, Topology 23 (1984), 45–66.MathSciNetMATHCrossRefGoogle Scholar
  6. [Na]
    A. Nabutovski, Isotopies and non-recursive functions in real algebraic geometry, in “Real analytic and algebraic geometry,” Springer Lect. Notes in Math. n. 1420, 1990.Google Scholar
  7. [SY]
    M. Shiota, M. Yokoi, Triangulations of sub analytic sets and locally subanalytic manifolds, Trans. AMS 286 (1984), 727–750.MathSciNetMATHCrossRefGoogle Scholar
  8. [T]
    R. Thorn, La stabilité topologique des applications polynomiales, Einseign. Math. 8 (1962), 24–33.Google Scholar
  9. [VKF]
    I. A. Volodin, V. E. Kuztenov, A. T. Fomenko, The problem of discriminating algorithmically the standard 3-sphere, Russian Math. Surveys 29(5) (1974), 71–172.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1991

Authors and Affiliations

  • Riccardo Benedetti
    • 1
  1. 1.Dipartimento di MatematicaPisaItaly

Personalised recommendations