[论文解读] Graded Betti numbers and $h$-vectors of level modules

Jonas Söderberg|ArXiv.org|Dec 4, 2006

Commutative Algebra and Its Applications参考文献 18被引用 10

一句话总结

本论文在假设 Cohen-Macaulay 模的 Betti 数猜想的前提下，研究了在有理数缩放下 level 模的 h-向量与分次 Betti 数。它刻画了可约去的 h-向量以及具有弱 Lefschetz 性质的 level 模的 h-向量（在有理数缩放下），并证明了对余维数三的 level 模，多重性猜想的上界成立，若其还具有弱 Lefschetz 性质，则下界也成立。

ABSTRACT

We study $h$-vectors and graded Betti numbers of level modules up to multiplication by a rational number. Assuming a conjecture on the possible graded Betti numbers of Cohen-Macaulay modules we get a description of the possible $h$-vectors of level modules up to multiplication by a rational number. We also determine, again up to multiplication by a rational number, the cancellable $h$-vectors and the $h$-vectors of level modules with the weak Lefschetz property. Furthermore, we prove that level modules of codimension three satisfy the upper bound of the Multiplicity conjecture of Herzog, Huneke and Srinivasan, and that the lower bound holds if the module, in addition, has the weak Lefschetz property.

研究动机与目标

• 理解在有理数缩放下 level 模的 h-向量与分次 Betti 数的结构。
• 在 Cohen-Macaulay 模 Betti 数猜想的假设下，确定 level 模可能的 h-向量。
• 刻画可约去的 h-向量以及具有弱 Lefschetz 性质的 level 模的 h-向量（在有理数缩放下）。
• 建立余维数三 level 模多重性的精确上界与下界。

提出的方法

• 假设 Cohen-Macaulay 模的分次 Betti 数的 Boij-Söderberg 猜想（在有理数缩放下成立）。
• 使用极压缩 level 模的 h-向量的非负有理线性组合来描述 level 模可能的 h-向量。
• 应用在固定 h-向量下最大 Betti 数的概念，以推导上界。
• 通过连续取消 Betti 图表来分析最小移位与多重性界。
• 使用 Betti 图表的序复形与凸性论证来证明结构性结果。
• 应用 Boij 与 Söderberg 在余维数三中关于纯图与它们线性组合的结果。

实验结果

研究问题

• RQ1 在 Boij-Söderberg 猜想成立的假设下，level 模的可能 h-向量（在有理数缩放下）是什么？
• RQ2 哪些 h-向量是可约去的？它们在有理数缩放下如何刻画？
• RQ3 具有弱 Lefschetz 性质的 level 模的多重性上界与下界是什么？
• RQ4 多重性猜想对余维数三的 level 模是否成立？在什么条件下成立？
• RQ5 余维数三的 level 代数中，Betti 图表的序复形是否为凸的？

主要发现

• 满足 Boij-Söderberg 猜想的 level 模的 h-向量，恰好是相同余迹度下极压缩 level 模的 h-向量的非负有理线性组合。
• 这些 h-向量满足一个涉及三个连续项的线性不等式组，从而刻画了其结构。
• 此类 level 模的 Betti 数通过从相应极压缩模的线性组合的 Betti 数中连续取消得到。
• 对于具有弱 Lefschetz 性质的 level 模，多重性猜想的上界成立，且该上界在有理数缩放下是精确的。
• 若 codimension 三的 level 模也具有弱 Lefschetz 性质，则其多重性猜想的下界成立。
• 当首尾移位固定时，余维数三的 level 代数中，序复形 Δ(Πd̲,d̄) 是凸的，从而确认了 Boij-Söderberg 猜想的一个关键情形。