[论文解读] Computing Arakelov class groups

René Schoof|ArXiv.org|Jan 24, 2008

Coding theory and cryptography参考文献 19被引用 27

一句话总结

本文在阿莱克谢耶夫类群的框架下重新诠释了 Buchmann 用于计算数域类群与类数的算法，表明该算法自然作用于约化的阿莱克谢耶夫除子上。它证明了 Shank 和 Lenstra 方法所依赖的结构与阿莱克谢耶夫类群同构，并引入了定向阿莱克谢耶夫类群，以实现对基本单位的高效计算，达到次指数时间复杂度。

ABSTRACT

Shanks's infrastructure algorithm and Buchmann's algorithm for computing class groups and unit groups of rings of integers of algebraic number fields are most naturally viewed as computations inside Arakelov class groups. In this paper we discuss the basic properties of Arakelov class groups and of the set of reduced Arakelov divisors. As an application we describe Buchmann's algorithm in this context.

研究动机与目标

• 通过阿莱克谢耶夫理论，为 Buchmann 算法提供一个自然的代数几何背景。
• 阐明约化阿莱克谢耶夫除子在实二次域中所观察到的基础设施现象中的确切作用。
• 将框架扩展至定向阿莱克谢耶夫类群，以显式计算基本单位。
• 通过分析体积估计与格约化，证明 Buchmann 算法在次指数时间内运行。
• 通过在约化除子上使用跳跃算法，实现对基本单位的高效紧凑表示。

提出的方法

• 本文将阿莱克谢耶夫类群 $\mathrm{Pic}_F^0$ 定义为阿莱克谢耶夫除子群关于主除子的商群，其中有限素点的系数取值于 $\mathbb{Z}$，无限位置的系数取值于 $\mathbb{R}$。
• 引入约化阿莱克谢耶夫除子作为 $\mathrm{Pic}_F^0$ 中的一组有限代表元，类似于 Shank 所用的约化二元二次型在基础设施中的作用。
• 通过在约化除子上使用跳跃过程，计算 $f \in \mathcal{O}_F^*$ 的主除子 $(f)$ 的基，同时追踪理想等价关系与范数近似值。
• 利用阿莱克谢耶夫类群的体积估计与格约化，验证所计算的子群 $H'$ 是否等于 $H$，从而确保类群结构的正确性。
• 在单位群计算中，引入定向阿莱克谢耶夫类群 $\widetilde{\mathrm{Pic}}_F^0$，以追踪复嵌入 $\sigma(\varepsilon)$，从而重建基本单位。
• 通过近似小元素 $g$ 的 $\sigma(g)$，然后利用有界系数求解 $\varepsilon_j = \sum \lambda_{ij} \omega_j$，计算单位的紧凑表示。

实验结果

研究问题

• RQ1 Buchmann 算法在计算类群与类数时，能否在阿莱克谢耶夫理论中得到自然的诠释？
• RQ2 约化阿莱克谢耶夫除子在数域基础设施中起何种精确作用？
• RQ3 能否利用定向阿莱克谢耶夫类群来计算基本单位，而不仅仅是类数？
• RQ4 当以阿莱克谢耶夫除子与格约化为框架时，Buchmann 算法的计算复杂度如何？
• RQ5 如何从其绝对值与嵌入的近似值重构基本单位？

主要发现

• Buchmann 算法自然作用于阿莱克谢耶夫类群 $\mathrm{Pic}_F^0$，在实二次域中，Shanks 与 Lenstra 方法所依赖的基础设施与该群同构。
• 约化阿莱克谢耶夫除子的集合构成 $\mathrm{Pic}_F^0$ 的一个有限且可计算的基本域，从而支持算法实现。
• 该算法在次指数时间 $O(\exp(\sqrt{\log|\Delta_F|} \log\log|\Delta_F|))$ 内运行，主要计算步骤为生成主除子。
• 通过使用定向阿莱克谢耶夫类群，可计算基本单位 $\varepsilon$ 的 $\sigma(\varepsilon)$ 的近似值，从而实现单位群的重建。
• 通过使用有界大小的元素与对数数量的跳跃，可在时间 $O((\log|\Delta_F|)^{O(1)})$ 内计算出基本单位的紧凑表示。
• 在步骤 1 中估计了阿莱克谢耶夫类群的体积，并通过将所计算子群 $H'$ 的体积与 $\mathrm{Pic}_F^0$ 的估计体积进行比较，验证了其正确性。