[論文レビュー] An atlas of the Richelot isogeny graph

Enric Florit, Benjamin Smith|arXiv (Cornell University)|Jan 4, 2021

Advanced Graph Theory Research参考文献 14被引用数 4

ひとこと要約

本稿は、 genus 2 の principally polarized abelian surfaces における Richelot isogeny グラフの包括的なアトラスを提示し、自己同型群の作用下での頂点および辺の局所的近傍を詳細に記述する。関数体および有限体上での明示的な図解と計算を通じて、superspecial Richelot isogeny グラフ Γ²ₚ²(2;p) の構造を同定し、自己同型群が isogeny 接続性に与える影響を明らかにする。主な結果として、頂点の種別、辺の重み、および特定の素数における退化現象が得られる。

ABSTRACT

We describe and illustrate the local neighbourhoods of vertices and edges in the (2, 2)-isogeny graph of principally polarized abelian surfaces, considering the action of automorphisms. Our diagrams are intended to build intuition for number theorists and cryptographers investigating isogeny graphs in dimension/genus 2, and the superspecial isogeny graph in particular.

研究の動機と目的

• principally polarized abelian surfaces (PPAS) の genus 2 における Richelot isogeny グラフの詳細で図示されたアトラスを提供すること。
• 自己同型群に基づく頂点および辺の近傍の分類を通じて、グラフの局所的構造を分析すること。
• superspecial isogeny グラフ Γ²ₚ²(2;p) において、自己同型群の作用が isogeny 接続性および辺の重みに与える影響を調査すること。
• 特に小さな素数における病理的ケースや退化現象の具体的な例を提示すること。
• 組合せ的および算術的構造の明確化を通じて、暗号理論および数論的応用を支援すること。

提案手法

• 著者らは、関連する PPAS の完全自己同型群の構造に基づき、頂点を6種類のタイプ（I–VI）に分類する。
• 各頂点タイプについて、15個の最大の2-Weil自己同型部分群の軌道を自己同型群の作用下で計算し、その頂点から出る isogeny の数および種別を特定する。
• genus 2 曲線を定義する sextic または quintic 多項式の二次分割を用いて、Richelot isogeny の明示的公式を導出し、判別式 δ(F₁,F₂,F₃) を用いて、余域が Jacobian であるかどうかを判定する。
• 代数的数論および円分体上の専用化技術を用いてグラフ構造を計算し、その後 Fₚ² に専用化して特定の素数における挙動を分析する。
• 辺の重みを、同型な isogeny クラスをもたらす異なる核の数として計算し、これらの重みおよび余域の種別が小さな素数に専用化される際の変化を追跡する。
• 図や表を用いて、頂点の近傍、辺の接合、および退化現象（ループや近傍タイプの合体）を図示し、p=7, 13, 19, 29 などの素数における現象を含む。

実験結果

リサーチクエスチョン

• RQ1 genus 2 の principally polarized abelian surfaces の自己同型群は、Richelot isogeny グラフの構造にどのように影響するか？
• RQ2 superspecial Richelot isogeny グラフにおける頂点の局所的近傍は何か？ そして、自己同型群に応じてどのように変化するか？
• RQ3 小さな素数に専用化する際、辺の重みおよび余域の種別はどのように変化するか？ また、退化やループの原因は何か？
• RQ4 曲線の定義多項式の二次分割は、Richelot isogeny の計算および余域の種別の特定にどのように寄与するか？
• RQ5 さまざまな頂点タイプ（I–VI）およびそれらの相互接続は、superspecial isogeny グラフのグローバルな接続性および拡張性にどのように寄与するか？

主な発見

• superspecial Richelot isogeny グラフ Γ²ₚ²(2;p) は Fₚ² 上で15-正則であり、正確に p³/2880 + O(p) 個の頂点を持ち、連結である。
• 曲線 y² = x(x⁴ + 1) に対応する唯一の Type-VI 頂点は、自己同型群 S₄ を持ち、特異な辺の軌道（安定化群 ⟨σ, ω²⟩）を示し、余域がタイプ Σ となる。
• p=7, 13, 29 において、Type-VI 頂点の特定の Type-IV 近傍が Type-V に退化し、辺の種別が合体することで局所的構造が変化する。
• 曲線 y² = x⁵ − 1 に対応する Type-II 頂点では、3つの isogeny 近傍の重みはそれぞれ5である。p=19 においては、1つの近傍がループに変わる。p=29 では、余域の種別が Type-A から Type-I に変化する。
• Type-VI 頂点の Type-Σ 近傍は、j-不変量 8000 の2つの楕円曲線の積に対応し、3次自己準同型を許容するため、グラフの中で特異なケースである。
• アトラスは、頂点タイプおよび辺の重みが素数 p の選択に極めて敏感であり、円分体の判別式や自己同型群の位数を割り切る素数において、顕著な構造的変化が生じることを明らかにする。