[論文レビュー] On stable rationality of Fano threefolds and del Pezzo fibrations

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|Jan 26, 2016

Algebraic Geometry and Number Theory参考文献 15被引用数 22

ひとこと要約

この論文は、立方三重空間を除き、非常に一般な非有理的でピカール数1のファノ3次元多様体が安定有理でないことを確立する。退化技術と対角の整数的分解を用いて、著者たちは、これらの多様体がコニック bundle やノードを持つ二重被覆に特異化されることで、安定有理性が成立しないことを示している。ヴォイジンの障害法に基づき、高次元のファノ多様体における安定有理性の結果を拡張する。

ABSTRACT

We prove that very general non-rational Fano threefolds which are not birational to cubic threefolds are not stably rational.

研究の動機と目的

• ピカール数1の非常に一般な非有理的ファノ3次元多様体（立方三重空間を除く）の安定有理性の状態を特定すること。
• ヴォイジンの障害法（対角の整数的分解に基づくもの）を、コニック bundle やノードを持つ二重被覆に退化させることで、ファノ3次元多様体へと拡張すること。
• 幾何的退化とモノドロミーの考察を用いて、ファノ3次元多様体の族全体における安定有理性の研究を統一的かつ簡素化すること。
• 特に、2つまたは3つのノードを持つP³上の2重被覆、およびP¹×P¹×P¹上の(2,2,2)型の分岐超曲面を持つ2重被覆を含む、特定の不変量を有するファノ3次元多様体が安定有理でないことを確立すること。
• ピカール数がより高いファノ3次元多様体において、コニック bundle 構造とブレア群の障害が安定有理性を妨げる役割を果たす仕組みを明確にすること。

提案手法

• 安定有理性の必要条件として、ヴォイジンの対角の整数的分解の技法を用いる。
• ファノ3次元多様体を、特異な判別集合を持つ有理的表面上のコニック bundle に特異化することで、退化の議論を適用する。
• ブレア群の理論とエタール被覆を用いて、底面の関数体に非自明な要素を検出する。
• 判別曲線における2階捩れ除集合へのモノドロミー作用を分析し、安定有理性に不適合な非一般的振る舞いを検出する。
• P³にノードを持つ四次曲面を持つ多様体と、P¹×P¹×P¹に(2,2,2)型のK3曲面を持つ多様体との間の双有理写像を用いて、異なる族間の退化を関連付ける。
• Voi15における、最大7個のノードを持つ四次被覆の結果を応用し、対角分解が成立しないことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 ピカール数1の非常に一般なファノ3次元多様体のどの族が、立方三重空間を除き安定有理でないか？
• RQ2 ファノ3次元多様体がコニック bundle やノードを持つ被覆に退化する場合、対角の整数的分解が存在するか？
• RQ3 判別曲線における2階捩れ除集合へのモノドロミー作用が、安定有理性の障害に果たす役割は何か？
• RQ4 P³内のノードを持つ二重被覆とP¹×P¹×P¹内の(2,2,2)型被覆との間の双有理同型は、有理性の障害を移すのに利用できるか？
• RQ5 ピカール数がより高いファノ3次元多様体にコニック bundle 構造がある場合、安定有理性の障害としての役割はどの程度か？

主な発見

• ピカール数1で、不変量(1,2,52)、(1,4,30)、(1,6,20)、(1,8,14)、(1,10,10)、(1,14,5)、(2,8,21)、(2,16,10)、(2,24,5)を有する非常に一般なファノ3次元多様体は、安定有理でない（立方三重空間を除く可能性があるが、例外を除く）。
• 2つのノードを持つ非常に一般な四次曲面を分岐超曲面とするP³上の2重被覆は、安定有理でない。これは、アンチカノニカル分岐除集合を持つフラッグ多様体F(1,2)への2重被覆に特異化されることに起因する。
• 3つのノードを持つ非常に一般な四次曲面を分岐超曲面とするP³上の2重被覆は、P¹×P¹×P¹上の(2,2,2)型のノードを持つK3曲面を分岐超曲面とする2重被覆と双有理同値である。
• P¹×P¹×P¹上の(2,2,2)型超曲面を分岐超曲面とする非常に一般な2重被覆は、対角の整数的分解をもたないため、安定有理でない。
• 3つのノードを持つ四次被覆の退化は、P¹×P¹×P¹上の中の(2,2,2)型被覆にまで保存され、安定有理性の障害が維持される。
• これらのファノ3次元多様体の安定有理性の失敗は、最大7個のノードを持つ被覆に適用可能なヴォイジンの障害定理により確立される。