[论文解读] 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 中，对主极化阿贝尔曲面的 Richelot 同源图的全面图谱，详细描述了在自同构作用下顶点与边的局部邻域结构。通过在函数域和有限域上的显式图示与计算，揭示了超特殊 Richelot 同源图 Γ²ₚ²(2;p) 的结构，阐明了自同构群如何影响同源连通性，关键结果包括顶点类型、边权重以及在特定素数处的退化现象。

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.

研究动机与目标

• 为 genus 2 中的主极化阿贝尔曲面（PPAS）提供一份详尽且配图的 Richelot 同源图图谱。
• 通过基于自同构群的分类，分析图的局部结构，对顶点与边的邻域进行分类。
• 研究自同构作用如何影响超特殊同源图 Γ²ₚ²(2;p) 中的同源连通性与边权重。
• 提供图中病态情况与退化现象的具体实例，尤其关注小素数处的情况。
• 通过阐明图的组合与算术结构，支持密码学与数论应用。

提出的方法

• 作者根据相关 PPAS 的完整自同构群结构，对顶点进行分类，识别出六种不同的类型（I–VI）。
• 对每种顶点类型，计算自同构群作用下 15 个最大 2-Weil 滞留子群的轨道，确定从该顶点出发的同源数量与类型。
• 通过定义 genus-2 曲线的六次或五次多项式的二次分裂，推导出 Richelot 同源的显式公式，使用行列式 δ(F₁,F₂,F₃) 判断余域是否为雅可比簇。
• 作者利用代数数论与在分圆域上的专门化技术计算图的结构，随后专门化到有限域 Fₚ² 以分析特定素数处的行为。
• 将边权重计算为产生同构同源类的不同核的数量，并追踪这些权重与余域类型在小素数专门化下的变化。
• 构建图示与表格以说明顶点邻域、边粘合与退化现象，包括在 p=7, 13, 19, 29 等素数处的环路与邻域类型的合并。

实验结果

研究问题

• RQ1 genus 2 中主极化阿贝尔曲面的自同构群如何影响 Richelot 同源图的结构？
• RQ2 在超特殊 Richelot 同源图中，顶点的局部邻域是怎样的？它们如何随自同构群变化？
• RQ3 在小素数专门化下，边权重与余域类型如何变化？退化或环路的成因是什么？
• RQ4 曲线定义多项式的二次分裂在计算 Richelot 同源及确定余域类型中起什么作用？
• RQ5 各种顶点类型（I–VI）及其相互连接如何共同影响超特殊同源图的全局连通性与扩展性质？

主要发现

• 在 Fₚ² 上，超特殊 Richelot 同源图 Γ²ₚ²(2;p) 是 15-正则图，恰好有 p³/2880 + O(p) 个顶点，且图是连通的。
• 唯一类型-VI 顶点（对应曲线 y² = x(x⁴ + 1)）的自同构群为 S₄，表现出一个具有稳定化子 ⟨σ, ω²⟩ 的特殊边轨道，导致余域类型为 Σ。
• 在 p=7, 13 和 29 处，类型-VI 顶点的某些类型-IV 邻居退化为类型-V，边类型发生合并，改变了局部结构。
• 对于类型-II 顶点（y² = x⁵ − 1），其三个同源邻居的权重均为 5；在 p=19 时，一个邻居变为环路；在 p=29 时，余域类型由类型-A 变为类型-I。
• 类型-Σ 邻居（对应于 j-不变量为 8000 的两个椭圆曲线的乘积）具有一个度为 3 的自同态，使其成为图中的特殊情况。
• 图谱揭示，顶点类型与边权重对素数 p 的选择极为敏感，当 p 整除分圆域的判别式或自同构群阶时，结构发生显著变化。