[論文レビュー] The Fano variety of lines and rationality problem for a cubic hypersurface

Sergey Galkin, Evgeny Shinder|arXiv (Cornell University)|May 20, 2014

Algebraic Geometry and Number Theory参考文献 51被引用数 43

ひとこと要約

この論文は、立方体超曲面 $Y$ とその直線のファノ多様体 $F(Y)$ の間に、グロチェンドッケの多様体環において基本的な関係を確立し、$[Y^{[2]}] = [\mathbb{P}^d][Y] + \mathbb{L}^2[F(Y)]$ を示している。この関係を用いて、有理的である smooth cubic fourfolds に対して、その Fano 多様体が $K3$ 表面の2点のヒルベルトスキームに双有理的であることを証明し、$F(Y)$ の幾何に基づく有理的性の強力な基準を提示している。

ABSTRACT

We find a relation between a cubic hypersurface $Y$ and its Fano variety of lines $F(Y)$ in the Grothendieck ring of varieties. We prove that if the class of an affine line is not a zero-divisor in the Grothendieck ring of varieties, then Fano variety of lines on a smooth rational cubic fourfold is birational to a Hilbert scheme of two points on a K3 surface; in particular, general cubic fourfold is irrational.

研究の動機と目的

• 立方体超曲面 $Y$ とその直線のファノ多様体 $F(Y)$ の間の、多様体環における明確な関係を確立すること。
• この関係を用いて、任意の次元の smooth cubic hypersurfaces における $F(Y)$ のホッジ構造を研究すること。
• 特に4次元の場合に、$F(Y)$ の幾何に基づく、smooth cubic hypersurfaces の有理的性の新しい基準を提供すること。
• smooth cubic fourfold が有理的であるならば、標準的予想のもとで $F(Y)$ が $K3$ 表面の2点のヒルベルトスキームに双有理的であることを示すこと。

提案手法

• 幾何的インシデントおよび直線の交差性質を用いて、多様体環における $Y$-$F(Y)$ 関係 $[Y^{[2]}] = [\mathbb{P}^d][Y] + \mathbb{L}^2[F(Y)]$ を導出する。
• この関係を用いて $F(Y)$ のホッジ構造を計算し、$Y$ のホッジ構造の対称平方に同型であることを示す。
• キャンセル予想および $\mathbb{L}$ がゼロ因子でないという仮定を用いて、$Y$ の有理的性が $F(Y)$ の安定的分解可能性を示唆することを導く。
• 既知の $K3$ 表面およびファノ多様体の結果を応用し、$F(Y)$ が安定的分解可能で $Y$ が有理的であるならば、$F(Y)$ がある $K3$ 表面 $S$ に対して $S^{[2]}$ に双有理的であることを示す。
• ホッジ構造が $\mathcal{H}_Y$、すなわち $Y$ の原始的コホモロジーのホッジ構造の対称冪に分解されることを活用し、その双有理型を分析する。

実験結果

リサーチクエスチョン

• RQ1 smooth cubic hypersurface の直線のファノ多様体は、その有理的性を特定するのに十分な情報を保持しているか？
• RQ2 グロチェンドッケの多様体環を用いることで、$Y$ の幾何と $F(Y)$ の幾何との間に、有理的性の障害を明らかにする関係を確立できるか？
• RQ3 有理的である smooth cubic fourfold の直線のファノ多様体は、$K3$ 表面の2点のヒルベルトスキームに双有理的か？
• RQ4 次元 $d$ の smooth cubic hypersurface $Y$ に対して、$F(Y)$ の正確なホッジ理論的構造は何か？
• RQ5 $Y$ に関連する $K3$ 表面の存在が、$Y$ の有理的性を示唆するのはどのような条件下か？

主な発見

• この論文は、多様体環における明確な関係 $[Y^{[2]}] = [\mathbb{P}^d][Y] + \mathbb{L}^2[F(Y)]$ を確立し、これは2点で $Y$ と交わる直線が、$Y$ に完全に含まれない限り、3番目の交点を定めるという幾何的事実を符号化している。
• smooth cubic $d$-fold に対して、$F(Y)$ のホッジ構造は $Y$ のホッジ構造の対称平方に同型であり、特に $d=4$ の場合に $\mathrm{Sym}^2(\mathcal{H}_Y)$ に一致する。
• smooth cubic threefold に対しては、$F(Y)$ は安定的分解可能でないため、定理7.1により、任意の smooth cubic threefold は有理的でないことが示され、古典的結果を確認する。
• smooth cubic fourfolds に対して、$Y$ が有理的であり、キャンセル予想が成り立つならば、$F(Y)$ はある $K3$ 表面 $S$ に対して $S^{[2]}$ に双有理的であることが示され、有理的性の強力な双有理的基準を提供する。
• cubic fourfold に対して、$F(Y)$ のホッジ構造は、4次元で $\mathrm{Sym}^2(\mathcal{H}_Y) \oplus \mathcal{H}_Y(-1) \oplus \mathbb{Q}(-2)$ に分解され、$h^{2,0} = h^{0,2} = 1$、$h^{1,1} = 20$、$h^{2,2} = 232$ であり、$S^{[2]}$ の既知の構造と一致する。
• この結果により、非常に一般な複素数の cubic fourfolds は無理的であることが示され、それらは関連する $K3$ 表面を持たず、したがって有理的性の導来カテゴリカル基準を満たさないためである。