{"entities":{"Q2221666":{"pageid":2232409,"ns":120,"title":"Item:Q2221666","lastrevid":57786318,"modified":"2026-04-02T12:54:12Z","type":"item","id":"Q2221666","labels":{"en":{"language":"en","value":"A proof of a conjecture on trace-zero forms and shapes of number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7304530"}},"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":"Q2221666$7BA3AE53-5386-485C-80EF-40A19739F136","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3eb56fb9761647243edecdd6b301464048c337b","datavalue":{"value":{"text":"A proof of a conjecture on trace-zero forms and shapes of number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2221666$5936AB7B-0B08-4222-AD62-416CC36B457F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5396567da338db23b51b1428df123ee28eef772e","datavalue":{"value":"1478.11128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221666$16E64D38-2832-4B12-94A8-D7734FB15E51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc305b54ae43bbc22e0aea2ff5b91f442dca137","datavalue":{"value":{"entity-type":"item","numeric-id":265571,"id":"Q265571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$1C0C69C5-6B16-4E4A-8FFD-BD107FA7D36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f69f4822e28625c63e6ec29120670ca7e330853e","datavalue":{"value":{"entity-type":"item","numeric-id":2221665,"id":"Q2221665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$7961B9AB-B708-403E-A9F6-F5C7AB7D1451","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df5f8c354fea6f60fb60c332660963d0551b6095","datavalue":{"value":{"entity-type":"item","numeric-id":254941,"id":"Q254941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$B70FB881-5A6C-4D43-8E74-EEAB20D1854B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de7d6a80765516b521ff8175534b49851be83f47","datavalue":{"value":{"time":"+2021-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2221666$5B5B4A9C-2F88-48AE-AF77-FC58C9978E17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b5af27867b07a33fc87af71c2aa2daca8bb8688","datavalue":{"value":"https://arxiv.org/abs/1907.09134","type":"string"},"datatype":"url"},"type":"statement","id":"Q2221666$1FAA73EE-9880-4824-95C8-EB11644AFE24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14d7842500ff6fce721be7937c3f29ebb69a76b2","datavalue":{"value":"For every finite separable field extension \\(L/K\\), the bilinear form trace is the map \\( T_{L/K}\\,:\\, L\\times L \\longrightarrow K \\), defined by \\(T_{L/K}(x,y)=\\displaystyle{\\sum_{i=1}^n\\sigma_i(xy)}\\), where \\(\\sigma_1,\\dots,\\sigma_n\\) are the \\(K\\)-isomorphisms of fields from \\(L\\) to \\(\\overline{K}\\) and \\(\\overline{K}\\) is an algebraic closure of \\(K\\). This symmetric \\(K\\)-bilinear form is called the trace form of \\(L/K\\). When \\(L\\) is an algebraic number field and \\(K= {\\mathbb Q}\\), the trace form goes back to Hermite and Sylvester. Let \\(L\\) be a number field. The integral trace form of \\(L\\) is the restriction of the trace form \\(T_{L/{\\mathbb Q}}\\) to \\( {\\mathbb Z}_L\\times {\\mathbb Z}_L \\longrightarrow {\\mathbb Z} \\), where \\({\\mathbb Z}_L\\) is the ring of integers of \\(L\\). The paper is structured as follows: \\begin{enumerate} \\item In the first section, the authors introduced the trace zero quadratic module \\(({\\mathbb Z}_L^0 , T_{L/{\\mathbb Q}})\\) of a number field \\(K\\), as the kernel of the trace map; \\({\\mathbb Z}_L^0= L^0\\cap {\\mathbb Z}_L\\), where \\(L^0\\) is the kernel of \\(T_{L/{\\mathbb Q}}\\). They also introduced the shape of a number field \\(L\\), denoted by \\(Sh(L)\\), as the isometry equivalence class of \\(({\\mathbb Z}_L^{\\perp}, T_{L/{\\mathbb Q}})\\) up to scalar multiplication, where \\({\\mathbb Z}_L^{\\perp}=\\{n\\alpha- T_{L/{\\mathbb Q}}(\\alpha),\\, \\alpha \\in {\\mathbb Z}_L\\}\\) and \\(n\\) is the degree \\([L:{\\mathbb Q}]\\). \\item In the second section, they showed that the integral trace form (resp. the shape) of a number field is a complete invariant for two totally real number fields of fundamental discriminant. \\item In the third one, under the separability requirement of extensions, the authors showed that the trace form is also a complete invariant for two extensions to be conjugate. \\item In the fourth one, by using Bhargava's parametrization on quartic number fields, the authors went back to prove a conjecture on quartic number fields, which says that: For a totally real number field \\(K\\) with fundamental discriminant and a number field \\(L\\), if \\(L\\) is tamely ramified, then \\(L\\) and \\(K\\) are conjugate if and only if their quadratic trace zero modules are isomorphic. More precisely, if \\(f:\\, {\\mathbb Z}_K^0\\longrightarrow {\\mathbb Z}_L^0\\) is isomorphism of rings, which satisfies \\(T_{L/{\\mathbb Q}}(f(xy))=T_{K/{\\mathbb Q}}(xy)\\) for every \\((x,y)\\in K^2\\), then \\(f\\) can be extended to a \\({\\mathbb Q}\\)-isomrphism from \\(K\\) to \\(L\\). \\end{enumerate}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2221666$8A379C53-4AC6-48D3-B29D-28D686DE07CC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"223bfb80731481963086392517e6f05ad2f1a2ae","datavalue":{"value":{"entity-type":"item","numeric-id":692434,"id":"Q692434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$A4E5562B-239E-4D28-8318-7BC8F231A7B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c745fe9f9fd950076cb858ccadc78c0e065cb45","datavalue":{"value":"11R04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221666$E7FD85DC-CEAB-43B9-93CC-14888FBCFEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3cf58d4d35e28957f6e5110937e95cf1eac137c","datavalue":{"value":"11R33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221666$FEF96BBC-C9CB-4FE6-AC46-7C1ECF1DB10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f8704f98134d7a01fb4f2f94643f9754c52231a","datavalue":{"value":"11R21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221666$D3588786-FD48-41DE-A131-0807AFA1D3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221666$1C834349-4CD5-4F0D-BC75-7DBF65E05E84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a72ec2a4b43555cd17f7e87e1ccf7f5831ac3edf","datavalue":{"value":"7304530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221666$F8A0640D-2F6B-40DB-9416-5DB0CF11C855","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c2228336b9231d95bad7e5134be29be7fae7992","datavalue":{"value":"integral trace forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2221666$91C9C3C8-4C16-4094-A9A5-D2D15E4C8B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64c408503c9f09e6321c4253a6faf55bb2a77bac","datavalue":{"value":"shape of a number field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2221666$17E7EF5C-5BC3-4B3D-B6D6-3023BAD33235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b3fb013edb2e3692c08d2c5f6742301c3a08c6","datavalue":{"value":"Bhargava's parametrization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2221666$8EECFCCE-FC74-4683-9938-3C819286116F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2298c7b9bb620d33898d643ca17302f60f40a53","datavalue":{"value":"fundamental discriminant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2221666$B1D9125E-D217-427A-BE91-FDB01B6BB1AE","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":"Q2221666$916102E7-54BA-4EA2-9141-B934076C4E97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15fc7304e2f7e971cd47a762c6d7e67d0292d0b2","datavalue":{"value":"W3082056381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221666$1701C39F-2569-4C62-8F88-3C48E7C48173","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"018c4b48ec519ab3e3c281aa708ae6b48b8cfd5b","datavalue":{"value":"Q123356582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221666$00EE8AD2-48FA-4303-A67D-53829843B73D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b4fc3ab8a28e385ff431ff22a3425839c6db91d","datavalue":{"value":{"entity-type":"item","numeric-id":498663,"id":"Q498663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$EF8DC3EA-0857-4434-A896-51D2AA5F20E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29cd3e01eda3b8223e47e15dc328e8b4fc9a81e","datavalue":{"value":{"entity-type":"item","numeric-id":1883987,"id":"Q1883987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$DBB04305-CEA0-4936-9535-95D5D461B97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f6179989f8093615b7d64cde0c093a6dce4162","datavalue":{"value":{"entity-type":"item","numeric-id":1768033,"id":"Q1768033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$37266474-F4D2-4548-AC55-44E05613C716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b96c8106f8e962c998b1ec5c8c34a8f93898c","datavalue":{"value":{"entity-type":"item","numeric-id":5489377,"id":"Q5489377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$A0AC6206-AD18-4E7B-AFD9-C873C63ADB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aec2fa388234746836ba55d704d8ddbbc3e5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3186423,"id":"Q3186423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$4568AAFD-3D5A-40F0-BAA4-1F9F0BB12708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77cddd2bcbeba520663e5fbe4d8f9693df2c31b7","datavalue":{"value":{"entity-type":"item","numeric-id":5298177,"id":"Q5298177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$2C757E7C-AB0D-471F-9941-44AA42883088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8897a8244e35ba52c804bb42908ecc56f703ee67","datavalue":{"value":{"entity-type":"item","numeric-id":2827290,"id":"Q2827290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$9D756E9F-34E5-4D5C-8F44-9D522B919B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f6a9f4af4ad6144419fd522f1d5d68578cf5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3166335,"id":"Q3166335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$85B32664-3463-4433-9063-65601B444B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30b85ee2d7617fb5e56c5a7f8bd01f7d6ca21bb","datavalue":{"value":{"entity-type":"item","numeric-id":600784,"id":"Q600784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$B25A6EE1-2DEA-4302-A4FD-599A97F539E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddaf43a57c478ff2934848902af48ff02c3bd7e","datavalue":{"value":{"entity-type":"item","numeric-id":265573,"id":"Q265573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$854D8322-4A5A-4B89-9ABA-4D4EB8D9E7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bceb92f629b2b12fcfe66d3757845d456c2db5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2265461,"id":"Q2265461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$B9E0B8CE-1559-4E17-B54C-C95DB9A5DCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fdc19833504351d6d70275219ba077182305476","datavalue":{"value":{"entity-type":"item","numeric-id":3415158,"id":"Q3415158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221666$A13BF0DF-FA57-4483-A60E-D7B59ECD3940","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"580b9e75a2368a90ca8b21de628870bf510149ea","datavalue":{"value":"10.1007/S40993-020-00210-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221666$D53C36E6-846F-402F-B50B-0729FA9D9E48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"807865e9b76a557201166b88dd26eabb8b0d58fc","datavalue":{"value":{"entity-type":"item","numeric-id":3166335,"id":"Q3166335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2b5d8762c0922a7a886456e6236ca9d9fd6c0e","datavalue":{"value":{"amount":"+0.7940654754638672","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":"Q2221666$633FCE02-9C52-4934-AA33-161706001408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e54b6b175c6a97a3a712e6b5578f34237e982711","datavalue":{"value":{"entity-type":"item","numeric-id":745160,"id":"Q745160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d7e9c398c0638dcec3593b6af8b1dafa142cb4d","datavalue":{"value":{"amount":"+0.7890557646751404","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":"Q2221666$3C603D6C-8701-4A84-BAFD-B992C5065898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4094f0889730f95d011e417f552b940c849c8412","datavalue":{"value":{"entity-type":"item","numeric-id":6041330,"id":"Q6041330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d5945c8f1647b0e55701fcf537c9d2dd4847eb","datavalue":{"value":{"amount":"+0.788433313369751","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":"Q2221666$5321EBEE-3472-41D5-A194-4BBCDA7AA921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d56b7218265518c4fbbdf9d47d01e5f0220b9347","datavalue":{"value":{"entity-type":"item","numeric-id":5125058,"id":"Q5125058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d24b7ba00d7a3c2ef12b2bdf8b7fd23868166b","datavalue":{"value":{"amount":"+0.7748569250106812","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":"Q2221666$F10C5B98-F3D6-4618-903D-436B7BAEEC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1428443f27d69b0ebc458cc728df6eb9e0bbd1f","datavalue":{"value":{"entity-type":"item","numeric-id":600784,"id":"Q600784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc97daee1416635abc5d79333021238e0d55e93","datavalue":{"value":{"amount":"+0.7632391452789307","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":"Q2221666$0DB24A4C-DA02-486C-A0FB-FEA1CC010E3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2221666","badges":[]}}}}}