[論文レビュー] Birational Geometry of 3-fold Mori Fibre Spaces

Gavin Brown, Alessio Corti+1 more|ArXiv.org|Jul 22, 2003

Algebraic Geometry and Number Theory参考文献 24被引用数 38

ひとこと要約

本稿は、3次元モーリー・ファイバー空間の被約的幾何について体系的かつ包括的に研究しており、特にℙ²上の標準的ケイクンバンドルとℙ¹上の安定dP₃ファイブレーションに焦点を当てる。明示的な構成とサルキソフリンクを用いて、変形族の分類、モーリー錐とモバイル・ディバイザーの計算、および被約的剛性の基準を確立する。主な結果は表1および表2、図1に要約されており、これらの空間の地理的性質を理解する基盤を提供する。

ABSTRACT

We study the geography and birational geometry of 3-fold conic bundles over P^2 and cubic del Pezzo fibrations over P^1. We discuss many explicit examples and raise several open questions. This paper was submitted to the proceedings of the "Fano conference" held in Torino in October 2002.

研究の動機と目的

• 標準的ケイクンバンドル（ℙ²上）と安定dP₃ファイブレーション（ℙ¹上）を対象として、厳密な3次元モーリー・ファイバー空間の体系的地理的記述を開始すること。
• これらの多様体の変形族と離散的不変量を分類し、その被約的幾何に関する包括的なガイドブックを構築することを目的とする。
• Mfsの可換性（pliability）を解析することで、被約的剛性を調査し、平方被約的Mfsの集合が唯一の要素しか含まない場合を特定すること。
• 特にランク2の場合のモーリー錐とモバイル錐を研究するための明示的計算ツール（例えば、射影バンドル上の方程式や2レース・ゲームの動き）を開発すること。
• 剛性基準（特にK²条件）を検証・精錬し、剛性と非剛性の境界を探索すること。

提案手法

• 射影バンドル上のランク3ベクトル束への埋め込みを用いて、ℙ²上の標準的ケイクンバンドルを構成し、特に判別曲線が7次である場合の明示的方程式を記述する。
• 有理的スクリューブルℱ(0,a,b,c)上での線形系|3M + nL|のメンバーとしてdP₃ファイブレーションを分析し、安定ファイブレーションをもたらすための不変量a,b,c,nを同定する。
• 2レース・ゲーム技術を用いて、X上のディバイザーのモーリー錐とモバイル錐を計算し、ランク2の場合には両錐とも2次元となる。
• 明示的な被約的変換（フリップ、フロップ、除法的収縮など）を用いてサルキソフリンクを追跡し、しばしば環境スクリューブル上の動きによって誘導される。
• 重み付きブローアップと代入（例：u³x′, u²y′など）を用いて安定性をテストし、条件(∗)の不成立（例：u⁶除法性テストによる失敗）により非剛性ケースを特定する。
• K²条件の適用：3次元MfsがK²がモーリー錐の内部にない場合に剛性を示す。この条件は明示的なサイクル計算により検証される。

実験結果

リサーチクエスチョン

• RQ1 ℙ²上の標準的ケイクンバンドルの変形族はどのようなものがあり、判別曲線の次数と不変量によってどのように明示的にパrametrizeできるか？
• RQ2 有理的スクリューブルℱ(0,a,b,c)上での|3M + nL|の一般メンバーが安定dP₃ファイブレーションをもたらすために必要な・十分なスクリューブル不変量(a,b,c,n)の条件は何か？
• RQ3 3次元モーリー・ファイバー空間が被約的剛性を失うのはいつか？その場合に具体的にどのようなサルキソフリンクが生じるか？
• RQ4 2レース・ゲームとX上のモバイル錐構造は、サルキソフリンクの存在と種類にどのように関係するか？
• RQ5 dP₃ファイブレーションが条件(∗)を満たすか否か、その条件はその可換性と被約的幾何にどのように影響を与えるか？

主な発見

• 判別曲線が7次であるℙ²上のケイクンバンドルに対しては、正確に4つの変形族が存在し、いずれもℙ²上のランク3バンドルにおける方程式によって明示的に構成されている。
• dP₃ファイブレーションX ⊂ ℱ(0,a,b,c)上の2レース・ゲームは、Xが条件(∗)を満たす場合、スクリューブル構造に従い、ゲームが「悪いリンク」で終わる場合にはサルキソフリンクに至る。
• 特定の単項式係数条件を満たす特別なdP₃ファイブレーションX ∈ |3M - 4L| ⊂ ℱ(0,2,2,4)は非剛性であることが示され、ℙ²上のケイクンバンドルへのサルキソフリンクが存在する。
• ファイブレーションX ∈ |3M - 4L| ⊂ ℱ(0,2,2,4)は点(0,1;0,0,0,1)にcD₄特異点を持つが、重み付きブローアップの後、単一のエッカード点を持つℙ²上のdP₃ファイブレーションと平方被約的同型となる。
• リンク列におけるアンティフリップは、3つのℙ(1,3)が一点で交わるlocusとして明示的に記述され、ℙ(1,1,3)における方程式g₃(y,z)=0に対応する。このアンティフリップは表2において(1,1,-1,-1,-3)として表記される。
• 除法的収縮X′ → Y′は極小であり、Y′はアルティノクのcodimension 3ファイノ3次元多様体のリストのNo.6に一致する。これによりリンクの正当性が確認され、このファイノ3次元多様体の新たな実現が得られる。