[論文レビュー] A local version of Gotzmann's Persistence

Morgan Sherman|ArXiv.org|Oct 1, 2007

Commutative Algebra and Its Applications参考文献 8被引用数 6

ひとこと要約

本稿は、任意の単項式順序における辞書式イデアルの一般化として極値イデアルを導入し、グレサマンニアンの開部分集合で成り立つゴツマンの持続定理の局所版を証明する。主な貢献は計算上の改善である：3次元平面の3点のヒルベルトスキームの一部を、G(7, S₃)ではなくG(3, S₂)に埋め込むことで次元を21から9に削減する。この埋め込みは、シンジーギー上昇と初期イデアルの条件から得られる方程式を用いる。

ABSTRACT

Gotzmann's Persistence states that the growth of an arbitrary ideal can be controlled by comparing it to the growth of the lexicographic ideal. This is used, for instance, in finding equations which cut out the Hilbert scheme (of subschemes of $\mathbf{P}^n$ with fixed Hilbert polynomial) sitting inside an appropriate Grassmannian. We introduce the notion of an {\it extremal ideal} which extends the notion of the lex ideal to other term orders. We then state and prove a version of Gotzmann's theorem for these ideals, valid in an open subset of a Grassmannian.

研究の動機と目的

• 辞書式順序を超えた他の項順序における辞書式イデアルの概念を一般化すること。
• グレサマンニアンの開部分集合で成り立つゴツマンの持続定理の局所版を確立すること。
• ヒルベルトスキームにおけるボレル固定点の近傍を定義するための計算手法を提供すること。
• 逆辞書式順序における極値イデアルに注目することで、ヒルベルトスキームの埋め込み次元を低減すること。
• P²における3点のヒルベルトスキームの開部分集合の明示的定義方程式を計算して、手法を実証すること。

提案手法

• 任意の単項式順序における辞書式イデアルの一般化として極値イデアルの概念を導入すること。
• 1パラメータ変形 x_i ↦ t^{-w_i}x_i を用いて、家族 I(t) を定義し、平坦性と初期イデアルを調べること。
• シンジーギー上昇技術を用いる：dim I_{m+1} = dim J_{m+1} ならば、家族 I(t) は t=0 で平坦であり、in_{>} (I) = J_{≥m} が成り立つ。
• 2次生成子から得られる係数行列を作成し、その8×8小行列を分析して開部分集合の定義イデアルを特定すること。
• コンピュータ代数（例：Macaulay2）を用いて小行列のイデアルを計算・簡約し、10生成子に削減すること。
• 得られた代数的集合が次元6の滑らかさを持つことを確認し、P²における3点のヒルベルトスキームの既知の幾何学と整合することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 ゴツマンの持続定理は、辞書式順序を超えて他の単項式順序に対しても拡張可能か？
• RQ2 より小さなグレサマンニアンを用いて、ヒルベルトスキームにおけるボレル固定イデアルの近傍を定義できるか？
• RQ3 シンジーギー上昇と変形技術を用いて、その近傍の定義方程式を明示的に計算できるか？
• RQ4 ヒルベルトスキームの埋め込みにおいて、古典的辞書式イデアルと比較して極値イデアルを使うとどのような計算的利点があるか？
• RQ5 得られた開部分集合の次元と滑らかさは、完全なヒルベルトスキームと比べてどうなるか？

主な発見

• 本稿は、任意の単項式順序における極値イデアルに対して、グレサマンニアンの開部分集合で成り立つゴツマンの持続定理の局所版を証明した。
• P²における3点のヒルベルトスキームを、次元21のG(7, S₃)ではなく次元9のG(3, S₂)に埋め込むことができ、顕著な計算的削減が達成された。
• 極値イデアル J = (x², xy, y²) の近傍における開部分集合の定義方程式は、生成子の係数に関する10個の多項式によって生成される。
• 係数行列の小行列のイデアルは、Macaulay2を用いた簡約により22,275個から10個の非ゼロ生成子に削減された。
• 得られた代数的集合は次元6の滑らかさを持ち、P²における3点のヒルベルトスキームの既知の滑らかさと次元と整合的である。
• この手法は、1パラメータ家族 I(t) の平坦性に依存しており、これは正確に dim I_{m+1} = dim J_{m+1} が成り立つ場合に成立し、初期イデアルの保存を保証する。