[论文解读] Families of reduced zero-dimensional schemes

Juan Migliore|ArXiv.org|Feb 7, 2005

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

一句话总结

本文引入了一类广义的 Hilbert 函数，通过构造具有强不可比较 Betti 图的理想的手段，证明了在 $\mathbb{P}^3$ 中，减少的零维概形的后设 Hilbert 簇是不可约的。该文证明，对于这些 Hilbert 函数，不存在唯一的最小格次 Betti 数集合，并表明弱 Lefschetz 性质在其中一个分量上通用成立，但在另一个分量上不成立。

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.

研究动机与目标

• 识别一类广义的 Hilbert 函数，使得后设 Hilbert 簇 $\operatorname{Hilb}^H(\mathbb{P}^3)$ 是不可约的。
• 证明对于这些 Hilbert 函数，不存在唯一的最小格次 Betti 数集合。
• 分析弱 Lefschetz 性质（WLP）在 Hilbert 簇不同分量中的行为。
• 通过基于联络和完全交的构造方法，扩展现有关于不可约性和 Betti 数最小性的结果。
• 表明 WLP 在不同分量之间并非一致，即在其中一个分量的一般元素上成立，但在另一个分量的所有元素上均不成立。

提出的方法

• 通过类型为 $(2, \lfloor (d-1)/2 \rfloor)$ 的完全交进行联络加法，构造零维概形，以生成具有特定一阶差分的 Hilbert 函数。
• 利用 Hilbert 函数 $\Delta H$ 与完全交的 Hilbert 函数 $\Delta CI$ 之间的差值，定义序列 $\{e_i\}$，该序列必须是 O-序列，构造才能成功。
• 应用如下准则：若两个理想具有强不可比较的 Betti 图，且不存在通过连续消去的公共理想，则它们位于 Hilbert 簇的不同分量上。
• 利用 Betti 数的半连续性，当不存在唯一最小值时，可推出不可约性。
• 验证所得序列 $\{e_i\}$ 是满足 Macaulay 增长条件的 O-序列，从而确保对应零维概形的存在性。
• 通过比较 Betti 图和极小自由解析的结构，分析弱 Lefschetz 性质在不同分量上的行为。

实验结果

研究问题

• RQ1 对于哪些 Hilbert 函数 $H$，后设 Hilbert 簇 $\operatorname{Hilb}^H(\mathbb{P}^3)$ 不可约？
• RQ2 对于某些 Hilbert 函数，格次 Betti 数集合 $\mathbb{B}_H$ 是否存在唯一的最小元素？
• RQ3 弱 Lefschetz 性质能否用于区分 Hilbert 簇的分量？
• RQ4 是否存在一种系统性构造方法，可生成具有不可约 Hilbert 簇和非最小 Betti 图的 Hilbert 函数？
• RQ5 对于同一 Hilbert 函数，WLP 在 Hilbert 簇的不同分量中如何表现？

主要发现

• 本文识别出一类广义的 Hilbert 函数，其后设 Hilbert 簇 $\operatorname{Hilb}^H(\mathbb{P}^3)$ 是不可约的，其依据是不存在唯一的最小格次 Betti 数集合。
• 对于这些 Hilbert 函数，集合 $\mathbb{B}_H$ 没有唯一的最小值，意味着 Hilbert 簇中存在多个分量。
• 弱 Lefschetz 性质对 Hilbert 簇中一个分量的一般元素成立，但对另一个分量的所有元素均不成立。
• 该构造使用类型为 $(2, \lfloor (d-1)/2 \rfloor)$ 的完全交，生成在第一差分中具有长平坦区的 Hilbert 函数。
• 该方法生成的 Hilbert 函数包括 $(1,3,6,10,15,21,28,34,39,43,46,48,49,49,\dots,49,48,46,43,\dots,1)$，其中包含一长串 49。
• 该技术可推广至其他完全交，但仅在严格满足数值条件时，才能保持剩余序列的 O-序列性质。