[论文解读] Equations of Rees algebras of ideals in two variables

Jeff. Madsen|arXiv (Cornell University)|Nov 12, 2015

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

一句话总结

本文提出了一种算法，用于计算在两个变量的多项式环中，高度为二的理想之Rees代数定义方程的极小生成元，特别关注x-次数至少为e的生成元，其中e是syzygy矩阵中第二大的列度数。该文为这些生成元的双次数提供了简洁的公式，并在几乎完全交情形下，完全确定了x-次数≥ e−1时的生成元。

ABSTRACT

Let I be an ideal of height two in R=k[x_0,x_1] generated by forms of the same degree, and let K be the ideal of defining equations of the Rees algebra of I. Suppose that the second largest column degree in the syzygy matrix of I is e. We give an algorithm for computing the minimal generators of K whose degree is at least e, as well as a simple formula for the bidegrees of these generators. In the case where I is an almost complete intersection, we give a generating set for each graded piece K_(i,*) with i>=e-1.

研究动机与目标

• 确定在k[x₀,x₁]中由单一度数生成的高度为二的齐次理想之Rees代数定义方程理想的极小生成元。
• 将先前关于几乎线性表示理想的成果推广至两个变量中的一般高度为二的理想。
• 为计算Rees代数生成元（x-次数≥ e）提供系统性方法，其中e为syzygy矩阵中第二大的列度数。
• 当理想为几乎完全交时，为每个分次分量K_{i,*}（i ≥ e−1）提供完整的生成集。
• 将先前的方法（包括Sylvester形式与有理正则柱面构造）统一并推广至单一递归框架。

提出的方法

• 利用理想I的syzygy矩阵φ，识别第二大的列度数e，该值作为生成元x-次数的阈值。
• 基于子理想之Rees代数上的模理论框架，构造x-次数≥ e的K之极小生成元的抽象形式。
• 开发一个递归算法（第3.3节），通过从子代数提升关系并追踪度数，显式计算这些生成元。
• 将该方法应用于几乎线性表示情形（即φ的所有列除一列外均为线性项），恢复并重新证明Kustin、Polini与Ulrich（2022）的结果。
• 通过证明在相同条件下该算法退化为Cortadellas与D’Andrea（2010）的Sylvester形式方法，将该方法与Sylvester形式方法协调一致。
• 利用第3.2节推导出的双次数公式，表征生成元的多重次数，从而实现高效计算与分类。

实验结果

研究问题

• RQ1 在k[x₀,x₁]中，高度为二的理想之Rees代数定义方程的结构是怎样的，特别是高x-次数的方程？
• RQ2 如何算法性地计算此类理想之Rees代数定义理想K的极小生成元，特别是x-次数≥ e的生成元？
• RQ3 当理想为几乎完全交时，是否能完全确定K_{i,*}在i ≥ e−1时的生成集？
• RQ4 通过所提方法计算出的新生成元在多大程度上涵盖或推广了先前的构造（如Sylvester形式或有理正则柱面商）？
• RQ5 数值不变量d₁、d₂、σ₁、σ₂在多大程度上决定了Rees代数中极小生成元的数量与双次数？

主要发现

• 本文提供了完整的算法，用于计算Rees代数定义理想K中所有x-次数至少为e的极小生成元，其中e为syzygy矩阵中第二大的列度数。
• 为这些生成元推导出简洁的双次数公式，使无需完整Gröbner基约化即可直接计算其多重次数。
• 在几乎完全交理想情形下，本文为每个分次分量K_{i,*}（i ≥ e−1）提供了完整的生成集，解决了先前工作中遗留的关键情形。
• 该方法恢复并重新证明了Kustin、Polini与Ulrich（2022）关于几乎线性表示理想的定理3.6，表明与先前结果的一致性。
• 当syzygy矩阵具有广义零时，该算法退化为Cortadellas与D’Andrea（2010）的Sylvester形式方法，证实了其普遍性。
• 反例表明，仅凭d₁、d₂、σ₁、σ₂无法确定固定x-次数中极小生成元的数量——syzygy矩阵的结构在数值数据之外仍具关键影响。