[論文レビュー] Lines, conics, and all that

Ciro Ciliberto, Mikhail Zaidenberg|arXiv (Cornell University)|Oct 24, 2019

Algebraic Geometry and Number Theory参考文献 476被引用数 5

ひとこと要約

このサーベイ論文は、滑らかな射影的超曲面、完全交差、ファノ3次元多様体における直線、二次曲線、有理曲線、および高 genus の曲線をパラメトライズするファノスキームの包括的な概要を提供する。既知の数値的結果を統合し、アーベル・ジャコビ写像とトーレリ型定理を議論し、27本の直線が存在する立方曲面や、立方四次元超曲面に存在する最小次数の3780本の楕円曲線といった重要な数え上げ不変量を強調している。複素数体上の古典的および現代的数え上げ幾何学における文献と未解決問題への実用的ガイドを提供する。

ABSTRACT

This is a survey on the Fano schemes of linear spaces, conics, rational curves, and curves of higher genera in smooth projective hypersurfaces, complete intersections, Fano threefolds, etc.

研究の動機と目的

• 滑らかな射影的超曲面およびファノ3次元多様体上に存在する曲線（直線、二次曲線、有理曲線、および高 genus の曲線）を数える分野における最新の状況をサーベイすること。
• 特にファノ3次元多様体と完全交差に注目し、ファノスキームの数値的結果および構造的性質を要約すること。
• 幾何学とコホロロジー、およびトーレリ型定理を結びつけるために、アーベル・ジャコビ写像およびシリンダーホモモルフィズムの役割を強調すること。
• 特に有理曲線と双曲性に関連して、数え上げ幾何学における文献と未解決問題への実用的ガイドを提供すること。
• 与えられた genus の曲線の数に関する予想および既知の境界を提示すること。これにはクレメンズの予想や、有理曲線の有界次数に関するヴォジンの予想が含まれる。

提案手法

• 論文は、交差理論およびヒルベルトスキームのパラメトライゼーションを用いて、射影的多様体内の曲線のファノスキームを研究する古典的代数幾何学的手法を採用する。
• Gromov–Witten不変量の理論を用いて、ファノ多様体内の固定次数および固定 genus の有理曲線の数を計算する。
• 特にファノ3次元多様体における直線および二次曲線に関して、モジュライ空間およびその成分を用いてファノスキームの幾何を分析する。
• アーベル・ジャコビ写像は、多様体上のサイクルと中間ジャコビアンを結びつけるために用いられ、トーレリ型結果およびシリンダーホモモルフィズムの分析を可能にする。
• 論文は、ファノ3次元多様体のファノ＝イスキスキーク分類などの代数幾何学的結果を活用して、数値的データを整理・解釈する。
• K3曲面理論および双曲性の理論の結果を応用して、与えられた幾何的 genus を持つ曲線の存在性および有限性を研究する。

実験結果

リサーチクエスチョン

• RQ1 ℙ³ 内の滑らかな立方曲面上に存在する直線の数はいくつであり、これらの直線のファノスキームの構造はいかなるものか？
• RQ2 ℙ³ 内の滑らかな四次曲面上に存在する直線の最大数は何か？ どの曲面がこの上限に達するか？
• RQ3 一般のファノ3次元多様体または完全交差上に存在する、与えられた次数および genus の有理曲線はいくつであり、アーベル・ジャコビ写像はこの数え上げにおいて果たす役割は何か？
• RQ4 高次の一般超曲面上の有理曲線の次数は有界であるか？ これは双曲性にどのような含意を持つのか？
• RQ5 ℙ³ 内の非常に一般な次数 d の曲面上に存在する非特異曲線の可能な幾何的 genus は何か？ どの genus が除外されるか？

主な発見

• ℙ³ 内の滑らかな立方曲面には正確に27本の直線が存在する。これはケイリーとサミュエルによって確立された古典的結果である。
• ℙ³ 内の滑らかな四次曲面上に存在する直線の最大数は64本であり、これはF.シュールの四次曲面によって一意的に達成される。
• ℙ³ 内の滑らかな五次曲面上には最大で127本の直線が存在するが、正確な最大値は未だ不明である。
• ℙ³ 内の五次曲面で直線を含むものの集合は、codimension 2 で、次数1990の既約な代数的集合である。
• ℙ⁵ 内の一般の立方四次元超曲面の直線のファノスキームには、固定された一般な j-不変をもつ最小次数の3780本の楕円曲線が含まれる。
• 任意の d ≥ 4 に対して、c(d) が存在し、ℙ³ 内の次数 d の任意の滑らかな曲面は、幾何的 genus g ≥ c(d) をもつ、非特異で、ノードをもつ分岐曲線を含む。