[论文解读] Regularity of joint-meet ideals of distributive lattices

Viviana Ene, Ayesha Asloob Qureshı+1 more|arXiv (Cornell University)|Jul 29, 2013

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

一句话总结

本文计算了与有限分配格相关的Hibi环的正则性，为平面格提供了精确公式，并通过组合不变量（如两两不可比较的join-irreducible元素的最大集合大小）为非平面格提供了界限。关键结果是刻画了Hibi环具有线性解析的条件：当且仅当格是 $2 \cdot 3^a$ 的除数格（$a \geq 0$）时成立。该结果解决了该类环中线性解析长期存在的一个问题。

ABSTRACT

Let $L$ be a distributive lattice and $R(L)$ the associated Hibi ring. We compute $ eg R(L)$ when $L$ is a planar lattice and give a lower bound for $ eg R(L)$ when $L$ is non-planar, in terms of the combinatorial data of $L.$ As a consequence, we characterize the distributive lattices $L$ for which the associated Hibi ring has a linear resolution.

研究动机与目标

• 确定有限分配格 $L$ 的Hibi环 $R(L)$ 的正则性。
• 当 $L$ 为平面格时，基于格的组合性质，建立 $\operatorname{reg}R(L)$ 的精确公式。
• 利用两两不可比较的join-irreducible元素的最大集合大小，为非平面情况下的 $\operatorname{reg}R(L)$ 提供界限。
• 刻画所有使得 $R(L)$ 具有线性解析的分配格 $L$。
• 通过将问题与 $2 \cdot 3^a$ 的除数格结构联系起来，解决Hibi环中存在线性解析的开放问题。

提出的方法

• 本文利用 $R(L)$ 的Hilbert级数，该级数与阶复形 $\Delta(L)$ 的Stanley-Reisner环的Hilbert级数一致，从而将正则性与 $\Delta(L)$ 的 $h$-向量联系起来。
• 应用恒等式 $\operatorname{reg}R(L) = \deg h_{R(L)}$，该式成立是因为 $R(L)$ 是Cohen-Macaulay环，并且存在一组线性形式的正则序列。
• 通过方程 (1) $h_{K[\Delta(L)]}(t) = \sum_{S \subset [d]} \beta(S) t^{|S|}$ 解释 $h$-向量系数，即基于具有给定下降集 $S$ 的join-irreducible元素的偏序集 $P$ 的线性扩展数量。
• 对于平面格，通过EL-标记法和循环子格，计算所有极大链中下降集大小的最大值来确定正则性。
• 对于非平面格，通过与布尔格比较，将 $\operatorname{reg}R(L)$ 从下界估计为 $|Q| - 1$，其中 $Q$ 是两两不可比较的join-irreducible元素的最大集合。
• 证明依赖于在join-irreducible元素上定义的偏序关系 $\prec$，该关系保持顺序并允许比较 $\beta(S)$ 值，从而导出不等式 $\operatorname{reg}R(L) \geq \operatorname{reg}R(B_r)$。

实验结果

研究问题

• RQ1 对于平面分配格 $L$，$\operatorname{reg}R(L)$ 的精确值是什么？
• RQ2 如何根据其组合结构，对非平面分配格的 $\operatorname{reg}R(L)$ 进行界定？
• RQ3 哪些分配格 $L$ 使得Hibi环 $R(L)$ 具有线性解析？
• RQ4 两两不可比较的join-irreducible元素的最大集合大小与 $R(L)$ 的正则性之间有何关系？
• RQ5 是否可以将Hibi环中线性解析的刻画简化为某一类特定格？

主要发现

• 对于平面分配格，$\operatorname{reg}R(L)$ 等于 $L$ 中任意极大链的下降集大小的最大值，该值通过EL-标记法计算得出。
• 对于非平面格，$\operatorname{reg}R(L) \geq \max\{|Q| : Q \text{ 是两两不可比较的join-irreducible元素的集合}\} - 1$，且等式可能成立。
• 布尔格 $B_n$ 的正则性为 $n-1$，该值作为非平面格的正则性下界基准。
• Hibi环 $R(L)$ 具有线性解析当且仅当 $L$ 是 $2 \cdot 3^a$（$a \geq 0$）的除数格，给出了完整的刻画。
• $\operatorname{reg}R(L)$ 的上界为 $|P| - 1$，其中 $P$ 是join-irreducible元素的集合，且该上界是紧的。
• 例9表明，非平面界限中的两个不等式均可严格成立：$\operatorname{reg}R(L) = 3$，而最大不可比较集合大小为3，且 $|P| - 1 = 4$，因此 $3 < 4$ 且 $3 = 3$。