[論文レビュー] Reduced and non-reduced linear spaces: Lines and points

Enrico Carlini, Maria Virginia Catalisano+1 more|arXiv (Cornell University)|Aug 30, 2013

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

ひとこと要約

本稿は、射影空間に含まれる $ s $ 個の一般の非退化直線と1つの一般の $ m $ 重点からなるスキームのヒルベルト関数を決定する。$ n \geq 4 $ の場合、期待されるヒルベルト関数の公式が普遍的に成り立つことを証明する。$ n = 3 $ の場合、単純なパrameter数え上げが失敗する特定の例外的な状況を同定し、これらが唯一の例外であると予想し、複数のケースでその予想を検証する。

ABSTRACT

In this paper we consider the problem of determining the Hilbert function of schemes X of the proiective space P^n which are the generic union of s lines and one m-multiple point. We completely solve this problem for any s and m when n > 3. When n=3 we find several defective such schemes and conjecture that they are the only ones. We verify this conjecture in several cases.

研究の動機と目的

• スキーム $ X \subset \mathbb{P}^n $ のヒルベルト関数を決定すること。ここで $ X $ は $ s $ 個の非退化直線と1つの $ m $ 重点の一般和である。
• 特に $ n = 3 $ の場合に、ヒルベルト関数に対する単純なパrameter数え上げがいつ失敗するかを理解すること。
• $ \mathbb{P}^3 $ における例外的状況を特徴づけ、$ m = d $ かつ $ 1 < s \leq d $ のときにのみ発生すると予想し、その予想を複数のケースで検証すること。
• ヴェロネーゼおよびセグレ埋め込みの交差多様体に関する問題に動機づけられた、非退化および重複スキームの直和のヒルベルト関数に関する結果を拡張すること。

提案手法

• 形式の次数 $ d $ を持つ、スキーム上に消える関数の空間の次元を評価するために、カステルヌオヴォの不等式を用いる。
• 理想論的分解 $ \operatorname{Res}_Y X $ と $ \operatorname{Tr}_Y X $ を用いた残差およびトレーススキームの技法を適用し、ヒルベルト関数を帰納的に解析する。
• 多様体上の一般点がスキームの理想に属する関数に独立な条件を課すかどうかを判定する基準（補題 2.3）を用いる。
• 3次元のサンドアイル（埋め込まれた点を伴う退化した二次曲線）の概念を導入し、これはねじれの位置にある2本の直線の退化形として用いられ、$ \mathbb{P}^3 $ 内の特殊な配置を解析する。
• 組合せ論的推定と床関数・天井関数を用いて、期待値と実際のヒルベルト関数値との差を分析し、特に $ n=3 $ の場合に注目する。
• 定理 2.10 および補助的補題を用いて、$ d=5, s=9 $ や $ d=8, s=18 $ のような臨界ケースにおけるヒルベルト関数を直接検証する。

実験結果

リサーチクエスチョン

• RQ1 $ n \geq 4 $ の場合、$ \mathbb{P}^n $ 内の $ s $ 本の直線と1つの $ m $ 重点の一般和に対して、単純なパrameter数え上げが常に正しいヒルベルト関数を与えるか？
• RQ2 $ \mathbb{P}^3 $ において、ヒルベルト関数が期待されるパrameter数え上げから逸脱する配置は有限個に限られ、その特徴は何か？
• RQ3 $ \mathbb{P}^3 $ において、パrameter数え上げの失敗は、$ m = d $ かつ $ 1 < s \leq d $ のときにのみ発生するのだろうか、という予想は正しいか？
• RQ4 $ \mathbb{P}^3 $ の例外的状況において、このようなスキーム上に消える次数 $ d $ の形式の空間の次元を明示的に計算できるか？
• RQ5 特に $ n=3 $ の例外的領域において、直線と多重点の一般和に消える形式の理想の正確な構造は何か？

主な発見

• $ n \geq 4 $ の場合、$ s $ 本の直線と1つの $ m $ 重点の一般和のヒルベルト関数は、公式 $ \min\left\{\binom{d+n}{n}, \binom{m+n-1}{n} + s(d+1)\right\} $ で与えられ、これはすべての $ s $ と $ m $ に対して成り立つ。
• $ \mathbb{P}^3 $ において、単純なパrameter数え上げが失敗するのは、$ m = d $ かつ $ 1 < s \leq d $ のときに限られ、この場合、スキーム上に消える次数 $ d $ の形式の空間の次元は $ \binom{d-s+2}{2} $ である。
• 著者らは、$ d=5, s=9 $ および $ d=8, s=18 $ の場合に、これらの状況が $ \mathbb{P}^3 $ における唯一の例外的状況であるという予想を検証し、これらのケースでヒルベルト関数がゼロであることを確認した。
• 本稿は、残差およびトレーススキームの手法に加え、組合せ論的推定を用いることで、$ n \geq 4 $ の場合にヒルベルト関数を確立するのに十分であることを証明した。形式の数の上限と理想の構造を用いて評価した。
• $ n=4 $ の場合、すべての $ d \geq 1 $ に対して、$ e - e' - 2r' \geq 0 $ という重要な不等式が成り立つが、有限個の小さな $ d $ を除き、直接計算によりその不等式が成り立つことを確認した。
• 本稿は、例外的 $ \mathbb{P}^3 $ 状況において、ヒルベルト関数が二項式でないことを確立し、失敗の原因は直線と多重点の幾何的配置、特に多重点が直線の線形包上にあるときに生じることを示した。