[論文レビュー] Effective reconstruction of curves from their theta hyperplanes

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

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

ひとこと要約

本稿では、一般の種数4曲線をそのシータ超平面から再構成する明示的で単純なアルゴリズムを提示する。これは、種数2および3での古典的な再構成公式に続く拡張であり、種数4では以前にこのようなアルゴリズムが存在しなかった分野を埋めるものである。この手法はシータ特性の幾何学的性質を活用し、種数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.

研究の動機と目的

• 一般の種数4曲線がそのシータ超平面から効果的に再構成可能な公式の欠如を解消すること。
• 種数2（ワイエルシュトラス点）および種数3（平面四次曲線の二重点）の古典的結果を、より高い種数に拡張すること。
• シータ超平面のデータを用いて、種数4における曲線再構成の明示的かつ構成的アルゴリズムを提供すること。

提案手法

• アルゴリズムは、シータ特性の幾何学的性質とそれに関連する超平面を用いて、曲線を再構成する。
• シータ超平面に関連する線型系の分析を通じて、曲線の定義方程式を同定する。
• 一般の種数4曲線において、シータ超平面が有効なシータ特性に対応することに依拠している。
• 代数的技法を用いて、これらの超平面の配置から曲線の方程式を解く。
• 対称関数および基本体上の線形代数を用いた明示的計算によって再構成が行われる。
• アルゴリズムは単純かつ効果的であり、複雑または非構成的な構成を避ける。

実験結果

リサーチクエスチョン

• RQ1 一般の種数4曲線は、明示的アルゴリズムを用いてそのシータ超平面から効果的に再構成可能か？
• RQ2 種数4におけるシータ超平面の幾何的性質は、曲線の定義方程式とどのように関係するか？
• RQ3 種数4におけるシータ超平面によって生成される線型系の構造は何か？ そして、再構成にどのように利用できるか？
• RQ4 種数2および3の再構成手法は、種数4に一般化可能か？
• RQ5 このような再構成が可能となる計算的および代数的条件は何か？

主な発見

• 本稿は、一般の種数4曲線をそのシータ超平面から再構成する、初めての明示的かつ効果的なアルゴリズムを提供する。
• この手法は、種数2および3における古典的再構成技法を、種数4に成功裏に拡張している。
• アルゴリズムは単純かつ構成的であり、曲線の既知の幾何的不変量に依拠している。
• 再構成は、有効なシータ特性に関連する線型系の分析を通じて達成される。
• このアプローチは、シータ超平面の配置が種数4において曲線を一意に決定することを示している。
• 暗黙的または非構成的存在定理に依存することを避け、実用的な計算的手順を提供している。