Abstract
A bad point of a positive semidefinite real polynomial f is a point at which a pole appears in all expressions of f as a sum of squares of rational functions. We show that quartic polynomials in three variables never have bad points. We give examples of positive semidefinite polynomials with a bad point at the origin, that are nevertheless sums of squares of formal power series, answering a question of Brumfiel. We also give an example of a positive semidefinite polynomial in three variables with a complex bad point that is not real, answering a question of Scheiderer.
Similar content being viewed by others
References
Artin, E.: Über die Zerlegung definiter Funktionen in Quadrate. Abh. Math. Sem. Univ. Hamburg 5(1), 100–115 (1927)
Baeza, R.: Quadratic Forms Over Semilocal Rings. Lecture Notes in Mathematics, vol. 655. Springer, Berlin (1978)
Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry, Ergeb. Math. Grenzgeb. (3), vol. 36. Springer, Berlin (1998)
Bochnak, J., Efroymson, G.: Real algebraic geometry and the 17th Hilbert problem. Math. Ann. 251(3), 213–241 (1980)
Brumfiel, G.W.: Partially Ordered Rings and Semi-Algebraic Geometry. London Math. Soc. Lecture Note Series, vol. 37. Cambridge University Press, Cambridge (1979)
Choi, M.D., Lam, T.Y.: An old question of Hilbert. Conference on Quadratic Forms—1976, Queen’s Papers in Pure Appl. Math. 46, 385–405 (1977)
Choi, M.D., Lam, T.Y., Reznick, B.: Real zeros of positive semidefinite forms. I. Math. Z. 171(1), 1–26 (1980)
Choi, M.D., Lam, T.Y., Reznick, B., Rosenberg, A.: Sums of squares in some integral domains. J. Algebra 65(1), 234–256 (1980)
Dao, H., De Stefani, A., Grifo, E., Huneke, C., Núñez-Betancourt, L.: Symbolic powers of ideals, Singularities and foliations. Geometry, topology and applications, Springer Proceedings in Mathematics & Statistics, vol. 222, pp. 387–432. Springer, Cham (2018)
Delzell, C.N.: A constructive, continuous solution to Hilbert’s 17th problem, and other results in semi-algebraic geometry (1980). Ph.D. Thesis, Stanford University
Eisenbud, D.: Commutative Algebra, Graduate Texts in Mathematics, vol. 150. Springer, New York (1995)
Fernando, J.F.: Positive semidefinite germs in real analytic surfaces. Math. Ann. 322(1), 49–67 (2002)
Fernando, J.F., Ruiz, J.M., Scheiderer, C.: Sums of squares in real rings. Trans. Am. Math. Soc. 356(7), 2663–2684 (2004)
Grothendieck, A.: Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, II. Publ. Math. IHES (24) (1965)
Grothendieck, A.: Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, IV. Publ. Math. IHES (32) (1967)
Hilbert, D.: Ueber die Darstellung definiter Formen als Summe von Formenquadraten. Math. Ann. 32(3), 342–350 (1888)
Hilbert, D.: Über ternäre definite Formen. Acta Math. 17(1), 169–197 (1893)
Hochster, M.: Criteria for equality of ordinary and symbolic powers of primes. Math. Z. 133, 53–65 (1973)
Jouanolou, J.-P.: Théorèmes de Bertini et applications, Progress in Mathematics, vol. 42. Birkhäuser Boston Inc, Boston, MA (1983)
Lam, T.Y.: Introduction to Quadratic Forms Over Fields, Graduate Studies in Mathematics, vol. 67. American Mathematical Society, Providence, RI (2005)
Liu, Q.: Algebraic Geometry and Arithmetic Curves, Oxford Graduate Texts in Mathematics, vol. 6. Oxford University Press, Oxford (2002)
Matsumura, H.: Commutative Ring Theory, 2nd edn., Cambridge Studies in Advanced Mathematics, vol. 8. Cambridge University Press, Cambridge (1989)
Mac Lane, S., Schilling, O.F.G.: Zero-dimensional branches of rank one on algebraic varieties. Ann. Math. 40(2), 507–520 (1939)
Motzkin, T.S.: The arithmetic-geometric inequality, Inequalities (Proc. Sympos. Wright-Patterson Air Force Base, Ohio, 1965), pp. 205–224. Academic Press, New York (1967)
Northcott, D.G.: Ideal Theory, Cambridge Tracts in Mathematics and Mathematical Physics, vol. 42. Cambridge University Press, Cambridge (1953)
Ruiz, J.M.: Cônes locaux et complétions. C. R. Acad. Sci. Paris Sér. I Math 302(2), 67–69 (1986)
Scheiderer, C.: Sums of squares of regular functions on real algebraic varieties. Trans. Am. Math. Soc. 352(3), 1039–1069 (2000)
Scheiderer, C.: On sums of squares in local rings. J. Reine Angew. Math. 540, 205–227 (2001)
Scheiderer, C.: Sums of squares of polynomials with rational coefficients. J. Eur. Math. Soc. 18(7), 1495–1513 (2016)
Zariski, O., Samuel, P.: Commutative Algebra, vol. II. D. Van Nostrand Co., New York (1960)
Acknowledgements
I thank Charles N. Delzell and Claus Scheiderer for having made [10] available to me, Karim Johannes Becher for useful comments, and the referee for their careful work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Olivier Debarre.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Benoist, O. On the bad points of positive semidefinite polynomials. Math. Z. 300, 3383–3403 (2022). https://doi.org/10.1007/s00209-021-02804-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-021-02804-9