[論文レビュー] Trisecant Flops, their associated K3 surfaces and the rationality of some Fano fourfolds

Francesco G. Russo, Giovanni Staglianò|arXiv (Cornell University)|Sep 3, 2019

Algebraic Geometry and Number Theory参考文献 34被引用数 6

ひとこと要約

本稿は、三重点フロップとそれに関連するK3曲面を用いて、立方四次超曲面の有理型を示すための新しいモーリー理論的枠組みを確立する。$d=42$ におけるクズネツォフの予想を、5つのノードを持つ9次2Genusの曲面と一般の立方四次超曲面内に8次接するねじれ立方曲線の合同を構成することによって解決し、$ olimits\mathcal{C}_{42}$ の除数において、有理型と非最小K3曲面の間の最初の明示的双有理モデルを提供する。

ABSTRACT

We provide a new construction of rationality for cubic fourfolds via Mori's theory and the minimal model program. As an application, we present the solution of the Kuznetsov's conjecture for $d=42$ (the first open case). Our methods also show an explicit connection between the rationality of cubic fourfolds belonging to the first four admissible families $\mathcal C_d$, with $d=14,26,38$, and $42$ and some birational models of minimal K3 surfaces of degree $d$ contained in well known rational Fano fourfolds.

研究の動機と目的

• 立方四次超曲面の有理型を、従来の方法を超えて、新しいモーリー理論的構成を用いて提供すること。
• アドミッタブル族 $\mathcal{C}_d$ 内で最初の未解決ケースである $d=42$ におけるクズネツォフの予想を解決すること。
• 立方四次超曲面の有理型と、次数 $d$ のK3曲面の双有理モデルとの間の幾何的関係を明確にすること。
• 小変形とフロップを用いた既知の有理型構成の双有理的構造を説明すること。
• 有理型写像の基底集合が、最小モデルプログラムの技法を用いて、明示的なK3曲面に対応することを示すこと。

提案手法

• 立方四次超曲面内の $S_d \subset \mathbb{P}^5$ に含まれる曲面への三重点線からの小変形を、モーリー理論と最小モデルプログラムを用いて分析する。
• 例外的曲面 $T'$ の正規バンドルの分解を分析することにより、三重点フロップ $\tau: X' \dasharrow W'$ を構成する。
• 高次元の接線曲線と基底集合の幾何の複雑さを扱うために、コンピュータ支援手法を用いる。
• 有理四次超曲面への双有理写像を定義するために、$S_d$ 上に $(3e-1)$-重点の有理曲線（次数 $e$）の合同の存在に依存する。
• 三重点線の厳密な変換の上での $K_{X'}$ の消滅を用いて、小変形がフロップであることを保証する。
• 幾何的インシデント条件を用いて、逆写像の基底集合と非最小K3曲面（次数 $d$）との対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 $ olimits\mathcal{C}_{42}$ 内の立方四次超曲面の有理型は、双有理幾何とK3曲面対応を用いてどのように確立できるか？
• RQ2 三重点フロップは、立方四次超曲面の有理型写像の基底集合を解消するために果たす役割は何か？
• RQ3 立方四次超曲面から有理四次超曲面への双有理写像は、ハッセット–クズネツォフ枠組みにおける関連K3曲面とどのように関係するか？
• RQ4 既知の有理型構成における逆写像の基底集合は、幾何的にK3曲面として解釈可能か？
• RQ5 一般の立方四次超曲面内に8次接するねじれ立方曲線の合同を支える表面 $S_{42}$ の正確な幾何的構造は何か？

主な発見

• 本稿は、$ olimits\mathcal{C}_{42}$ 内のすべての立方四次超曲面が有理的であることを証明し、クズネツォフの予想の最初の未解決ケースを解決した。
• 一般の立方四次超曲面 $X \subset \mathbb{P}^5$ 内に、5つのノードを持つ9次2Genusの曲面 $S_{42}$ を構成し、8次接するねじれ立方曲線の合同を有することが示された。
• 三重点フロップ構成は、有理的パラメータ空間への逆写像を幾何的に実現する双有理因子分解を提供し、その基底集合は次数42、断面 genus 22 の非最小K3曲面である。
• 本手法により、従来の構成で取り扱いが困難だった基底集合が、明示的なK3曲面に起因することを解明し、以前の手法における曖昧さを解消した。
• 本稿は、$d=14,26,38,42$ における $ olimits\mathcal{C}_d$ の有理型と、有理的ファノ四次超曲面内に埋め込まれたK3曲面の双有理モデルの存在との直接的な関係を確立した。
• 立方四次超曲面 $ olimits\mathcal{C}_{42}$ に付随するK3曲面が、次数25、断面 genus 17 の非最小K3曲面であり、$ olimits\mathbb{P}^{10}$ 内に21個の二次曲面によって誘導される線形系により埋め込まれていることを確認した。