[論文レビュー] (Stable) rationality is not deformation invariant

Claire Voisin|arXiv (Cornell University)|Nov 11, 2015

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

ひとこと要約

本稿は、一般のファイバーが安定有理的でない（したがって有理的でもない）が、特定の特殊ファイバーは有理的であるような、滑らかで射影的な4次元多様体の族を構成する。この結果により、安定有理的性は変形不変ではないことが示され、代数幾何学における長年の予想に反する。

ABSTRACT

We prove the existence of a family $\mathcal{X} ightarrow B$ of smooth projective fourfolds, such that the very general fiber $\mathcal{X}_t$ is not stably rational (a fortiori not rational), but some special fibers $\mathcal{X}_t$ are rational (a fortiori stably rational).

研究の動機と目的

• 代数多様体の族における変形のもとで安定有理的性が保存されるかを調査すること。
• 変形における有理的性の振る舞いに関して、ビリラティオン幾何学における中心的未解決問題を解決すること。
• ファイバー間で有理的性のタイプが変化する明示的な例を構成すること。

提案手法

• 滑らかで射影的な4次元多様体の族 $\mathcal{X} \to B$ を、基底スキーム $B$ 上で平坦に構成すること。
• 特に、van Geemen–Szpiroの基準とチャウ群内の非自明な torsion の存在に注目して、安定有理的性を検出するための幾何学的およびコホロロジー的不変量を用いること。
• 特殊化技術と退化の議論を用いて、族における有理的性の性質の振る舞いを分析すること。
• 対称性や有理的パラメトライゼーションを活用して、有理的性が成り立つ特定のファイバーを同定すること。
• 普遍チャトーイレット表面および対角の分解の利用を含む、安定有理的性の理論からの結果を適用すること。
• 有理的性は安定有理的を含むが、逆は成り立たないことを利用して、ファイバーのタイプを区別すること。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的な多様体の族において、安定有理的性は変形のもとで保存されるか？
• RQ2 4次元多様体の族に、安定有理的でないファイバーと安定有理的でないファイバーの両方を含めることは可能か？
• RQ3 族に有理的ファイバーが存在する場合、一般ファイバーもまた安定有理的であると結論づけられるか？
• RQ4 4次元多様体において、安定有理的性の失敗を検出できる不変量は何か？
• RQ5 ファイバー間で有理的性のタイプが変化する明示的な族を構成することは可能か？

主な発見

• 本稿は、一般ファイバーが安定有理的でない滑らかで射影的な4次元多様体の族 $\mathcal{X} \to B$ を構成する。
• この族の一部の特殊ファイバーは有理的であり、したがって特に安定有理的である。
• このような族の存在により、安定有理的性が変形不変でないことが証明される。
• 一般ファイバーが安定有理的でないのは、チャウ群内の非自明な torsion があるか、対角の分解に失敗するためである。
• この結果により、有理的性の性質が、同じ変形類に属する族の中でも変化しうることが示された。
• これは、滑らかで射影的な多様体の族において安定有理的性が変形不変であるという予想に対する反例を提供する。