Horizontal isogeny graphs of ordinary abelian varieties and the discrete logarithm problem [article]

Dimitar Jetchev, Benjamin Wesolowski
<span title="2017-01-25">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Fix an ordinary abelian variety defined over a finite field. The ideal class group of its endomorphism ring acts freely on the set of isogenous varieties with same endomorphism ring, by complex multiplication. Any subgroup of the class group, and generating set thereof, induces an isogeny graph on the orbit of the variety for this subgroup. We compute (under the Generalized Riemann Hypothesis) some bounds on the norms of prime ideals generating it, such that the associated graph has good
more &raquo; ... on properties. We use these graphs, together with a recent algorithm of Dudeanu, Jetchev and Robert for computing explicit isogenies in genus 2, to prove random self-reducibility of the discrete logarithm problem within the subclasses of principally polarizable ordinary abelian surfaces with fixed endomorphism ring. In addition, we remove the heuristics in the complexity analysis of an algorithm of Galbraith for explicitly computing isogenies between two elliptic curves in the same isogeny class, and extend it to a more general setting including genus 2.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1506.00522v2">arXiv:1506.00522v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l6tthtqs7zdv7evkw2bpitso6i">fatcat:l6tthtqs7zdv7evkw2bpitso6i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200906215108/https://arxiv.org/pdf/1506.00522v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0a/a5/0aa5764368ca9e96743bd11aaf86c23265e17296.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1506.00522v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>