[論文レビュー] Families of reduced zero-dimensional schemes

Juan Migliore|ArXiv.org|Feb 7, 2005

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

ひとこと要約

この論文は、強い不 comparable なベッチ図をもつイデアルを構成することによって、$\mathbb{P}^3$ 内の非退化零次元スキームのポストレーション Hilbert 構造 $\operatorname{Hilb}^H(\mathbb{P}^3)$ が非連結であるような広範な Hilbert 関数のクラスを導入する。これらの Hilbert 関数に対して、一意な最小のグレーディング付きベッチ数の集合が存在しないことを証明し、一方の成分では一般に弱 Lefschetz 性質 (WLP) が成り立つが、他方の成分では成り立たないことを示している。

ABSTRACT

A great deal of recent activity has centered on the question of whether, for a given Hilbert function, there can fail to be a unique minimum set of graded Betti numbers, and this is closely related to the question of whether the associated Hilbert scheme is irreducible or not. We give a broad class of Hilbert functions for which we show that there is no minimum set of graded Betti numbers, and hence that the associated Hilbert scheme is reducible. Furthermore, we show that the Weak Lefschetz Property holds for the general element of one component, while it fails for every element of another component.

研究の動機と目的

• postulation Hilbert 構造 $\operatorname{Hilb}^H(\mathbb{P}^3)$ が非連結であるような広範な Hilbert 関数のクラスを特定すること。
• これらの Hilbert 関数に対して、一意な最小のグレーディング付きベッチ数の集合が存在しないことを示すこと。
• Hilbert 構造の異なる成分における弱 Lefschetz 性質 (WLP) の振る舞いを分析すること。
• リボージョンと完全交差に基づく構成的メソッドを用いて、非連結性とベッチ数の最小性に関する既存の結果を拡張すること。
• WLP が成分間で一様でないことを示し、一方の成分の一般要素では WLP が成り立つが、他方の成分のすべての要素では成り立たないことを示すこと。

提案手法

• タイプ $(2, \lfloor (d-1)/2 \rfloor)$ の完全交差を用いたリボージョン加法により零次元スキームを構成し、特定の第一差分をもつ Hilbert 関数を生成する。
• Hilbert 関数 $\Delta H$ と完全交差の Hilbert 関数 $\Delta CI$ の差を用いて、列 $\{e_i\}$ を定義し、この列が O-列であることが構成に成功するための必要条件である。
• 二つのイデアルのベッチ図が強く不 comparable であり、かつ連続的なキャンセレーションによって共通のイデアルが得られないならば、それらは Hilbert 構造の異なる成分上にあることを応用する。
• ベッチ数の下半連続性から、一意な最小が存在しない場合には非連結性が導かれるという事実を用いる。
• 得られた $\{e_i\}$ 列が Macaulay の成長条件を満たす O-列であることを検証し、それに対応する零次元スキームの存在を保証する。
• 最小自由分解の構造とベッチ図の比較を通じて、WLP が異なる成分でどのように振る舞うかを分析する。

実験結果

リサーチクエスチョン

• RQ1 どの Hilbert 関数 $H$ に対して、postulation Hilbert 構造 $\operatorname{Hilb}^H(\mathbb{P}^3)$ が非連結となるか？
• RQ2 特定の Hilbert 関数に対して、グレーディング付きベッチ数の集合 $\mathbb{B}_H$ が一意な最小要素をもつのか？
• RQ3 弱 Lefschetz 性質 (WLP) は Hilbert 構造の成分を区別するために用いることができるか？
• RQ4 非連結 Hilbert 構造と非最小ベッチ図をもつ Hilbert 関数を生成する体系的な構成法は存在するか？
• RQ5 同じ Hilbert 関数に対して、WLP は Hilbert 構造の異なる成分でどのように振る舞うか？

主な発見

• この論文は、一意な最小グレーディング付きベッチ数の集合が存在しないことに基づき、$\operatorname{Hilb}^H(\mathbb{P}^3)$ が非連結である広範な Hilbert 関数のクラスを同定している。
• これらの Hilbert 関数に対して、集合 $\mathbb{B}_H$ に一意な最小が存在しないため、Hilbert 構造に複数の成分が存在することを示している。
• 弱 Lefschetz 性質 (WLP) は Hilbert 構造の一つの成分の一般要素では成り立つが、他方の成分のすべての要素では成り立たない。
• 構成にはタイプ $(2, \lfloor (d-1)/2 \rfloor)$ の完全交差を用い、第一差分に長い平坦領域をもつ Hilbert 関数を生成している。
• この手法により、$(1,3,6,10,15,21,28,34,39,43,46,48,49,49,\dots,49,48,46,43,\dots,1)$ のような Hilbert 関数が得られ、49が長い期間にわたり続く。
• この技法は他の完全交差へも応用可能であるが、残差列の O-列性を保つために厳密な数値的条件を満たす必要がある。