[論文レビュー] Using residuation and collinearity to bound Hilbert functions of fat points in the plane

Susan Cooper, Brian Harbourne+1 more|arXiv (Cornell University)|Dec 10, 2009

Commutative Algebra and Its Applications参考文献 15被引用数 4

ひとこと要約

この論文は、射影平面における重複点スキームのヒルベルト関数の組合せ論的上界および下界を、残留理論と同一直線上の点のデータを用いて提供する。十分な基準を満たす場合、ヒルベルト関数の正確な公式と、グレード付きベッチ数の境界を与える。これは先行研究を一般化し、任意の特性で有効であり、AWKスクリプトを介して計算ツールが利用可能である。

ABSTRACT

We study Hilbert functions of certain non-reduced schemes A supported at finite sets of points in projective space, in particular, fat point schemes. We give combinatorially defined upper and lower bounds for the Hilbert function of A using nothing more than the multiplicities of the points and information about which subsets of the points are linearly dependent. When N=2, we give these bounds explicitly and we give a sufficient criterion for the upper and lower bounds to be equal. When this criterion is satisfied, we give both a simple formula for the Hilbert function and combinatorially defined upper and lower bounds on the graded Betti numbers for the ideal defining A, generalizing results of Geramita-Migliore-Sabourin (2006). We obtain the exact Hilbert functions and graded Betti numbers for many families of examples, interesting combinatorially, geometrically, and algebraically. Our method works in any characteristic. AWK scripts implementing our results can be obtained at this http URL .

研究の動機と目的

• 射影平面における重複点スキームのヒルベルト関数の組合せ論的定義された上界および下界を確立すること。
• これらの境界が一致する条件を特定し、ヒルベルト関数の正確な公式を導出すること。
• このようなスキームの定義イデアルに関するグレード付きベッチ数に関する結果を、以前の研究を越えて拡張すること。
• 任意の特性、特に正の特性でも有効な方法を提供すること。
• AWKスクリプトによるアルゴリズム的実装を通じて、計算可能な境界と正確な公式を提供すること。

提案手法

• P²における重複点スキームを定義するイデアルの構造を分析するために、残留理論を用いる。
• 特に、点の部分集合が線形従属であるかどうかを示す同一直線上の点の情報を組み込むことで、ヒルベルト関数の境界を精緻化する。
• 代数幾何学の基本的公理を超えて、基本的な可換代数を除き、点の重複度と線形従属データに基づいて上界および下界を構築する。
• N=2（射影平面）の場合に、明示的な境界を導出するための組合せ論的技術を適用する。
• ヒルベルト関数の上界および下界が一致する十分な基準を特定する。
• 基準を満たす場合に、グレード付きベッチ数の組合せ論的定義された境界を定義イデアルに対して導出する。

実験結果

リサーチクエスチョン

• RQ1 射影平面における重複点スキームの組合せ論的定義されたヒルベルト関数の上界および下界が一致する条件は何か？
• RQ2 点の部分集合間の線形従属関係は、ヒルベルト関数の境界をどのように精緻化できるか？
• RQ3 ヒルベルト関数が正確に分かっているとき、定義イデアルのグレード付きベッチ数の構造はいかなるものか？
• RQ4 この方法は、正の特性を含むすべての特性に一貫して適用可能か？
• RQ5 理論的な境界は、具体的な例に対してどのように計算的に実装できるか？

主な発見

• 十分な基準を満たす場合、射影平面における重複点スキームのヒルベルト関数は、単純な明示的公式によって完全に決定される。
• 本手法は、点の重複度と同一直線上の点のデータにのみ依存する、組合せ論的定義されたヒルベルト関数の上界および下界を提供する。
• 本論文は、Geramita-Migliore-Sabourin (2006) の先行研究を任意の特性に一般化し、グレード付きベッチ数の境界を提供する。
• ヒルベルト関数の境界は実効的かつ計算可能であり、実装用のAWKスクリプトが利用可能である。
• 豊かな組合せ論的・幾何学的・代数的構造を持つ多くの例族について、正確なヒルベルト関数とベッチ数の境界が得られる。
• 本アプローチは、組合せ論的および残留理論に基づく基盤のおかげで、任意の特性、特に正の特性においても一貫して有効である。