[論文レビュー] Hypersurfaces that are not stably rational

Burt Totaro|arXiv (Cornell University)|Feb 13, 2015

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

ひとこと要約

本稿では、特徴量 2 における特徴量 2 の退化法を用いて、$ \mathbb{P}^{n+1} $ 内の非常に一般な複素超曲面が、$ d \geq 2\lceil(n+2)/3\rceil $ のとき、安定有理でないことを確立している。主な貢献は、以前に知られていた範囲を下回る次数に対しても非安定有理性の結果を拡張したこと、特に四次 4-次元超曲面を含み、有理性が klt 特異点に対しても特殊化しないことを示したことにある。

ABSTRACT

We show that a wide class of hypersurfaces in all dimensions are not stably rational. Namely, for all d at least about 2n/3, a very general complex hypersurface of degree d in P^{n+1} is not stably rational. The statement generalizes Colliot-Thelene and Pirutka's theorem that very general quartic 3-folds are not stably rational. The result covers all the degrees in which Kollar proved that a very general hypersurface is non-rational, and a bit more. For example, very general quartic 4-folds are not stably rational, whereas it was not even known whether these varieties are rational.

研究の動機と目的

• 射影空間内の滑らかな超曲面がどの程度安定有理であるかを特定すること、特に Kollár の非有理性定理がカバーする範囲以下の次数について。
• これまでの境界を越えて、非安定有理性の結果を、特に $ d \geq 2\lceil(n+2)/3\rceil $ の超曲面に対して拡張すること。
• 有理性が klt 特異点に特殊化しないことを示すこと、すなわち一般ファイバーが有理的であってもそうである。
• 算術的退化法を用いて、$ \overline{\mathbb{Q}} $ 上の滑らかな超曲面の明示的例を構成し、$ \mathbb{C} $ 上で安定有理ではないことを示すこと。
• 特に特徴量 2 を用いた正の特徴量における一般化により、Voisin よりも Colliot-Thélène–Pirutka の退化法をより広いクラスの超曲面に一般化すること。

提案手法

• 正の特徴量、特に特徴量 2 において、滑らかな超曲面を特異な多様体に退化させ、安定有理性を研究する。
• ゼロ次元サイクルのチャウ群が普遍的に自明でないならば、多様体は安定有理ではないという基準を適用する。
• 特徴量 2 において、滑らかな次数 $ d $ の超曲面を、次数 $ d/2 $ の超曲面の二重被覆に退化させる。
• Colliot-Thélène と Pirutka の結果を用いて、特別ファイバーの $ H^3 $ に非自明な torsion が存在することを示し、$ CH_0 $ の非普遍的自明性を導く。
• Fulton の定理により、$ CH_0 $ が安定有理同型の下で不変であることを利用し、特別ファイバーからの非自明性を一般ファイバーへと移す。
• ヴェロネーゼ埋め込みを用いて、射影空間をファノ超曲面の錐の退化として実現し、有理的ファミリーが非有理的 klt 多様体に退化する構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 すべての $ n \geq 3 $ および $ d \geq 2\lceil(n+2)/3\rceil $ に対して、$ \mathbb{P}^{n+1} $ 内の非常に一般な次数 $ d $ の複素超曲面は安定有理であるか？
• RQ2 Voisin よりも Colliot-Thélène–Pirutka の退化法は、これまでの範囲より低い次数の超曲面に対しても一般化可能か？
• RQ3 有理性は、射影多様体のファミリーにおいて klt 特異点に特殊化するか？
• RQ4 $ \overline{\mathbb{Q}} $ 上の滑らかな超曲面の明示的例を、$ \mathbb{C} $ 上で安定有理ではないものとして構成可能か？
• RQ5 正の特徴量、特に特徴量 2 は、torsion cohomology を用いた非安定有理性の検出において、どのような役割を果たすか？

主な発見

• すべての $ n \geq 3 $ および $ d \geq 2\lceil(n+2)/3\rceil $ に対して、$ \mathbb{P}^{n+1} $ 内の非常に一般な次数 $ d $ の複素超曲面は安定有理ではない。
• この結果は、以前には安定有理でないことが分かっていなかった四次 4-次元超曲面を含み、Kollár の境界 $ d \geq 2\lceil(n+3)/3\rceil $ を超えて拡張している。
• 偶数の $ d $ に対して、$ \overline{\mathbb{Q}} $ 上で定義された一部の滑らかな超曲面に対しても、$ \mathbb{C} $ 上で非安定有理であることが拡張される。
• 本稿では、$ \mathbb{Q} $ 上に明示的な例を構成し、例えば滑らかな四次 3-次元超曲面の例を提示している。その $ \mathbb{C} $ 上への基底拡張は、$ CH_0 $ が普遍的に自明でないため、安定有理ではない。
• 特徴量 2 における退化法により、特別ファイバーの解体における $ H^3 $ に非自明な torsion が得られ、$ CH_0 $ の非普遍的自明性を示す。
• 系 4.1 は、有理性が klt 特異点に特殊化しないことを示している：$ \mathbb{A}^1 $ 上の $ m $-次元多様体の平坦なファミリーで、$ \mathbb{A}^1 - \{0\} $ 上では有理的で滑らかなファイバーを持つが、$ 0 $ におけるファイバーは非有理的 klt である。