[論文レビュー] Some Loci of Rational Cubic Fourfolds

Michele Bolognesi, Francesco Russo+1 more|arXiv (Cornell University)|Apr 22, 2015

Algebraic Geometry and Number Theory参考文献 12被引用数 7

ひとこと要約

この論文は、すべての滑らかな立方四次超曲面が、四次有理正規スクリューである一重の顕在的二重点を持つ表面（OADP 表面）を含むことにより、モジュライ空間内の除数 $ \mathcal{C}_{14} $ に属するすべての滑らかな立方四次超曲面が有理的であることを証明している。著者らは、Fano（1943）の古典的結果を現代的再解釈し、このようなスクリューに消失する二次曲面から定まる有理写像に関する理論を用い、このような表面の存在が有理的であることの帰結を示した。これにより、$ \mathcal{C}_{14} $ 全体の有理的が確立され、Pfaffian でない例も含む。

ABSTRACT

In this paper we investigate the divisor $\\mathcal C_{14}$ inside the moduli space of smooth cubic hypersurfaces in $\\mathbb P^5$, whose generic element is a smooth cubic containing a smooth quartic scroll. Using the fact that all degenerations of quartic scrolls in $\\mathbb P^5$ contained in a smooth cubic hypersurface are surfaces with one apparent double point, we conclude that every cubic hypersurface belonging to $\\mathcal C_{14}$ is rational. As an application of our results and of the construction of some explicit examples contained in the Appendix, we also prove that the Pfaffian locus is not open in $\\mathcal C_{14}$.

研究の動機と目的

• 滑らかな立方四次超曲面が滑らかな四次有理正規スクリューを含むことによってパラメトライズされる除数 $ \mathcal{C}_{14} $ に属するすべての滑らかな立方四次超曲面の有理的を確立すること。
• Fano（1943）が有理正規スクリューに消失する二次曲面から定まる有理写像に関する古典的結果を、現代的で詳細な記述で再構成すること。
• 立方四次超曲面に一重の顕在的二重点を持つ表面（OADP 表面）が存在することは、その超曲面の有理的を示すことの根拠となることの証明。
• $ \mathcal{C}_{14} $ 内で Pfaffian の集合が開でないことを示し、この除数の構造に関する重要な疑問を解決すること。
• Macaulay2 を用いた計算を通じて、滑らかな四次有理正規スクリューと二つの交わらない平面を含む、$ \mathcal{C}_{14} $ に属する有理的立方四次超曲面の具体的な例を構成すること。

提案手法

• $ \mathcal{C}_{14} $ のホッジ的特徴付けを用い、整数係数コホモロジー類 $ T \in \mathrm{H}^{2,2}(X,\mathbb{Z}) $ で $ T^2 = 10 $ かつ $ T \cdot h^2 = 4 $ を満たすものと、一重の顕在的二重点を持つ四次表面を結びつける。
• $ \mathbb{P}^5 $ に埋め込まれた滑らかな四次有理正規スクリューに消失する二次曲面の線型系から定まる有理写像を分析し、その写像を、スクリューを含む立方四次超曲面に制限する。
• Fano の古典的結果（立方四次超曲面から $ \mathbb{P}^4 $ への有理写像の幾何学的性質）を、現代代数幾何学の言語に再定式化する。
• $ \mathcal{C}_{14} $ に属する立方四次超曲面における四次有理正規スクリューの Hilbert 構造を研究し、滑らかな立方四次超曲面におけるこのようなスクリューのすべての退化は、一重の顕在的二重点を持つ表面であることを示す。
• Macaulay2 を用いて、滑らかな四次有理正規スクリューと二つの交わらない平面を含む $ \mathcal{C}_{14} $ に属する立方四次超曲面の具体的な例を構成し、イデアル計算により幾何的性質を検証する。
• 有理的写像の構成（特に $ \mathbb{P}^4 $ から立方四次超曲面への写像）を、セグレ三様体と立方超曲面の残余交差が滑らかな有理正規スクリューとなるように、有理写像の構成を用い、有理的を確認する。

実験結果

リサーチクエスチョン

• RQ1 除数 $ \mathcal{C}_{14} $ に属するすべての滑らかな立方四次超曲面は有理的構造を持つのか？ もしそうならば、その保証となる幾何的条件は何か？
• RQ2 一般の $ \mathcal{C}_{14} $ のメンバーの有理的が、一重の顕在的二重点を持つ表面の存在という幾何的不変量によって、すべてのメンバーに拡張可能か？
• RQ3 Pfaffian の集合は $ \mathcal{C}_{14} $ 内で開集合か？ それとも、この除数内に Pfaffian でない有理的立方四次超曲面が存在するか？
• RQ4 立方四次超曲面における一重の顕在的二重点を持つ四次表面の正確なホッジ的特徴付けは何か？
• RQ5 滑らかな四次有理正規スクリューと二つの交わらない平面を含む、$ \mathcal{C}_{14} $ に属する立方四次超曲面の具体的な例を構成可能か？

主な発見

• $ \mathcal{C}_{14} $ に属するすべての滑らかな立方四次超曲面が有理的であることが示され、一般メンバーの既知の有理的が、この除数全体に拡張された。
• 滑らかな立方四次超曲面において、$ T^2 = 10 $ かつ $ T \cdot h^2 = 4 $ を満たすすべての類 $ T \in \mathrm{H}^{2,2}(X,\mathbb{Z}) $ は、（可能であれば可約な）一重の顕在的二重点を持つ四次表面によって表される。
• Pfaffian の集合が $ \mathcal{C}_{14} $ 内で開でないことが示され、この除数内に Pfaffian でない有理的立方四次超曲面が存在することが確認された。
• 滑らかな四次有理正規スクリューと二つの交わらない平面を含む、$ \mathcal{C}_{14} $ に属する立方四次超曲面の具体的な例が構成され、セグレ三様体と立方超曲面の残余交差が滑らかな有理正規スクリューとなることが示された。
• Macaulay2 の計算により、$ \mathbb{P}^4 $ から立方四次超曲面 $ V(F) $ への有理写像が有理的であることが確認され、多様体の具体的な有理的パラメトライゼーションが得られた。