Abstract
AbstractA classical problem in real geometry concerns the representation of positive semidefinite elements of a ring A as sums of squares of elements of A. If A is an excellent ring of dimension $$\ge 3$$
≥
3
, it is already known that it contains positive semidefinite elements that cannot be represented as sums of squares in A. The one dimensional local case has been afforded by Scheiderer (mainly when its residue field is real closed). In this work we focus on the 2-dimensional case and determine (under some mild conditions) which local excellent henselian rings A of embedding dimension 3 have the property that every positive semidefinite element of A is a sum of squares of elements of A.
Funder
Ministerio de Ciencia e Innovación
Universidad Complutense de Madrid
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Mathematics,Geometry and Topology,Algebra and Number Theory,Analysis
Reference43 articles.
1. Andradas, C., Bröcker, L., Ruiz, J.M.: Constructible Sets in Real Geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 33. Springer, Berlin (1996)
2. Becher, K.-J., Grimm, D., Van Geel, J.: Sums of squares in algebraic function fields over a complete discretely valued field. Pac. J. Math. 267(2), 257–276 (2014)
3. Bochnak, J., Coste, M., Roy, M.F.: Real Algebraic Geometry. Ergebnisse der Mathematik, vol. 36. Springer, Berlin (1998)
4. Bruce, J.W.: Classifications in singularity theory and their applications (p.3–33). New developments in singularity theory. Proceedings of the NATO Advanced Study Institute held in Cambridge, July 31–August 11, (2000). Edited by D. Siersma, C. T. C. Wall and V. Zakalyukin. NATO Science Series II: Mathematics, Physics and Chemistry, 21. Kluwer Academic Publishers, Dordrecht (2001)
5. Cassels, J.W.S.: On the representation of rational functions as sums of squares. Acta Arith. 9, 79–82 (1964)