[論文レビュー] Secant Varieties of (P ^1) X .... X (P ^1) (n-times) are NOT Defective for n \geq 5

Maria Virginia Catalisano, Anthony V. Geramita+1 more|ArXiv.org|Sep 10, 2008

Algebraic Geometry and Number Theory参考文献 15被引用数 20

ひとこと要約

この論文は、$(\mathbb{P}^1)^n$ のシグレ埋め込みの高次セカント多様体が、すべての $n \geq 5$ に対して退化でない、つまり期待される次元に達することを証明している。微分ホラス法を用い、テラチーニの補題、極性、およびファットスキーム上のヒルベルト関数解析を組み合わせることで、この族における唯一の例外は $\sigma_3(V_4)$ であり、これは $\mathbb{P}^{15}$ 内で余次元 2 の退化多様体であることが示された。

ABSTRACT

Let V_n be the Segre embedding of (P^1) x ... X (P^1) (n times). We prove that the higher secant varieties, σ_s(V_n), always have the expected dimension, except for σ_3(V_4), which is of dimension 1 less than expected.

研究の動機と目的

• セカント多様体の退化性に関する長年の未解決問題、すなわち $V_n = (\mathbb{P}^1)^n$ のセカント多様体のうち、どの多様体が退化するかを解明すること。
• $\mathbb{P}^{t} \times \cdots \times \mathbb{P}^{t}$（$t=1$）におけるセカント多様体の非退化性に関する Abo-Ottaviani-Peterson 予想の証拠を提供すること。
• $n \geq 5$ のとき、すべての高次セカント多様体 $\sigma_s(V_n)$ が期待される次元に達することを確立すること。
• 非可約スキームと特定の次数における固定成分を扱える、新しい微分ホラス法を開発し、それを適用すること。

提案手法

• テラチーニの補題と極性を用いて、セカント多様体の次元問題を、線型部分空間に台を持つファットスキームのヒルベルト関数の計算に還元する。
• アレクサンダー＝ヒルシュヴィッツの「ホラス法」戦略に従い、帰納法とスキームの特殊化を用いて問題を単純化する。
• ファット点を特定の次数で作用する固定成分をもつ線形成分を追加することによって、2 つの部分に「分割」する、新しい技法を導入する。
• 微分ホラス法を用いて一次の導関数を分析し、イデアルと形式のレベルで「分割して制御」するアプローチを可能にする。
• $(n+1)$ で割った $2^n$ の整数部分と小数部分を扱う組合せ論的および算術的推定を用い、ヒルベルト関数の条件を検証する。
• 特定の次数における $2^{n-1}$、$n$、および $q = \lfloor n/4 \rfloor$ の有界性を用いて、$n \geq 5$ に対して重要な不等式を確認し、ヒルベルト関数の振る舞いを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 どの $n \geq 5$ に対して、$(\mathbb{P}^1)^n$ のシグレ埋め込みの高次セカント多様体 $\sigma_s(V_n)$ が退化するか？
• RQ2 $\sigma_3(V_4)$ は、$V_n = (\mathbb{P}^1)^n$ の族の中で唯一の退化セカント多様体か？
• RQ3 この無限族におけるセカント多様体の非退化性を示すために、微分ホラス法を効果的に適用できるか？
• RQ4 線型部分空間に台を持つファットスキームのヒルベルト関数が、$n \geq 5$ のとき $\sigma_s(V_n)$ の期待される次元を確認できるか？
• RQ5 証明で用いられる特殊化スキーム $T'$ に対して、$\dim(I_{T'})_{n-1}$ の正確な振る舞いは何か？

主な発見

• 族 $V_n = (\mathbb{P}^1)^n$ の中で唯一の退化セカント多様体は $\sigma_3(V_4)$ であり、これは $\mathbb{P}^{15}$ 内で余次元 2 にあり、次元は 13 であるのに対し期待される次元は 14 である。
• すべての $n \geq 5$ に対して、すべての高次セカント多様体 $\sigma_s(V_n)$ が期待される次元に達する。つまり、退化は発生しない。
• 理想 $I_{T'}$ の次数 $n-1$ における次元は、$2^{n-1} - 4q - n t^*$ に等しい。ここで $n = 4q + r$、$r \leq 3$、$t^* = \left\lfloor \frac{2^n}{2(n+1)} \right\rfloor$ である。
• 証明は、$2^{n-1} - 4q - n t^* \geq 0$ および $2^{n-1} - 2(n-1)q - n(t^* + 1 - 2q) \leq 0$ が $n \geq 5$ で成り立つことを確認することに依存しており、これは $k = 2^n \mod (n+1)$ の算術的境界によって成立する。
• 微分ホラス法は、特定の次数でのみ作用する補助的な線形成分を導入することにより、非可約スキームを効果的に扱える。
• 著者らは、$\left\lfloor \frac{2^n}{n+1} \right\rfloor$ および $\left\lceil \frac{2^n}{n+1} \right\rceil$ を含む不等式の明示的検証により、$n \geq 5$ に対して非退化性に必要なヒルベルト関数の条件が満たされることを確認した。