[論文レビュー] Divisors in the moduli space of Debarre-Voisin varieties

Vladimiro Benedetti, Jieao Song|arXiv (Cornell University)|Jun 12, 2021

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

ひとこと要約

本稿は、10次元空間 V₁₀ の三重外積形式 σ ∈ ⋀³V₁₀∨ に関連する3つの退化局所 X₃^σ, X₆^σ, X₁^σ の整数コホロジー間のホッジ等長写像を確立し、それらが同一の整数ホッジ構造を持つことを証明する。3つのヘーゲナー除集合における幾何的構成を通じて、σ が D₂₄ 除集合上にあるとき、X₆^σ が次数6のK3表面のねじれされた層のモジュライ空間に同型であることを示し、X₃^σ および X₁^σ に対してすべての次数で整数ホッジ予想が成り立つことを証明する。

ABSTRACT

Let $V_{10}$ be a 10-dimensional complex vector space and let $σ\in\bigwedge^3V_{10}^\vee$ be a non-zero alternating 3-form. One can define several associated degeneracy loci: the Debarre-Voisin variety $X_6^σ\subset\mathrm{Gr}(6,V_{10})$, the Peskine variety $X_1^σ\subset\mathbf{P}(V_{10})$, and the hyperplane section $X_3^σ\subset \mathrm{Gr}(3,V_{10})$. Their interest stems from the fact that the Debarre-Voisin varieties form a locally complete family of projective hyperkähler fourfolds of $\mathrm{K3}^{[2]}$-type. We prove that when smooth, the varieties $X_6^σ$, $X_1^σ$, and $X_3^σ$ share one same integral Hodge structure, and that $X_1^σ$ and $X_3^σ$ both satisfy the integral Hodge conjecture in all degrees. This is obtained as a consequence of a detailed analysis of the geometry of these varieties along three divisors in the moduli space. On one of the divisors, an associated K3 surface $S$ of degree 6 can be constructed geometrically and the Debarre-Voisin fourfold is shown to be isomorphic to a moduli space of twisted sheaves on $S$, in analogy with the case of cubic fourfolds containing a plane.

研究の動機と目的

• 三重外積形式 σ ∈ ⋀³V₁₀∨ に関連する3つの退化局所 X₃^σ, X₆^σ, X₁^σ の整数コホロジー間のホッジ等長写像を確立すること。
• X₃^σ および X₁^σ に対して、K3^[2]-型のハイパーケーラー多様体における1次サイクルに関する既知の結果を用いて、すべての次数で整数ホッジ予想が成り立つことを証明すること。
• Debarre–Voisin多様体のモジュライ空間内における3つの特定のヘーゲナー除集合（D₂₂, D₂₄, D₂₈）に沿った幾何的構造を分析し、代数的対応を構成すること。
• D₂₄ 除集合上では、Debarre–Voisin4次元多様体 X₆^σ が次数6のK3表面のねじれ層のモジュライ空間に同型であることを示し、立方体4次元多様体の場合と類似した構造を持つこと。
• D₂₄ 除集合上での σ から、次数6のK3表面 S を幾何的に構成し、関連する標準的バンドルが行列式条件を満たすことを検証すること。

提案手法

• 退化局所間の代数的対応（X₃^σ と X₆^σ 間、X₆^σ と X₁^σ 間）を用いて、詳細な退化局所の解析を通じてホッジ等長写像を確立する。
• 3つの退化局所—X₃^σ（Gr(3,V₁₀) の超平面切断）、X₆^σ（Debarre–Voisin4次元多様体）、X₁^σ（Peskine多様体）—の幾何的性質を、モジュライ空間内の3つのヘーゲナー除集合に沿って分析する。
• 極付きハイパーケーラー多様体の周期写像およびトーリー定理を用いて、Debarre–Voisin多様体のモジュライ空間 M²₂ を周期領域 P と関連付ける。
• Macaulay2 と Schubert2 パッケージを用いて、P(⋀³V₁₀∨) 内の SL(V₁₀)-不変除集合の交点数、チャーン類、次数を計算する。
• D₂₄ 除集合上での σ から、フラッグバンドル構成および切断のゼロ集合を用いて、次数6のK3表面 S を幾何的に構成する。
• S 上の標準的バンドルが det(𝒰₄/₁∨) ≅ 𝒪_S(3) および det(𝒰₈/₄) ≅ 𝒪_S(2) を満たすことを検証し、表面が次数6であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 三重外積形式 σ ∈ ⋀³V₁₀∨ に関連する退化局所 X₃^σ, X₆^σ, X₁^σ は、同一の整数ホッジ構造を持つのか？
• RQ2 X₆^σ とのコホロロジー的関係を踏まえ、X₃^σ および X₁^σ に対してすべての次数で整数ホッジ予想が成り立つか？
• RQ3 Debarre–Voisin多様体のモジュライ空間内の特別な除集合上での σ から、次数6のK3表面 S を幾何的に構成できるか？
• RQ4 σ が D₂₄ 除集合上にあるとき、Debarre–Voisin4次元多様体 X₆^σ は次数6のK3表面 S のねじれ層のモジュライ空間に同型になるか？
• RQ5 特に D₂₄ 除集合上での X₆^σ 及びその部分多様体における主要バンドルの交点数およびチャーン類は何か？

主な発見

• 本稿は、代数的対応を用いて、X₆^σ の原始的第二コホロジー（負のベーリューヴ＝ボゴモロフ形式を有する）と、X₃^σ および X₁^σ の消滅コホロジーの間のホッジ等長写像を確立する。
• D₂₄ 除集合上では、Debarre–Voisin4次元多様体 X₆^σ が次数6のK3表面 S のねじれ層のモジュライ空間に同型であり、その同型写像は円錐バンドル構造から誘導される。
• ホッジ等長写像および K3^[2]-型ハイパーケーラー多様体における Mongardi–Ottem の1次サイクルに関する結果を踏まえ、X₃^σ および X₁^σ に対してすべての次数で整数ホッジ予想が成り立つ。
• X₃^σ に含まれる Gr(2,7) の自己交点数は、2つの正規系列を用いた正規バンドルの最高チャーン類の計算により 2 に求められる。
• D₂₄ 除集合上での交点行列は基底 ⟨H+D, D⟩ において (24, -2) に対角化され、H+D の類がK3表面上の円錐バンドルの収縮に対応することが確認される。
• Macaulay2 の計算により、K3表面 S 上の標準的バンドルが det(𝒰₄/₁∨) ≅ 𝒪_S(3) および det(𝒰₈/₄) ≅ 𝒪_S(2) を満たすことが検証され、表面が次数6であることが裏付けられる。