[論文レビュー] Rational fibered cubic fourfolds

Hanine Awada|arXiv (Cornell University)|Oct 22, 2019

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

ひとこと要約

本稿は、モジュライ空間 $χ_{18}$ および $χ_8$ 内の、デル ペッツォまたは二次曲面にファイバーするが有理的セクションをもたない新しい有理的立方体四次超曲面の例を構成する。これにより、有理的セクションが有理的性に必要でないことが示される。特別な立方体四次超曲面の除集合の交線を分析し、関連するブラウアー類を計算することで、非自明なブラウアー不変量を持つが有理的である明示的な立方体超曲面を提示し、ファイバー構成において有理的セクションの必要性を疑問視する。

ABSTRACT

Some classes of cubic fourfolds are birational to fibrations over $P^2$, where the fibers are rational surfaces. This is the case for cubics containing a plane (resp. an elliptic ruled surface), where the fibers are quadric surfaces (resp. del Pezzo sextic surfaces). It is known that the rationality of these cubic hypersurfaces is related to the rationality of these surfaces over the function field of $P^2$ and to the existence of rational (multi)sections of the fibrations. We study, in the moduli space of cubic fourfolds, the intersection of the divisor $C_{8}$ (resp. $C_{18}$) with $C_{14}$, $C_{26}$ and $C_{38}$, whose elements are known to be rational cubic fourfolds. We provide descriptions of the irreducible components of these intersections and give new explicit examples of rational cubics fibered in (quartic, quintic) del Pezzo surfaces or in quadric surfaces over $P^2$. We also investigate the existence of rational sections for these fibrations. Under some mild assumptions on the singularities of the fibers, these properties can be translated in terms of Brauer classes on certain surfaces.

研究の動機と目的

• ファイバー化された立方体四次超曲面の有理的性において、有理的セクションが必要かどうかを調査すること。
• 関連するファイバー構造に有理的セクションをもたない、$χ_{18}$ および $χ_8$ 内の明示的な有理的立方体四次超曲面の構成。
• ファイバー化された立方体四次超曲面の有理的性を決定するブラウアー類の役割の分析。
• 交線 $χ_{18} \cap \u03c7_{14}$, $χ_{18} \cap \u03c7_{26}$, $χ_{18} \cap \u03c7_{38}$, および $χ_8 \cap \u03c7_{26}$, $χ_8 \cap \u03c7_{38}$ の既約成分の完全な記述の提供。
• 非自明なブラウアー類がファイバー化された立方体四次超曲面において有理的性と共存しうることの証明。

提案手法

• 本稿は、特別な除集合 $χ_d$ 上の交線論を用いて、立方体四次超曲面のモジュライ空間における codimension 2 サイクルを研究する。
• Macaulay2 を用いて、非自明なブラウアークラスをもつ $χ_{18} \cap \u03c7_{14}$ および $χ_8 \cap \u03c7_{38}$ 内の立方体四次超曲面の明示的方程式を構成する。
• 関連するファイバー構造の幾何学的性質を分析する：$×mathbb{P}^2$ 上の六次デル ペッツォファイバーと、$×mathbb{P}^2$ 上の二次曲面ファイバー。
• $×mathcal{H}(0,3)$ および $×mathcal{H}(0,2)$ の相対ヒルベルトスキームに対して、それぞれブラウアー類 $b_2 \in Br(S)$ および $b_3 \in Br(Z)$ を計算し、マルチセクションの存在を検出する。
• 既存の文献における結果を用いて、ブラウアー類の自明性と有理的セクションまたはマルチセクションの存在を関連付ける。
• 分岐曲線の横断性および滑らかさのチェックにより、ファイバー構造が適切に振る舞うことを確認することで、ファイバー構造が「良い」ことを検証する。

実験結果

リサーチクエスチョン

• RQ1 デル ペッツォまたは二次曲面にファイバーする立方体四次超曲面の有理的性において、有理的セクションの存在が必要かどうか。
• RQ2 関連するファイバー構造に非自明なブラウアークラスをもつ有理的立方体四次超曲面が存在しうるか。
• RQ3 $χ_{18} \cap \u03c7_{14}$, $χ_{18} \cap \u03c7_{26}$, $χ_{18} \cap \u03c7_{38}$, および $χ_8 \cap \u03c7_{26}$, $χ_8 \cap \u03c7_{38}$ の交線における既約成分の構造は何か。
• RQ4 非自明なブラウアー不変量をもつこれらの交線内での立方体四次超曲面をどのように明示的に構成できるか。
• RQ5 分岐曲線の幾何的意味とその滑らかさが、ファイバー構造が「良い」ことを保証する上で果たす役割は何か。

主な発見

• 本稿は、良好な六次デル ペッツォファイバー構造と非自明なブラウアー類 $b_3$ をもつ $χ_{18} \cap \u03c7_{14}$ 内の有理的立方体四次超曲面を構成し、有理的セクションが有理的性に必要でないことを証明する。
• $χ_{18} \cap \u03c7_{14}$ には次元 19 の既約成分が含まれており、関連するファイバー構造は良好である。$B_I$ は滑らかな六次曲線であり、$B_{II}$ は 9 個の尖点を持つ次数 6 の曲線であり、これらは 36 点で横断的に交わる。
• $χ_8 \cap \u03c7_{38}$ 内に平面と次数 10 の曲面 $S_{38}$ を含む有理的立方体四次超曲面 $Y$ を構成し、分岐曲線 $D$ が滑らかな六次曲線であることを確認することで、ファイバー構造が良好であることを裏付ける。
• $Y$ の関連する二次曲面バンドルには、次数 2 の K3 曲面 $S$ 上の非自明なブラウアー類 $\beta \in Br(S)$ が存在し、有理的セクションがなくても有理的であることを示す。
• $χ_8 \cap \u03c7_{38}$ 内の例は $\tau = 2$ でインデックス付けされており、ブラウアー類 $\beta$ は非自明であり、有理的セクションの不在を確認する。
• 有理数体上の有限体 $\mathbb{F}_{1637}$ に係数をもつ $\mathbb{P}^5$ 内の立方体四次超曲面 $Y$ および分岐曲線 $D$ の明示的方程式が提供されている。