[论文解读] Higher Newton polygons and integral bases

Jordi Guàrdia, Jesús Sanz Montes+1 more|arXiv (Cornell University)|Feb 19, 2009

Algebraic Geometry and Number Theory参考文献 23被引用 9

一句话总结

本文提出了一种更快的计算数域中𝔭-整基的方法，利用蒙特斯算法中φ-进展开的商。通过分析这些商的𝔭-进赋值，该方法构造出全局𝔭-整元素，形成约化的整基，相较于基于OM的先前方法和经典方法，显著提升了效率，仅需在A[θ]中进行O(n)次乘法。

ABSTRACT

Let $A$ be a Dedekind domain, $K$ the fraction field, $\p$ a non-zero prime ideal of $A$, and $K_\pp$ the completion of $K$ with respect to the $\p$-adic topology. At the input of a monic irreducible separable polynomial, $f(x)\in A[x]$, Montes algorithm determines the factorization of $f(x)$ over $K_\pp[x]$, and it provides essential arithmetic information about the finite extensions of $K_\pp$ determined by the different irreducible factors. In particular, it can be used to compute $\p$-integral bases of the extension of $K$ determined by $f(x)$ \cite{newapp}. In this paper we present new (and faster) methods to compute $\p$-integral bases, based on the use of the quotients of certain divisions with remainder of $f(x)$ that occur along the flow of Montes algorithm.

研究动机与目标

• 开发一种更高效的算法，用于计算分式域为全局域的戴德金整环中的𝔭-整基。
• 克服经典方法和早期基于OM的方法在高次扩张下的计算低效问题。
• 在蒙特斯算法过程中，利用φ-进展开的商，构造出全局𝔭-整基（而不仅是局部𝔓-整基）。
• 确保所得基为𝔭-约化，这对代数函数域和黎曼-罗赫空间计算等应用至关重要。
• 提供复杂度分析，表明该方法仅需O(n)次A[θ]中的乘法，具有高度可扩展性。

提出的方法

• 利用蒙特斯算法中f(x)的φ-进展开所获得的商Q_i(x)，其中f(x) = φ(x)Q_1(x) + a_0(x)，Q_1(x) = φ(x)Q_2(x) + a_1(x)，依此类推。
• 分析每个𝔓|𝔭上方的Q_i(θ)的𝔓-进赋值，以确定最大的μ，使得Q_i(θ)/π^μ为𝔭-整（定理3.3）。
• 在每个L_𝔓/K_𝔓中，通过将此类商除以π的适当幂次，构造局部整基。
• 通过设计确保所有构造出的元素均为全局𝔭-整，不同于早期OM方法需后续处理才能实现全局整性。
• 将所有素因子上的全局𝔭-整元素组合起来，通过赫米特标准形构造完整的𝔭-整基。
• 利用高阶牛顿多边形和剩余多项式的结构，指导φ-多项式的选取并追踪赋值数据。

实验结果

研究问题

• RQ1 蒙特斯算法中φ-进展开的商能否用于构造整基的全局𝔭-整元素？
• RQ2 对每个不可约因子，Q_i(θ)的𝔓-进赋值是多少？如何利用该赋值确定应除以π的正确幂次？
• RQ3 如何保证所得基为𝔭-约化？与经典方法和先前基于OM的方法相比，其计算优势是什么？
• RQ4 构造此类基的复杂度是多少？能否以n和δ表示其上界？
• RQ5 该方法能否应用于函数域中约化基的计算，特别是黎曼-罗赫空间计算？

主要发现

• 该方法仅需O(n)次A[θ]中的乘法即可构造𝔭-整基，相较于经典方法的O(n²)复杂度有显著提升。
• 所得基始终为𝔭-约化，这对代数函数域和除子类群计算等应用至关重要。
• 所有基元素均为全局𝔭-整，无需后续处理即可实现全局整性，而早期基于OM的方法则需额外处理。
• 该方法具有清晰的复杂度分析：在A中操作次数为O(n²+εδ¹⁺ε + n¹⁺εδ²⁺ε)，其中δ为剩余域扩张的次数。
• 该算法成功计算出f(x) = x¹² + 14x¹⁰ + 8x⁸ + 16x⁶ + 32x⁴ + 64x² + 128的完整𝔭-整基，在赫米特标准形后得到12个整元素。
• 通过商Q_i(θ)/π^μ构造局部基在所有𝔓|𝔭下均成立，这些元素的并集构成全局𝔭-整基（定理5.16）。