[论文解读] A new computational approach to ideal theory in number fields

Jordi Guàrdia, Jesús Sanz Montes+1 more|RECERCAT (Consorci de Serveis Universitaris de Catalunya)|May 7, 2010

Algebraic Geometry and Number Theory参考文献 7被引用 6

一句话总结

本文提出了一种新的计算框架，用于数域中的理想理论，无需计算最大阶或分解定义多项式的判别式。通过使用Montes算法和高阶Newton多边形的Okutsu-Montes表示法来表示素理想，该框架实现了对分理想（如赋值、分解和算术运算）的快速、直接操作，同时作为副产品还得到了p-整基和局部域基。

ABSTRACT

Let $K$ be the number field determined by a monic irreducible polynomial $f(x)$ with integer coefficients. In previous papers we parameterized the prime ideals of $K$ in terms of certain invariants attached to Newton polygons of higher order of the defining equation $f(x)$. In this paper we show how to carry out the basic operations on fractional ideals of $K$ in terms of these constructive representations of the prime ideals. From a computational perspective, these results facilitate the manipulation of fractional ideals of $K$ avoiding two heavy tasks: the construction of the maximal order of $K$ and the factorization of the discriminant of $f(x)$. The main computational ingredient is Montes algorithm, which is an extremely fast procedure to construct the prime ideals.

研究动机与目标

• 开发一种用于数域中理想理论的计算框架，避免计算最大阶和分解定义多项式判别式的繁重任务。
• 通过源自高阶Newton多边形的素理想构造性表示，实现在分理想上的直接操作。
• 提供快速算法以执行核心理想运算（赋值、分解、加法、乘法、交集、约化映射和中国剩余定理），而无需依赖传统的线性代数方法。
• 作为素理想构造的副产品，推导出p-整基和局部域基，从而提升数域算术中的计算效率。
• 将该框架扩展至函数域和曲线除子理论，潜在应用于Riemann-Roch空间和Jacobian群运算。

提出的方法

• 利用Montes算法计算f-完备和最优类型，这些类型参数化f(x)模p的不可约因子，对应于p上方的素理想。
• 通过其Okutsu-Montes形式表示每个素理想𝔭：𝔭 = [p; φ₁, ..., φᵣ, φₚ]，其中φᵢ在ℤₚ[x]上不可约，φₚ是p-进不可约因子的Montes逼近。
• 利用高阶Newton多边形计算Okutsu不变量，这些不变量编码了关于素理想的关键算术数据。
• 通过Okutsu-Montes表示法的素理想分解构造分理想，从而实现在不计算整基的情况下直接进行算术运算。
• 利用类型构造过程中获得的局部结构，计算p-进赋值和约化映射。
• 利用在素理想构造过程中可获得𝒪_{Kₚ}的ℤₚ-基这一事实，实现高效的p-整基计算。

实验结果

研究问题

• RQ1 是否可以在不构造最大阶或分解定义多项式判别式的情况下，高效计算分理想的运算？
• RQ2 如何利用Newton多边形理论和高阶不变量，对数域中的素理想进行构造性表示？
• RQ3 Okutsu-Montes表示法能否支持对分理想赋值、分解和算术运算的快速计算？
• RQ4 在多大程度上可以利用数域的局部结构，直接从定义多项式计算p-整基和局部域基？
• RQ5 该框架能否扩展至函数域，以高效计算除子类群运算和Riemann-Roch空间？

主要发现

• Montes算法在O(n³⁺ᵋδ + n²⁺ᵋδ²⁺ᵋ)时间内计算素理想分解，其中δ = log|disc(f)|，显著快于标准方法。
• 对于判别式大小约为~2²⁶⁸的20次数域，该方法在0.3秒内完成了p=2上的完整素理想分解，包括判别式计算和p-整基计算。
• 该方法在0.02秒内计算出2-整基，该基同时也是全局整基，而Magma仅计算最大阶就耗时5.8秒。
• Okutsu-Montes表示法允许在素理想构造过程中直接计算局部环𝒪_{Kₚ}的ℤₚ-基，从而实现快速的p-整基推导。
• 所有标准理想运算——赋值、分解、加法、乘法、交集、约化映射和中国剩余定理——均可直接从该表示中执行。
• 该框架自然可扩展至函数域，实现高效的除子算术，并潜在支持高次曲线的Riemann-Roch空间和Pic⁰(C)的计算。