{"entities":{"Q393952":{"pageid":395719,"ns":120,"title":"Item:Q393952","lastrevid":61576533,"modified":"2026-04-11T00:15:08Z","type":"item","id":"Q393952","labels":{"en":{"language":"en","value":"Division algebras and quadratic forms over fraction fields of two-dimensional henselian domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250107"}},"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":"Q393952$5FBA8FFB-59FB-4214-9C3C-487AF8EBC5F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f40ccd0069322aad4e36a5faf5ff724fd39475b9","datavalue":{"value":{"text":"Division algebras and quadratic forms over fraction fields of two-dimensional henselian domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q393952$7001346A-A179-43E2-801F-836A7BF283DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b926e81238f58a8f2b0fbddef1ba5aee9a8a253e","datavalue":{"value":"1294.11035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393952$504EC4CE-0B38-476D-912F-542E53E7296C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"023c38ea1261d7bc4443b33575c9b263ea63bb01","datavalue":{"value":{"entity-type":"item","numeric-id":393951,"id":"Q393951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393952$8FCF5A29-BB0D-4D7E-8629-CB9F23C47B94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393952$B6802855-1EE3-4683-8EF6-21D38BC262E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q393952$B30AD0BF-8C79-4F6B-9B86-C36F90479231","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53d0f010f1db8e11963e22735db84824f4efe1c4","datavalue":{"value":"https://arxiv.org/abs/1105.2051","type":"string"},"datatype":"url"},"type":"statement","id":"Q393952$76EEBDF0-598B-4322-AFCC-A96121BD6083","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":"Q393952$0C568142-BBC5-4C1F-A545-A55026187526","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b955ec184c55930253632e291ee5820f31251e0","datavalue":{"value":"11E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393952$9313281E-781C-4035-99B3-E99DBC045D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b5a85f53426c0f442ffdb8e0cc9ee986a50081b7","datavalue":{"value":"16K99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393952$58A85205-6095-4DE8-B6BB-DDAD8971D12C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50e12b4b0f4bfa236dc02a9546c1231d828092c1","datavalue":{"value":"6250107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393952$825C234A-345B-432F-BD2B-2B55279E053B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ff6ce019711bdf2b63c83da3d75e7f1c4f609a","datavalue":{"value":"quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q393952$F90941EA-96DD-41DA-A570-0834B22CD000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c31636f400e0ce5ed589a1745c8025def9a53b","datavalue":{"value":"division algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q393952$6C54C335-8381-4D77-AB18-3BF092C8EC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8adb46bc76c81baf1541140bfb4e49ad9571310b","datavalue":{"value":"local-global principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q393952$FBBF6610-9B18-4A71-A120-814A32FEC605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e37d68405e4bdf71fe1e7e72a1e0d6a39806557","datavalue":{"value":"henselian domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q393952$BCAB47E4-7453-41D4-AEB2-BB8B72AF82EB","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":"Q393952$101F1090-59DE-46D6-B262-2B04F47ADEE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8be005e8ea3f1888d7ccd7dcc60d5feaf95236e","datavalue":{"value":"W3099624522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393952$8BEA27F2-1C3B-4619-A235-25B841F6D2D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8cbc8bc1b93623a9cbc5419444c8c9009a651c7","datavalue":{"value":"10.2140/ANT.2013.7.1919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393952$63B565D5-1F68-4233-B81B-9CDAFBEA3FCD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"592f0f475a8d2447bd399e38a68fffb65c3ae434","datavalue":{"value":"Let \\(R\\) be a two-dimensional, henselian, excellent local domain with finite residue field \\(k\\), and \\(K\\) be the fraction field of \\(R\\). Let \\(\\Omega_R\\) be the set of discrete valuations of \\(K\\) that correspond to codimension-1 points of regular proper models of Spec \\(R\\). The following two theorems are the main results of the paper.NEWLINENEWLINETheorem 1.1. If char \\(k \\neq 2\\), then a quadratic form of rank \\(5\\) over \\(K\\) has a nontrivial zero over \\(K\\) if and only if it has a nontrivial zero over the completion \\(K_v\\) for every \\(v \\in \\Omega_R\\).NEWLINENEWLINETheorem 1.2. If char \\(k \\neq 2\\), then every quadratic form over \\(K\\) of rank \\(\\geq 9\\) has a nontrivial zero over \\(K\\).NEWLINENEWLINEThe proof is based on a careful analysis of ramification and cyclicity of division algebras over \\(K\\) culminating in the following local-global principle.NEWLINENEWLINETheorem 1.3. Let \\(q\\) be a prime number, \\(q \\neq\\) char \\(k\\). For a Brauer class \\(\\alpha \\in Br(K)\\) of order \\(q\\), if \\(\\alpha_v \\in Br(K_v)\\) is represented by a cyclic algebra of degree \\(q\\) over the completion \\(K_v\\) for every \\(v \\in \\Omega_R\\), then \\(\\alpha\\) is represented by a cyclic algebra of degree \\(q\\) over \\(K\\).NEWLINENEWLINEThis is proved by using methods developed by \\textit{D. J. Saltman} [J. Ramanujan Math. Soc. 12, No. 1, 25--47 (1997; Zbl 0902.16021), J. Algebra 314, No. 2, 817--843 (2007; Zbl 1129.16014), J. Algebra 320, No. 4, 1543--1585 (2008; Zbl 1171.16011)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q393952$3B3A6684-68F0-46C9-8102-2FEBEE5B1C58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4236edb32e7bdc9d6b6a1fea7ccf9efac1e9e93","datavalue":{"value":{"entity-type":"item","numeric-id":1948152,"id":"Q1948152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceffd0f6d2538cefe4a7ab4595e7d56617feb98c","datavalue":{"value":{"amount":"+0.8817091584205627","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":"Q393952$EF352EE2-2E3E-4974-8E57-98A560C717D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48fe94ab31a3737bf6435ad935177c734e9ff63c","datavalue":{"value":{"entity-type":"item","numeric-id":4432477,"id":"Q4432477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2883762fa3f028dfdd26f2b4b7e4bf28003a4f","datavalue":{"value":{"amount":"+0.779930830001831","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":"Q393952$B68853F7-B214-4D7D-96A4-6A83852DEFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"411f79d862853c426012e0cee6cae6d7b68ea8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3472253,"id":"Q3472253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b234c1f9f87462c4958b22d24676a86db1895e1f","datavalue":{"value":{"amount":"+0.7682905793190002","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":"Q393952$E55C5556-2684-4501-B4BE-094B8562A9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1276cc24a62b871d2b2e7ca8fe1a9816238bce0f","datavalue":{"value":{"entity-type":"item","numeric-id":4427531,"id":"Q4427531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ab464854fc18a213e1f732f3340b30158d2650","datavalue":{"value":{"amount":"+0.7615581154823303","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":"Q393952$5D87F3EC-ED7B-4C5B-9D96-AE18C57B7609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039327846cb1f965d1c76e37feb02b067c67fc1f","datavalue":{"value":{"entity-type":"item","numeric-id":536030,"id":"Q536030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd0c8d3052967d5f8a76697eb0c9dc6c59d8805","datavalue":{"value":{"amount":"+0.744900107383728","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":"Q393952$7453322C-1A1A-4FB1-92AE-5B615AED6CFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Division algebras and quadratic forms over fraction fields of two-dimensional henselian domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Division_algebras_and_quadratic_forms_over_fraction_fields_of_two-dimensional_henselian_domains"}}}}}