[论文解读] VANISHING IDEALS OVER RATIONAL PARAMETERIZATIONS

Azucena Tochimani, Rafael H. Villarreal|arXiv (Cornell University)|Feb 19, 2015

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

一句话总结

本文利用消去理论与格罗布纳基，针对射影空间与仿射空间中的有理参数化，推导出计算消失理想 I(X) 与 I(X�) 的公式。主要贡献在于有限域上消失理想的显式代数不变量，其应用涵盖 Reed-Muller 型码与射影闭包。

ABSTRACT

Let K be a field and let X (resp. X � ) be a subset of a projective space P s 1 (resp. affine spaceA s ), over the field K, parameterized by rational functions. Let I(X) (resp. I(X � )) be the vanishing ideal of X (resp. X � ). Some of the main contributions of this paper are in determining formulas for I(X) (resp. I(X � )) to compute their algebraic invariants using elimination theory and Grobner bases. The formulas for vanishing ideals over finite fields that we give in this paper were discovered by making experiments with Macaulay2, we are specially interested in this case because of its relation to algebraic coding theory. Then we use our results to study: the degree and structure of vanishing ideals, the projective closure of X � , and the basic parameters of affine and projective Reed-Muller-type c We recover some results for vanishing ideals over monomial parameterizations.

研究动机与目标

• 推导出在射影空间与仿射空间中，针对有理参数化，显式计算消失理想 I(X) 与 I(X�) 的公式。
• 利用消去理论与格罗布纳基，系统计算并分析这些理想之代数不变量（如次数与结构）。
• 通过齐次化 I(X�) 的定义方程，研究仿射参数化代数曲线 X� 的射影闭包，以增进几何与代数理解。
• 将结果应用于有限域，其动机源于代数编码理论中的应用，特别是 Reed-Muller 型码。
• 在更广泛的有理参数化框架下，恢复并推广已知的单项式参数化结果。

提出的方法

• 利用消去理论，从有理参数化中消去参数，推导出 I(X) 与 I(X�) 的定义方程。
• 在有限域上运用格罗布纳基，系统计算并分析消失理想的结构。
• 借助 Macaulay2 中的计算实验，发现并验证有限域上消失理想的公式。
• 通过齐次化 I(X�) 的定义方程，分析仿射参数化代数曲线 X� 的射影闭包。
• 应用推导出的公式，计算消失理想的关键不变量，如次数与维数。
• 将已知的单项式参数化结果作为有理参数化框架下的特例进行重构。

实验结果

研究问题

• RQ1 如何利用代数几何工具，显式计算有理参数化下的消失理想 I(X) 与 I(X�)？
• RQ2 在此设定下，有限域上消失理想的代数不变量（如次数与维数）为何？
• RQ3 仿射参数化代数曲线 X� 的射影闭包如何与它的定义理想 I(X�) 相关联？
• RQ4 这些结果对 Reed-Muller 型码的构造与分析有何影响？
• RQ5 已知的单项式参数化结果能否在有理参数化框架下被恢复并推广？

主要发现

• 本文提供了利用消去法与格罗布纳基，显式计算射影空间中有理参数化消失理想 I(X) 的公式。
• 推导出仿射有理参数化消失理想 I(X�) 的类似公式，使其中的代数不变量得以计算。
• 作者计算了有限域上消失理想的次数与结构特性，这对编码理论应用至关重要。
• 通过齐次化理想 I(X�)，刻画了 X� 的射影闭包，从而建立仿射与射影几何之间的联系。
• 结果恢复并推广了以往针对单项式参数化的发现，显示出一致性和更广泛的应用性。
• Macaulay2 中的计算实验引导了公式的发现，尤其针对有限域，凸显了实验在代数几何中的作用。