[论文解读] Socles of Buchsbaum modules, complexes and posets

Isabella Novik, Ed Swartz|ArXiv.org|Nov 6, 2007

Commutative Algebra and Its Applications参考文献 40被引用 9

一句话总结

本文通过将分次Buchsbaum模的零化子与局部上同调联系起来，建立了Buchsbaum模、复形和偏序集的新代数与组合结果，从而对f-向量和Betti数给出了更强的必要条件。这些结果正面解决了关于2k维单纯多面体的欧拉示性数最大值的K"uhnel猜想，以及关于此类多面体边数下限的Kalai猜想。

ABSTRACT

The socle of a graded Buchsbaum module is studied and is related to its local cohomology modules. This algebraic result is then applied to face enumeration of Buchsbaum simplicial complexes and posets. In particular, new necessary conditions on face numbers and Betti numbers of such complexes and posets are established. These conditions are used to settle in the affirmative Kühnel's conjecture for the maximum value of the Euler characteristic of a $2k$-dimensional simplicial manifold on $n$ vertices as well as Kalai's conjecture providing a lower bound on the number of edges of a simplicial manifold in terms of its dimension, number of vertices, and the first Betti number.

研究动机与目标

• 使用代数工具加强Buchsbaum单纯复形和偏序集中f-向量与Betti数的必要条件。
• 通过代数方法解决K"uhnel关于n个顶点的2k维单纯多面体的最大欧拉示性数的猜想。
• 证明Kalai关于单纯多面体边数下限的猜想，该猜想以维度、顶点数和第一Betti数表示边数的下界。
• 将这些结果推广至Buchsbaum单纯偏序集，并建立一个以指定Betti数刻画其f-向量的框架。
• 提出一个新的交换代数结果，将Buchsbaum模的零化子与局部上同调联系起来，该结果支撑了所有组合应用。

提出的方法

• 提出一个新的交换代数定理（定理2.2），将分次Buchsbaum模的零化子与其局部上同调模联系起来。
• 应用该代数结果，推导出Buchsbaum单纯复形的f-向量与Betti数的新必要条件（定理3.5与4.3）。
• 利用加强后的条件，证明K"uhnel关于2k维单纯多面体最大欧拉示性数的猜想。
• 通过将方法推广至所有多面体（而不仅特殊情形），证明Kalai关于边数下限的猜想。
• 利用Mayer-Vietoris序列与沿面的粘合构造，将结果推广至Buchsbaum单纯偏序集。
• 构造具有指定h'-向量与Betti数的Buchsbaum偏序集的显式例子，以检验所导不等式的紧致性。

实验结果

研究问题

• RQ1 Buchsbaum单纯复形与偏序集的f-向量与Betti数的最强必要条件是什么？
• RQ2 K"uhnel关于n个顶点的2k维单纯多面体最大欧拉示性数的猜想是否对所有n都成立？
• RQ3 Kalai关于单纯多面体边数下限的猜想是否对所有此类多面体均成立，无论Betti数或可定向性如何？
• RQ4 Buchsbaum单纯偏序集的f-向量是否能通过所导不等式完全刻画，前提是其Betti数已知？
• RQ5 除了由零化子-局部上同调对应导出的限制外，Buchsbaum复形的(h, β)对是否还有额外约束？

主要发现

• 本文证明了K"uhnel关于n个顶点的2k维单纯多面体最大欧拉示性数的猜想，适用于所有n值，而不仅极端情况。
• Kalai关于单纯多面体边数下限的猜想已对所有多面体得到验证，扩展了以往仅限于第一Betti数为1或第二Betti数为零的情形。
• 提出一个新的代数结果（定理2.2），精确建立了分次Buchsbaum模的零化子与其局部上同调模之间的关系。
• 所导出的不等式 $ h^{ ext{'} ext{}}_{i} \geq \binom{d}{i} \beta_{i-1} $ 与 $ h^{ ext{'} ext{}}_{i+1} \leq \left(h_i - \binom{d}{i}\beta_{i-1}\right)^{<i>} $ 提供了比以往更强的f-向量与Betti数的必要条件。
• 结果被推广至Buchsbaum单纯偏序集，表明相同的不等式控制其f-向量与Betti数。
• 提供了具有指定h'-向量与Betti数（如 $ X(i,d) $）的Buchsbaum偏序集的显式构造，支持了所导不等式可能完全刻画此类(h, β)对的猜想。