[论文解读] Implicitization of surfaces in P^3 in the presence of base points

Laurent Busé, David Cox+1 more|ArXiv.org|May 23, 2002

Polynomial and algebraic computation参考文献 19被引用 4

一句话总结

本文将移动二次曲面法推广至 ℙ³ 中具有基点的有理曲面隐式化问题，证明当基点构成局部完备交时，隐式方程可作为参数化理想关系式的结式计算得出。主要贡献是一种无需行列式、基于结式的新型方法，扩展了以往仅在无基点条件下有效的研究成果。

ABSTRACT

We show that the method of moving quadrics for implicitizing surfaces in P^3 applies in certain cases where base points are present. However, if the ideal defined by the parametrization is saturated, then this method rarely applies. Instead, we show that when the base points are a local complete intersection, the implicit equation can be computed as the resultant of the first syzygies.

研究动机与目标

• 将 ℙ³ 中有理曲面的移动二次曲面法推广至存在基点的情形。
• 确定在存在基点时，该方法仍有效的代数条件。
• 解决 [CGZ] 中关于基点存在时移动二次曲面法适用性的开放问题。
• 为几何建模中的隐式化提供格鲁伯基（Gröbner bases）与扰动结式之外的替代方法。
• 证明当参数化理想 I 的次数大于 3 且为饱和理想时，移动二次曲面法失效，从而需要采用其他方法。

提出的方法

• 以理想 I = ⟨x,y,z,w⟩ ⊂ ℂ[s,t,u] 的关系式模为构建移动平面与二次曲面的基础。
• 构造一个矩阵 𝕄，其元素为 I 与 I² 的关系式系数，其行列式在适当条件下即为隐式方程。
• 当 I 为局部完备交时，应用 I 的第一级关系式的结式作为计算隐式方程的方法。
• 利用齐次理想正则性的性质，建立保证结式构造正确的上同调消去条件。
• 利用层上同调与正合列 0 → 𝒪(−1) → 𝒪 → 𝒪ℙ¹ → 0，将 𝒪ℙ²(−1) 的上同调与理想层的上同调联系起来。
• 证明当 I 为 m-正则且满足 m ≥ 2n−2，且 dim(R/I)_m = deg(Z) 时，I 为 m-正则，从而可使用基于关系式的方法进行隐式化。

实验结果

研究问题

• RQ1 移动二次曲面法能否推广至 ℙ³ 中具有基点的有理曲面？
• RQ2 当基点存在时，参数化理想 I 的何种代数条件可保证通过移动二次曲面法计算隐式方程？
• RQ3 当理想 I 为饱和且次数大于 3 时，移动二次曲面法会发生什么情况？
• RQ4 当基点构成局部完备交时，隐式方程能否作为关系式结式恢复？
• RQ5 基点数量如何影响移动二次曲面矩阵的大小与结构？

主要发现

• 当基点构成局部完备交且理想 I 为 m-正则（m ≥ 2n−2）时，移动二次曲面法适用于 ℙ³ 中的曲面。
• 当基点数量不少于参数化次数 n 时，隐式方程可表示为比原始 [CGZ] 方法更小矩阵的行列式。
• 若参数化理想 I 为饱和且次数 >3，则移动二次曲面法失效，如命题 4.1 所示。
• 当 I 为饱和局部完备交时，隐式方程等于关系式模的一组基的结式，其幂次为次数 n。
• 在局部完备交情形下，关系式结式可恢复隐式方程，从而推广了曲线的 μ-基概念。
• 当 m ≥ 2n−2 时，dim(R/I)_m = deg(Z) 是 I 为 m-正则的必要且充分条件，从而确保了结式构造的有效性。