[论文解读] Separators of fat points in P^n

Elena Guardo, Lucia Marino+1 more|arXiv (Cornell University)|Feb 18, 2009

Algebraic Geometry and Number Theory参考文献 18被引用 5

一句话总结

本文通过将点的重数降低而非移除，提出了一种在射影空间 ℙⁿ 中对稠密点（fat points）定义分离子的新方法。它将最小分离子的次数定义为生成商理想 I_{Z'}/I_Z 的形式的次数元组，并证明：已知该元组及 Z 的 Hilbert 函数，即可计算出 Z' 的 Hilbert 函数。主要结果将经典减少点的分离子理论推广至稠密点，表明分离子次数元组的各分量恰好对应于理想 I_Z 的最后一个挠组模的移位。

ABSTRACT

In this paper we extend the definition of a separator of a point P in P^n to a fat point P of multiplicity m. The key idea in our definition is to compare the fat point schemes Z = m_1P_1 + ... + m_iP_i + .... + m_sP_s in P^n and Z' = m_1P_1 + ... + (m_i-1)P_i + .... + m_sP_s. We associate to P_i a tuple of positive integers of length v = deg Z - deg Z'. We call this tuple the degree of the minimal separators of P_i of multiplicity m_i, and we denote it by deg_Z(P_i) = (d_1,...,d_v). We show that if one knows deg_Z(P_i) and the Hilbert function of Z, one will also know the Hilbert function of Z'. We also show that the entries of deg_Z(P_i) are related to the shifts in the last syzygy module of I_Z. Both results generalize well known results about reduced sets of points and their separators.

研究动机与目标

• 将经典分离子概念从 ℙⁿ 中的减少点推广至重数大于一的稠密点，通过将操作重新定义为重数降低而非点的移除。
• 将稠密点的最小分离子的次数定义为生成商理想 I_{Z'}/I_Z 的形式的次数元组。
• 建立从减少点集的 Hilbert 函数计算推广至稠密点构型的 Hilbert 函数计算的一般化方法。
• 将分离子次数元组的各分量与定义理想 I_Z 的最后一个挠组模的移位相联系。
• 证明：对于支持为完全交的齐次稠密点构型，所有点具有相同的分离子次数元组，从而推广了 Cayley-Bacharach 性质。

提出的方法

• 定义 ℙⁿ 中的稠密点构型 Z = m₁P₁ + ⋯ + mᵢPᵢ + ⋯ + mₛPₛ 和 Z′ = m₁P₁ + ⋯ + (mᵢ−1)Pᵢ + ⋯ + mₛPₛ。
• 定义 Pᵢ 的分离子为满足 F ∈ I_{Z′} ∓ I_Z 的齐次形式，并将最小分离子的次数定义为 (deg F₁, ..., deg Fᵥ)，其中 v = deg Z − deg Z′。
• 利用商环 R/I_Z 证明，这些形式的像在 R/I_Z-模结构下极小生成 I_{Z′}/I_Z。
• 证明：Z′ 的 Hilbert 函数可由 Z 的 Hilbert 函数与分离子次数元组计算得出。
• 建立分离子次数元组的各分量与 I_Z 的极小自由解析的最后一个挠组模的移位之间的对应关系。
• 将此对应关系应用于支持为完全交的齐次稠密点构型，证明所有点具有相同的分离子次数元组。

实验结果

研究问题

• RQ1 如何将 ℙⁿ 中减少点的分离子经典概念推广至重数大于一的稠密点？
• RQ2 通过将 Z 中某点的重数降低得到的稠密点构型 Z′ 的 Hilbert 函数，与 Z 的 Hilbert 函数之间存在何种关系？
• RQ3 稠密点的最小分离子的次数与其定义理想 I_Z 的挠组模之间有何关系？
• RQ4 在何种条件下，一个构型中所有稠密点具有相同的分离子次数元组？
• RQ5 Cayley-Bacharach 性质在支持为完全交的稠密点构型中，其推广程度如何？

主要发现

• 通过将稠密点 Pᵢ 的重数从 Z 中降低得到的 Z′ 的 Hilbert 函数，可由 Z 的 Hilbert 函数与 Pᵢ 的最小分离子次数元组计算得出。
• 分离子次数元组 deg_Z(Pᵢ) = (d₁, ..., dᵥ) 的各分量恰好对应于 I_Z 的极小自由解析的最后一个挠组模的移位，且整体偏移 −n。
• 对于支持为完全交的齐次稠密点构型 Z，所有点 Pᵢ 具有相同的分离子次数元组，这意味着通过降低任意 Pᵢ 的重数所得到的所有 Z′ 具有相同的 Hilbert 函数。
• 在 ℙ³ 中，对于类型为 (2,3,4)、重数 m=3 的完全交，分离子次数元组被显式计算为 (10,11,12,12,13,14)。
• 该结果意味着：对于支持为完全交的齐次稠密点构型，存在一个推广的 Cayley-Bacharach 性质，其中所有点具有对称的分离子次数。
• 该构造提供了一种直接从 Z 的 Hilbert 函数与分离子次数元组计算 Z′ 的 Hilbert 函数的计算方法。