{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1037232","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1037232","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1037232","kernelVersion":"v1","immutable":true,"modified":"2025-07-14T13:34:48Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1037232","name":"Isogenies and the discrete logarithm problem in Jacobians of genus 3 hyperelliptic curves","headline":"Isogenies and the discrete logarithm problem in Jacobians of genus 3 hyperelliptic curves","description":"scientific article; zbMATH DE number 5633136","url":"https://portal.mardi4nfdi.de/entity/Q1037232","datePublished":"2009-11-13","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1026046"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q166358"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00145-009-9038-1","url":"https://doi.org/10.1007/S00145-009-9038-1"},"sameAs":["https://doi.org/10.1007/S00145-009-9038-1"],"comment":"Let \\(H\\) be a hyperelliptic curve of genus \\(3\\) over a finite field \\(\\mathbb{F}_q\\). The DLP in the Jacobian \\(J_H\\) of \\(H\\) can be solved in \\(\\tilde{O}(q^{4/3})\\) group operations, using the index calculus algorithm of \\textit{P. Gaudry}, \\textit{E. Thomé}, \\textit{N. Thériault} and \\textit{C. Diem} [Math. Comput. 76, No. 257, 475--492 (2007; Zbl 1179.94062)]. The paper under review presents a procedure to compute a rational isogeny, \\(\\phi: J_H\\longrightarrow J_X\\), to the Jacobian of a non-hyperelliptic curve \\(X\\) of genus \\(3\\). This facilitates the translation of instances of the DLP from \\(J_H\\) to \\(J_X\\), where they can be solved in \\(\\tilde{O}(q)\\) group operations, using the index calculus algorithm of \\textit{C. Diem} [Lect. Notes Comput. Sci. 4076, 543--557 (2006; Zbl 1143.11361)].  Under reasonable assumptions, this procedure works with probability 0.1857. The initial curve \\(H\\) has to admit a Galois stable partition \\(S\\) of the set of Weierstrass points into four disjoint pairs. The curve \\(X\\) is obtained by Recilla's trigonal construction with respect to certain trigonal map \\(g_S: \\mathbb{P}^1 \\to \\mathbb{P}^1\\) depending on \\(S\\). This determines an isogeny between \\(J_H\\) and \\(J_X\\), which is suitable to translate the DLP if \\(X\\) is non-hyperelliptic, the isogeny is rational, and a model of \\(X\\) as a plane quartic is available. The whole procedure has been implemented and seems to work very fast in practice.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4830002"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1369784"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4731294"},{"@id":"https://portal.mardi4nfdi.de/entity/Q774120"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5899274"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4037223"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4944048"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3420442"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4195061"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4002797"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1600041"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4486426"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5833284"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5449064"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3741712"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5896479"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3215074"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4154061"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4112043"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2756583"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5458591"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5947122"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5631239"}]},"provenance":{"prov:generatedAtTime":"2025-07-14T13:34:48Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}