On canonical roots of fractional ideals

技术摘要：关于分式理想的规范根

问题陈述
本文探讨了在数域的阶（orders）中计算分式理想之根的算法问题。虽然在数域 $K$ 中计算元素之根以及在 $K$ 的极大序（maximal order）中计算可逆理想之根（具体为 Belabas–Simon 算法）已经存在高效的多项式时间算法，但一个显著的障碍仍然存在：计算极大序本身通常在多项式时间内是不可行的（其难度与整数分解相当）。

因此，算法必须在任意阶 $R$ 上运行，这些阶可能包含零因子，且不一定是 Dedekind 整环。这引入了两个主要的障碍：

1. 存在性： 阶 $R$ 中的理想 $\mathfrak{a}$ 可能在 $R$ 中缺乏 $n$ 次方根，但在更大的阶 $S$（例如极大序）中却拥有根。
2. 唯一性与函性质： 即使在 $R$ 中存在 $n$ 次方根，该根也可能不是唯一的，或者不是特征性的（即不被固定于保持 $\mathfrak{a}$ 不变的自同构）。本文认为，要求所有理想都具有唯一根，将使得在多项式时间内计算出极大序成为可能，而这被认为是不可能的。

为了解决这些问题，作者寻求一种**函性质（functorial）**算法。算法不应在输入阶内返回唯一的根，而应返回一对 $(S, \mathfrak{b})$，其中 $R \subseteq S \subseteq Q(R)$ 且 $\mathfrak{b}^n = S\mathfrak{a}$，使得该映射尊重输入之间的同构关系。

方法论
本文将 Dade–Taussky–Zassenhaus 以及 Ge/Buchmann–Eisenbrand 的研究结果推广到更广泛的类环（作为 $\mathbb{Z}$-模自由且秩有限的交换环，可能包含零因子）。其方法论依赖于三个主要的数学支柱：

1. 扩充（Blowups）与可逆性：
   本文定义了阶 $R$ 在分式理想 $\mathfrak{a}$ 处的“扩充”为 $Q(R)$ 中唯一的最小子环 $S$，使得 $S\mathfrak{a}$ 成为 $S$ 的一个可逆理想。

   • 定理 5.11 确立了对于克鲁尔维度 $\le 1$ 且具有 Artin 全分式环的 Noetherian 环 $R$，该最小环 $S$ 是存在的，并且可以通过 $S = \mathfrak{a}^n : \mathfrak{a}^n$ 对足够大的 $n$（具体为 $n+1 \ge n(\mathfrak{a})$，其中 $n(\mathfrak{a})$ 界定了局部化的生成元个数）显式给出。
   • 定理 5.12 提供了一个多项式时间算法来计算这个最小阶 $S$ 以及由此产生的可逆理想。

2. 因子细化（互素基）：
   为了处理理想的分解，本文改编了“互素基”（一组生成理想群的两两互素的可逆理想集合）的概念。

   • 定理 6.8 提供了一个多项式时间算法，给定一组有限的分式理想 $X$，计算出最小的阶 $S$，使得集合 $\{S\mathfrak{a} \mid \mathfrak{a} \in X\}$ 拥有一个互素基，并随后计算出该最小基。这涉及通过扩大阶来解决非互素问题。

3. 函性质根计算：
   核心算法（定理 7.5）结合了上述工具与递归策略：

   • 它首先通过计算适当的扩充来确保理想是可逆的。
   • 它利用因子细化算法将理想分解为互素分量。
   • 它利用了一个结果（定理 7.2），即如果 $R/\mathfrak{a}$ 是对 $\mathbb{Z}/(\mathfrak{a} \cap \mathbb{Z})$ 的有限 étale 扩张，那么 $\mathfrak{a}$ 在扩张 $S$ 中的根可以降至基环结构中，从而允许确定最大根指数。
   • 算法递归地解决互素分量的问题，并通过指数的最大公约数合并结果。

主要贡献与结果

• 定理 1.2（主要结果）： 存在一个函性质多项式时间算法 $F$，给定一个阶 $R$ 和一个分式理想 $\mathfrak{a}$，计算最大的整数 $n$（就整除性而言），使得存在一个阶 $S$ 和一个理想 $\mathfrak{b}$ 满足 $\mathfrak{b}^n = S\mathfrak{a}$。算法输出三元组 $(n, S, \mathfrak{b})$。
• 理论推广： 本文将扩充和因子细化的理论推广到了包含零因子的环，且不再假设存在有限生成的整闭包（Dedekind 整环）。
• 挠性检测： 本文提供了一个算法（命题 5.15）来检测一个可逆理想是否为挠理想（即 $\mathfrak{a}^\ell = R$），如果是，则计算该理想变为单位理想的最小阶。
• 唯一性的不可能实现： 本文证明了（命题 7.10）如果一个阶 $R$ 使得所有分式理想都具有唯一的根（意味着理想群是无挠的），那么就可以在多项式时间内计算出数域的极大序。这证明了采用“函性质”方法（返回一个扩张 $S$）而非寻求 $R$ 内唯一根的必要性。

意义与主张
本文声称为在任意阶中计算分式理想的规范根问题提供了完整的解决方案，且无需极大序或额外的分歧数据（这是 Belabas–Simon 算法所要求的）。

• 与前人工作的比较： 与受限于极大序且需要额外数据的 Belabas–Simon 算法不同，本算法适用于任意阶且是自包含的。
• 行为一致性： 作者指出，对于两个算法均适用的输入（即极大序），其行为本质上是相同的，因为两者都依赖于基于 $R/\mathfrak{a}$ 的代数结构对理想进行因子分解。
• 谦逊态度： 作者明确指出，将现有结果（Dade–Taussky–Zassenhaus, Ge, Buchmann–Eisenland）向包含零因子的环进行推广是主要的数学技术贡献，而核心算法结构遵循既定范式。本文并不声称解决了通用的分解问题，而是利用了阶的结构特性来高效地计算根。

总而言之，本文确立了虽然在给定的阶中可能不存在唯一的根，但可以通过函性质地扩展阶到一个根存在且定义良好的最小环，从而在多项式时间内计算出一个“规范”的根。