[論文レビュー] On covering and quasi-unsplit families of rational curves

Bonavero, L., Casagrande, C.+1 more|ArXiv.org|Apr 4, 2005

Algebraic Geometry and Number Theory参考文献 6被引用数 13

ひとこと要約

この論文は、次元が4以下の通常でQ-因子的である射影的多様体において、すべての被覆的かつ準不分離な有理曲線の族が、モアリ錐内の幾何的極小端を生成することを確立している。著者らは、このような族が極小収縮を定義することを証明し、やや穏当な特異性またはトーリック条件の下で、モアリ理論を用いて幾何的商を生じさせることを示し、準不分離族の極小性に関する重要な問いを解決した。

ABSTRACT

We study extremality properties of covering families of rational curves on projective varieties. Among others, we show that on a normal and Q-factorial projective variety of dimension at most 4, every covering and quasi-unsplit family of rational curves generates a geometric extremal ray of the Mori cone.

研究の動機と目的

• Q-因子的射影的多様体上の被覆的かつ準不分離な有理曲線族が、モアリ錐内に幾何的極小端を生成するかどうかを特定すること。
• このような族に対する幾何的商の存在性と構造を調査すること。
• 族に付随するモアリ収縮が幾何的商である条件を確立すること。
• 標準的特異点をもつ多様体およびトーリック多様体への既知の極小端に関する結果の拡張。
• 準不分離性と被覆性が、低次元およびトーリック設定において極小性を意味するかどうかという問いを解決すること。

提案手法

• 有理曲線の被覆族とそれらに付随する同値関係を、$X \dasharrow Y$ という有理写像を介して扱う理論を用いる。
• キャンパナの $V$-同値類理論を用い、任意の被覆族 $V$ に対して有理写像を関連付ける。
• 一般 $V$-同値類の次元 $f_V$ を、ファイバーのcodimensionを制御するための主要な不変量として用いる。
• モアリ錐 $\overline{\rm NE}(X)$ と幾何的極小端の概念を用いて、極小性を分析する。
• ファンと原始生成子を用いたトーリック幾何の技法を適用し、トーリックの場合の結果を証明する。
• 次元に関する帰納法と不変除環への射影を用い、幾何的商の存在に必要な組合せ的条件（4）を検証する。

実験結果

リサーチクエスチョン

• RQ1 次元 $\leq 4$ のQ-因子的射影的多様体上の被覆的かつ準不分離な有理曲線族は、すべてモアリ錐内に幾何的極小端を生成するか？
• RQ2 このような族に付随するモアリ収縮が幾何的商を生じる条件は何か？
• RQ3 トーリック設定において、準不分離族に対して幾何的商の存在を保証できるか？
• RQ4 $V$-同値類の次元は、射 $\mathbb{R}_{\geq 0}[V]$ の極小性を保証するのに十分な不変量か？
• RQ5 数的類 $[V]$ と、曲線を $V$ に収縮する平坦かつ$G$-不変な準同型 $q^\prime: X \to Y^\prime$ の存在との関係は何か？

主な発見

• 任意の次元 $n \leq 4$ の通常でQ-因子的である射影的多様体 $X$ に対して、すべての被覆的かつ準不分離な有理曲線族 $V$ は、$\overline{\rm NE}(X)$ 内に幾何的極小端を生成する。
• $f_V$ を一般 $V$-同値類の次元とするとき、$f_V \geq n-3$ ならば、$\mathbb{R}_{\geq 0}[V]$ は幾何的極小端である。
• $X$ が標準的特異点をもち、$f_V \geq n-3$ ならば、モアリ収縮 $\mathrm{cont}_{[V]}: X \to Y^\prime$ は $V$ の幾何的商であり、$f_V \geq n-2$ ならば、等次元的である。
• トーリックの場合、任意の被覆的かつ準不分離な族 $V$ は幾何的極小端を生成し、モアリ収縮 $\mathrm{cont}_{[V]}$ は幾何的商である。
• 幾何的商の存在は、$X$ のファンに関する組合せ的条件と同値であり、次元に関する帰納法と不変除環への射影により確認される。
• 直線で被覆される多様体 $X$ に対して、$X$ がトーリックまたは標準的特異点をもち、$\dim X \leq 4$ ならば、すべての $V$ 内の直線を収縮する準同型 $q^\prime: X \to Y^\prime$ が存在し、$\rho_{Y^\prime} = \rho_X - 1$ である。