[论文解读] Powers of monomial ideals with characteristic-dependent Betti numbers

Davide Bolognini, Antonio Macchia+2 more|arXiv (Cornell University)|Jan 1, 2022

Commutative Algebra and Its Applications被引用 1

一句话总结

本文研究了单项式理想各次幂的贝蒂数与卡斯特尔努奥夫-穆尔福里德正则性如何依赖于系数域的特征。作者利用lcm格与贝蒂数分裂等工具，构造了明确的例子——如三角剖分的克莱因瓶的边理想——其中所有次幂的贝蒂数均表现出特征依赖性。一个关键贡献是提出了一种通用构造方法，表明在新变量中添加一个单项式可使特征依赖性传播至所有更高次幂。

ABSTRACT

We explore the dependence of the Betti numbers of monomial ideals on the characteristic of the field. A first observation is that for a fixed prime p either the i-th Betti number of all high enough powers of a monomial ideal differs in characteristic 0 and in characteristic p or it is the same for all high enough powers. In our main results, we provide constructions and explicit examples of monomial ideals all of whose powers have some characteristic-dependent Betti numbers or whose asymptotic regularity depends on the field. We prove that, adding a monomial on new variables to a monomial ideal allows to spread the characteristic dependence to all powers. For any given prime p, this produces an edge ideal such that all its powers have some Betti numbers that are different over Q and over Zp. Moreover, we show that, for every r≥0 and i≥3 there is a monomial ideal I such that some coefficient in a degree ≥r of the Kodiyalam polynomials P3(I),…,Pi+r(I) depends on the characteristic. We also provide a summary of related results and speculate about the behavior of other combinatorially defined ideals.

研究动机与目标

• 研究单项式理想各次幂的贝蒂数与卡斯特尔努奥夫-穆尔福里德正则性对系数域特征的依赖性。
• 构造明确的单项式理想，使得其所有次幂的贝蒂数随域特征而变化。
• 理解特征依赖性从低次幂向高次幂传播的机制，尤其关注边理想与二项式边理想的情形。
• 确定贝蒂数或正则性中的特征依赖性是否可通过代数构造系统性地控制或生成。
• 探讨此类特征依赖性是否可从某一给定次幂 h 开始扩展至所有更高次幂，以及其在取幂操作下是否具有稳定性。

提出的方法

• 利用霍奇斯特公式与lcm格计算贝蒂数并分析其域依赖性。
• 应用贝蒂数分裂技术，证明当在理想中添加一个新变量的单项式时，若某次幂具有特征依赖性，则其所有更高次幂也继承该依赖性。
• 通过单纯复形（如克莱因瓶的最小三角剖分）的斯坦利-雷泽尼尔理论构造单项式理想，实现在所有次幂中均存在特征依赖贝蒂数。
• 利用科迪亚拉姆定理分析高次幂中贝蒂数的多项式性质，研究不同特征下科迪亚拉姆多项式的次数与系数。
• 通过Macaulay2计算验证特定例子（包括边理想与二项式边理想）中的域依赖性。
• 提出一种通用构造：向具有域依赖正则性的理想中添加一个新变量的幂，以在所有高次幂中诱导出域依赖性。

实验结果

研究问题

• RQ1 能否构造一个单项式理想，使其所有次幂的贝蒂数均依赖于域的特征？
• RQ2 是否可通过代数构造，将贝蒂数的特征依赖性从单一幂传播至所有更高次幂？
• RQ3 单项式理想各次幂的渐近正则性是否依赖于域的特征？若依赖，如何系统性地生成这种依赖性？
• RQ4 对于二项式边理想，是否存在高次幂的贝蒂数依赖于域特征，而低次幂则不依赖的情况？
• RQ5 使得某一固定次幂的贝蒂数不同的素数集合是否有限？是否存在无穷多个此类素数？

主要发现

• 对任意单项式理想 I，其 h 次幂的第 i 个贝蒂数，要么对所有 h ≥ hi 均为域依赖，要么对所有 h ≥ hi 均为域独立，表现出类似阈值的行为。
• 克莱因瓶的最小三角剖分的斯坦利-雷泽尼尔理想，其所有 h ≥ 1 次幂的贝蒂数均依赖于域特征。
• 在单项式理想中添加一个新变量的单项式，可使特征依赖性传播至所有更高次幂：若 Ih 的贝蒂数具有特征依赖性，则 (I + (w))^ℓ 对所有 ℓ ≥ h 也具有特征依赖性。
• 存在一种构造方法：若理想 I 具有域依赖正则性，则添加 yc 后，(I + (yc))^h 对所有充分大的 h 均具有域依赖正则性。
• 发现了二项式边理想中的例子，其中在特征 2 与 ℚ 下，J^4_C 的贝蒂数不同；且尽管低次幂独立，J^3_D 的射影维数仍表现出特征依赖性。
• 对于某些边理想，JE 与 J^2_E 的贝蒂数在特征 0、2 和 3 下不同，J^2_F 同样如此，表明特征依赖性可能仅在高次幂中显现。