{"entities":{"Q2754273":{"pageid":2765012,"ns":120,"title":"Item:Q2754273","lastrevid":83102897,"modified":"2026-05-07T06:03:29Z","type":"item","id":"Q2754273","labels":{"en":{"language":"en","value":"On sums of squares in local rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1670928"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$A6B36C71-C20F-4CC0-AD3C-6346DAECD018","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea93da5841c230d3d261b5baea75ec3d667b0516","datavalue":{"value":{"text":"On sums of squares in local rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2754273$E0B2328C-F25F-4468-897B-1B8BC02AC014","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22281b0efc3f2b05683b963266885f24166fc8e0","datavalue":{"value":"0991.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754273$02526B38-5DFD-46B9-87A4-36E3F7B71FF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38ebb29825737f5e6e2bc4bd6109e0ea97251bdd","datavalue":{"value":{"entity-type":"item","numeric-id":216849,"id":"Q216849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$84A78026-BF7E-4FF6-B7F0-FDC9B257A30A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f463ba8dc66fb17d66e4b57732786affbeaa4904","datavalue":{"value":{"time":"+2001-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2754273$D050AADB-02F6-4169-A4E4-4277C730C3D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d37e136ceaebcebcd501115ffc15ccce1c4000c","datavalue":{"value":"https://semanticscholar.org/paper/2f68210c4fcc49d86c7593b508724a2c4e243513","type":"string"},"datatype":"url"},"type":"statement","id":"Q2754273$4F0EF157-0B96-4181-838A-6124D0AB05F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"765bffd38ceeadce2d709456a083f0dd0b70ccc2","datavalue":{"value":"13J30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754273$764CBC26-73F3-40C6-8358-9DC767488737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"948aa1fb9c132b8af64a8a1ee35d1e52801f0e0a","datavalue":{"value":"13H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754273$4B6EA039-0050-4366-8D3C-FC3ED89395B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"495845c8213cf842ac820948f1353b4cef3062a2","datavalue":{"value":"11E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754273$52E28706-2668-48C0-97F8-7A2F2B081318","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f85cb77ef11239e5bc4601a9a2306dbb35a29338","datavalue":{"value":"1670928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754273$865AFA14-4D18-432C-9F78-4A82331BF4A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447e7fc7e5e5812f59e4547f9226cb1eb9648403","datavalue":{"value":"positive semidefinite element","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754273$4B864905-3D18-49AA-BB5D-2596F2245CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c4e00f91f9b6278a98ec4eed6669527225bfb","datavalue":{"value":"sum of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754273$4521D89F-8966-42F3-B5F4-3F5EDBAFD157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754273$A98BD6ED-F2E6-4D21-A2A8-5B60088F351F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"287f55d1b173555478610100893db5f243fbf103","datavalue":{"value":"Pythagoras number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754273$69CC77AB-D7E9-45A2-9C03-8504C689AE66","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$0C31A357-C3D2-4EDD-B916-5A7CB32A3094","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07235d85aac9ce46504c56b3d7b1a863384c1358","datavalue":{"value":"W2058493131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754273$A5FF3D04-DE8A-4CD9-AD2E-50B2A325A3B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff4ee9aa7b61305175d1a63c09b662886a78de8","datavalue":{"value":{"entity-type":"item","numeric-id":4210476,"id":"Q4210476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$D36797A4-898A-4D54-A4C0-C7EBCB62434E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6f4f28330cf8e46771c499d25a3747058a7869","datavalue":{"value":{"entity-type":"item","numeric-id":5340133,"id":"Q5340133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$D41E476D-39E0-484D-BBFC-3EFC362CB2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb03492e1c47b25df25ec7c1b2442a0d89656cf","datavalue":{"value":{"entity-type":"item","numeric-id":3986643,"id":"Q3986643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$DA8C7F07-E760-49C1-81F9-372FE3084FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b0e5b2f280423e65b9d044b07ba835c28c2c2b","datavalue":{"value":{"entity-type":"item","numeric-id":4693114,"id":"Q4693114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$1A41A88B-0B20-492C-96E2-6F2DE8255417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77d78030bb29a731a47c15ddbaef3a7da691481","datavalue":{"value":{"entity-type":"item","numeric-id":5675788,"id":"Q5675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$6324DA24-4AF5-4B9F-9522-73E84A395116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddcc204209f625193d72073394c462e5192c79","datavalue":{"value":{"entity-type":"item","numeric-id":3739243,"id":"Q3739243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$3DFC79B0-6EF8-42D7-A279-4E31E1A38574","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b54aca706fbcc1d5da21e6a51716f787226de05","datavalue":{"value":"10.1515/CRLL.2001.085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754273$578E743A-91A4-4BDF-B65E-2AAEF463338E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"935e5c4af95245519042ace220f829f00c8153b9","datavalue":{"value":{"entity-type":"item","numeric-id":993359,"id":"Q993359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f8458219653b0633791225aba117dce2d87845","datavalue":{"value":{"amount":"+0.9242581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2754273$086B3FA3-36AC-4C90-AD01-42D11004D2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbfa17ce5f2783b724d1d69e9280f793b12dbfa1","datavalue":{"value":{"entity-type":"item","numeric-id":752742,"id":"Q752742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019a4916cb75e2b399db3ad5ed4f43eb0366d71e","datavalue":{"value":{"amount":"+0.9198725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2754273$71F89F00-AA0B-46AD-9378-8C02D6B3EC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df591bf5509b1ef09f35ac851645bdcb6b2bfd22","datavalue":{"value":{"entity-type":"item","numeric-id":993358,"id":"Q993358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809145054b25c4262bcedb81cb49a048cfccc413","datavalue":{"value":{"amount":"+0.918092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2754273$F17F1E0D-0D55-4521-B9E3-3BAA2859DE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec17bbf3ab0067ce00ff1a51ea12ef0e9b11056","datavalue":{"value":{"entity-type":"item","numeric-id":4813781,"id":"Q4813781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8be635fb09e5c2fbc5ba46dc4ef231df9a5660","datavalue":{"value":{"amount":"+0.913235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2754273$BBE98932-8F44-4598-98CA-33B5D879C37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35cfec73ebc5a10ec973e7f19b767242ed629ff","datavalue":{"value":{"entity-type":"item","numeric-id":2290815,"id":"Q2290815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f5f77590f80bdcb93ccda11c3b965c5724cefd","datavalue":{"value":{"amount":"+0.91162074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2754273$75B0B762-A387-4121-9CF9-FC68964A9645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35f10fe684132734a75dd288857dfdddabf9058","datavalue":{"value":{"entity-type":"item","numeric-id":3789657,"id":"Q3789657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8808655ee48b3d630cbe464d1c9a4c6dd366ffad","datavalue":{"value":{"amount":"+0.90808326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2754273$9765886D-C0AA-435A-90CD-19D186E02D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a214e5f37c8decfb0ee96cdfd1f3060577446fdc","datavalue":{"value":{"entity-type":"item","numeric-id":1297992,"id":"Q1297992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98f3fd2d7b8da963a5cf0932c60f33bc0ffbfc8","datavalue":{"value":{"amount":"+0.9077419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2754273$B8107682-06DA-4A99-A9BB-62264C3A24DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463fd15a35ce9c90edca620615d888721d415ae2","datavalue":{"value":{"entity-type":"item","numeric-id":4452186,"id":"Q4452186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd34bb683ef1fb89add433885eca94589140df7","datavalue":{"value":{"amount":"+0.9037669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2754273$2E0C3407-48D9-4FFB-B976-F6DA88C36A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11cae423d8970b216d354bf7c11c7756a17188a8","datavalue":{"value":{"entity-type":"item","numeric-id":2706574,"id":"Q2706574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9bdca5ce100d54b2b98bba97465674037472ff5","datavalue":{"value":{"amount":"+0.9023991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2754273$2FB442FA-4290-46FB-8B64-1EF18CA2E6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58902a40cca8262b7c528d185b416274f1355bc","datavalue":{"value":{"entity-type":"item","numeric-id":1313296,"id":"Q1313296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da22b937aee69de9f1e6272fc8dacf92999464a","datavalue":{"value":{"amount":"+0.90206766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2754273$ED8970AE-BAC4-4634-B612-940A0B083E0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$0BCD4BCA-F68E-48FB-A4E1-ADB12E463E5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ceb2e5b4428419cdf8542b560915f82e274698b5","datavalue":{"value":"Let \\(A\\) be a semilocal ring. An element \\(f \\in A\\) is called totally positive or positive semidefinite (pds) if \\(f\\) has positive or non-negative sign with respect to any ordering of any residue field of \\(A\\). One may raise the natural question when an element is a sum of squares (sos). This is known to be the case if \\(A\\) is a field or a valuation ring. In an earlier paper [\\textit{C. Schneiderer}, Trans. Am. Math. Soc. 352, No. 3, 1039-1069 (1999; Zbl 0941.14024)], the author showed the existence of elements which are not sos for certain rings \\(A\\) with \\(\\dim A \\geq 3\\). This paper studies the above question for the case \\(\\dim A = 1,2\\). The starting point is the observation that \\(f\\) is sos in \\(A\\) if \\(f\\) is sos in a suitable infinitesimal neighborhood of its real zero locus. It is shown that pds = sos holds in a Nagata local ring \\(A\\) with \\(\\dim A =1\\) iff it holds in the completion \\(\\widehat A\\). If the residue field \\(k\\) of \\(A\\) is moreover real closed, then pds = sos iff \\(\\widehat A \\cong k[[x_1,\\ldots,x_n]]/(x_ix_j\\mid i < j)\\). The main result in the case \\(\\dim A = 2\\) states that if \\(A\\) is a regular local domain, then \\(f\\) is sos in \\(A\\) iff \\(f\\) is sos in the quotient field \\(K\\) of \\(A\\). NEWLINENEWLINENEWLINEThe paper also proves the following results on the Pythagoras number \\(p^+(A)\\) or \\(p(A)\\), that is the least number \\(n\\) such that every totally positive sos or every sos in \\(A\\) is a sum of \\(n\\) squares: \\(p^+(A) \\leq 2^{d+1}\\) if \\(A\\) is a semilocal algebra of finite transcendence degree \\(d\\) over a real closed field; \\(p(A) \\leq 2^d\\) if \\(A\\) is a two-dimensional local ring of an algebraic variety \\(V\\) over a real closed field with \\(\\dim V = d\\) (which is the best possible bound); \\(p(A) < 4p(K)\\) if \\(A\\) is a two-dimensional regular local ring.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754273$B5DB426D-3EBC-4D7A-AA1A-633EAEE4E214","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7671bf4b7c432bdd69b07680fef9b5d1583f44d3","datavalue":{"value":{"entity-type":"item","numeric-id":166146,"id":"Q166146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754273$A5298000-D129-4F23-A9FE-6A5D4534DE59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On sums of squares in local rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_sums_of_squares_in_local_rings"}}}}}