[论文解读] Conchoidal transform of two curves

Alberto Albano, Margherita Roggero|arXiv (Cornell University)|May 20, 2009

Advanced Numerical Analysis Techniques参考文献 1被引用 1

一句话总结

本文将经典的等角线构造从单条曲线与固定圆推广至射影平面上的任意一对曲线，运用结式与关联对应等代数几何工具。证明了典型等角线是不可约的，推导出其次数与亏格，并在经典情形下提供了不可约性判别准则与曲线重构方法。

ABSTRACT

The conchoid of a plane curve C is constructed using a fixed circle B in the affine plane. We generalize the classical definition so that we obtain a conchoid from any pair of curves B and C in the projective plane. We present two definitions, one purely algebraic through resultants and a more geometric one using an incidence correspondence in P 2 × P 2. We prove, among other things, that the generic conchoid is irreducible, we determine its singularities and give a formula for its degree and genus. In the final section we return to the classical case: for all curves C we give a criterion for its conchoid to be irreducible and we give a procedure to determine when a curve is the conchoid of another. 1

研究动机与目标

• 将经典的等角线构造——最初定义为固定圆与平面曲线之间的关系——推广至射影平面上的任意一对曲线。
• 提供广义等角线的两种等价定义：一种通过结式实现的代数定义，另一种通过 P² × P² 中的关联对应实现的几何定义。
• 确定等角线的代数不变量，包括其次数、亏格以及不可约性条件。
• 通过建立不可约性判别准则与确定曲线是否为另一条曲线的等角线的程序，恢复经典等角线情形。

提出的方法

• 通过 P² × P² 中的关联对应定义广义等角线，通过与 B 的交点建模点到 C 上点的固定距离的几何轨迹。
• 利用结式消去参数，代数化地表述等角线，推导出等角线曲线的隐式方程。
• 运用代数几何技术分析等角线的奇点，包括局部环分析与重数计算。
• 通过证明定义多项式在函数域的代数闭包上不可约，证明典型等角线是不可约的。
• 推导出以 B 与 C 的次数表示的等角线次数的一般公式，并利用普吕克公式计算其亏格。
• 将一般理论应用于经典情形，给出明确的不可约性判别准则，并建立判断给定曲线是否为另一条曲线的等角线的程序。

实验结果

研究问题

• RQ1 在一般射影设定下，两个曲线的等角线在何种条件下是不可约的？
• RQ2 如何根据生成曲线 B 与 C 的次数与几何性质计算等角线的次数与亏格？
• RQ3 当通过 P² × P² 中的关联对应定义时，等角线的精确代数与几何时结构是什么？
• RQ4 在经典等角线设定下，判断曲线 C 的等角线是否不可约的判别准则是什么？
• RQ5 是否存在一种算法程序，可判断给定曲线是否为另一条曲线的等角线？

主要发现

• 在曲线处于一般位置的前提下，由射影平面上的两条曲线构造出的典型等角线是不可约的。
• 推导出以生成曲线 B 与 C 的次数及其交点行为表示的等角线次数公式。
• 利用普吕克公式计算等角线的亏格，同时对由构造过程产生的奇点进行校正。
• 明确描述了等角线的奇点，并证明其源于 B 与 C 的基点及切线相交。
• 在经典情形下，基于曲线 C 与固定圆 B 的次数与交点性质，给出了等角线不可约性的判别准则。
• 建立了一种程序，用于判断给定曲线是否为另一条曲线的等角线，该程序基于代数不变量与几何约束。