[論文レビュー] Explicit rationality of some cubic fourfolds

Francesco G. Russo, Giovanni Staglianò|arXiv (Cornell University)|Nov 8, 2018

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

ひとこと要約

本稿は、一般の立方四次超曲面 $\mathcal{C}_{14}$, $\mathcal{C}_{26}$, $\mathcal{C}_{38}$ から $\mathbb{P}^4$ への明示的な双有理写像を、特定の曲面 $S_d$ に沿った二重特異点を持つ5次超曲面の線型系を用いて構成する。これらの写像は、5-secant 円錐曲線に関する幾何的制約を通じて双有理的であることが示され、先行研究における抽象的な有理性結果の具体実現を提供する。

ABSTRACT

Recent results of Hassett, Kuznetsov and others pointed out countably many divisors $C_d$ in the open subset of $\mathbb{P}^{55}=\mathbb{P}(H^0(\mathcal{O}_{\mathbb{P}^5}(3)))$ parametrizing all cubic 4-folds and lead to the conjecture that the cubics corresponding to these divisors should be precisely the rational ones. Rationality has been proved by Fano for the first divisor $C_{14}$ and in [arXiv:1707.00999] for the divisors $C_{26}$ and $C_{38}$. In this note we describe explicit birational maps from a general cubic fourfold in $C_{14}$, in $C_{26}$ and in $C_{38}$ to $\mathbb{P}^4$, providing concrete geometric realizations of the more abstract constructions in [arXiv:1707.00999].

研究の動機と目的

• 一般の立方四次超曲面 $\mathcal{C}_{14}$, $\mathcal{C}_{26}$, $\mathcal{C}_{38}$ から $\mathbb{P}^4$ への明示的な幾何的構成を提供し、抽象的な有理性証明を補完する。
• Fanoの古典的有理化法を、曲面 $S_d$ に沿った指定された特異点を持つ超曲面の線型系を用いて実現する。
• これらの立方四次超曲面の有理性が、特定の不変量を持つ曲面 $S_d$ に対する5-secant 円錐曲線の包絡構造に起因することを確認する。
• Macaulay2 を用いた計算的検証と明示的なパラメータ表示を提供し、逆写像と基底集合の記述を含む。

提案手法

• 有限体上の多項式写像を用い、$d=38$ の場合に $\mathbb{P}^5$ 内の次数10、断面 genus 6 の曲面 $S_d$ をパラメトライズする有理写像 $f: \mathbb{P}^2 \dashrightarrow \mathbb{P}^5$ を構成する。$d=26$ の場合、次数8の曲面を対応させる。
• Macaulay2 を用いて射影次数とファイバー次元を計算し、$S_d$ に沿った二重特異点を持つ5次超曲面の線型系により、有理写像 $\psi: \mathbb{P}^5 \dashrightarrow \mathbb{P}^4$ を定義する。
• $\psi$ が一般ファイバーの次元が1、次数が2であり、基底集合の次元が3、次数が6であることを確認し、$S_d$ に対する5-secant 円錐曲線を収縮することを裏付ける。
• $S_d$ を含む一般の立方四次超曲面 $X$ への $\psi$ の制限を調べ、射影次数 $\{3, 15, 27, 9, 1\}$ を用いて $\mathbb{P}^4$ への双有理写像であることを示す。
• ノードを持つスクロール曲面 $T \subset \mathbb{P}^5$ に沿った三重特異点を持つ8次超曲面の線型系を用い、有理写像 $\eta: \mathbb{P}^5 \dashrightarrow Z \subset \mathbb{P}^{10}$ を構成する。ここで $Z$ は $\mathbb{G}(1,5)$ の4次元線形断面である。
• $\eta|_X$ の逆写像が次数5の形式により定義され、像が滑らかな立方四次超曲面であり、定義域が $\mathbb{P}^{10}$ 内の次数14の4次元多様体であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 一般の立方四次超曲面 $\mathcal{C}_{14}$, $\mathcal{C}_{26}$, $\mathcal{C}_{38}$ の抽象的な有理性は、$\mathbb{P}^4$ への明示的な双有理写像により実現可能か？
• RQ2 曲面 $S_d \subset \mathbb{P}^5$ に沿った二重特異点を持つ5次超曲面の線型系を、$S_d$ を含む立方四次超曲面に制限した場合、双有理写像を誘導するか？
• RQ3 $S_d$ に沿った二重特異点を持つ5次超曲面の線型系で定義される写像 $\psi: \mathbb{P}^5 \dashrightarrow \mathbb{P}^4$ のファイバーは $S_d$ に対する5-secant 円錐曲線であり、これが立方四次超曲面での双有理性を保証するか？
• RQ4 $\psi$ の基底集合を幾何的に記述可能か？また、立方四次超曲面 $X$ の構造と関係があるか？
• RQ5 制限写像 $\psi|_X$ の像の次数と構造は何か？また、逆写像の次数は何か？

主な発見

• 5次超曲面の二重特異点が $S_{38}$ に沿うように定義される有理写像 $\psi: \mathbb{P}^5 \dashrightarrow \mathbb{P}^4$ の、一般の $\mathcal{C}_{38}$ 内の立方四次超曲面 $X$ への制限は、$\mathbb{P}^4$ への双有理写像であり、射影次数 $\{3, 15, 27, 9, 1\}$ を持つ。
• $\psi|_X$ の逆写像は次数5の形式により定義され、定義域は $\mathbb{P}^{10}$ 内の次数14の4次元多様体であり、15個の二次形式によって切り出される。
• $\psi$ の基底集合は次元3、次数6であり、ファイバーは $S_{38}$ に対する非特異な5-secant 円錐曲線である。これにより包絡構造が確認される。
• $d=38$ の場合、ノードを持つスクロール曲面 $T$ に沿った三重特異点を持つ8次超曲面の線型系により定義される写像 $\eta: \mathbb{P}^5 \dashrightarrow Z \subset \mathbb{P}^{10}$ は、$X$ への制限で $\mathbb{G}(1,5)$ の4次元線形断面への双有理写像を与える。
• $\eta$ の像 $Z$ は $\mathbb{P}^{10}$ 内の次数14の4次元多様体であり、逆写像は次数5の形式により定義される。
• Macaulay2 パッケージ 'ExplicitRationality' は、すべての6つの写像の明示的構成を提供し、$S_d$ のパラメータ表示、写像 $\psi$ およびそれらを $X$ に制限したものの計算的検証を含む。