{"entities":{"Q2510042":{"pageid":2520785,"ns":120,"title":"Item:Q2510042","lastrevid":73510653,"modified":"2026-04-14T16:16:34Z","type":"item","id":"Q2510042","labels":{"en":{"language":"en","value":"Sums of squares in algebraic function fields over a complete discretely valued field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6323647"}},"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":"Q2510042$AD485DA9-6A6A-454D-9DA2-5451ADF09945","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ca1c187d4f45a4f71e1eca67a0c08070d31f113","datavalue":{"value":{"text":"Sums of squares in algebraic function fields over a complete discretely valued field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2510042$FFB09E20-79A6-4E8A-BF47-3B5702D8BBE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e59a0458c386426bd1952faef6e47bfdaa73b1ce","datavalue":{"value":"1300.11029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$C8B870D2-1BDF-40AE-9661-4F76900907A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50640ad6b9609f2e6c91e7a05ece5b94b6ea863d","datavalue":{"value":{"entity-type":"item","numeric-id":216831,"id":"Q216831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510042$1343184D-F1F6-4F68-B6A0-B99669EEC93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53137a48b66531d4c97113021cbd8596e4d77d5b","datavalue":{"value":{"entity-type":"item","numeric-id":1998963,"id":"Q1998963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510042$EC4461CA-6F3A-4FD0-B218-23874DF7C49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3c78d9999df95b079d93afb3edbf62bab0e5181","datavalue":{"value":{"entity-type":"item","numeric-id":484613,"id":"Q484613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510042$B53825F1-AB86-4BF7-BF87-838598DC312D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510042$72575EE6-2082-4E5F-A7A1-81818972E121","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b5c982f599539b2f362cfa006a40560fe26e036","datavalue":{"value":{"time":"+2014-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2510042$D7365B1B-C5B1-48CA-A644-E5F06F9827E8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed881b426dedf8de91ff1ae8a985b9217a2a0447","datavalue":{"value":"Let \\(T\\) be a complete discrete valuation ring with residue field \\(k\\) of characteristic different from \\(2\\), and let \\(K\\) be the field of fractions of \\(T\\). Then for quadratic forms over an algebraic function field \\(F\\) over \\(K\\) there is a local-global principle for isotropy of quadratic forms of dimension at least \\(3\\) (with respect to all nondyadic valuations on \\(F\\)). This was proved by \\textit{J.-L. Colliot-Th\u00e9l\u00e8ne} et al. [Comment. Math. Helv. 87, No. 4, 1011--1033 (2012; Zbl 1332.11065)] and is related to the earlier work of \\textit{R. Parimala} and \\textit{V. Suresh} [Ann. Math. (2) 172, No. 2, 1391--1405 (2010; Zbl 1208.11053)] and \\textit{D. Harbater} et al. [Invent. Math. 178, No. 2, 231--263 (2009; Zbl 1259.12003)]. The authors of the present paper use this local-global principle to obtain several definitive results on the \\(u\\)-invariant \\(u(F)\\) and the Pythagoras number \\(p(F)\\) of the algebraic function field \\(F\\). In particular they prove that the upper bound for \\(u(F)\\) equals the double of the upper bound for \\(u(E)\\), where \\(E\\) is algebraic function field over \\(k\\). For the rational function field \\(K(X)\\) they deduce that  \\[ u(K(X)) = 2 \\cdot \\sup \\{u(l(X)): l/k \\mathrm{ finite \\;separable \\;field \\;extension}\\}, \\]   \\[ p(K(X)) = \\sup \\{p(l(X)): l/k \\mathrm{ finite \\;field \\;extension}\\}. \\]  When \\(K\\) is an iterated formal power series field over a real closed field, it is proved that \\(p(F) \\leq 3\\) and the factor group of nonzero sums of squares, modulo the subgroup of sums of two squares, is finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510042$6DB9A3C4-1E2A-460F-8ADF-16A614B92715","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b955ec184c55930253632e291ee5820f31251e0","datavalue":{"value":"11E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$E9809619-B29E-49F4-948F-F31F7B113317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9b87656e7915b52fa0c6607ef9d80011fa9e213","datavalue":{"value":"11E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$5503DD84-282C-4A95-A650-B9C38AF5F73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"495845c8213cf842ac820948f1353b4cef3062a2","datavalue":{"value":"11E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$5D9F6879-9ED2-4DF5-A5EC-14C48A38E62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$F532310C-8178-4DBB-8632-F41ADEB98045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$BF94028A-CDFA-42F7-AA8F-ADBEC1BB2F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"603df56cdd358180c16ebf969d05eb1c25886aaf","datavalue":{"value":"12F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$0CD3AE8F-6871-4E5B-8870-834E83064879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d47f0f7476488dd6b6b2436fba2dc33e26dfd17","datavalue":{"value":"14H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$C20393DA-DCCC-4399-A016-66B9BBAC2F62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67e362bec3a6ceaccfcac5573c60aceb2c5ea671","datavalue":{"value":"6323647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$3FBEC302-870E-47C8-B55F-1661AF4D3AF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe3bf9f6212d0270c9e253bb83eebdf2159cf5","datavalue":{"value":"isotropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510042$C29C3EF8-E169-49A7-86A5-9563163718B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8adb46bc76c81baf1541140bfb4e49ad9571310b","datavalue":{"value":"local-global principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510042$84150C2A-8B6B-42EB-8E59-0F1B2DC0670D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"596de3a37def230a972442551feda7c7ad1b3ef3","datavalue":{"value":"real field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510042$1FFDD7F1-08A8-473B-AF81-4D0EE4B618D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4edfbbae10f51c03a0767ecf26d0d454aeb01a","datavalue":{"value":"sums of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510042$91652C67-DCE6-4B80-8E0D-DC56A06D3E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ea4fb90265cbdd247f2b737f3a406749f396f9","datavalue":{"value":"\\(u\\)-invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510042$60902DFE-F86B-4F31-A350-40A369901D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed62136a582ee4e2c243e6f88f6985e5da9678cc","datavalue":{"value":"pythagoras number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510042$C6BC330F-A2A1-4404-9932-3E2304439028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510042$FE603732-830E-4702-9C31-0368348C3260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae2e32ca3e6f8db8e838bf659d6d1723d41386d","datavalue":{"value":"algebraic function fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510042$C85FE956-7720-487D-9E17-7BCFB47CE75F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2038028ad76bc61d17d1f93622fa054b90580aae","datavalue":{"value":{"entity-type":"item","numeric-id":180545,"id":"Q180545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510042$1EE57F27-BD2B-45AC-96AA-EF0BE07490C9","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":"Q2510042$A2095E28-0789-40C9-879B-63B871B35ED8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f96f58fb5e71381cff2042f78ca15b4f63ba805","datavalue":{"value":"https://doi.org/10.2140/pjm.2014.267.257","type":"string"},"datatype":"url"},"type":"statement","id":"Q2510042$79E08779-FFBE-40BA-9B5A-D5738F9005E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25c5f8d130711b4cc3ad3354b6730d7d5d583b36","datavalue":{"value":"W2123476663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$8C84ED8A-7A6C-4E1A-982B-008BC777FE9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27720d286122ab5e771432827e6252a41708da51","datavalue":{"value":"10.2140/PJM.2014.267.257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510042$0AE8705C-6D9C-4461-9145-698972B20344","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7065c29333dc2dfd373ce10c69a124c89cfbc6","datavalue":{"value":{"entity-type":"item","numeric-id":1006832,"id":"Q1006832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb24a9810ef31625a04e5a3c74ab8d0b1ce599f2","datavalue":{"value":{"amount":"+0.8305774927139282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510042$82EC8AFD-5AF7-448B-8D1E-C68776DC7B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896a32673deaf516eb6fee818531fc5164fabd6a","datavalue":{"value":{"entity-type":"item","numeric-id":2376348,"id":"Q2376348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1591c44403ca6c0c19350e9d16fb510e57b9e3ac","datavalue":{"value":{"amount":"+0.8203708529472351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510042$34FBC6BF-9616-42CD-B0DE-878F9A749B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d8379b9bc3198fc461c9410f9ce05a77067024","datavalue":{"value":{"entity-type":"item","numeric-id":2346054,"id":"Q2346054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f66051740652bbfb164c0672e501dc03e54a6bb","datavalue":{"value":{"amount":"+0.8184762001037598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510042$924016AE-2AF0-413F-A35C-DEE8949B245F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91ad1523a87bfcb0e5737b39fe5f1ef9b7c20b4","datavalue":{"value":{"entity-type":"item","numeric-id":1038682,"id":"Q1038682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25c28039ab1b78770519b618ca0cc07461fb015","datavalue":{"value":{"amount":"+0.8066735863685608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510042$C10B469C-419D-479F-819A-8EFE38321CF8","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":"04d6d4f9093eec5827adfe60f0c644d06903bce9","datavalue":{"value":{"amount":"+0.8066215515136719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2510042$D9F18B9F-7F19-4B05-B01C-C2D928FD7A36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sums of squares in algebraic function fields over a complete discretely valued field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sums_of_squares_in_algebraic_function_fields_over_a_complete_discretely_valued_field"}}}}}