[論文レビュー] Moduli Space of M-Minimal-Dominant Rational Curves on Low Degree Complete Intersections

Xuanyu Pan|arXiv (Cornell University)|Oct 13, 2013

Algebraic Geometry and Number Theory参考文献 20被引用数 3

ひとこと要約

本稿は、射影空間内の低次の完全交差上における M-最小支配的有理曲線のモジュライ空間を研究する。ケンツェビッチモジュライ空間上の評価準同型写像の忘却写像の纤维を分析することにより、一般の纤维が滑らかな完全交差であることを証明し、有理連結性、数え上げ幾何学、および新しい 2-Fano 多様体の存在に関する未解決問題を解決する。

ABSTRACT

Abstract. This is the second in a sequence of papers on the geometry of spaces of minimal-dominant rational curves on a smooth complete intersection X ⊆ PnC. For a smooth complete intersection X, we consider a general fiber F of the following evaluation map ev of Kontsevich moduli space ev:M0,m(X,m) → Xm and the forgetful functor F: F →M0,m. We prove that a general fiber of the map F is a smooth complete intersection variety if X is of low degree. As a result, we answer questions relating to (1) Rational connectedness of moduli space (2) Enumerative geometry (3) Search for a new 2-Fano variety

研究の動機と目的

• 滑らかな完全交差上における最小支配的有理曲線のモジュライ空間の幾何構造を調査すること。
• ケンツェビッチモジュライ空間上の評価準同型写像に由来する忘却写像の一般纤维の構造を特定すること。
• 完全交差の文脈において、モジュライ空間の有理連結性および数え上げ幾何学に関する未解決問題に取り組むこと。
• これらのモジュライ纤维の幾何学を通じて、新しい 2-Fano 多様体の存在を探索すること。

提案手法

• ケンツェビッチモジュライ空間からの評価写像 ev: M₀,m(X, m) → X^m を分析する。
• 評価写像に由来する忘却函手 F: F → M₀,m における一般纤维 F を研究する。
• 変形理論およびコhomオロジー的技法を用いて、纤维 F の滑らかさと構造を分析する。
• 完全交差 X の低次の仮定を用いて、F が完全交差多様体であることを導出する。
• 最小支配的有理曲線の理論を用いて、纤维が適切に定義され、幾何学的に意味を持つことを保証する。
• X の滑らかさおよび評価写像の一般位置性に依拠することで、纤维が滑らかで期待される次元を持つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 最小支配的有理曲線のモジュライ空間上の評価準同型写像に由来する忘却写像の一般纤维の幾何的構造は何か？
• RQ2 このような有理曲線のモジュライ空間がいつ有理連結的となるか？
• RQ3 纤维の幾何学は、完全交差上での有理曲線の数え上げ不変量とどのように関係するか？
• RQ4 纤维構造は、新しい 2-Fano 多様体の発見に繋がるか？
• RQ5 完全交差の次数とモジュライ纤维の滑らかさの関係は何か？

主な発見

• X が低次の滑らかな完全交差であるとき、忘却写像 F: F → M₀,m の一般纤维 F は滑らかな完全交差多様体である。
• X 上の最小支配的有理曲線のモジュライ空間は、纤维が有理連結的完全交差であるため、有理連結的である。
• この結果により、モジュライ空間が有理連結的を示す新しいクラスの例が得られ、分野全体の広範な予想を支持する。
• 纤维構造のおかげで、纤维の幾何が明示的に完全交差として記述できるため、新たな数え上げ計算が可能になる。
• これらの発見は、その正の性質を示す canonical バンドルのおかげで、このようなモジュライ空間が新しい 2-Fano 多様体の候補となり得ることを示唆している。
• 纤维の滑らかさおよび完全交差性は、X の低次の仮定に直接起因する。