[论文解读] Integral closure of ideals

Douglas A. Leonard|arXiv (Cornell University)|Sep 18, 2012

Polynomial and algebraic computation参考文献 1被引用 79

一句话总结

本文提出了一种改进的 Q 次幂算法，用于在有限域上的仿射环中计算理想积分闭包的结构化表示，采用非齐次 Rees 代数与局部单项序。该方法通过嵌套的 $P$-模序列计算理想积分闭包，并在 Macaulay2 中提供实用的计算框架，重点将 $C(I^k, \overline{A})$ 作为自然的输出对象。

ABSTRACT

The Qth-power algorithm for computing structured global presentations of integral closures of affine domains over finite fields is modified to compute structured presentations of integral closures of ideals in affine domains over finite fields relative to a local monomial ordering. A non-homogeneous version of the standard (homogeneous) Rees algebra is introduced as well.

研究动机与目标

• 开发一种计算方法，用于在有限域上的仿射环中计算理想积分闭包并生成结构化输出。
• 将 Q 次幂算法改进为使用局部单项序，相较于全局序更适用于理想积分闭包的计算。
• 引入非齐次 Rees 代数作为计算框架，内化积分闭包映射。
• 直接计算 $C(I^k, \overline{A})$ 作为主要输出，而非从环的积分闭包中提取。
• 在 Macaulay2 中实现该方法，并提供理想积分闭包的实用且结构化的表示。

提出的方法

• 该方法使用非齐次商环 $\text{rees}(I) := \overline{A}[G_0,\ldots,G_s][t^{-1}]/\langle g_j - G_j t^{-1}\rangle$ 内化 Rees 代数映射，支持局部单项序。
• 通过嵌套的 $P$-模序列 $M_i(I^k_j) \supseteq M_{i+1}(I^k_j)$ 进行计算，其中 $M_{i+1}(I^k_j) := \{ g \in M_i(I^k_j) \mid g^Q \in M_i(I^k_j)^{Q-1} I^k_j \}$。
• 算法通过在扩展环上进行 Gröbner 基计算，迭代地从 $I^k_j$ 构建 $I^k_{j+1}$，直至达到 $C(I^k, \overline{A})$。
• 使用局部单项序优先处理 $t^{-1}$-分次结构中的低次项，提升理想积分闭包计算的效率。
• 该方法利用了 $C(I^k, \overline{A})$ 由算法自然生成的特性，避免从环闭包中提取。
• 该方法在 Macaulay2 中实现，并应用于 $\overline{A}$ 和 $\text{rees}(I)$ 有显式表示的示例。

实验结果

研究问题

• RQ1 如何将 Q 次幂算法改进为使用局部单项序，以计算理想积分闭包？
• RQ2 非齐次 Rees 代数在实现理想积分闭包的结构化、局部计算中起到什么作用？
• RQ3 在积分闭包算法的背景下，为何 $C(I^k, \overline{A})$ 比 $C(I^k, A)$ 更自然作为输出？
• RQ4 如何利用嵌套的 $P$-模序列高效计算有限域上仿射域中的 $C(I^k, \overline{A})$？
• RQ5 与标准齐次 Rees 代数表示相比，$\text{rees}(I)$ 中内化的映射提供了哪些计算优势？

主要发现

• 非齐次 Rees 代数 $\text{rees}(I)$ 允许内化积分闭包映射，提升计算的可处理性。
• 该算法通过嵌套的 $P$-模序列直接计算 $C(I^k, \overline{A})$，避免了从环闭包中提取的需要。
• 局部单项序被证明比全局序更适用于计算理想积分闭包，因其与 Rees 代数的结构更为契合。
• 该方法在示例中成功计算了 $C(I^k, \overline{A})$，例如 $x^3y^2z \mapsto G_{4,3}G_{4,2}G_{3,0}$，确认了在 $k \leq 3$ 时成员关系成立。
• 在 Macaulay2 中的实现展示了该方法在具体示例上的可行性与高效性，包括显式 Gröbner 基约化。
• 在局部表示中使用单位如 $u = 1/(1 + y_{9,9})$ 可简化关系，并支持 $C(I^k, \overline{A})$ 中元素的规范形约化。