[論文レビュー] Birational geometry of terminal quartic 3-folds. I

Alessio Corti, Massimiliano Mella|ArXiv.org|Feb 13, 2001

Coding theory and cryptography参考文献 2被引用数 8

ひとこと要約

本稿は、単一の $\mathbb{A}_2$-型特異点をもつ終盤的四次3次元代数多様体の双有理幾何を調査し、それがFano 3次元代数多様体として正確に2つの双有理モデルを持つことを証明している：元の四次3次元代数多様体と、四次式と三乗式の完全交差 $Y_{3,4} \subset \mathbb{P}(1^4,2^2)$ である。この結果は、最小モデルプログラムおよび極大特異点技法を用いて、特異Fano幾何における双有理的挙動の新規なクラスを明らかにし、Fano 3次元代数多様体が正確に2つの異なる双有理モデルをもつ最初の既知の例を確立する。

ABSTRACT

This is the unabridged web version of the paper that will be published on the American Journal of Mathematics. In this paper, we study the birational geometry of certain examples of mildly singular quartic 3-folds. A quartic 3-fold is an example of a Fano variety, that is, a variety $X$ with ample anticanonical sheaf $Ø_X(-K_X)$. From the point of view of birational geometry they basically fall within two classes: either $X$ is ``close to being rational'', and then it has very many biregularly distinct birational models as a Fano 3-fold, or, at the other extreme, $X$ has a unique model and it is often even true that every birational selfmap of $X$ is biregular. In this paper we construct examples of singular quartic 3-folds with exactly two birational models as Fano 3-folds.

研究の動機と目的

• 単一の $xy + z^3 + t^3 = 0$-型特異点をもつ終盤的四次3次元代数多様体の双有理幾何を研究すること。
• モーリー理論の慣習に従って、このような3次元代数多様体の双有理モデルの完全集合を特定すること。
• 唯一の双有理モデルが元の四次3次元代数多様体と、重み付き射影空間内の特定の完全交差であることを確立すること。
• このような3次元代数多様体の双有理同値類において、モーリー線形空間構造（曲線や曲面へのファイブレーション）が生じえないことを示すこと。
• $\mathbb{Q}$-因子的性と終盤的特異点が双有理的柔軟性を制御する役割を明確にすること。

提案手法

• Fano 3次元代数多様体間の双有理写像を分析するために、最小モデルプログラムと極大特異点技法を用いる。
• 付随の反転および対数正則特異点閾値解析を適用し、特異点および正則点に極大中心が存在しないことを除外する。
• 線形システムの移動部分解を用いて、除数に関する数値的制約を導出する。
• 吹き上げた多様体上の交差行列の計算により、点が極大中心であると仮定した場合の矛盾を導出する。
• 特定の部分多様体が直線を含まない、または退化した挙動を示さないことを保証するため、ザリスキ閉集合の外での一般性仮定を用いる。
• 背理法による証明：点が極大中心であると仮定すると、負の判別式を持つ二次不等式が得られ、これは不可能である。

実験結果

リサーチクエスチョン

• RQ1 単一の $\mathbb{A}_2$-型特異点をもつ終盤的四次3次元代数多様体の可能な双有理モデルは何か？
• RQ2 このような3次元代数多様体が、重み付き射影空間内の完全交差のような、異なる幾何的構造をもつFano 3次元代数多様体と双有理同値になれるか？
• RQ3 このような3次元代数多様体の双有理同値類に、モーリー線形空間構造（曲線や曲面へのファイブレーション）が存在するか？
• RQ4 このような3次元代数多様体上の正則点が、線形システムの極大中心になりうるか？
• RQ5 特異3次元代数多様体が $\mathbb{Q}$-因子的であるための条件は何か？ そして、これはその双有理同値類にどのように影響するか？

主な発見

• 終盤的特異点 $xy + z^3 + t^3 = 0$ をもつ特異四次3次元代数多様体 $X_4 \subset \mathbb{P}^4$ の唯一の双有理モデルは、$X$ 自身と、四次式と三乗式の完全交差 $Y_{3,4} \subset \mathbb{P}(1^4,2^2)$ である。
• 多様体 $Y_{3,4}$ は準滑らかで、終盤的であり、$\mathbb{Q}$-因子的であり、$\dim H^2 = 1$ を満たし、Fano 3次元代数多様体の条件を満たす。
• 特異点または正則点を問わず、$X$ 上のいかなる点も線形システムの極大中心にはなりえない。これは、特定の双有理写像が除外されることを意味する。
• 証明は、正則点が極大中心であると仮定すると、負の判別式を持つ二次不等式が得られ、これは矛盾を示す。
• 一般位置の仮定のもとで、曲線 $C = \Pi \cap Y$ は非特異的である。これは議論において本質的である。
• 吹き上げた表面 $D'$ 上の交差行列は、$(F\cdot F) = -2$、$(B'\cdot B') = -7/4$、$(F\cdot B') = 1$ を満たし、これらは矛盾を導くために用いられる。