[论文解读] Consecutive cancellations in Betti numbers of local rings

Maria Evelina Rossi, Leila Sharifan|ArXiv.org|Apr 7, 2009

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

一句话总结

本文通过使用关联分次环并引入负连续消去，将Peeva在多项式环中关于Betti数连续消去的结果扩展到正则局部环。证明了局部环R/I的Betti数可通过莱克斯理想Lex(I)经一系列零消去和负消去得到，从而实现了对局部环理论中Hilbert函数与解析解的全新刻画。

ABSTRACT

Let I be a homogeneous ideal in a polynomial ring P over a field. By Macaulay's Theorem, there exists a lexicographic ideal L=Lex(I) with the same Hilbert function as I. Peeva has proved that the Betti numbers of P/I can be obtained from the graded Betti numbers of P/L by a suitable sequence of consecutive cancellations. We extend this result to any ideal I in a regular local ring (R,m) by passing through the associated graded ring. To this purpose it will be necessary to enlarge the list of the allowed cancellations. Taking advantage of Eliahou-Kervaire's construction, several applications are presented. This connection between the graded perspective and the local one is a new viewpoint and we hope it will be useful for studying the numerical invariants of classes of local rings.

研究动机与目标

• 将Peeva在齐次情形下关于Betti数连续消去的结果，从多项式环推广到正则局部环。
• 通过莱克斯理想建立局部环的极小自由解析与其实关联分次环解析之间的联系。
• 在局部情形下引入负连续消去作为必要工具，超越齐次情形中仅使用的零消去。
• 为局部环提供可实现Hilbert函数的新刻画，特别是对余维数为二的Artinian Gorenstein环。
• 证明在形式幂级数环中，任意对莱克斯理想解析的零与负消去序列均可由实际理想实现。

提出的方法

• 利用关联分次环$ gr_{\mathfrak{m}}(R/I) \cong P/I^* $，将问题从局部环转移到分次设定中。
• 应用Macaulay定理构造与$ R/I $具有相同Hilbert函数的莱克斯理想$ L = \mathrm{Lex}(I) $。
• 在Betti数中引入负连续消去的概念，扩展Peeva的零消去框架。
• 利用Eliahou-Kervaire构造方法，显式描述稳定莱克斯理想的极小自由解析。
• 通过修改$ L $的Hilbert-Burch矩阵，在$ k[[x,y]] $中构造理想，使用系数$ \alpha_{ij} \in \{0,1\} $实现期望的消去。
• 验证所得理想$ I $满足$ \mathrm{Lex}(I) = L $，且其解析由$ L $的解析经指定消去得到。

实验结果

研究问题

• RQ1 Peeva在多项式环设定下关于Betti数连续消去的定理，能否推广到正则局部环？
• RQ2 为关联局部环$ R/I $的Betti数与其实关联分次环$ gr_{\mathfrak{m}}(R/I) $的Betti数建立联系，需要何种类型的消去？
• RQ3 在莱克斯理想$ L $的解析中，哪些消去序列可由形式幂级数环中的实际理想实现？
• RQ4 与齐次情形相比，负消去如何影响局部情形下极小自由解析的结构？
• RQ5 对余维数为二的Gorenstein局部环，其Betti数对其实莱克斯理想的Betti数施加了何种约束？

主要发现

• 局部环$ R/I $的Betti数可通过莱克斯理想$ L = \mathrm{Lex}(I) $的分次Betti数，经一系列零消去与负连续消去得到。
• 对余维数为二的Artinian Gorenstein局部环，条件$ \beta_2(R/I) = 1 $意味着在$ L $的解析中所有$ j > 0 $的指数$ e_j \leq 1 $，从而为Hilbert函数的一个已知约束提供了新证明。
• 在$ k[[x,y]] $中，对莱克斯理想$ L $的极小自由解析的任意零与负消去序列，均可由满足$ \mathrm{Lex}(I) = L $的理想$ I $实现，表明此类解析具有可实现性。
• 局部环$ R/I $的极小自由解析通过在$ L $的解析上执行消去得到，关键洞见在于局部情形下必须使用负消去。
• 通过修改的Hilbert-Burch矩阵构造方法，可显式实现具有预设消去模式的理想，如示例4.8所示。
• 关联分次环$ gr_{\mathfrak{m}}(R/I) $与$ R/I $具有相同的Hilbert函数，其通过$ L $的解析作为连接局部解析的桥梁。