{"entities":{"Q747978":{"pageid":749827,"ns":120,"title":"Item:Q747978","lastrevid":64075026,"modified":"2026-04-11T17:28:19Z","type":"item","id":"Q747978","labels":{"en":{"language":"en","value":"Bisection and squares in genus 2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496088"}},"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":"Q747978$B2022098-4F19-43CC-B7AE-E112EB0F4BA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e71d770e34571464af7529713cc0bcdb7d175b6","datavalue":{"value":{"text":"Bisection and squares in genus 2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q747978$A7A1F9A6-0F10-4139-87FE-97B89D557895","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82d1eb823e4dab45cc2b9b15b51bc642c1b20e9a","datavalue":{"value":"1337.11042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747978$E5AC9E8A-37CB-420C-AF1B-BBA6CFA3E514","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57164b499b03d80660af121cfc16406f75c4059b","datavalue":{"value":{"entity-type":"item","numeric-id":283699,"id":"Q283699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$B4622E56-1BAC-40F4-AA4B-6F2036C9CDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18dfdc7c5934be8bb5cf0c47953ff4e5546f32ea","datavalue":{"value":{"entity-type":"item","numeric-id":540353,"id":"Q540353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$29CCBA4E-F78C-485F-BDCE-33E76A56B949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d792b2ebc4c8684cbc738843a9ae7bb5c36f943","datavalue":{"value":{"entity-type":"item","numeric-id":592041,"id":"Q592041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$54D95D30-B45A-423B-8EB1-79E5F30F8649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33122a93dfb64681be222c65bf841053fa198b88","datavalue":{"value":{"entity-type":"item","numeric-id":165874,"id":"Q165874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$B893AEDA-549D-4FFE-BA17-095C6E754331","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35c8aaf3936528809abbf86cf64227758dd2e522","datavalue":{"value":{"time":"+2015-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q747978$0582BFC8-93BE-4E66-8B28-6F790776AB0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d9bde580c02b5b9e95c8b0c4a57f9c313efe29b1","datavalue":{"value":"Let \\(q\\) be a power of an odd prime, \\(\\mathbb F_q\\) the finite field of \\(q\\) elements and consider a curve over \\(\\mathbb F_q\\), \\(C : y^2=f(x)\\) of genus 2, so that \\(\\deg f =5\\) or \\(6\\). A divisor \\(D_2\\) in the Jacobian of \\(C\\) has a Mumford representation as \\([u_2(x), v_2(x)]\\) where \\(u_2, v_2\\) are polynomials over \\(\\mathbb F_q\\), \\(f(x)\\equiv v_2(x)^2\\pmod{u_2(x)}\\), \\(u_2\\) is monic and \\(\\deg v_2<\\deg u_2\\leq 2\\) (it is slightly different if \\(\\deg f=6\\) and the support of \\(D_2\\) includes points at infinity). The goal is to find bisections of \\(D_2\\), that is, divisors \\(D_1\\) such that \\(2D_1=D_2\\). Let \\(\\varphi (x)\\) be an irreducible factor, over \\(\\mathbb F_q\\), of \\(f(x)\\). Define \\(N_{\\varphi}(u_2)=\\prod u_2(\\theta_j)\\), the product over the roots of \\(\\varphi\\) in a splitting field. Suppose the support of \\(D_2\\) contains two affine points (the case of less than two affine points is done differently). The main result when \\(\\deg f=5\\) is: \\(D_2\\) has a bisection iff for any irreducible factor \\(\\varphi\\) of \\(f\\), \\(N_{\\varphi}(u_2)\\) is a square in \\(\\mathbb F_q\\). The statement for \\(\\deg f=6\\) is slightly more complicated when there are factors of odd degree. This leads to an efficient method of computing bisections that requires finding at most five square roots over the splitting field of \\(f(x)\\) plus the solution of a system of linear equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q747978$ECC3FE63-E12C-485C-B00E-530A2DF63955","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ccf6cf9514426243b160a3a06e070c16a64dbff","datavalue":{"value":"11G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747978$4A53D81C-49C7-4391-8B07-B6907E07E3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"332a7ca0fc2503044cbe5299ecaa975484163791","datavalue":{"value":"14G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747978$ACDE975A-18F5-4B65-AF4F-ABB8E976636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db0dbf998ec968d05be3040fdfa9d5b474901d27","datavalue":{"value":"14H40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747978$9F0CE407-2348-46CF-B932-81C9FA797642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef110fa5c129d94930a5f78e40d9192a94753e0d","datavalue":{"value":"14H45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747978$C96A4D99-25AA-4900-BFBA-6C9015F016AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"827dcfb58de4d7a8320f13c12531b208c3d30821","datavalue":{"value":"6496088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747978$EEE23B79-CA98-4FB6-AF7E-23A937CC0345","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41fc897cb4875559f14f8a836f596a852caa89b4","datavalue":{"value":"hyperelliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q747978$43616BF5-E540-49B6-B5BD-6D36A9E1A9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b16a1c8111b4536bd3bae932e244c828ea4ee946","datavalue":{"value":"genus 2","type":"string"},"datatype":"string"},"type":"statement","id":"Q747978$B56332BC-A8CD-4D3C-9719-0A339ECB7C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"661f92d5c7a9ec7544816247cb91bdf9bc4c497f","datavalue":{"value":"divisor class","type":"string"},"datatype":"string"},"type":"statement","id":"Q747978$F751DE20-E31F-4406-B8BC-A69B643BA56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f168965e31defe93185084bddb5a1681ce59f8","datavalue":{"value":"bisection","type":"string"},"datatype":"string"},"type":"statement","id":"Q747978$970A94F1-4CA1-436B-A81F-E355D0891828","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":"Q747978$074EBF08-9EE0-439A-BEE8-D910DBED631F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11dc469fa28e415aebeebdf54c4c1ea175d8deb9","datavalue":{"value":"https://doi.org/10.1016/j.ffa.2015.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q747978$D96E1FE3-253F-42BC-B6CE-69E72C41346A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1c4f297c55be4facf68313ec8cdc8c578f49e8d","datavalue":{"value":"W1199455071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747978$12B1E956-A8F8-4912-9E61-D76E5B293361","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93f13262bc300fba769190aafdb0940400641e6","datavalue":{"value":{"entity-type":"item","numeric-id":4888749,"id":"Q4888749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$2E847B59-00DD-4979-9992-CDEB86574B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b7999a19adcb27bafd635e9b064821b6f813fc","datavalue":{"value":{"entity-type":"item","numeric-id":3754098,"id":"Q3754098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$1A6AACA1-8C97-4728-8849-D29936BE45C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a65171a0da59d4e53216651b00ba17c7eb1391","datavalue":{"value":{"entity-type":"item","numeric-id":4876448,"id":"Q4876448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$E23E9C9C-604F-46C3-9515-00A328F4EE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd300507b6b36cb795eb774ca7cda5ce9980b28","datavalue":{"value":{"entity-type":"item","numeric-id":5387609,"id":"Q5387609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$A990FB5B-B55F-4CE5-892B-48EC98CC1002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1888c35ac60df31da926e1e093c106cd01c28ef","datavalue":{"value":{"entity-type":"item","numeric-id":412199,"id":"Q412199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$ED0EB87F-C5C4-4305-9375-9D32626368E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cada1f36206ccd0172e4723168fea47068892d","datavalue":{"value":{"entity-type":"item","numeric-id":5473533,"id":"Q5473533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$CE6649E9-EE9E-4DA0-B3FD-D1DE1CFE18FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c69a8f03128fe062e7157ea2d8db0ce97d8f16","datavalue":{"value":{"entity-type":"item","numeric-id":1030582,"id":"Q1030582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$E7C66EC2-FDE6-4315-9C53-26DA40C2B395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1ce80b9ecf0734c958fb92385f4edc070f83da1","datavalue":{"value":{"entity-type":"item","numeric-id":540360,"id":"Q540360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$7CFF032F-9E42-4D3C-9CAD-024A4C4F511A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c3acbb02c4a80d46f2ddc23f2df15b382804dc","datavalue":{"value":{"entity-type":"item","numeric-id":4240591,"id":"Q4240591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q747978$CB11A75F-2E06-4C51-A782-109DB7992FA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32e601837a19eb6e3a9d6a7d5aa76a3b155034fe","datavalue":{"value":"10.1016/J.FFA.2015.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q747978$D2A03735-98DD-43EC-961F-2C76CA7F8E45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee82882a4f4f0757e57c921223252d0429242a9","datavalue":{"value":{"entity-type":"item","numeric-id":1030582,"id":"Q1030582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe42a77a118a3828dc7b14f5a8b29cfc64e54ea7","datavalue":{"value":{"amount":"+0.880872905254364","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":"Q747978$F3F528C8-072F-4FB0-BA61-74753056661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c5df0ddba8bb990b14b2bf23ab6ec7b1a3db6d","datavalue":{"value":{"entity-type":"item","numeric-id":908220,"id":"Q908220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bfc9eaef14e79e6a4677fe6850c78578c1fe37e","datavalue":{"value":{"amount":"+0.8661685585975647","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":"Q747978$AACF1B52-5B2C-455D-9A1D-2DF3F212CF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14d0fe2c3a63ffebbc5ca4cf38e3c6021eed4da","datavalue":{"value":{"entity-type":"item","numeric-id":2739468,"id":"Q2739468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4baf1be0645fd3a3afecacf36bbb77aeb86c8c6a","datavalue":{"value":{"amount":"+0.784236490726471","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":"Q747978$35C7FEA0-056B-4A36-8899-7DF82B4A11BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421577153498b23a39dd785daae2c2bdd84987fd","datavalue":{"value":{"entity-type":"item","numeric-id":5739612,"id":"Q5739612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d44f458d1720a9f44cb3875af597cd209624c7","datavalue":{"value":{"amount":"+0.7801775336265564","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":"Q747978$8D022A38-F0F6-4F9B-BC3A-3EB330B5D6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a67245674fcf5979fbc6124044f56f421014ac","datavalue":{"value":{"entity-type":"item","numeric-id":540360,"id":"Q540360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a66d3b49fba601fb9fd69b1b18079721da55e2","datavalue":{"value":{"amount":"+0.7762097716331482","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":"Q747978$A4334007-31C5-43E9-8CF4-3164A7B8618F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisection and squares in genus 2","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisection_and_squares_in_genus_2"}}}}}