Abstract
Given two positive definite forms \({f,\,g\in\mathbb {R}[x_0,\ldots,x_n]}\) , we prove that fg N is a sum of squares of forms for all sufficiently large N ≥ 0. We generalize this result to projective \({\mathbb {R}}\) -varieties X as follows. Suppose that X is reduced without one-dimensional irreducible components, and \({X(\mathbb {R})}\) is Zariski dense in X. Given everywhere positive global sections f of \({L^{\otimes2}}\) and g of \({M^{\otimes2}}\) , where L, M are invertible sheaves on X and M is ample, fg N is a sum of squares of sections of \({L\otimes M^ {\otimes N}}\) for all large N ≥ 0. In fact we prove a much more general version with semi-algebraic constraints, defined by sections of invertible sheaves. For nonsingular curves and surfaces and sufficiently regular constraints, the result remains true even if f is just nonnegative. The main tools are local-global principles for sums of squares, and on the other hand an existence theorem for totally real global sections of invertible sheaves, which is the second main result of this paper. For this theorem, X may be quasi-projective, but again should not have curve components. In fact, this result is false for curves in general.
Similar content being viewed by others
References
Ahmadi, A.A., Parrilo, P.A.: Converse results on existence of sum of squares Lyapunov functions. Preprint (2011)
Becker, E.: Valuations and real places in the theory of formally real fields. In: Géométrie Algébrique Réelle et Formes Quadratiques. Lect. Notes Math. vol. 959, pp. 1–40. Springer, Berlin (1982)
Bochnak J., Coste M., Roy M.-F.: Real Algebraic Geometry. Erg. Math. Grenzgeb, vol. 36, 3rd series. Springer, Berlin (1998)
Hartshorne R.: Algebraic Geometry. Grad. Texts Math. 52,. Springer, New York (1977)
Jouanolou J.-P.: Théorèmes de Bertini et Applications. Progress in Mathematics, 42. Birkhäuser, Boston (1982)
Monnier J.-Ph.: Divisors on real curves. Adv. Geom. 3, 339–360 (2003)
Monnier J.-Ph.: On real generalized Jacobian varieties. J. Pure Appl. Algebra 203, 252–274 (2005)
Plaumann, D., Scheiderer, C.: The ring of bounded polynomials on a semi-algebraic set. Trans. Am. Math. Soc. (to appear)
Prestel A., Delzell Ch.N.: Positive Polynomials. Monographs in Mathematics. Springer, Berlin (2001)
Reznick B.: Uniform denominators in Hilbert’s seventeenth problem. Math. Z. 220, 75–97 (1995)
Roggero M.: Sui sistemi lineari e il gruppo delle classi di divisori di una variet ‘a reale. Ann. Math. Pura Appl. 135(4), 349–362 (1984)
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 real algebraic surfaces. Manuscr. Math. 119, 395–410 (2006)
Scheiderer, C.: Positivity and sums of squares: A guide to recent results. In: Emerging Applications of Algebraic Geometry. IMA Vol. Math. Appl. 149, pp. 271–324. Springer, New York (2009)
Scheiderer, C.: Weighted sums of squares in local rings and their completions I, II. Math. Z. 266, 1–19 (I) and 21–42 (II) (2010)
Schmüdgen K.: The K-moment problem for compact semi-algebraic sets. Math. Ann. 289, 203–206 (1991)
Stengle G.: Integral solution of Hilbert’s seventeenth problem. Math. Ann. 246, 33–39 (1979)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Scheiderer, C. A Positivstellensatz for projective real varieties. manuscripta math. 138, 73–88 (2012). https://doi.org/10.1007/s00229-011-0484-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-011-0484-3