Current browse context:
cs.SC
Change to browse by:
References & Citations
Computer Science > Symbolic Computation
Title: Computing a Group Action from the Class Field Theory of Imaginary Hyperelliptic Function Fields
(Submitted on 14 Mar 2022 (v1), last revised 12 Mar 2024 (this version, v6))
Abstract: We explore algorithmic aspects of a simply transitive commutative group action coming from the class field theory of imaginary hyperelliptic function fields. Namely, the Jacobian of an imaginary hyperelliptic curve defined over $\mathbb F_q$ acts on a subset of isomorphism classes of Drinfeld modules. We describe an algorithm to compute the group action efficiently. This is a function field analog of the Couveignes-Rostovtsev-Stolbunov group action. We report on an explicit computation done with our proof-of-concept C++/NTL implementation; it took a fraction of a second on a standard computer. We prove that the problem of inverting the group action reduces to the problem of finding isogenies of fixed $\tau$-degree between Drinfeld $\mathbb F_q[X]$-modules, which is solvable in polynomial time thanks to an algorithm by Wesolowski. We give asymptotic complexity bounds for all algorithms presented in this paper.
Submission history
From: Pierre-Jean Spaenlehauer [view email][v1] Mon, 14 Mar 2022 10:11:35 GMT (27kb)
[v2] Thu, 7 Apr 2022 11:37:53 GMT (28kb)
[v3] Tue, 5 Jul 2022 13:01:31 GMT (23kb)
[v4] Wed, 10 May 2023 20:47:08 GMT (23kb)
[v5] Thu, 27 Jul 2023 06:40:47 GMT (30kb)
[v6] Tue, 12 Mar 2024 13:45:27 GMT (30kb)
Link back to: arXiv, form interface, contact.