[論文レビュー] On the unirationality of 3-fold conic bundles

Massimiliano Mella|arXiv (Cornell University)|Mar 27, 2014

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

ひとこと要約

本稿は、判別曲線に対する交点数が有界である、有理曲線の基点自由なペンキルが存在する底面に、3次元のコニックバンドルの非有理有理的化の十分条件を幾何的基準により確立する。主な結果は、底面がヒルツェブル面上または低次数あるいは特異な判別曲線を持つ射影平面の場合、全空間が非有理的だが有理的であることを示し、無限に多くの非有理的だが有理的である3次元多様体が得られることを示す。

ABSTRACT

A variety is unirational if it is dominated by a rational variety. A variety is rationally connected if two general points can be joined by a rational curve. This paper aims to show that the two notions can cooperate and, building on Graber-Harris-Starr celebrated result, it presents a unirationality statement for 3-fold conic bundles with "bounded" discriminant.

研究の動機と目的

• 古典的な有理的化と現代的な有理的連結性を結ぶ、3次元コニックバンドルの有理的化の新しい基準を確立すること。
• 既知の有理的ケースを超えて適用可能な有理的化条件を提供することで、イシュコフスキーの有理的性に関する予想を拡張すること。
• 判別曲線の幾何的制約を用いて、非有理的だが有理的である3次元多様体の無限に多くの族を構成すること。
• 変形理論的および双有理的技法を用いて、有理的化問題を多様体上の有理曲線に還元すること。
• 多様体上の有理曲線空間内の部分多様体の有理的連結性が、全3次元多様体の有理的化を示すこと

提案手法

• エンリケスの基準およびグーナス＝ハリス＝スターの定理を用いて、3次元多様体の有理的化を、コニックバンドル多様体上の有理曲線空間内の部分多様体の有理的連結性に還元する。
• 双有理変換を適用して、コニックバンドル多様体を射影平面に置き換え、有理曲線の問題を $\mathbb{P}^2$ 上の線形系に移す。
• ド・ジョニエール変換を用いて、関連する有理曲線を $\mathbb{P}^2$ 上の線形系として実現し、それが線形空間をなすことを示す。
• 幾何的制約を課す：底面 $W$ 上の基点自由なペンキル $\Lambda$ で $\Lambda \cdot \Delta \leq 7$ であり、非常に ample な線形系 $\mathcal{M}$ で $\mathcal{M} \cdot \Lambda = 1$ である。
• ある部分多様体が $\mathrm{Rat}^n(S)$ 内にあり、それが $\mathrm{Rat}^n(\mathbb{P}^2)$ 内の線形空間に双有理同型であることを示すことで、問題を解消する。
• 標準的コニックバンドルの構造を $\mathbb{F}_e$ および $\mathbb{P}^2$ 上で用い、判別曲線 $\Delta \sim aC_0 + bF$ または $\deg \Delta \leq 8$、あるいは $\deg \Delta = 9$ かつ特異点を持つ場合を扱う。

実験結果

リサーチクエスチョン

• RQ1 底面がヒルツェブル面または射影平面であるとき、3次元コニックバンドルがどのような条件下で有理的化されるか。
• RQ2 判別曲線と有理曲線のペンキルとの交点論的境界が、コニックバンドルの有理的化を特徴づけることができるか。
• RQ3 有理的連結性の技法は、高次元のファイブレーションにおいて、どの程度有理的化の証明に用いることができるか。
• RQ4 非有理的だが有理的である3次元多様体の無限に多くの族は存在するか、またそれらはコニックバンドル幾何学によって構成可能か。
• RQ5 判別曲線の幾何構造および底面多様体上の特別なペンキルの存在が、全空間の有理的化にどのように影響するか。

主な発見

• 主定理は、$T \to W$ が標準的3次元コニックバンドルで、$W$ 上の基点自由なペンキル $\Lambda$ に対して $\Lambda \cdot \Delta \leq 7$ であり、非常に ample な $\mathcal{M}$ で $\mathcal{M} \cdot \Lambda = 1$ であるならば、$T$ は有理的化であることを示す。
• 系1.2は、$W \cong \mathbb{F}_e$ で $\Delta \sim aC_0 + bF$ かつ $a \leq 7$、または $W \cong \mathbb{P}^2$ で $\deg \Delta \leq 8$、あるいは $\deg \Delta = 9$ かつ $\Delta$ が特異である場合、$T$ は有理的化であることを示す。
• 系1.3は、$W \cong \mathbb{F}_e$ で $3 < a \leq 7$ の場合、全空間 $T$ は有理的化であり、かつ非有理的であることを証明し、無限に多くのこのような族が得られることを示す。
• 証明は、$\mathrm{Rat}^n(S)$ 内の部分多様体の有理的連結性に還元され、ド・ジョニエール変換を用いて、それが $\mathrm{Rat}^n(\mathbb{P}^2)$ 内の線形空間に双有理同型であることが示された。
• 変換後のコニックバンドル $\pi_1$ の判別曲線 $\Delta_1$ は $\Delta_1 \sim aC_0 + bF$ で $a = \deg \Delta - \mathrm{mult}_z \Delta$ を満たし、境界が保存されていることが確認される。
• 構成法により、非有理的だが有理的である3次元多様体が得られ、長年の未解決問題である、このような多様体の存在をコニックバンドル幾何学によって肯定的に解消する。