[論文レビュー] Birational Geometry of Rationally Connected Manifolds via Quasi-lines

Paltin Ionescu|ArXiv.org|Feb 8, 2005

Algebraic Geometry and Number Theory参考文献 11被引用数 9

ひとこと要約

本稿は、射影空間内の直線の正規束と同型なものを備えた準線（quasi-lines）を用いて、有理的連結多様体の双有理幾何の枠組みを構築する。準線に沿った形式的完成と正則性条件を導入することで、モデルが $ℝ^n$ と直線の双有理同値であるための基準を確立し、有理的であるための新しい特徴付けと、次数 $≥ 4$ のデル・ペッツォ多様体の有理的であることの証明を提示する。主な貢献は、局所的不変量とグローバルな双有理構造との間の形式的同値定理である。

ABSTRACT

This is, mostly, a survey of results about the birational geometry of rationally connected manifolds, using rational curves analogous to lines in ${\mathbb P}^n$ ({\it quasi-lines}). Various characterizations of a Zariski neighbourhood of a line in ${\mathbb P}^n$ are obtained, some of them being new. Also, methods of formal geometry are applied for deducing results of birational nature.

研究の動機と目的

• 有理的連結多様体の双有理分類枠組みを、$ℝ^n$ 内の直線の類似物としての準線を用いて構築すること。
• 形式幾何と形式的完成 $X_{/Y}$ の不変量を用いて、モデル $(X,Y)$ が $(ℝ^n, \text{直線})$ と双有理同値である条件を特徴付けること。
• 準線が正則である場合に限り、二つのモデルの形式的同値性がそれらの双有理同値性を示す条件を確立すること。
• 準線技術を用いて、次数 $≥ 4$ のデル・ペッツォ多様体の有理的であることの、新しいかつ単純な証明を提供すること。
• 既存の結果を、モデルと準線に関して精緻化し、変形の新しい特徴付けと有限性性質を含むこと。

提案手法

• 本稿は、有理的連結多様体 $X$ とその準線 $Y$ における形式的完成 $X_{/Y}$ を形式的幾何を用いて研究し、Hironaka や Hartshorne の形式的スキームに関する結果を活用する。
• 準線 $Y$ に関連する「局所数」$e(X,Y)$ を導入し、これは正規束の次数を測る不変量であり、形式的同値性に関して不変である。
• 主要な技術として、線束を $Y$ から $X_{/Y}$ に持ち上げるための切断された指数系列の使用があり、これによりグローバル・セクションのコhomオロジー的制御が可能になる。
• 準線の正則性は、$ω̄e(X,Y) = e(X,Y)$ の等式によって定義され、これにより局所的不変量とグローバル不変量の整合性が保証される。
• Hilbert 時間の理論を用いて、二つの一般点を通る曲線の数え上げを行い、これにより有理的であることを検出する。
• モデル間の同値関係 $∼$ を導入し、$(X,Y) \sim (X',Y')$ とは、$Y$ を $Y'$ に写すザリスキー近傍の同型が存在することを意味する。これにより、双有理問題をモデル分類問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 有理的連結多様体のモデル $(X,Y)$ がいつ $(ℝ^n, \text{直線})$ と双有理同値であるか？
• RQ2 形式的完成 $X_{/Y}$ の形式的不変量は、$X$ のグローバルな双有理不変量とどのように関係するか？
• RQ3 どのような条件下で、二つのモデルの形式的同値性がそれらの双有理同値性を示すか？
• RQ4 次数 $≥ 4$ のデル・ペッツォ多様体の有理的であることは、準線幾何を用いて確立可能か？
• RQ5 準線の正則性条件は、形式的同値性が双有理同値性を示す際に果たす役割は何か？

主な発見

• モデル $(X,Y)$ が $(ℝ^n, \text{直線})$ と双有理同値であるための必要十分条件は、$X_{/Y}$ 上に $\deg L|_Y = 1$ かつ $h^0(X_{/Y}, L) \geq n+1$ を満たす線束 $L$ が存在し、$Y$ が正則であることである。
• 正則な準線を備えた二つのモデル $(X,Y)$ と $(X',Y')$ が形式的同値であるならば、それらは双有理同値である。すなわち、$X_{/Y} \simeq X'_{/Y'}$ ならば $(X,Y) \sim (X',Y')$ である。
• 形式的完成 $X_{/Y}$ が $ℝ^n_{/\text{直線}}$ と同型であるための必要十分条件は、$X_{/Y}$ 上に $\deg L|_Y = 1$ かつ $h^0(X_{/Y}, L) = n+1$ を満たす線束 $L$ が存在することであり、これは標準的モデルの新しい特徴付けを提供する。
• 次数 $≥ 4$ のデル・ペッツォ多様体の有理的であることは、準線を通じた有理的性の上昇を用いた単純な証明により確立される。
• 一般の円錐を備えた滑らかなファノ3次元多様体 $X, X' \subset ℝ^{d+1}$（$d = 3,4,5$）とその一般の準線 $Y, Y'$ に対して、$X_{/Y} \simeq X'_{/Y'}$ ならば、$\varphi(Y) = Y'$ を満たす同型 $\varphi: X \to X'$ が存在する。
• 形式的完成 $ℝ^n_{/\text{直線}}$ は、$L$ を $X_{/Y}$ 上に持ち、$\deg L|_Y = 1$ かつ $h^0(X_{/Y}, L) = n+1$ を満たす線束 $L$ の存在によって一意に特徴付けられる。これにより、モデル $(ℝ^n, \text{直線})$ の新しいグローバルな記述が得られる。