[論文レビュー] Non-rationality of a three-dimensional Fano variety of index 2 and degree 1

Михаил Михайлович Гриненко|ArXiv.org|Apr 22, 2003

Algebraic Geometry and Number Theory被引用数 7

ひとこと要約

本稿は、インデックス2、次数1の滑らかな3次元ファノ3fold（ヴェロネーゼ面の二重コーンとして知られる）が非有理的であり、2つのモーリー・ファイバー空間構造（自身と、ℙ¹へのデル・ペッツォ面の次数1のファイブレーションの2次元族）しか持たないことを証明する。証明は最大特異性法と重み付き爆破を用いて、超最大特異性を除外し、被約同型自己同型群が同型自己同型群と一致すること、および任意の円柱バンドル構造が存在しないことを確立する。

ABSTRACT

We describe the set of Mori structures for a Fano 3-fold of index 2 and degree 1 (the double cone over the Veronese surface). In partiular, it is proved that such a Fano variety is not rational, the group of birational automorphisms coincides with the group of biregular automorphisms, and there are no structures of conic bundle.

研究の動機と目的

• 滑らかなインデックス2、次数1の3次元多様体Uに双有理同型なすべてのモーリー・ファイバー空間構造を分類すること。
• Uが有理的でないことを示すため、円柱バンドル構造および超最大特異性の存在を除外すること。
• Uの被約同型自己同型群が、その自己同型群と一致することを示し、非自明な被約同型自己写像が存在しないことを示すこと。
• モーリー構造の完全な集合を特定することで、このタイプのファノ3foldの被約同型分類を完成させること。

提案手法

• U上の線形系の特異性に注目し、曲線および点に中心を持つ特異性を分析する最大特異性法を適用する。
• 2≤N≤5の型(1,1,N)の重み付き爆破を用い、族P内のノードおよびカスプ曲線上の特異性を分析する。
• 族Pに属する曲線C ∈ Pに沿った爆破U_C → Uを研究し、U_C → ℙ¹へのデル・ペッツォ面の次数1のファイブレーションを誘導する。
• 爆破U_C上の線形系の厳密変換を分析し、特異点上での超最大特異性の除外を図る。
• サルキソフ計画と被約同型関係を用いて、Uと他のモーリー・ファイブレーションを比較する。
• カワカイトの結果および先行研究を活用し、乖離度および特異性の解析を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなインデックス2、次数1のファノ3foldに双有理同型なすべての可能なモーリー・ファイバー空間構造は何か？
• RQ2 この3foldは円柱バンドル構造をもつことができるか、それとも非有理的であるか？
• RQ3 U上の線形系に超最大特異性が存在するか。もしあるなら、それらは除外可能か？
• RQ4 Uの被約同型自己同型群は、その自己同型群と一致するか？
• RQ5 Uのモーリー圏における被約同型モデルの完全な集合は何か？

主な発見

• Uに双有理同型な唯一のモーリー・ファイバー空間構造は、U自身と、C ∈ Pに対しU_C → ℙ¹を満たす2次元族のファイブレーションである。
• Uは非有理的であり、ℙ³への双有理写像も、円柱バンドル構造も持たない。
• 被約同型自己同型群Bir(U)は自己同型群Aut(U)に同型であり、位数2の有限群である。
• 固定成分を持たないU上のすべての線形系は、P内の曲線の特異点を含む点に対しても、超最大特異性をもたない。
• 曲線C ∈ Pに沿った爆破U_C → Uは、デル・ペッツォ面の次数1のモーリー・ファイバー空間を導出し、この族を超える追加の被約同型モデルは存在しない。
• モーリー構造の分類は完全である：MS(U)はちょうど2つの類からなる——Uと、U_C → ℙ¹ファイブレーションの族である。