[論文レビュー] On quadrisecant lines of threefolds in P^5

Emilia Mezzetti|ArXiv.org|Dec 7, 2001

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

ひとこと要約

この論文は、埋め込み空間を埋め尽くさない四重線分点線をもつ smooth な三様体を分類し、それらが立方体超曲面の上にあるか、もしくは4以上の次数の平面曲線の2次元族を含むことの証明を行う。解析は、Fano の直線の系列をハイパーサーフェスの断面に適用し、$ℝ^4$ 内の直線で覆われる三様体に関する結果を応用することで、非退化かつ非立方体の仮定の下で完全な分類に至る。

ABSTRACT

We study smooth threefolds of the projective space of dimension 5 whose quadrisecant lines don't fill up the space. We give a complete classification of those threefolds X whose only quadrisecant lines are the lines contained in X. Then we prove that, if X admits "true" quadrisecant lines, but they don't fill up the space, then either X is contained in a cubic hypersurface, or it contains a family of dimension at least two of plane curves of degree at least four.

研究の動機と目的

• 埋込み空間を埋め尽くさない四重線分点線をもつ smooth な三様体を $ℝ^5$ で分類すること。
• Fano の直線の系列を用いて、顕著な三重点をもたない曲面の Severi の古典的分類を三様体の場合に拡張すること。
• 非退化かつ非立方体の仮定の下で、$ℝ^5$ を生成しない「真の」四重線分点線をもつ三様体の幾何的構造を特定すること。
• このような三様体のハイパーサーフェス断面における直線の Fano の系列の構造を分析し、その幾何を三様体の全体的構造に関連づけること。

提案手法

• 三様体の線分点超曲面 $Y \subset \mathbb{P}^5$ のハイパーサーフェス断面 $V \subset \mathbb{P}^4$ における直線の Fano の系列 $\Sigma$ を分析し、次元と非特異性に注目する。
• 文献[12]の定理0.1を適用し、一般点を通る直線の数 $\mu$ を用いて、直線の2次元族で被覆される三様体 $V \subset \mathbb{P}^4$ を分類する。
• Fano の系列の一般的非特異性の条件を用いて、固定された接平面を除外し、非還元成分を円錐または接線の和集合として分類する。
• モノイダル構成と射影の議論を用いて、低次の三様体を除外し、点または直線からの射影が矛盾を引き起こすかぎり、$X$ が立方体上にあるか、特別な曲線族を含むことになることを示す。
• 定理0.1の4つのケースを個別に分析し、次数と滑らかさの制約により、2つの二次曲面の完全交差の射影、$G(1,4)$ の断面、$ℝ^2 \times \mathbb{P}^2$ のハイパーサーフェス断面を除外する。
• Castelnuovo の上限を用いて、$X$ が四次錐に $k$-secant であるならば、$X$ は四次曲面に含まれることを示し、非四次曲面の仮定の下で矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 埋込み空間を埋め尽くさない四重線分点線をもつ smooth な三様体 $X \subset \mathbb{P}^5$ の完全な分類は何か？ ただし、四重線分点線は $X$ 自身に含まれる線に限る。
• RQ2 「真の」四重線分点線（$X$ に含まれない線）が $ℝ^5$ を埋め尽くさない場合、どのような条件下でそれが成立し、そのとき三様体がどのような幾何的構造を持つ必要があるか？
• RQ3 三様体のハイパーサーフェス断面における直線の Fano の系列の構造は、$ℝ^5$ 内の三様体の全体的幾何にどのように関連するか？
• RQ4 四重線分点線の4次元族をもつ三様体が、立方体超曲面の上にないし、4次以上の平面曲線の2次元族を含まないことは可能か？
• RQ5 四重線分点線が $ℝ^5$ を生成しない三様体において、次数と断面 genus がどのような制約を課えるか？

主な発見

• smooth な三様体 $X \subset \mathbb{P}^5$ が、$X$ 自身に含まれる線以外に四重線分点線を持たないならば、$X$ は有理正規スクリューまたは立方体超曲面の上にある。
• $X$ が四重線分点線の5次元族をもつが、$ℝ^5$ を埋め尽くさないならば、$X$ は立方体超曲面の上にあるか、4次以上の平面曲線の2次元族を含む。
• 四次曲面に含まれない三様体 $X$ に対して、$ℝ^5$ を埋め尽くさない4次元族の四重線分点線が存在するならば、線分点超曲面 $Y$ は立方体であるか、$X$ を4次以上の曲線で切断する平面の2次元族を含む。
• 完全交差や Grassmannian の射影、$ℝ^2 \times \mathbb{P}^2$ のハイパーサーフェス断面の可能性は、次数と滑らかさの制約により除外される。
• $Y$ が滑らかな四次曲面のファイブレーションにびらん同型である場合、$X$ は四次曲面に含まれることを意味し、非四次曲面の仮定に反するため矛盾が生じる。
• 一貫した幾何的構成は、$X$ が立方体超曲面に含まれるか、$X$ が4次以上の平面曲線の2次元族を含むことのいずれかに限られる。