[論文レビュー] Stable rationality of del Pezzo fibrations of low degree over projective spaces

Igor Krylov, Takuzo Okada|ArXiv.org|Jan 29, 2017

Algebraic Geometry and Number Theory参考文献 12被引用数 8

ひとこと要約

本稿は、正標数における特異化技法と零次サイクルのチャウ群を用いて、射影空間上での非常に一般なデル・ペッツォ・ファイブレーション（次数1, 2, 3）の安定非有理型を確立する。このようなファイブレーションが2つの明示的に記述された3次ファイブレーションの族に属さない限り、安定有理型でないことが示され、3次元多様体における安定有理型問題が、立方体3次多様体への双有理同値類の範囲で解決される。

ABSTRACT

The main aim of this article is to show that a very general 3-dimensional del Pezzo fibration of degree 1,2,3 is not stably rational except for a del Pezzo fibration of degree 3 belonging to explicitly described 2 families. Higher dimensional generalizations are also discussed and we prove that a very general del Pezzo fibration of degree 1,2,3 defined over the projective space is not stably rational provided that the anticanonical divisor is not ample.

研究の動機と目的

• 射影空間上での非常に一般なデル・ペッツォ・ファイブレーション（次数1, 2, 3）の安定有理型状態を特定すること。
• 最近の安定有理型に関する進展を、特異化技法を用いて高次元のデル・ペッツォ・ファイブレーションへと拡張すること。
• 安定有理型が成立しうる正確な例外——2つの3次ファイブレーション族——を同定すること。
• P¹上での3次元デル・ペッツォ・ファイブレーションの安定有理型を、立方体3次多様体への双有理同値類の範囲で完全に分類すること。

提案手法

• Colliot-ThélèneとPirutkaの特異化定理を適用し、正標数から特異化して、普遍的にCH₀-自明でない還元を特徴付ける。
• Kollárの技法を用いて、次数1, 2, 3のファイブレーションに対して、標数2または3における普遍的にCH₀-自明でない還元を構成する。
• 零次サイクルのチャウ群CH₀(X)を安定有理型の障害として用いる：Xが普遍的にCH₀-自明でない場合、非安定有理型である。
• 反標準的除因子の正則性条件を分析する：−K_Xが非常に正でない場合、非安定有理型である。
• 問題を、特にP(1,1,2,3)、P(1,1,1,2)、またはP³-バンドル上の多様体に制限する。
• 二重および三重被覆の代数的幾何の結果を適用し、断面の臨界点解析を用いて非退化性条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 P^{n−2}上での非常に一般なデル・ペッツォ・ファイブレーション（次数1, 2, 3）において、安定有理型がどの場合に妨げられるか。
• RQ2 3次元の場合における安定非有理型の正確な例外は何か、そしてなぜそれらが生じるのか。
• RQ3 正標数における還元を通じた特異化法は、高次元のデル・ペッツォ・ファイブレーションにおいて安定有理型の障害を検出可能か。
• RQ4 反標準的除因子の正則性が、これらのファイブレーションの安定有理型にどのように影響するか。
• RQ5 結果が3次元の滑らかなデル・ペッツォ・ファイブレーションをどの程度網羅しており、その制限は何か。

主な発見

• P¹上での非常に一般な3次元デル・ペッツォ・ファイブレーション（次数1, 2, 3）は、2つの明示的に記述された族に属さない限り、安定有理型でない。
• 2つの例外族は以下の通りである：(1) P¹ × P³ 上の双次数(1,3)の超曲面、(2) 平面の滑らかな3次曲線に沿った立方体3次多様体の吹き増し。
• n ≥ 3 に対して、P^{n−2}上での非常に一般なデル・ペッツォ・ファイブレーション（次数1, 2, 3）は、反標準的除因子が非常に正でない場合、安定有理型でない。
• 結果は高次元へ一般化され、P^{n−2}上でのトーリックバンドルに埋め込まれた族をカバーし、非正則性条件が成立する限り、安定非有理型が成立する。
• 本稿は3次元多様体に対して完全な分類を確立する：非常に一般なファイブレーションは、有理型であるか、あるいは非安定有理型であり、有理型となる可能性があるのは2つの例外族のみである。
• 証明は、特定の2または3を法とする還元が普遍的にCH₀-自明でないことを示すことに依拠しており、特異化により特徴的零標数において非安定有理型が示される。