[论文解读] On the equations of the moving curve ideal

Laurent Busé|arXiv (Cornell University)|Jan 1, 2007

Commutative Algebra and Its Applications被引用 1

一句话总结

本文通过参数化方法，为平面上代数曲线 C 上的伴随线性系统提供了显式的行列式公式，并构造了与该参数化相关的 Rees 代数的生成元。核心方法依赖于分析两个在两个变量中构成正则序列的齐次多项式之消去理想，从而为曲线建模与理想理论提供了显式的代数结构。

ABSTRACT

Given a parametrization of a plane algebraic curve C, some explicit adjoint linear systems on C are described in terms of determinants. Moreover, some generators of the Rees algebra associated to this parametrization are presented. The main ingredient developed in this paper is a detailed study of the elimination ideal of two homogeneous polynomials in two homogeneous variables that form a regular sequence.

研究动机与目标

• 通过曲线的参数化推导出其伴随线性系统的行列式表达式。
• 构造与给定平面曲线参数化相关联的 Rees 代数的显式生成元。
• 为两个变量中构成正则序列的两个齐次多项式之消去理想，建立详尽的代数框架。
• 为研究参数化曲线的理想理论与伴随系统，提供显式的代数工具。

提出的方法

• 利用行列式公式，从曲线 C 的参数化表达其伴随线性系统。
• 应用消去理论，计算两个在两个变量中构成正则序列的齐次多项式的消去理想。
• 采用齐次多项式对来建模曲线，并通过结式与行列式推导代数不变量。
• 利用消去理想的结构与参数化数据，推导 Rees 代数的显式生成元。
• 通过分次模技巧分析参数化的结合结构。
• 通过代数消去方法，在参数表示与理想论不变量之间建立桥梁。

实验结果

研究问题

• RQ1 如何利用行列式显式描述参数化平面上曲线的伴随线性系统？
• RQ2 与给定平面曲线参数化相关联的 Rees 代数的结构是怎样的？
• RQ3 两个在两个变量中构成正则序列的齐次多项式的消去理想，如何与曲线参数化相关联？
• RQ4 可以从消去理想中提取哪些显式的代数生成元用于曲线建模？
• RQ5 伴随系统与 Rees 代数生成元是否能统一地从参数化数据中构造得出？

主要发现

• 从曲线的参数化出发，推导出平面上代数曲线伴随线性系统的显式行列式公式。
• 利用消去理想的结构，显式构造了与参数化相关联的 Rees 代数的生成元。
• 完全刻画了两个在两个变量中构成正则序列的齐次多项式的消去理想，其表达形式基于行列式与结合关系。
• 该方法为直接从参数化数据计算伴随系统与 Rees 代数生成元，提供了一致的代数框架。
• 该方法在参数表示与平面上曲线的理想论不变量之间建立了直接联系。
• 结果为仅利用参数化与消去技术，提供了构造性的曲线建模与理想理论方法。