[論文レビュー] Differential-geometric methods for the lifting problem and linear systems on plane curves

Emilia Mezzetti|ArXiv.org|Sep 23, 1993

Advanced Differential Equations and Dynamical Systems参考文献 5被引用数 19

ひとこと要約

本稿は、codimension-two の射影的多様体の超平面切断のイデアルからの最小次数生成子の、元の多様体のイデアルへの上昇を研究するための微分幾何的技法を開発する。非退化な3次元多様体が ℙ⁵ に埋め込まれる場合の予想された次数の上限を証明し、最大次元から1だけ小さい線形系統の平面曲線の完全な分類を提供する。これは高次元への一般化のための枠組みを提供する。

ABSTRACT

Let $X$ be an integral projective variety of codimension two, degree $d$ and dimension $r$ and $Y$ be its general hyperplane section. The problem of lifting generators of minimal degree $σ$ from the homogeneous ideal of $Y$ to the homogeneous ideal of $X$ is studied. A conjecture is given in terms of $d$, $r$ and $σ$; it is proved in the cases $r=1,2,3$. A description is given of linear systems on smooth plane curves whose dimension is almost maximal.

研究の動機と目的

• 超平面切断 $ Y = X \cap H $ のイデアルの最小次数生成子が、$ X $ のイデアルに上昇する条件を特定すること。
• codimension 2 で次元 $ r \geq 3 $ の整関数的射影的多様体について、既知の曲線および曲面の結果を一般化した、予想された次数の上限を確立すること。
• 最大の可能性に対して1つ少ない次元を持つ、整関数的平面曲線上の線形系統の分類をし、上昇問題への応用を提供すること。
• 退化する超曲面に含む $ Y $ における焦点線形系統を用いた微分幾何的アプローチを開発し、逐次的な超平面切断による次元の上限を導くこと。
• ℙ⁵ における3次元多様体について、$ d > \sigma^2 - 2\sigma + 4 $ かつ $ h^0(\mathcal{I}_X(\sigma)) = 0 $ ならば、$ X $ は次数 $ \sigma $ の超曲面に含まれることを証明すること。

提案手法

• 中心的な手法は、$ Y $ を含む次数 $ \sigma $ の退化超曲面 $ G_Y $ 上の焦点線形系統 $ \delta $ にあり、これは $ Y $ を含む次数 $ \sigma+1 $ の超曲面との交わりをパラメトライズする。
• 焦点系統 $ \delta $ は、$ Y $ を含む次数 $ \sigma+1 $ の超曲面によって $ G_Y $ 上に誘導され、$ X $ が次数 $ \sigma $ の超曲面に含まれない限り、その次元は下から抑えられる。
• 一般の超平面で $ G_Y $ を逐次的に切り、問題を次数 $ \sigma $ の滑らかな平面曲線上の線形系統の研究に還元する。ここで、次元の上限は既知である。
• 本稿は、証明の根幹をなす、最大次元から1だけ小さい線形系統を持つ整関数的平面曲線上の線形系統に関する新しい分類定理を証明する。
• このアプローチは、層論的道具を用いる：接続バンドル $ \Omega_H(1) $、反射的層 $ N $、イデアル層 $ J $ を含む完全列から、チャーン類の計算により予想された上限が得られる。
• 予想は、$ \Omega $-分解をもつ算術的 Buchsbaum 多様体の例を構成することで裏付けられており、ここで $ d $ が提案された次数上限に等しくなる。

実験結果

リサーチクエスチョン

• RQ1 非退化な3次元多様体 $ X \subset \mathbb{P}^5 $ に対して、$ X $ が一般の超平面に含まれる次数 $ \sigma $ の超曲面に含まれない最大の次数 $ d $ は何か？ここで $ \sigma $ は $ X \cap H $ を含む最小次数の超曲面の次数である。
• RQ2 曲線および曲面に対して既知の次数の上限を、焦点系統における微分幾何的技法を用いて高次元多様体へ一般化できるか？
• RQ3 一般の除因子が滑らかな部分に支持される条件下で、最大次元から1だけ小さい次元を持つ整関数的平面曲線上の線形系統の完全な分類は何か？
• RQ4 退化超曲面 $ G_Y $ 上の焦点線形系統 $ \delta $ が、十分に高い次元を持つと、$ X $ を含む次数 $ \sigma $ の超曲面の存在を強制する条件は何か？
• RQ5 予想された上限 $ d \leq \sigma^2 - (r-1)\sigma + \binom{r}{2} + 1 $ はすべての $ r \geq 1 $ に対して鋭いか？また、層 $ N $ のチャーン類の条件を用いて証明可能か？

主な発見

• ℙ⁵ における3次元多様体について、$ d > \sigma^2 - 2\sigma + 4 $ かつ $ h^0(\mathcal{I}_X(\sigma)) = 0 $ ならば、$ X $ は次数 $ \sigma $ の超曲面に含まれる。これは定理 4.10 の証明である。
• 本稿は、一般の除因子が滑らかな部分に支持される条件下で、次数 $ \sigma $ の整関数的平面曲線上で最大次元から1だけ小さい次元を持つ線形系統の完全な分類を提供する。
• 非退化な $ r $ 次元多様体が $ \mathbb{P}^{r+2} $ に埋め込まれ、次数 $ \sigma $ の超曲面に含まれない場合の予想される上限 $ d \leq \sigma^2 - (r-1)\sigma + \binom{r}{2} + 1 $ が鋭い境界であると提案する。
• 等号が達成されることにより、この予想は裏付けられている。その例として、$ \Omega $-分解をもつ算術的 Buchsbaum 多様体があり、ここで $ h^1(\mathcal{I}_X(\sigma-1)) = 1 $ のみが非ゼロの中間コホモロジーである。
• $ X $ が次数 $ \sigma $ の超曲面に含まれない場合、$ G_Y $ 上の焦点線形系統 $ \delta $ の次元は $ 4 + r $ 以上である。この下界は、超平面切断を用いた矛盾の導出に用いられる。
• この手法は、$ r=1 $（曲線）および $ r=2 $（曲面）の場合に既知の結果を同じ微分幾何的枠組みで再現でき、次元間の一貫性を示している。