[論文レビュー] Rational cubic fourfolds in Hassett divisors

Song Yang, Xun Yu|arXiv (Cornell University)|May 6, 2019

Algebraic Geometry and Number Theory参考文献 17被引用数 4

ひとこと要約

この論文は、滑らかな三次的四次元多様体のモジュライ空間におけるハセット除集合 $ \mathcal{C}_d $ が、有理的三次的四次元多様体をパラメトライズする3つの余次元2の部分多様体の和集合を含むことを証明している。ラティス理論的ホッジ理論とハセット除集合間の交線的議論を用いて、既知の有理的除集合 $ \mathcal{C}_{14} $, $ \mathcal{C}_{26} $, および $ \mathcal{C}_{38} $ との交わりが、このような部分多様体を生じることを示し、各 $ \mathcal{C}_d $ 内の高余次元部分に有理的性が保たれることを確認した。これは、特別な除集合における三次的四次元多様体の有理的性に関するクズネツォフの予想を支持する。

ABSTRACT

We prove that every Hassett's Noether-Lefschetz divisor of special cubic fourfolds contains a union of three codimension-two subvarieties, parametrizing rational cubic fourfolds, in the moduli space of smooth cubic fourfolds.

研究の動機と目的

• 滑らかな三次的四次元多様体のモジュライ空間におけるすべてのハセット除集合 $ \mathcal{C}_d $ 内に有理的三次的四次元多様体が存在するかを調査すること。
• 各 $ \mathcal{C}_d $ の内部に高余次元の部分に有理的三次的四次元多様体が存在するかを、既知の有理的除集合との交わりを用いて特定すること。
• 有理的性が孤立した除集合に限られないが、各 $ \mathcal{C}_d $ 内の部分多様体の和集合に現れることを示すことにより、クズネツォフの導来カテゴリカル予想に対する証拠を提供すること。
• 任意のハセット除集合 $ \mathcal{C}_d $ が、既知の3つの有理的除集合 $ \mathcal{C}_{14} $, $ \mathcal{C}_{26} $, および $ \mathcal{C}_{38} $ と交わることで、非空で余次元2の有理的四次元多様体の部分多様体が得られることを確立すること。

提案手法

• 著者たちは、三次的四次元多様体のコホロロジーと交線形式を分析するため、ホッジ理論的およびラティス理論的技術を用いる。特に、$ H^4(X,\mathbb{Z}) $ の飽和部分格子に注目する。
• 彼らはハセットの分類に基づき、判別式 $ d $ を用いた特別な三次的四次元多様体の分類を適用する。ここで $ \mathcal{C}_d $ が非空であるのは $ d>6 $, $ d\equiv 0,2\pmod{6} $, および追加の原始性条件を満たす場合に限る。
• 主な手法は、$ h^2 $ を含み、追加のクラス $ \nu $, $ \alpha_1 $, $ \alpha_2 $ を持つ、$ H^4(X,\mathbb{Z}) $ 内に飽和されたランク4の部分格子 $ M $ を構成することである。交線形式は正定値である。
• 彼らは、正定値二次形式の正の性質と、補題2.4および命題2.3の適用により、構成された格子 $ M $ がモジュライ空間内に非空で余次元3の部分多様体を定義することを検証する。
• 証明は、$ d_1 $ および $ d_2 $ の形（すなわち $ 6n $, $ 6n+2 $）による場合分けに基づき、適切な格子 $ M $ および部分格子 $ K_{14} $, $ K_{d_1} $, $ K_{d_2} $ を構成し、$ \mathcal{C}_M \subset \mathcal{C}_{14} \cap \mathcal{C}_{d_1} \cap \mathcal{C}_{d_2} $ を示す。
• この構成は、三次的四次元多様体に関連する格子の飽和埋め込みの存在に依存しており、これにより対応するモジュライ部分集合が非空であり、期待される余次元を持つことが保証される。

実験結果

リサーチクエスチョン

• RQ1 すべてのハセット除集合 $ \mathcal{C}_d $ は、既知の有理的除集合を超えて、有理的三次的四次元多様体をパラメトライズする部分多様体を含むか？
• RQ2 一般の $ \mathcal{C}_d $ が、有理的除集合 $ \mathcal{C}_{14} $, $ \mathcal{C}_{26} $, および $ \mathcal{C}_{38} $ と交わることで、非空で正の余次元を持つ有理的四次元多様体の部分集合が得られるか？
• RQ3 ラティス理論的手法を用いて、各 $ \mathcal{C}_d $ 内の高余次元部分に有理的三次的四次元多様体を体系的に構成する方法はあるか？
• RQ4 交線 $ \mathcal{C}_d \cap \mathcal{C}_{14} \cap \mathcal{C}_{26} \cap \mathcal{C}_{38} $ の構造は何か？ そして、そこには有理的四次元多様体が含まれるか？

主な発見

• すべてのハセット除集合 $ \mathcal{C}_d $ は、有理的三次的四次元多様体をパラメトライズする3つの異なる余次元2の部分多様体の和集合を含む。
• これらの部分多様体は、それぞれ $ \mathcal{C}_d \cap \mathcal{C}_{14} $, $ \mathcal{C}_d \cap \mathcal{C}_{26} $, および $ \mathcal{C}_d \cap \mathcal{C}_{38} $ として得られ、各交わりは非空で余次元2の有理的四次元多様体の部分多様体を含む。
• このような部分多様体の存在は、$ h^2 \in M $ で、適切な追加クラスを持つ、飽和的かつ正定値のランク4の部分格子 $ M $ の構成により確立される。
• 証明により、任意の許容条件を満たす $ d $ に対して、交線 $ \mathcal{C}_d \cap \mathcal{C}_{14} \cap \mathcal{C}_{26} \cap \mathcal{C}_{38} $ が、有理的三次的四次元多様体をパラメトライズする余次元3の部分多様体を含むことが確認された。
• 著者たちはアディングトン＝トーマスの結果を一般化し、任意の $ d_1, d_2 $ が条件 $ (\star) $ を満たす場合、三重交線 $ \mathcal{C}_{14} \cap \mathcal{C}_{d_1} \cap \mathcal{C}_{d_2} $ が、有理的四次元多様体をパラメトライズする余次元3の部分多様体を含むことを示した。
• この結果はクズネツォフの予想を支持する：有理的三次的四次元多様体は、孤立した場合に限らず、各 $ \mathcal{C}_d $ 内に多数存在する。