[论文解读] Effective reconstruction of curves from their theta hyperplanes

David Lehavi|arXiv (Cornell University)|Jan 8, 2010

Algebraic Geometry and Number Theory参考文献 6被引用 1

一句话总结

本文提出了一种显式且简单的算法，用于从其theta超平面重构任意亏格4曲线，将仅适用于亏格2和3的经典重构公式扩展至更高亏格。该方法利用theta特征的几何性质，提供了一种此前在亏格4中不存在的构造性解决方案。

ABSTRACT

Effective reconstruction formulas of a curve from its theta hyperplanes are known classically in genus 2 (where the theta hyperplanes are Weierstrass points), and 3 (where, for a generic curve, the theta hyperplanes are bitangents to a plane quartic). However, for higher genera, no formula or algorithm are known. In this paper we give an explicit (and simple) algorithm for computing a generic genus 4 curve from it's theta hyperplanes.

研究动机与目标

• 解决从其theta超平面有效重构通用亏格4曲线的公式缺失问题。
• 将亏格2（Weierstrass点）和亏格3（平面四次曲线的双切线）的经典结果推广至更高亏格。
• 提供一种使用theta超平面数据在亏格4中进行曲线重构的构造性且显式算法。

提出的方法

• 该算法利用theta特征及其相关超平面的几何性质来重构曲线。
• 通过分析与theta超平面相关的线性系统，识别曲线的定义方程。
• 该方法依赖于这样一个事实：对于通用亏格4曲线，theta超平面对应于有效theta特征。
• 应用代数技术，从这些超平面的配置求解曲线的方程。
• 通过在基域上使用对称函数和线性代数进行显式计算来完成重构。
• 该算法设计简洁且高效，避免了复杂或隐含的构造。

实验结果

研究问题

• RQ1 能否使用显式算法有效重构从其theta超平面出发的通用亏格4曲线？
• RQ2 亏格4中theta超平面的几何性质如何与曲线的定义方程相关联？
• RQ3 由theta超平面生成的线性系统在亏格4中的结构是什么？如何用于重构？
• RQ4 亏格2和3的重构方法能否推广至亏格4？
• RQ5 此类重构在何种计算与代数条件下是可能的？

主要发现

• 本文首次提供了从其theta超平面重构通用亏格4曲线的显式且有效的算法。
• 该方法成功地将亏格2和3的经典重构技术推广至亏格4。
• 该算法简洁且具有构造性，依赖于曲线上已知的几何不变量。
• 通过分析与有效theta特征相关的线性系统实现重构。
• 该方法表明，theta超平面的配置在亏格4中唯一确定了曲线。
• 该解决方案避免依赖隐含或非构造性存在定理，提供了一条实用的计算路径。