[论文解读] 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

一句话总结

本文利用消去法和共线性数据，为射影平面上的多重点概形的Hilbert函数提供了组合意义上的上下界。当满足充分条件时，可给出Hilbert函数的精确公式，并对分次Betti数提供界，推广了先前的工作，且适用于任意特征，计算工具可通过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 .

研究动机与目标

• 为射影平面上的多重点概形的Hilbert函数建立组合定义的上下界。
• 刻画这些界何时重合，从而得到Hilbert函数的精确公式。
• 将关于此类概形定义理想分次Betti数的结果推广至先前工作的范围之外。
• 提供一种适用于任意特征（包括正特征）的方法。
• 通过AWK脚本的算法实现，提供可计算的界和精确公式。

提出的方法

• 利用消去法理论分析P²中定义多重点概形的理想结构。
• 引入共线性信息——特别是哪些点子集是线性相关的——以细化Hilbert函数的界。
• 基于点的重数和线性相关性数据构造上下界，不依赖于代数几何，仅使用基本交换代数。
• 应用组合技术，推导出当N=2（即射影平面）时的显式界。
• 识别出一个充分条件，使得Hilbert函数的上下界重合。
• 在满足条件时，推导出定义理想分次Betti数的组合界。

实验结果

研究问题

• RQ1 在何种条件下，射影平面中多重点概形的Hilbert函数的组合定义上下界会重合？
• RQ2 如何利用点子集之间的线性相关性来细化Hilbert函数的界？
• RQ3 当Hilbert函数被精确知道时，其定义理想的分次Betti数具有何种结构？
• RQ4 该方法能否统一适用于所有特征（包括正特征）？
• RQ5 理论界如何通过计算实现，以处理具体例子？

主要发现

• 当满足充分条件时，射影平面中多重点概形的Hilbert函数完全由一个简单显式的公式确定。
• 该方法提供了仅依赖于点重数和共线性数据的组合定义的Hilbert函数上下界。
• 本文将Geramita-Migliore-Sabourin（2006）的早期结果推广至任意特征，并对分次Betti数提供了界。
• Hilbert函数的界是有效且可计算的，且提供了AWK脚本用于实现。
• 对具有丰富组合、几何和代数结构的许多例子族，获得了精确的Hilbert函数和Betti数界。
• 由于其组合和基于消去法的基础，该方法具有鲁棒性，在任意特征（包括正特征）下均一致有效。