{"entities":{"Q2811791":{"pageid":2822529,"ns":120,"title":"Item:Q2811791","lastrevid":58008237,"modified":"2026-04-03T10:40:29Z","type":"item","id":"Q2811791","labels":{"en":{"language":"en","value":"A point counting algorithm for cyclic covers of the projective line"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6592380"}},"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":"Q2811791$91D59B1A-4AD7-48A7-9191-99FF15086454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ebad96e6e682ce297b66fb6aa36486d5ea73016","datavalue":{"value":{"text":"A point counting algorithm for cyclic covers of the projective line","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811791$366E42E3-4E1F-4194-99A9-F3DC05AF98E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b85b2cb9f5e8f5fe0906be2cc7cc7b350391cdf","datavalue":{"value":"1343.14016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811791$CA77C519-9096-4881-8FCD-6B550C13E3C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b077cfa963ab142eaca160842003e4f7f82c227","datavalue":{"value":{"entity-type":"item","numeric-id":2811790,"id":"Q2811790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811791$56ECDF5A-B8C1-4A81-8B71-C21DD80A64D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4311a3c52e47fae4f338523bd6a132eac195f0d6","datavalue":{"value":{"entity-type":"item","numeric-id":2811783,"id":"Q2811783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811791$82A48D51-3F66-49D5-8DEE-EEA5F00822CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811791$5BEF0F5C-A154-433C-ACBD-58286FB23880","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fadb1c06f6656bd60e8853c54381d436ee562ae9","datavalue":{"value":"https://arxiv.org/abs/1408.2095","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811791$848CED7C-72AD-4149-B20E-C786D9B33F3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811791$0C13456E-6662-419A-A363-91A82C9195AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ccf6cf9514426243b160a3a06e070c16a64dbff","datavalue":{"value":"11G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811791$BBFA7CAC-4811-408D-85BA-70F11B568C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"528f7a48d12c334e1e8f805dbb30c6a6e0ed15e9","datavalue":{"value":"14G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811791$D24B8E48-A7D7-4795-A2ED-764CEA192A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811791$542BE9C2-2844-43E2-8B1C-6E5E18A18A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28fa461aeb4930aa157b063fa36c39645dfdfe32","datavalue":{"value":"14G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811791$566B0A54-BC84-4DA2-B402-5384267DBFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811791$4202FC91-E812-4E9E-ADD1-56B023206E5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4adef2920f0efc3e6a734a92a5a91c45fb153aa","datavalue":{"value":"6592380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811791$D40E546E-90B5-4ED0-8F56-73D1F17F5513","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17064b8f5db14d0e12dddae734ea238e9822d0de","datavalue":{"value":"algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811791$D0CB6538-10C4-4DAB-9B49-C66B837E6CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf9020b9cf738e3dc19adb35ae396c6478d2142c","datavalue":{"value":"number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811791$B9AFB8EA-EE75-4988-982A-AA9D728C3D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec8c6abadf71c73a5b5efb3e3e687d2904e7e72c","datavalue":{"value":"point counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811791$4D36ADA0-BC4C-44F3-A8DA-F7D35E986B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"275ad4049da0f394f4ec5809c16a1c4a5f1713d6","datavalue":{"value":"cyclic cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811791$A6C4649E-62DB-4CCC-A4BE-935005DEF3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586f61c096b441aad6653bb40e08fa7c5bce3d58","datavalue":{"value":"\\(p\\)-adic precision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811791$4834C3D5-132C-4F3F-88E4-A392E7A0A89A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811791$D384200A-B0C7-4173-A037-CF992864A4D2","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":"Q2811791$506247D7-BDC8-4DC5-ABEE-7128D25C23EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80804cf64a14169c671fb8fa7b7e7abcc2a193f3","datavalue":{"value":"W4301353030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811791$92CE45D8-E447-46A8-B33C-FB7ADE256A49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88c96c0ab91ba1794291443b0c5bf4eeab1b4477","datavalue":{"value":"10.1090/CONM/637/12754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811791$B1D6F70D-6602-4EB3-B335-C99F090367C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb4dd9d0ca46f84c357b4ddfda5adb6935b20a8","datavalue":{"value":{"entity-type":"item","numeric-id":5853812,"id":"Q5853812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a71adf68c633498364ed9921b9274579235cfb0","datavalue":{"value":{"amount":"+0.81126434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811791$2B234452-F9C4-44EE-87D0-DA6432940D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99300362afe1a9c885c2246cde038f3f6beeaa7","datavalue":{"value":{"entity-type":"item","numeric-id":4474194,"id":"Q4474194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fdc5dcf8a6e96e502878ba208c5a786aa9daec3","datavalue":{"value":{"amount":"+0.8018986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811791$4FC88A27-A690-43F4-A0F4-16C3A19897AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3620e23bb8c30af618af76e1c5b54c251fdeb6c5","datavalue":{"value":{"entity-type":"item","numeric-id":3091983,"id":"Q3091983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e220d72d5d18f82ac88cd09b5bab6d27f6e2682","datavalue":{"value":{"amount":"+0.7897066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811791$63C894D6-9805-4C36-9558-1EEA1A32B4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4249322d4a51da6eca4dadf5e5747d1a60101d","datavalue":{"value":{"entity-type":"item","numeric-id":4542306,"id":"Q4542306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2f62575f213b5047ec79ec31227a0997ef089f","datavalue":{"value":{"amount":"+0.7798522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811791$A61BA392-7680-4AAD-B142-8A4DBE4DCA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7074aa831a73e3b0f75e1be25bdd1aefae46465","datavalue":{"value":{"entity-type":"item","numeric-id":1030255,"id":"Q1030255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca924280d5d1a2daa1923c5bab63e6b74124ea11","datavalue":{"value":{"amount":"+0.73858094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811791$BC2E1C38-E7AB-432A-876A-A2BEF41275B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f5df7f55ced55e0af963470e759b44ecc5538d","datavalue":{"value":{"entity-type":"item","numeric-id":3548596,"id":"Q3548596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5478979180966076bf861fe239ef02508d690426","datavalue":{"value":{"amount":"+0.7382545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811791$09E121DC-CC00-4E88-854A-F1DCF006279F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396cf6e2d487aa052d385ec30c1c551bb2131f30","datavalue":{"value":{"entity-type":"item","numeric-id":2100584,"id":"Q2100584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387b15b9c56745d84266bfa2629b5d104a5cd42d","datavalue":{"value":{"amount":"+0.7274976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811791$A40B4DD3-B23E-4326-B38F-03F341A4C3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4adbc2ef4de2990d0e4fb8735bb184e2c33fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4561377,"id":"Q4561377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49abd4e945c5653be82a4041c52806b61af29b03","datavalue":{"value":{"amount":"+0.7244946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811791$7EC510D3-C497-4635-8EA9-AECBDD6FCEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603a30111701f39e1cbb4b2c35a6413f3f87e641","datavalue":{"value":{"entity-type":"item","numeric-id":3613895,"id":"Q3613895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4a8ea15847cc2658adb23d19db478823e757d3","datavalue":{"value":{"amount":"+0.72313327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811791$8FBED685-99CD-494E-B91D-61EEA2CE35A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf6d4aa633acd2627f0eac8495ba8fe31062011","datavalue":{"value":{"entity-type":"item","numeric-id":2764527,"id":"Q2764527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f185b3b222b6665f3aed4c22066c56b6796c7d","datavalue":{"value":{"amount":"+0.7200372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811791$FDFC2AB1-0EE8-4116-82A4-26C382777E4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bcc69f5affebc1767009881aad45a8e9953ba42c","datavalue":{"value":"The present paper provides a point counting algorithm for some plane curves defined over a finite field, in fact the class of curves with affine equation \\(C:y^r=f(x)\\) (including therefore elliptic and hyperelliptic curves) over \\(\\mathbb{F}_q,\\, q=p^n,\\, p\\nmid r\\).NEWLINENEWLINEThe proposed algorithm generalizes the algorithm of \\textit{P. Gaudry} and \\textit{N. G\u00fcrel} [Lect. Notes Comput. Sci. 2248, 480--494 (2001; Zbl 1064.11080)] for superelliptic curves (curves with \\(\\mathrm{gcd}(r, d=d^{o}f)=1)\\). The author points out that ``our algorithm has essentially the same complexity as the Gaudry-G\u00fcrel algorithm'' (in the best case \\(\\tilde{O}(pn^3d^4r^3)\\) elementary operations), but he enumerates three main simplifications and improvements.NEWLINENEWLINESection 2 recalls the concept of cyclic cover of the projective line and Section 3 studies the action of the Frobenius automorphism on the first Monsky-Washnitzer cohomology group \\(H^1_{MW}(C,\\mathbb{Q}_q)\\). Then Section 4 presents the point counting algorithm for \\(C\\) (Algorithm 1). Theorem 4.1 computes the Weil polynomial of \\(C\\)\\, and Theorem 4.3 (whose proof is postponed to Section 6) gives the precision \\(p\\)-adic bounds needed to recover the Weil polynomial over \\(\\mathbb{Z}_q\\). Then the paper details the steps of Algorithm 1 and Section 8 shows four numerical examples using Magma 2.18.NEWLINENEWLINEFor the entire collection see [Zbl 1317.11007].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811791$9F3A8A5E-E7B8-42A8-91EA-B8A8A0EE267E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8892955fafe16ba1bddb104e5d82ec8889d70fd9","datavalue":{"value":{"entity-type":"item","numeric-id":1313210,"id":"Q1313210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811791$481FBE56-9DB7-440F-961F-9CFEDAF91167","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811791"}}}}}