Abstract
This paper is concerned with the problem of deciding whether a semialgebraic set S of an algebraic variety X over R is basic. Furthermore, in such a case, we decide what is the sharp number of inequalities defining S. For that, it suffices to desingularize X, as well as the boundary of S, and then ask the same question for the trace of S on its boundary. In this way, after a finite number of blowing-ups, we lower the dimension of the data and by induction we get a finite decision procedure to solve this problem. Decidability of other known criteria is also analyzed.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Acquistapace, F., Andradas, C. and Broglia, F.: Separation of semialgebraic sets, Journ. of A.M.S. 12 u.3 (1999), 703-728.
Acquistapace, F., Broglia, F. and Vélez, M. P.: An algorithmic criterion for basicness in dimension 2, Manuscripta Math. 85(1) (1994), 45-66.
Andradas, C., Bröcker, L. and Ruiz, J. M.: Constructible sets in real geometry, Ergeb. Math. Grenzgeb. (3) 33, Springer-Verlag, Berlin, 1996.
Andradas, C. and Ruiz, J. M.: More on basic semialgebraic sets. In: Real Algebraic Geometry, Lecture Notes in Math. 1524, Springer-Verlag, New York, 1992, pp. 128-139.
Andradas, C. and Ruiz, J. M.: Ubiquity of Łojasiewicz's example of a nonbasic semialgebraic set, Michigan Math. J. 41 (1994), 465-472.
Andradas, C. and Ruiz, J. M.: Low dimensional sections of basic semialgebraic sets, Illinois J. Math. 38 (1994), 303-326.
Becker, E. and Neuhaus, R.: Computation of real radicals of polynomial ideals. In: Proc. MEGA 92, Nice-France, Birkhauser, Basel, 1993, 1-20.
Bierstone, E. and Milman, P.: Canonical desingularization in characteristic zero by blowing-up the maximum strata of a local invariant, Invent. Math. 128 u.2 (1997), 207-302.
Bochnak, J., Coste, M. and Roy, M. F.: Géométrie algébrique réelle, Ergeb. Math. Grenzgeb. (3) 12, Springer-Verlag, Berlin, 1987.
Bröcker, L.: On basic semialgebraic sets, Exposition Math. 9(4) (1991), 289-334.
Hermann, G.: Die Frage der endlich vielen Schritte in der Theorie der Polynomideale, Math. Ann. 95 (1926), 736-788.
Hodel, R. E.: An Introduction to Mathematical Logic, PWS Publ., Boston, 1995.
Neuhaus, R: Computation of real radicals of polynomial ideals II, Pure Appl. Algebra 124 (1998), 261-280.
Prestel, A.: Model Theory for the Real Algebraic Geometer, Dottorato di Ricerca in Matematica, Dipartimento di Mat. Univ. di Pisa, Ist. Ed. e Pol. Int. Pisa, 1998.
Scheiderer, C.: Stability index on real varieties, Invent. Math. 97 (1989), 467-483.
Vélez, M. P.: La Geometría de los Abanicos en Dimension 2, Ph. D. Thesis, Universidad Complutense, Madrid 1995.
Villamayor, O.: Patching local uniformizations, Ann. Sci. École. Norm. Sup. (4) 25 (1992), 629-677.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Acquistapace, F., Broglia, F. & vélez, M. Basicness of Semialgebraic Sets. Geometriae Dedicata 78, 229–240 (1999). https://doi.org/10.1023/A:1005123421867
Issue Date:
DOI: https://doi.org/10.1023/A:1005123421867