Isogeny graphs of ordinary abelian varieties

DOI10.1007/S40993-017-0087-5zbMATH Open1411.11049arXiv1609.09793OpenAlexW2963779776MaRDI QIDQ680067FDOQ680067

Authors: Ernest Hunter Brooks, Dimitar Jetchev, Benjamin Wesolowski 

Publication date: 22 January 2018

Published in: Research in Number Theory (Search for Journal in Brave)

Abstract: Fix a prime number $ell$. Graphs of isogenies of degree a power of $ell$ are well-understood for elliptic curves, but not for higher-dimensional abelian varieties. We study the case of absolutely simple ordinary abelian varieties over a finite field. We analyse graphs of so-called $mathfrakl$-isogenies, resolving that they are (almost) volcanoes in any dimension. Specializing to the case of principally polarizable abelian surfaces, we then exploit this structure to describe graphs of a particular class of isogenies known as $(ell,ell)$-isogenies: those whose kernels are maximal isotropic subgroups of the $ell$-torsion for the Weil pairing. We use these two results to write an algorithm giving a path of computable isogenies from an arbitrary absolutely simple ordinary abelian surface towards one with maximal endomorphism ring, which has immediate consequences for the CM-method in genus 2, for computing explicit isogenies, and for the random self-reducibility of the discrete logarithm problem in genus 2 cryptography.

Full work available at URL: https://arxiv.org/abs/1609.09793

Recommendations

• Horizontal isogeny graphs of ordinary abelian varieties and the discrete logarithm problem
• Isogeny graphs with maximal real multiplication
• Automorphisms and isogeny graphs of abelian varieties, with applications to the superspecial Richelot isogeny graph
• An atlas of the Richelot isogeny graph
• Isogeny volcanoes

zbMATH Keywords

isogeny graphsprincipally polarised abelian varieties\((\ell, \ell)\)-isogeniesJacobians of hyperelliptic curveslattices in symplectic spacesorders in CM-fields

Mathematics Subject Classification ID

Abelian varieties of dimension (> 1) (11G10) Isogeny (14K02)

Cites Work

• On the ubiquity of Gorenstein rings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abelian varieties over finite fields
• On the equations defining Abelian varieties. I-III
• A CRT algorithm for constructing genus 2 curves over finite fields
• Computing isogenies between abelian varieties
• Title not available (Why is that?)
• Examples of genus two CM curves defined over the rationals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructing hyperelliptic curves of genus 2 suitable for cryptography
• Computing $(\ell ,\ell )$-isogenies in polynomial time on Jacobians of genus $2$ curves
• The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography
• Descent via \((3,3)\)-isogeny on Jacobians of genus 2 curves
• Computing endomorphism rings of abelian varieties of dimension two
• Title not available (Why is that?)
• On isogenous principally polarized abelian surfaces
• Endomorphisms of Abelian varieties over finite fields
• Expander graphs based on GRH with an application to elliptic curve cryptography
• Do All Elliptic Curves of the Same Order Have the Same Difficulty of Discrete Log?
• Field of moduli and field of definition for curves of genus 2
• Computing Hilbert class polynomials with the Chinese remainder theorem
• Computing endomorphism rings of Jacobians of genus 2 curves over finite fields
• Modular polynomials via isogeny volcanoes
• Approximating rings of integers in number fields
• Nontriviality of Rankin-Selberg \(L\)-functions and CM points
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computing class polynomials for abelian surfaces
• Explicit CM theory for level 2-structures on abelian surfaces
• The distance between superspecial abelian varieties with real multiplication
• Isogeny graphs with maximal real multiplication
• Descent via \((5, 5)\)-isogeny on Jacobians of genus 2 curves
• Higher-dimensional 3-adic CM construction
• Computing functions on Jacobians and their quotients
• Class invariants by the CRT method
• Cyclic isogenies for abelian varieties with real multiplication
• Accelerating the CM method
• Computing low-degree isogenies in genus 2 with the Dolgachev-Lehavi method

Cited In (23)

• Counting Richelot isogenies between superspecial abelian surfaces
• Rigid analytic uniformization of curves and the study of isogenies
• Proving connectedness of isogeny graphs with strong approximation
• Pairing the volcano
• The structure of the group of rational points of an abelian variety over a finite field
• Cyclic isogenies for abelian varieties with real multiplication
• Isogeny graphs with maximal real multiplication
• Automorphisms and isogeny graphs of abelian varieties, with applications to the superspecial Richelot isogeny graph
• AGM and Jellyfish Swarms of Elliptic Curves
• Modular polynomials on Hilbert surfaces
• Breaking the decisional Diffie-Hellman problem for class group actions using genus theory: extended version
• Genus two isogeny cryptography
• Isogenies in theory and praxis
• Horizontal isogeny graphs of ordinary abelian varieties and the discrete logarithm problem
• On ordinary isogeny graphs with level structures
• Isogeny graphs on superspecial abelian varieties: eigenvalues and connection to Bruhat-Tits buildings
• Hilbert modular polynomials
• An atlas of the Richelot isogeny graph
• Computing isogenies between abelian varieties
• Computing the endomorphism ring of an ordinary abelian surface over a finite field
• On towers of isogeny graphs with full level structures
• On the computation of the endomorphism rings of abelian surfaces
• Isogeny graphs of superspecial abelian varieties

This page was built for publication: Isogeny graphs of ordinary abelian varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q680067)