[论文解读] Inverse-syst.lib, Singular library for computing Macaulay's inverse systems

Juan Elías|arXiv (Cornell University)|Jan 8, 2015

Commutative Algebra and Its Applications参考文献 7被引用 7

一句话总结

本论文介绍了 Inverse-syst.lib，这是一个 Singular 库，实现了 Macaulay 的反系统，用于通过 Matlis 对偶性计算 Artinian Gorenstein 与层级环的对偶性。该库支持形式幂级数环上反系统的符号计算、理想零化子以及模结构的计算，其应用包括利用 Hilbert 函数和椭圆曲线不变量对局部 Gorenstein 代数进行分类。

ABSTRACT

In this note we review the Singular library Inverse-syst.lib that implements Macaulay's correspondence and other related constructions for local rings.

研究动机与目标

• 在形式幂级数环中的 Artinian Gorenstein 理想与多项式环中的多项式之间实现 Macaulay 的对应关系。
• 在 Singular 中提供用于研究局部环中 Matlis 对偶性与反系统的计算工具。
• 通过反系统计算实现对指定 Hilbert 函数的 Artinian Gorenstein 代数的分类。
• 通过收缩作用在正特征下、通过微分作用在特征零下支持正特征计算。
• 将椭圆曲线不变量（如 j-不变量）集成到反系统框架中，用于构造 Gorenstein 理想。

提出的方法

• 使用 Matlis 对偶性在幂级数环 R 上定义 Noetherian 与 Artinian 模之间的反变等价关系。
• 在多项式环 S 上实现两种 R-模结构：特征零下的微分作用，以及任意特征下的收缩作用，并在特征零下存在自然同构。
• 采用反系统构造：对于理想 I ⊂ R，其反系统为 I⊥ = {g ∈ S | I ∘ g = 0}，其中 ∘ 表示通过微分或收缩作用。
• 提供命令以计算理想反系统（invSyst, invSystG）、零化子（idealAnn, idealAnnG）以及模成员关系（memberIH, subModIH）。
• 引入针对椭圆曲线的专用函数：weierstrassj(t) 生成具有 j-不变量 c(1) 的 Weierstrass 方程，idealwj(t) 返回对应理想的反系统。
• 使用 Singular 中的带余除法算法测试给定理想是否包含极大理想的四次幂，从而确认其 Artinian 结构。

实验结果

研究问题

• RQ1 如何在计算机代数系统中有效实现 Macaulay 的反系统对应关系，以处理局部 Artinian 环？
• RQ2 需要哪些计算工具来对具有给定 Hilbert 函数（如 {1,3,3,1}）的 Artinian Gorenstein 环进行分类？
• RQ3 反系统方法能否扩展以包含椭圆曲线不变量（如 j-不变量），从而用于构造 Gorenstein 理想？
• RQ4 在正特征与零特征下，微分与收缩作用在多项式环 S 上的行为如何与 E_R(k) 的内射包相关联？
• RQ5 Weierstrass 方程在构造具有对称 Hilbert 函数的 Gorenstein 理想的反系统中起什么作用？

主要发现

• 该库成功计算了 Artin Gorenstein 理想的反系统，当 I 为 Gorenstein 时，isAG(I) 返回其 socle 度。
• 对于理想 I = ⟨x₁² + x₂³, x₂⁴ + x₁², x₃² + x₁x₂⟩，函数 isAG(I) 返回 4，确认其为 socle 度为 4 的 Artin Gorenstein 理想。
• R/I 的 socle 作为 S 中的理想被计算，cmType(I) 返回 3，表明其 Cohen-Macaulay 类型为 3。
• 命令 division(maxideal(4), q) 确认由三个二次型生成的理想 q 包含于 m⁴，验证其为 Artinian。
• 当 j ≠ 0, 1728 时，由三个齐次二次型生成的理想 I(j) 为完备交，因此为 Gorenstein，其 Hilbert 函数为 {1,3,3,1}。
• 通过 idealwj(t) 计算了具有 j-不变量 c(1) 的 Weierstrass 方程的反系统，对应理想被证明为 Gorenstein 且具有对称 Hilbert 函数。