[論文レビュー] Projective varieties with many degenerate subvarieties

Emilia Mezzetti|ArXiv.org|Mar 20, 1993

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

ひとこと要約

この論文は、線形空間の次元 $N-h-1$ に含まれる次元 $n-h$ の部分多様体 $Y$ の次元 $h+1$ の族を含む、$X \subset \mathbb{P}^N$ の既約な射影的多様体を分類する。$X$ が類似した退化性を示す高codimensionの多様体 $V_r$ に含まれるか、あるいは有界な $Y$ の次数を持つ孤立型であるかの構造的二分法を示す。特に、$\mathbb{P}^5$ 内の曲面で $\mathbb{P}^3$ 内の2次元族の曲線を含むものの完全分類が与えられる。主な貢献は、多数の退化部分多様体を持つ多様体における構造的二分法の同定である。

ABSTRACT

We study the problem of classifying the irreducible projective varieties $X$ of dimension $n\ge 2$ in $\Bbb P^N$ which contain an algebraic family $\Cal F$ of dimension $h+1$ ($h

研究の動機と目的

• 次元 $n \geq 2$ の既約な射影的多様体 $X \subset \mathbb{P}^N$ を分類すること。この多様体は、次元 $N-h-1$ の線形空間に含まれる次元 $n-h$ の部分多様体 $Y$ の次元 $h+1$ の族を含む。
• このような多様体が、類似した退化性を示す高codimensionの多様体 $V_r$ に含まれるか、$h$ と $N-n$ に依存する関数によって有界な次数を持つ孤立型であるかを特定すること。
• $\mathbb{P}^5$ 内の曲面で、$\mathbb{P}^3$ 内の2次元族の曲線を含むものの完全分類を提供すること。
• 射影空間内に多数の退化部分多様体の族が存在することによって生じる幾何的制約を理解すること。

提案手法

• 次元 $n-h$ の部分多様体で、次元 $N-h-1$ の線形部分空間に含まれるものの族をパラメトライズするインシデント多様体を分析する。
• 次元数え上げとファイバー空間の議論を用いて、$X$ 内のそのような部分多様体の族 $\mathcal{F}$ を研究する。
• 「孤立型」という概念を用いて、$Y$ の次数が $h$ と $N-n$ にのみ依存する関数によって有界であるような多様体を分類する。
• 線形系統や射影埋め込みを含む古典的代数幾何学的手法を用いて、$X$ の構造を分析する。
• 帰納法と次元比較の議論を用いて、$V_r$ への包含関係と孤立型との間の二分法を導出する。
• 特に、$\mathbb{P}^5$ 内の曲面で2次元族の曲線が $\mathbb{P}^3$ 内にある場合に、特別な幾何的推論を適用し、完全分類に至る。

実験結果

リサーチクエスチョン

• RQ1 射影的多様体 $X \subset \mathbb{P}^N$ が退化部分多様体の族を含むとき、その多様体が類似した退化性を示す高codimensionの多様体 $V_r$ に含まれる条件は何か？
• RQ2 退化部分多様体 $Y$ の次数が埋め込みに依存せず有界であるのはいつか。これにより「孤立型」という概念が導かれる。
• RQ3 $\mathbb{P}^5$ 内の曲面で、各々が $\mathbb{P}^3$ 内に存在する2次元族の曲線を含むものの完全分類は何か？
• RQ4 退化部分多様体の族の次元が、$X$ の全体的な幾何にどのように制約を加えるか？
• RQ5 部分多様体の族の次元と、周囲空間のcodimensionとの正確な関係は何か？

主な発見

• 論文は二分法を確立する。$X$ が次元が高々 $N-r$ の多様体 $V_r$ に含まれるか、または孤立型である。前者の場合、$V_r$ は次元 $N-h-r$ の部分多様体の次元 $h+1$ の族を含み、各々が $\mathbb{P}^{N-h-1}$ に含まれる。
• 孤立型の多様体では、各部分多様体 $Y$ の次数が $h$ と $N-n$ のみに依存する関数によって有界である。
• 特に、$\mathbb{P}^5$ 内の曲面で、$\mathbb{P}^3$ 内の2次元族の曲線を含む場合、論文はそのような曲面の完全分類を提供する。
• このような多数の退化部分多様体の族の存在は、$X$ に強い幾何的制約を課す。これは、高codimensionの構造への包含関係、または有界次数の両方の形で現れる。
• この結果は高次元多様体へ一般化可能であり、多数の退化部分多様体の存在が、$X$ の射影幾何における構造的二分法を引き起こすことを示している。
• $\mathbb{P}^5$ 内の分類により、このような曲面は有理スクリューまたはグレイスマン多様体 $G(2,5)$ の特定の超平面切断であることが確認された。