Abstract.
Given an affine algebraic variety V over ℝ with real points V(ℝ) compact and a non-negative polynomial function f∈ℝ[V] with finitely many real zeros, we establish a local-global criterion for f to be a sum of squares in ℝ[V]. We then specialize to the case where V is a curve. The notion of virtual compactness is introduced, and it is shown that in the local-global principle, compactness of V(ℝ) can be relaxed to virtual compactness. The irreducible curves on which every non-negative polynomial is a sum of squares are classified. All results are extended to the more general framework of preorders. Moreover, applications to the K-moment problem from analysis are given. In particular, Schmüdgen’s solution of the K-moment problem for compact K is extended, for dim (K)=1, to the case when K is virtually compact.
Similar content being viewed by others
References
Andradas, C., Bröcker, L., Ruiz, J.M.: Constructible Sets in Real Geometry. Erg. Math. Grenzgeb. 33, Springer, Berlin, 1996
Becker, E., Schwartz, N.: Zum Darstellungssatz von Kadison-Dubois. Arch. Math. 40, 421–428 (1983)
Berr, R., Th.Wörmann: Positive polynomials on compact sets. Manuscr. math. 104, 135–143 (2001)
Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. Erg. Math. Grenzgeb. 36, Springer, Berlin, 1998
Bourbaki, M.: Algèbre Commutative. Chapitres 8 et 9. Masson, Paris, 1983
Hartshorne, R.: Algebraic Geometry. Grad. Texts Math. 52, Springer, New York, 1977
Knebusch, M.: On the local theory of signatures and reduced quadratic forms. Abh. Math. Sem. Univ. Hamburg 51, 149–195 (1981)
Knebusch, M., Scheiderer, C.: Einführung in die reelle Algebra. Vieweg, Wiesbaden, 1989
Kuhlmann, S., Marshall, M.: Positivity, sums of squares and the multi-dimensional moment problem. Trans. Am. Math. Soc. 354, 4285–4301 (2002)
Lasserre, J.B.: Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11, 796–817 (2001)
Marshall, M.: Positive Polynomials and Sums of Squares. Istituti Editoriali e Poligrafici Internazionali, Pisa, 2000
Marshall, M.: Extending the archimedean Positivstellensatz to the non-compact case. Canad. Math. Bull. 44, 223–230 (2001)
Parrilo, P., Sturmfels, B.: Minimizing polynomial functions. Preprint, 2001
Powers, V., Scheiderer, C.: The moment problem for non-compact semialgebraic sets. Adv. Geom. 1, 71–88 (2001)
Prestel, A., Delzell, Ch.N.: Positive Polynomials. Monographs in Mathematics, Springer, Berlin, 2001
Ruiz, J.M.: Cônes locaux et complétions. C. R. Acad. Sc. Paris 302, Sér. I, 67–69 (1986)
Scheiderer, C.: Sums of squares of regular functions on real algebraic varieties. Trans. Am. Math. Soc. 352, 1039–1069 (1999)
Scheiderer, C.: On sums of squares in local rings. J. reine angew. Math. 540, 205–227 (2001)
Scheiderer, C.: Sums of squares on compact real surfaces. In preparation
Schmüdgen, K.: The K-moment problem for compact semi-algebraic sets. Math. Ann. 289, 203–206 (1991)
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (1991):14P05, 11E25, 14H99, 14P10, 44A60.
Dedicated to Eberhard Becker on the occasion of his 60th birthday
Rights and permissions
About this article
Cite this article
Scheiderer, C. Sums of squares on real algebraic curves. Math. Z. 245, 725–760 (2003). https://doi.org/10.1007/s00209-003-0568-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-003-0568-1