[論文レビュー] Looking for rational curves on cubic hypersurfaces

Janós Kollár, Ulrich Derenthal|ArXiv.org|Oct 29, 2007

Algebraic Geometry and Number Theory参考文献 19被引用数 10

ひとこと要約

本稿は、有限体上の3次超曲面における有理曲線の存在および密度を調査し、q≥8 かつ次元≥2 の滑らかで3次超曲面 X に対して、任意の集合写像 ℙ¹(𝔽_q) → X(𝔽_q) が 𝔽_q 上定義されたモルフィズム ℙ¹→X に拡張可能であることを示している。主な貢献は、変形理論、点数え、および3次曲面上の第3交点構成を用いて、任意の 𝔽_q-点を通る有理曲線の鋭い存在結果を得たことにある。

ABSTRACT

These are the substantially expanded notes of the lectures of JK at the summer school "Higher-Dimensional Geometry over Finite Fields" in Göttingen, June 2007. The first part gives an overview of the methods. The main new result is the construction of rational curves passing through a given collection of points on smooth cubic hypersurfaces over finite fields.

研究の動機と目的

• 有限体上の3次超曲面が、任意の 𝔽_q-点の有限集合を通る有理曲線を含む条件を特定すること。
• 滑らかな3次超曲面が、任意に指定された有限個の有理点を通る「多数の」有理曲線を含むかどうかを調査すること。
• q≥8 のとき、滑らかな3次超曲面 X に対して、任意の集合写像 ℙ¹(𝔽_q) → X(𝔽_q) が 𝔽_q 上のモルフィズム ℙ¹→X に拡張可能である、鋭い存在結果を証明すること。
• 分離的に有理的連結な多様体が有限体上にあり、零次元部分多様体から曲線へのモルフィズムが拡張可能であるという広範な予想に証拠を提供すること。

提案手法

• 有理曲線の変形理論を用いて、所与の点を通る有理曲線の存在を分析する。
• 点数えの議論とHasse-Weilの不等式を適用し、1点を通る直線が 𝔽_q-点で多く交わるような配置が除外されることを示す。
• 3次曲面上の第3交点写像を用いて、2点を通る有理曲線を幾何的再帰的構成により構成する。
• 滑らかな点からの射影の幾何構造を分析し、分離的および非分離的の場合を区別する。
• 線束とコホモロジーの理論を用いて、零次元部分多様体からのセクションを曲線上のグローバルセクションに持ち上げ、モルフィズムの拡張を可能にする。
• Lang-Weil推定と基本群に関するLefschetz型定理を用いて、開部分多様体の位相およびその有理曲線を研究する。

実験結果

リサーチクエスチョン

• RQ1 q≥8 である滑らかな3次超曲面 X over 𝔽_q に対して、ℙ¹(𝔽_q) 上の任意の 𝔽_q-点の有限集合を通る 𝔽_q 上定義された有理曲線が存在するか？
• RQ2 任意の滑らかな射影曲線 C に対して、零次元部分多様体 Z⊂C から滑らかな3次超曲面 X⊂ℙ^{n+1} へのモルフィズムが C→X に拡張可能か？
• RQ3 滑らかな3次超曲面 X が次元≥2 であるとき、任意の写像 ℙ¹(𝔽_q)→X(𝔽_q) が 𝔽_q 上のモルフィズム ℙ¹→X に拡張可能となる最小の q は何か？
• RQ4 3次超曲面の幾何構造、特に1点を通る直線の挙動が、有限体上での有理曲線の存在にどのように影響するか？
• RQ5 第3交点構成は、有限体上での3次曲面上の有理曲線の拡張にどのような役割を果たすか？

主な発見

• n≥2 かつ q≥8 である滑らかな3次超曲面 X⊂ℙ^{n+1} over 𝔽_q に対して、任意の集合写像 ℙ¹(𝔽_q)→X(𝔽_q) が 𝔽_q 上定義されたモルフィズム ℙ¹→X に拡張可能である。
• この結果は、有理曲線が 𝔽_q 上に高々 q+1 個の点しか持たないため、X(𝔽_q) の q+1 個を超える点を通る曲線は存在できないという意味で最適である。
• q が十分に大きい（dim X, C の genus, Z の次数に依存）とき、任意の零次元部分多様体 Z⊂C から滑らかな超曲面 X（次数 ≤n+1）へのモルフィズムが C→X に拡張可能であるという予想は成り立つ。
• 3次超曲面に対しては、q≥8 かつ Z がすべて奇数次元点からなるとき、この予想は成り立つ。
• 1点の場合の問題は、十分に高い次数の線束を用いたコホモロジー的持ち上げにより解決され、H⁰(C,L)↠H⁰(Z,L|_Z) の全射性が保証される。
• 2点の場合の問題は、ℝ 上での位相的障害が示すように、1点の場合よりもはるかに困難であるが、開部分多様体の基本群に関するLefschetz型結果により解決された。