[论文解读] Rational transformations of algebraic curves and elimination theory

Alexander Shapiro, Victor Vinnikov|ArXiv.org|Jul 12, 2005

Algebraic Geometry and Number Theory参考文献 8被引用 7

一句话总结

该论文通过引入广义结式矩阵和行列式表示，将经典消去理论扩展至平面上代数曲线的有理变换。该方法提供了计算平面代数曲线在有理映射下像的显式方法，并利用不变量理论和曲线特定的范德蒙德型向量的结构化线性代数，确定了在该曲线上两个二元多项式公共零点的个数。

ABSTRACT

Elimination theory has many applications, in particular, it describes explicitly an image of a complex line under rational transformation and determines the number of common zeroes of two polynomials in one variable. We generalize classical elimination theory and create elimination theory along an algebraic curve using the notion of determinantal representation of algebraic curve. This new theory allows to describe explicitly an image of a plane algebraic curve under rational transformation and to determine the number of common zeroes of two polynomials in two variables on a plane algebraic curve.

研究动机与目标

• 将经典消去理论从此前仅限于单变量或平面上有理曲线的情形，推广至二元多项式和平面上的代数曲线。
• 通过行列式表示，显式描述平面代数曲线在有理变换下的像。
• 确定给定代数曲线上两个二元多项式（计入重数）的公共零点个数。
• 基于广义结式矩阵和曲线自适应的范德蒙德向量，建立该推广消去理论的框架。

提出的方法

• 作者使用赫米特矩阵对不可约平面代数曲线进行行列式表示，将曲线定义为 det(D₀ + x₁D₁ + x₂D₂) 的零点集。
• 他们引入了一类针对曲线的范德蒙德向量的广义化形式，该形式通过在曲线上每一点处固定矩阵束的核中一个向量构造而成。
• 广义结式矩阵定义在这些向量的子空间上，且与所考虑多项式公共零点对应的向量正交。
• 该方法将广义结式矩阵限制在垂直于公共基点处范德蒙德向量的主子空间上，以确保在有理变换下保持不变性。
• 通过引入包含受限广义结式矩阵的新行列式表示，计算曲线在有理映射下的像。
• 该理论被应用于有理映射的复合，证明了基于相同底层代数结构的两种不同图像构造方法是等价的。

实验结果

研究问题

• RQ1 如何将适用于单变量的经典消去理论推广至二元多项式和平面上的代数曲线？
• RQ2 平面代数曲线在有理变换下的像的显式代数描述是什么？
• RQ3 如何在给定代数曲线上计算两个二元多项式（计入重数）的公共零点个数？
• RQ4 行列式表示和广义结式矩阵在实现此类计算中起到什么作用？
• RQ5 在有理映射复合下，不同图像构造方法在此框架下是否等价？

主要发现

• 平面代数曲线在有理变换下的像由包含受限广义结式矩阵的行列式表示给出：det(x₀B̄(p₁,p₂) + x₁B̄(p₂,p₀) + x₂B̄(p₀,p₁))。
• 通过受限广义结式矩阵在曲线关联向量空间上的秩和结构，可计算两个二元多项式在曲线上公共零点的个数。
• 该构造在相同曲线的等价行列式表示下保持不变，确保了图像描述的一致性。
• 对于有理映射的复合，两种不同方式计算复合映射的图像，均得到等价的行列式表示。
• 该框架可自然推广至高维空间和 d 元算子组，核心思想在结构上保持不变。