Isogeny graphs with maximal real multiplication
From MaRDI portal
Publication:2329281
Abstract: An isogeny graph is a graph whose vertices are principally polarized abelian varieties and whose edges are isogenies between these varieties. In his thesis, Kohel described the structure of isogeny graphs for elliptic curves and showed that one may compute the endomorphism ring of an elliptic curve defined over a finite field by using a depth first search algorithm in the graph. In dimension 2, the structure of isogeny graphs is less understood and existing algorithms for computing endomorphism rings are very expensive. Our setting considers genus 2 jacobians with complex multiplication, with the assumptions that the real multiplication subring is maximal and has class number one. We fully describe the isogeny graphs in that case. Over finite fields, we derive a depth first search algorithm for computing endomorphism rings locally at prime numbers, if the real multiplication is maximal. To the best of our knowledge, this is the first DFS-based algorithm in genus 2.
Recommendations
- Isogeny graphs of ordinary abelian varieties
- Explicit CM theory for level 2-structures on abelian surfaces
- Horizontal isogeny graphs of ordinary abelian varieties and the discrete logarithm problem
- Cyclic isogenies for abelian varieties with real multiplication
- Automorphisms and isogeny graphs of abelian varieties, with applications to the superspecial Richelot isogeny graph
Cites work
- A CRT algorithm for constructing genus 2 curves over finite fields
- Another Approach to Pairing Computation in Edwards Coordinates
- Approximating rings of integers in number fields
- Complex multiplication and lifting problems
- Computing (\ell ,\ell )-isogenies in polynomial time on Jacobians of genus 2 curves
- Computing endomorphism rings of abelian varieties of dimension two
- Computing Igusa class polynomials
- Computing isogenies between abelian varieties
- Duality theorems for curves over p-adic fields
- Explicit CM theory for level 2-structures on abelian surfaces
- Explizite Bestimmung der Randflächen des Fundamentalbereiches der Modulgruppe zweiten Grades
- scientific article; zbMATH DE number 3975095 (Why is no real title available?)
- scientific article; zbMATH DE number 1106523 (Why is no real title available?)
- scientific article; zbMATH DE number 3995866 (Why is no real title available?)
- scientific article; zbMATH DE number 2086892 (Why is no real title available?)
- scientific article; zbMATH DE number 2120946 (Why is no real title available?)
- Isogeny graphs of ordinary abelian varieties
- Pairing the volcano
- Pairing-based algorithms for Jacobians of genus 2 curves with maximal endomorphism ring
- The distance between superspecial abelian varieties with real multiplication
- The triviality and nontriviality of Tate-Lichtenbaum self pairings on Jacobians of curves
- The Weil pairing, and its efficient calculation
- Variétés abeliennes ordinaires sur un corps fini
Cited in
(5)- The structure of the group of rational points of an abelian variety over a finite field
- Variations in the distribution of principally polarized abelian varieties among isogeny classes
- Horizontal isogeny graphs of ordinary abelian varieties and the discrete logarithm problem
- Isogeny graphs of ordinary abelian varieties
- Neighborhood of vertices in the isogeny graph of principally polarized superspecial abelian surfaces
This page was built for publication: Isogeny graphs with maximal real multiplication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2329281)
