{"entities":{"Q1038682":{"pageid":1040530,"ns":120,"title":"Item:Q1038682","lastrevid":69485214,"modified":"2026-04-13T07:19:26Z","type":"item","id":"Q1038682","labels":{"en":{"language":"en","value":"The \\(u\\)-invariant of one-dimensional function fields over real power series fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5636263"}},"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":"Q1038682$C20D226D-6C45-4AC9-BF40-8068A3F2A418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95a92f719649c09843f937066c31a42643c2deac","datavalue":{"value":{"text":"The \\(u\\)-invariant of one-dimensional function fields over real power series fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1038682$2E83175C-29B2-4F65-A8E1-0858B5983DB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ce6ea44b75598d95bc20f42376534a4970d0f57","datavalue":{"value":"1241.11047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038682$A228228E-83CF-49FC-9689-A165D3E0B487","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":"Q1038682$B8CCD7B4-F5F5-47ED-AE38-0BBFB8B0FF1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$45B3537C-498F-4151-AEA4-C3EBD33AB41D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f22f503ce4133654a37ad61d9eda73f1acae28e1","datavalue":{"value":{"time":"+2009-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1038682$11532B94-0F83-4EDB-B1A2-AA1E667F69FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"979482b4b10db7cef4436b9be532944d87807a55","datavalue":{"value":"Definition. The strong \\(u\\)-invariant \\(u_s(K)\\) is the smallest number \\(m\\in\\mathbb R\\cup\\{\\infty\\}\\) with the following two properties: \\(m\\geq u(E)\\) for every finite extension \\(E/K\\), and \\(2m\\geq u(F)\\) for every finitely generated extension \\(F/K\\) of transcendence degree 1.   The main result of this paper is:    Theorem. Let \\(A\\) be an excellent Henselian discrete valuation ring with fraction field \\(K\\) and residue field \\(k\\) of characteristic \\(\\neq 2\\). Then \\(u_s(K)= 2u_s(k)\\).   This was proved by \\textit{D. Harbater}, \\textit{J. Hartmann} and \\textit{D. Krashen} [Trans. Am. Math. Soc. 363, No. 6, 3335--3349 (2011; Zbl 1228.12004)] (using the deep method of field patching) in the case where \\(k\\) is non-real. If \\(k\\) and hence \\(K\\) have orders the proof of the inequality \\(u(K)\\geq 2u(k)\\) is more complicated. Here the author uses well-known results about the space \\(X\\) of orderings of \\(K\\) and the compatibility of \\(P\\in X\\) with \\(A\\). He shows: If \\(q\\) is a diagonal quadratic form with entries in \\(A^*\\) such that \\(\\overline q\\) is an anisotropic torsion form over \\(k\\) then there exists a uniformizer \\(t\\) of \\(A\\) with \\(t> 0\\) on \\(Z= \\{P\\in X: \\text{sgn}_p(q)\\neq 0\\}\\). Then \\(\\langle 1,-t\\rangle\\otimes q\\) is anisotropic and torsion over \\(K\\).   Furthermore there is a technical but straightforward inductive lemma (Lemma 8) to deal with the orderings of \\(K\\). Otherwise the proof of \\textit{D. Harbater}, \\textit{J. Hartmann} and \\textit{D. Krashen} [loc. cit.] goes through almost verbatim.   Some examples (Cor. 9, Rem. 10) conclude the well-written paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038682$27C4448E-0DAF-4114-B139-3E186E4D9292","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b7baf5e2aeb05692abb2f321ec97d56523a6eb67","datavalue":{"value":{"entity-type":"item","numeric-id":591959,"id":"Q591959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$12C6EB25-BA57-4432-825B-15D1274FCFC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"96824c1952dce65ca1e0d6b3c06e68a00a60bf8c","datavalue":{"value":"11E81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038682$450462B5-6505-495D-900B-768410B884D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b955ec184c55930253632e291ee5820f31251e0","datavalue":{"value":"11E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038682$FDA55A42-4FA1-4837-8001-9CA958650836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d47f0f7476488dd6b6b2436fba2dc33e26dfd17","datavalue":{"value":"14H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038682$F8689E7F-DC44-4CE7-8943-EEFA0609E0D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b173c9ad911b064b76ea6d8e8a93be4f2f6044c0","datavalue":{"value":"5636263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038682$E3F5C5FF-DA69-466F-A761-8890A16E54AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ff6ce019711bdf2b63c83da3d75e7f1c4f609a","datavalue":{"value":"quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038682$F5380C06-7ABA-4695-B9B5-C46EC20398E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ea4fb90265cbdd247f2b737f3a406749f396f9","datavalue":{"value":"\\(u\\)-invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038682$9642C63D-07DF-4DBC-B6BA-C8CA21C0416D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1186078afeebcde448e9202e3084fe4c9611561","datavalue":{"value":"power series fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038682$8D631E0A-EC16-4426-879A-F4FA25E89987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ec7a4ad84c81689cfaf13709281f4e729b073b","datavalue":{"value":"function fields of curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038682$821275FA-F9B8-41BE-9BA4-322E00F770AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c992cfd51e2398858e564605172d2502f3ed1e90","datavalue":{"value":"orderings of fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038682$B8B10516-3504-49ED-BF09-E9969A5DAE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5b3d1373c2f7558dad81fffef1cdc360036607d","datavalue":{"value":"patching of fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038682$FCE02D27-27B8-4D14-A78F-C165B8CA59C9","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":"Q1038682$74E226C0-7295-4CA9-B3D6-0FCCFE841AEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c692f1e70c834b3eb1f213c882851255a9ed4ce8","datavalue":{"value":"https://doi.org/10.1007/s00013-009-0034-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1038682$7A215523-6BDF-4AF5-8A2C-CE071760DDBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61e128c77bfb98fe94bef9e3c96859f4098b6bd3","datavalue":{"value":"W2065858339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038682$591AA5DB-9C61-48E6-A3D5-FF66619C1738","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab447084d38f0b5ccaf49bff1917a9486bfb76b","datavalue":{"value":{"entity-type":"item","numeric-id":1006832,"id":"Q1006832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$97552B26-32B0-4EF3-B1E6-637C423A6907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67567b3d8b8657d082f7078a1b3c0eca40f460ba","datavalue":{"value":{"entity-type":"item","numeric-id":1760060,"id":"Q1760060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$130593DB-2B86-4752-8942-9074B605E469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ec7d19478fbd14558921ffd1448b0c1004bc32","datavalue":{"value":{"entity-type":"item","numeric-id":980496,"id":"Q980496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$54F00B83-3E20-43CC-B832-781B924C7865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0572b10f2184f3228e7f02c6dc7b68e625863e2e","datavalue":{"value":{"entity-type":"item","numeric-id":1034697,"id":"Q1034697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$FFF24268-A3A1-486B-8A9C-E7A4CE9BA00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85561b9bf8f67b228342c55276be4fe82ab80d3d","datavalue":{"value":{"entity-type":"item","numeric-id":2650967,"id":"Q2650967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$231FB749-112A-48AD-A30B-DDBCA277C170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8c02448ec96e612ef2d01fb8bc19640c338499","datavalue":{"value":{"entity-type":"item","numeric-id":5920758,"id":"Q5920758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$1EF21747-71C4-48E9-B402-E63F2E39C63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2be7ccbfea2c3a140fa12ea938993031fb0357e","datavalue":{"value":{"entity-type":"item","numeric-id":3946236,"id":"Q3946236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$2FD26CE9-8FAA-4766-AC9E-E87AC7DCFE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecca8d10d9d45e509f41175aaa58278d06f74000","datavalue":{"value":{"entity-type":"item","numeric-id":4850044,"id":"Q4850044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$611458A4-7B76-4C83-BDB6-4644C35053A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf87aafd2d65a2f8d34229a0e85a8c75920ff19","datavalue":{"value":{"entity-type":"item","numeric-id":3708857,"id":"Q3708857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$6BE3E1A5-C070-4790-A07E-BD8481089FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cc1f4fb8894d154ed1745993b20cb98337955b","datavalue":{"value":{"entity-type":"item","numeric-id":5763684,"id":"Q5763684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038682$3F9AD882-1500-4467-8192-17FDB4A3FAC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"650b2307d45e6e2381f2b4765dc7ea092fcbd347","datavalue":{"value":"10.1007/S00013-009-0034-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038682$EE854B43-ECAC-442D-8780-B8E0B046D430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25dcdfcd9a0290b7df4a7595721512747d33a815","datavalue":{"value":{"entity-type":"item","numeric-id":2838629,"id":"Q2838629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66cb364082d61a984b443039557341329844ab8","datavalue":{"value":{"amount":"+0.8528831601142883","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":"Q1038682$851EE1DF-44B8-4F91-AD75-D099041FA988","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":"f06d9402e1e4255dbf7d2776621326c0c985cee2","datavalue":{"value":{"amount":"+0.8506611585617065","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":"Q1038682$0538A642-A7D4-481A-AAF7-C4D475C26317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b0cd6a8d2d90fe3444a37ca81ff17b9675c82b","datavalue":{"value":{"entity-type":"item","numeric-id":2655156,"id":"Q2655156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12978448674980a0665af2acbea2b4e60582c007","datavalue":{"value":{"amount":"+0.843463659286499","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":"Q1038682$22155E8B-C9DC-4716-9C03-9F94374589FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3491b32e1d8abd96bf62a647db2ec1536c58da8a","datavalue":{"value":{"entity-type":"item","numeric-id":4432480,"id":"Q4432480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39917bd1d6693dcab5072fd2838faffdd29d58c1","datavalue":{"value":{"amount":"+0.8376182317733765","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":"Q1038682$433768F6-AD43-4276-97D6-72E8E692AADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead275e75a317f365c6aafef4a0d3cb94369b59f","datavalue":{"value":{"entity-type":"item","numeric-id":601871,"id":"Q601871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d99ad367d318d7495538b350eecb5f45e4887b4","datavalue":{"value":{"amount":"+0.8337126970291138","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":"Q1038682$D1FE8723-4AB0-416C-9E04-62ACDA369394","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(u\\)-invariant of one-dimensional function fields over real power series fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%5C(u%5C)-invariant_of_one-dimensional_function_fields_over_real_power_series_fields"}}}}}