[论文解读] The $p$-adic CM-method for genus 2

Pierrick Gaudry, Thomas Houtmann+3 more|ArXiv.org|Mar 8, 2005

advanced mathematical theories参考文献 20被引用 8

一句话总结

本文提出了一种使用 $2$-进数的算术-几何平均（AGM）方法来计算类多项式，从而在有限素数域上构造具有四次CM域复乘的超椭圆曲线的 $p$-进复乘（CM）方法。该方法利用 $p$-进精度和模一致性检查，高效计算了在四次CM域上具有复乘的曲线的不变量。

ABSTRACT

We present a nonarchimedian method to construct hyperelliptic CM-curves of genus 2.

研究动机与目标

• 开发一种非阿基米德 $p$-进算法，用于在有限域上构造具有复乘的二型超椭圆曲线。
• 通过使用 $2$-进精度和典范提升，克服浮点方法在计算二型超椭圆曲线类多项式时的局限性。
• 通过使用 $2$-进AGM和 $p$-进 $LLL$ 约化，将CM方法从椭圆曲线推广到二型阿贝尔簇。
• 通过模约化和与已知CM曲线的一致性检查，验证计算所得类多项式的正确性。
• 实现对四次CM域中具有最大自同态环的曲线的不变量的高效计算。

提出的方法

• 使用 $2$-进AGM迭代计算 $\mathbb{F}_{2^d}$ 上普通二型超椭圆曲线的典范提升，利用 $2$-同源和递归的Richelot公式。
• 应用 $p$-进精度，以高精度计算典范提升的 $j$-不变量，从而实现最小多项式的重构。
• 采用 $p$-进 $LLL$ 算法，从高精度 $p$-进近似中恢复类多项式的整数系数。
• 利用CM域和反射域的理论，定义目标类多项式，使其对应于自同态环同构于给定整序 $\mathcal{O}_K$ 的曲线。
• 通过将计算所得的类多项式模小素数约化，并检查其是否完全分裂且产生具有正确CM类型的曲线，来验证结果。
• 利用Mestre算法，从模约化得到的Igusa不变量重构曲线方程。

实验结果

研究问题

• RQ1 能否通过使用 $2$-进算术和典范提升，将 $p$-进CM方法从一型推广到二型超椭圆曲线？
• RQ2 如何将 $2$-进AGM方法适配以计算具有复乘的超椭圆曲线的不变量？
• RQ3 需要何种精度和算法技术，才能可靠地从 $p$-进近似中恢复整数类多项式？
• RQ4 在事先未知系数界的情况下，如何验证计算所得类多项式的正确性？
• RQ5 在二型超椭圆曲线的 $p$-进CM方法中，计算瓶颈是什么？如何通过降低格的维数来提高效率？

主要发现

• 该 $p$-进CM方法在二型超椭圆曲线上的复杂度为精度的线性关系，优于传统theta常数方法的二次复杂度。
• 该方法成功计算了四次CM域（如 $\mathbb{Q}(i\sqrt{23+4\sqrt{5}})$）的类多项式，其类数为6496，定义在 $\mathbb{F}_{2^7}$ 上。
• 计算所得类多项式的首项系数极为光滑，表明其正确性，因为随机整数具有如此光滑性的可能性极低。
• 模 $p=47653$ 的约化结果确认该多项式完全分裂，并产生具有预期CM类型的曲线。
• $p$-进 $LLL$ 步骤的性能主要受格维数影响；通过曲线枚举（如降低至二次）减少维数，可显著提升效率。
• 该算法在 $\mathbb{F}_2$ 的小扩展（如 $d \leq 10$）下效率较高，此时类数可较大（如 $d=7$ 时为6496），从而可实际构造CM曲线。