{"entities":{"Q6965674":{"pageid":21297111,"ns":120,"title":"Item:Q6965674","lastrevid":84057806,"modified":"2026-05-09T00:39:42Z","type":"item","id":"Q6965674","labels":{"en":{"language":"en","value":"Isogenies on Kummer surfaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8058257"}},"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":"Q6965674$DE5F62F5-4A76-48A0-88E1-66C4804489FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfdb8d7887f20d3b75bce7fd575f4240d254a83c","datavalue":{"value":{"text":"Isogenies on Kummer surfaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6965674$B5EAE1DD-58BF-4465-BB80-B728A7EB2EEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06d0dc83f183d3f491ee45f75d200100302882e7","datavalue":{"value":"10.1090/MCOM/4036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965674$6836527B-421D-4C04-908B-C394954E01E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ad4b6080f80c492b3e4683e501ea2192c898df","datavalue":{"value":{"entity-type":"item","numeric-id":6108983,"id":"Q6108983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$1A50EF02-E04A-4755-9AA3-B25FA834E97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b3bde8713a8916945aab1e6b190eab61bacaae6","datavalue":{"value":{"entity-type":"item","numeric-id":1032660,"id":"Q1032660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$9CB392AF-38E4-4FAD-8FA6-B8B8ED71C990","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"baa5e802769412f0844a94f995d30b9509cb3673","datavalue":{"value":{"entity-type":"item","numeric-id":65726,"id":"Q65726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$0DEC8A50-358A-4546-A6CE-60AFCF5E378C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"671cc9a8897220c29aa2140c9b303a08b52630db","datavalue":{"value":{"time":"+2025-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6965674$FBE65606-F997-417E-8768-8C89B31753FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8df58434396aa6e5efdd6ea784b5b2e5ff34068","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:cca1340c-0614-4a2c-a5b2-b460be05c364","type":"string"},"datatype":"url"},"type":"statement","id":"Q6965674$D0D34CDB-C801-4316-8497-54FD1E326ACF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7467dc5bb6ae86b5c7be31e679499ec9cd2b6196","datavalue":{"value":"In [\\textit{P. Gaudry}, J. Math. Cryptol. 1, No. 3, 243--265 (2007; Zbl 1145.11048)], the Fast Kummer surface model was introduced in the context of cryptographic applications. This model, which enables particularly efficient computations, had previously been explored from an algorithmic perspective in [\\textit{D. V. Chudnovsky} and \\textit{G. V. Chudnovsky}, Adv. Appl. Math. 7, 385--434 (1986; Zbl 0614.10004)]. The present work undertakes a detailed study of the Fast Kummer surface model.\\N\\NThe first main contribution of this article is a fully algebraic rederivation of the fast Kummer surface \\(K^{\\text{fast}}\\). This is accomplished by identifying a genus-2 curve \\(D\\) of the form \\N\\[\\Ny^2 = x(x -1)(x -\\rho)(x - \\sigma)(x - \\tau), \\N\\]\\Ntogether with an explicit linear map from the general Kummer surface of \\(D\\) to the Fast Kummer surface, defined by an equation of the form: \\N\\[\\N\\begin{aligned} X^4 + Y^4 + Z^4 + T^4 &- F (X^2T^2 + Y^2Z^2) - G(X^2Z^2 + Y^2T^2) \\\\\\N&- H(X^2Y^2 + Z^2T^2) + 2EXYZT = 0. \\end{aligned} \\N\\]\\NAll computations are carried out over the ground field of the parameters. As a result, an explicit model of the Jacobian variety of \\(D\\) is obtained, with \\(K^{\\text{fast}}\\) as its associated Kummer surface.\\N\\NIn addition, the article describes a general algebraic method for constructing \\((N, N)\\)-isogenies between Kummer surfaces that admit efficiently computable biquadratic forms, for any odd integer \\(N\\). The isogeny is expressed as a composition \\N\\[\\N\\phi = \\lambda \\circ \\psi, \\N\\]\\Nwhere \\(\\psi\\) has the desired kernel, and \\(\\lambda\\) is a linear map that transforms the image into the appropriate Kummer form. An algorithm is presented for the computation of \\(\\psi\\) for any Kummer surface model with efficiently computable biquadratic forms.\\N\\NThe paper is accompanied by software implementations developed in MAGMA and Maple.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965674$F73112A6-CF91-4A38-A37D-A360E441AC3B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0c6b4cdaeea731b4d721d1e57817c51ed34c489d","datavalue":{"value":{"entity-type":"item","numeric-id":293716,"id":"Q293716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$7C0BCCEC-5E7F-4AA4-B5F8-C751BCF2DD93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8e96b5168c47eaa8282a8929d1826b23b93bbca","datavalue":{"value":"11G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965674$F25EF8C5-1F03-49E9-8939-F28DD59E0CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0e571948abe35cc76c07fcb2a2c873909d083ab","datavalue":{"value":"11G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965674$B0A28C52-EF7F-468F-A777-E3BE0928949E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db0dbf998ec968d05be3040fdfa9d5b474901d27","datavalue":{"value":"14H40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965674$9DF70F7B-0AB1-4FB9-81CD-568D96F0046F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc128918b41d1710f653d301ad64738b30782fbc","datavalue":{"value":"8058257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6965674$BFD392E0-9F85-4428-964A-02EE80581069","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d26fe280d9ba0c66bc2018023fa85866c48ad3a2","datavalue":{"value":"Jacobian","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965674$50DCA02C-5146-4552-AFD1-516481585F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c7c1048a9ae4167549a09dd4eb4f505d761012","datavalue":{"value":"abelian variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965674$4754DDC4-CF5D-4B4B-B3AB-8E0413AA777A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ced8eebb49cfd968d4115f0edcf353ad18c2882","datavalue":{"value":"Kummer surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965674$FC2BFA8F-D3A8-46F7-B379-4EB4229FC71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49243fad8ddf84f5af8eb7a9a24e143e9e0ffcc7","datavalue":{"value":"isogeny","type":"string"},"datatype":"string"},"type":"statement","id":"Q6965674$1F02C4E1-32A2-412B-86BF-C26BAA05AC36","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":"Q6965674$41D21432-F081-4244-A182-79117FAA9304","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$F5DB0D05-9C21-42E6-98B8-4139F40BB813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d67090e565495591c52f3c59ef4a9db8bc3b639","datavalue":{"value":{"entity-type":"item","numeric-id":3190541,"id":"Q3190541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$137402FA-C086-4058-A2F8-2142C1595898","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":"Q6965674$AF82376A-B94D-45C2-9A73-B00B60D77177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac038a1aa609fdd86f0c65f036bd2ac76ac36256","datavalue":{"value":{"entity-type":"item","numeric-id":2023308,"id":"Q2023308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$B157B922-10DB-41DC-A2CE-3834B9D22E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507d37d83fcdd0d10eba8ef21e14a89a55b44fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1820186,"id":"Q1820186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$EC8CFDC3-9FF6-4D64-8703-5066369BEE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc698c88ed236825e75cc13ca3d44b724f038f7","datavalue":{"value":{"entity-type":"item","numeric-id":1698663,"id":"Q1698663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$0286A7B1-B522-48A9-80B0-7C9071C7E19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6babc93acaf7903f6ca10861f0b48b937c9187d8","datavalue":{"value":{"entity-type":"item","numeric-id":5246849,"id":"Q5246849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$5B110BF5-5AC4-4896-A4D6-55F9693A35E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66be88c7b9458a80b22aedf3b9ef4a05d3d02329","datavalue":{"value":{"entity-type":"item","numeric-id":3996742,"id":"Q3996742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$0AA15E5C-202F-4488-930B-269B644E8892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d317aafc2db1bb951eeec851cbacaef542fd0f1","datavalue":{"value":{"entity-type":"item","numeric-id":2344347,"id":"Q2344347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$0216B09A-ABBD-483D-8462-88D354295E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d458f3c87cd55e75943dab5dee8e035fa204b24","datavalue":{"value":{"entity-type":"item","numeric-id":6130658,"id":"Q6130658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$942BA086-A314-4EC5-8A9A-61AC6EFEE978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f1d803ad05854b97586f67dfcc332c00a53640","datavalue":{"value":{"entity-type":"item","numeric-id":2302140,"id":"Q2302140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$300F8558-C9F4-44CC-8563-7A7F6B89CC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fcf9040a0e27e6ef08a5424496f0b233c44ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5443536,"id":"Q5443536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$603BF578-AAF2-496C-9836-488F70A708F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61745ec8ae080c0b6cbda233a30195b79fd48ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5173202,"id":"Q5173202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$C128B16B-8036-4CA1-87D1-D6C2D01D3B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832d84d47964327d21affbd2c5a9e3d655766369","datavalue":{"value":{"entity-type":"item","numeric-id":268484,"id":"Q268484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$A593221D-F502-4AEF-A0B7-AC3238CBCF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e8d6f4b97cba5378f1192dc5e345a6b54268dd","datavalue":{"value":{"entity-type":"item","numeric-id":2679115,"id":"Q2679115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$089AB308-E9B5-42E5-9EB0-2EA750E6EECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c1aa602e2ab6867eb09c994970bc604aacfee","datavalue":{"value":{"entity-type":"item","numeric-id":4718481,"id":"Q4718481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$B77326FA-0944-4B6D-9F05-3C14BE26F701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7a10b1eac9fff79c6c675e24acfe95f872c89c","datavalue":{"value":{"entity-type":"item","numeric-id":3748330,"id":"Q3748330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$A9D0B4F6-D38E-4F43-BC63-50ABE77740E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c831a149379acee4f8f476b81c2ae1f174cdbc63","datavalue":{"value":{"entity-type":"item","numeric-id":5896479,"id":"Q5896479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$B530E31E-A114-4C87-9143-B90DE7FC77B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380d8b5fbed75afd6a1b92715b8a0524676ecfc","datavalue":{"value":{"entity-type":"item","numeric-id":1703925,"id":"Q1703925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$149D04E0-4DE6-4554-9D87-5A3C1AFF2894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23284f6aa1f5a0314ad839b56b9de3ad21fa0de6","datavalue":{"value":{"entity-type":"item","numeric-id":4063214,"id":"Q4063214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$2EE31B4B-BE49-48D1-B43E-1E94C54AA6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afeb5774df477cae9552faa0392d177bdc0605c6","datavalue":{"value":{"entity-type":"item","numeric-id":1531845,"id":"Q1531845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$E83C1275-976D-4B71-9B2D-475B6398C8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a14827d9bb7d827953fbb64d29f8309430201c4","datavalue":{"value":{"entity-type":"item","numeric-id":3060337,"id":"Q3060337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6965674$E1B7A9DA-11A6-4736-ACEA-D2611F91BAC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isogenies on Kummer surfaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isogenies_on_Kummer_surfaces"}}}}}