Skip to main content
SpringerLink
Log in

Separating families for semi-algebraic sets

  • Published:
manuscripta mathematica Aims and scope Submit manuscript

Abstract

A new invariantp(V) is defined for real algebraic varietiesV which measures the complexity of semi-algebraic sets inV.p(V) is the least integer such that every semi-algebraic setS ⊂-V can be separated from its compliment byp(V) polynomials. This is a very natural invariant to consider. Using results of Bröcker [4–8] and generalizations of Bröcker’s results found in [16,17], upper bounds forp(V) are computed. The proof is simpler than the proof of similar results in [5–9],[15–18] since the complicated local-global formula for the stability index and the various pasting techniques are not needed. Lower bounds forp(V) are also computed in some special cases, the technique here being to first study the corresponding invariantp(X, G) for a finite space of orderings (X, G) [13,14].

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. C. Andradas, L. Bröcker, J. Ruiz: Minimal generation of basic open semi-analytic sets. Invent. Math.92, 409–430 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  2. E. Becker: On the real spectrum of a ring and its applications to semi-algebraic geometry. Bull. Amer. Math. Soc.15, 19–60 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  3. J. Bochnak, M. Coste, M.- F. Roy : Géométrie Alg4brique Réelle. Ergeb Math., Springer Berlin,Heidelberg, New York (1987)

  4. L. Bröcker: Zur Theorie de quadratischen Formen über formal reelen Körpern. Math. Ann.210, 233–256 (1974)

    Article  MATH  MathSciNet  Google Scholar 

  5. L. Bröcker: Minimale Erzeugung von Positivbereichen. Geom. Dedicata16, 335–350 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  6. L. Bröcker: Spaces of orderings and semi-algebraic sets, in Quadratic and Hermitian Forms. Can. Math. Soc. Conf. Proc.4, 231–248 (1984)

    Google Scholar 

  7. L. Bröcker: On separation of basic semi-algebraic sets by polynomials. Manuscripta Math.60, 497–508 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  8. L. Bröcker: On basic semi-algebraic sets. Expositiones Math.9, 289–334 (1991)

    MATH  Google Scholar 

  9. L. Bröcker: On the stability index of Noetherian rings, in Real analytic and algebraic geometry. Springer Verlag, Lecture Notes1420, 72–80 (1990)

    Article  Google Scholar 

  10. M. Knebusch, C. Scheiderer: Einfuhrung in die reelle Algebra. Braunschweig /Wiesbaden, Vieweg (1989)

    Google Scholar 

  11. T. Y. Lam: An introduction to real algebra. Rocky Mtn. J. Math.14, 767–814 (1984)

    Article  MATH  Google Scholar 

  12. L. Mahé: Une démonstration élementaire du th4éorème de Bröcker-Scheiderer. C. R. Acad. Sci. Paris309 Serie I, 613–616 (1989)

    MATH  Google Scholar 

  13. M. Marshall: Classification of finite spaces of orderings. Can. J. Math.31, 320–330 (1979)

    MATH  Google Scholar 

  14. M. Marshall: Spaces of orderings IV. Can. J. Math.32, 603–627 (1980)

    MATH  Google Scholar 

  15. M. Marshall : Minimal generation of basic sets in the real spectrum of a commutative ring, in Contemporary Math., to appear

  16. M. Marshall : Minimal generation of constructible sets in the real spectrum of a ring, in Proceedings XII Escola de Álgebra, Diamantina, Brazil. Matemática Cont., to appear

  17. M. Marshall, L. Walter: Minimal generation of basic semi-algebraic sets over an arbitrary ordered field, in Real algebraic geometry proceedings, Rennes. Springer-Verlag, Lecture Notes1524, 346–353 (1991)

    MathSciNet  Google Scholar 

  18. C. Scheiderer: Stability index of real varieties. Invent. Math.97, 467–483 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  19. C. Scheiderer: Spaces oforderings of fields under finite field extension. Manuscripta Math.72, 27–47 (1991)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics & Statistics, University of Saskatchewan, S7N 0W0, Saskatoon, SK, Canada

    Murray A. Marshall

Authors
  1. Murray A. Marshall
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The Author wishes to dedicate this paper to the memory of Mario Raimondo

Rights and permissions

Reprints and permissions

About this article

Cite this article

Marshall, M.A. Separating families for semi-algebraic sets. Manuscripta Math 80, 73–79 (1993). https://doi.org/10.1007/BF03026537

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03026537

Keywords

Search

Navigation