[论文解读] A package for computing implicit equations of parametrizations from toric surfaces

Nicolas Botbol Marc Dohm|arXiv (Cornell University)|Jan 7, 2010

Polynomial and algebraic computation参考文献 7被引用 5

一句话总结

本论文提出一个 Macaulay2 包，用于通过利用线性结式导出的矩阵表示，计算在二维 toric 簇上参数化的曲面的隐式方程。通过利用 Newton 多面体所揭示的参数化稀疏结构，该方法构建的矩阵远小于经典齐次方法中的矩阵，从而在基点集为有限且局部几乎为完整交的复杂稀疏参数化情况下，实现了高效的隐式化。

ABSTRACT

In this paper we present an algorithm for computing a matrix representation for a surface in P^3 parametrized over a 2-dimensional toric variety T. This algorithm follows the ideas of [Botbol-Dickenstein-Dohm-09] and it was implemented in Macaulay2. We showed in [BDD09] that such a surface can be represented by a matrix of linear syzygies if the base points are finite in number and form locally a complete intersection, and in [Botbol-09] we generalized this to the case where the base locus is not necessarily a local complete intersection. The key point consists in exploiting the sparse structure of the parametrization, which allows us to obtain significantly smaller matrices than in the homogeneous case.

研究动机与目标

• 开发一种计算工具，用于通过矩阵表示对在二维 toric 簇上参数化的曲面进行隐式化。
• 通过利用 Newton 多面体揭示的参数化稀疏结构，减小表示矩阵的规模。
• 将基于近似复形的现有方法扩展到基点集不一定是局部完整交的情形。
• 在 Macaulay2 中提供一种实用且高效的实现，以扩大其在稀疏有理曲面参数化中的适用范围。
• 提供一种替代 toric 结式和移动平面的方法，采用通常满秩且计算上可行的线性结式矩阵。

提出的方法

• 通过参数化的线性结式构造表示矩阵 $ M $，其中当且仅当点 $ p $ 位于隐式曲面 $ \mathcal{S} $ 上时，$ M(p) $ 的秩下降。
• 利用参数化的 Newton 多面体 $ \mathcal{N}(f) $，将计算限制在多面体中格点对应的单项式上，以保证稀疏性和效率。
• 通过求解大小为 $ \dim_{\mathbb{K}}(A_{\nu+d}) $ 的线性系统，变量数为 $ 4\dim_{\mathbb{K}}(A_{\nu}) $，聚焦于特定的分次部分，避免完整模块计算。
• 应用 Koszul 复形计算结式模 $ \mathcal{Z}_1, \mathcal{Z}_2, \mathcal{Z}_3 $，并利用 Hilbert 函数计算确定表示矩阵的正确次数 $ \nu $。
• 利用多项式环中结式生成元的系数矩阵构造最终矩阵 $ M $，该矩阵隐式表示曲面。
• 通过将参数化代入矩阵的行列式并确认其为零，验证隐式方程的正确性。

实验结果

研究问题

• RQ1 如何为在 toric 簇上参数化且具有稀疏参数化的曲面，高效构造隐式方程的矩阵表示？
• RQ2 Newton 多面体在减小表示矩阵规模的同时保持正确性方面起到什么作用？
• RQ3 该方法能否处理非局部完整交的基点集？其与先前工作的推广关系如何？
• RQ4 与 toric 结式或移动平面方法相比，该方法在矩阵规模和计算时间方面的计算性能如何？
• RQ5 在多大程度上可以利用参数化的稀疏性来减小表示矩阵的规模并提高效率？

主要发现

• 该方法为一个稀疏参数化构造了大小为 $ 17 \times 34 $ 的表示矩阵 $ M $，远小于经典齐次方法所得结果。
• 隐式方程作为 $ M $ 的子矩阵的行列式被恢复，将参数化代入该方程后结果为零，确认了其正确性。
• 参数化生成的理想饱和后得到单位理想，表明基点集为有限集，且经变换后参数化是无基点的。
• Hilbert 函数计算确认选择了正确的次数 $ \nu = 2 $，因为在该次数下，结式模的 Hilbert 函数的交错和为零。
• 最终矩阵 $ M $ 通过从结式生成元中提取系数构造而成，其行列式给出隐式方程，经验证其因式分解正确。
• 在 Macaulay2 中的实现通过仅关注所需的分次部分，高效计算了矩阵表示，避免了完整结式模的计算。