[论文解读] A Gorenstein numerical semi-group ring having a transcendental series of Betti numbers

Clas Löfwall, Samuel Lundqvist+1 more|arXiv (Cornell University)|Dec 4, 2012

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

一句话总结

该论文构造了首个已知的 Gorenstein 数值半群环，其 Poincaré-Betti 系列为超越函数，表明即使在 Gorenstein 环这一行为良好的类别中，Betti 数仍可生成非有理生成函数。通过使用一个基于基半群的对称数值半群构造（涉及所有 ≥ 3F(S)+1 的奇整数），作者证明了所得环 R 的 Poincaré-Betti 系列与一个无穷乘积有理相关，因此为超越函数。该结论通过分析其关联的分次李代数及其包络代数，结合 Macaulay2 计算与同调代数技巧得出。

ABSTRACT

We prove in particular that the Gorenstein numerical semigroup ring generated by (36,48,50,52,56,60,66,67,107,121,129,135) has a transcendental series of Betti numbers. The methods of proofs are the theory of Golod homomorphism and the theory of infinite positively graded Lie algebras. This paper is more than twice as long as earlier 1212.0720, has two extra authors and has new general results about decomposition of graded Lie algebras (theorems 2,3 and 4) in the new section 4.

研究动机与目标

• 解决一个长期存在的问题：Gorenstein 环是否可能具有非有理 Poincaré-Betti 系列，特别是在数值半群环的背景下。
• 构造一个 Gorenstein 数值半群环的显式例子，其 Poincaré-Betti 系列为超越函数，从而表明此类环的有理性并不普遍成立。
• 通过展示即使在完全交与对称半群的情形下，Betti 系列仍可为超越函数，扩展对 Gorenstein 环中同调不变量的理解。
• 通过将构造所得的环商去一个非零因子，提供一个 Artinian Gorenstein 环的最小例子，其 Betti 系列为无理数，可能是最小此类例子。

提出的方法

• 作者使用 [Ro-G-San] 中的构造方法，从给定半群 S 出发，通过引入一个满足 g ≥ 3F(S)+1 的奇整数 g，并利用伪 Frobenius 数 ni 定义新半群 S̄g，从而生成对称数值半群。
• 他们分析环 R = k[S̄197]，其中 S̄197 由单项式 t^36, t^48, ..., t^135 生成，使用 Macaulay2 计算多项式环 T 中定义理想 J 的最小 Gröbner 基。
• 通过跟踪同调度 i 和分度 j 的多分次 Betti 数 |Tor_i^R(k,k)|_j 计算 Poincaré-Betti 系列。
• 分析关联分次李代数 η 的结构，并证明其包络代数的 Poincaré 系列为一个商代数的系數与无穷乘积 ∏(1+z^{2n-1})^2 / (1−z^{2n})^2 的乘积，而该无穷乘积已知为超越函数。
• 证明依赖于有限表示分次李代数的分解结果，以及 Golod 同态与大映射理论，特别是利用李代数结构决定 Betti 系列这一事实。
• 作者验证了由于度数方程线性系统解中分母为素数，环的分度在标量倍数意义下唯一，从而确保环的结构刚性，且在重分度下不与其它环同构。

实验结果

研究问题

• RQ1 尽管完全交环具有有理系列表现，Gorenstein 数值半群环是否仍可能具有超越 Poincaré-Betti 系列？
• RQ2 是否存在一个 Artinian Gorenstein 环的最小例子，其 Betti 系列为无理数？若是，其嵌入维数是多少？
• RQ3 通过使用满足 g ≥ 3F(S)+1 的奇整数 g 构造对称半群，如何影响相关环的同调不变量？
• RQ4 此类环的同调不变量在多大程度上独立于 g 的选择？不同 g 值（如 197 与 199）之间的关系如何？
• RQ5 Gorenstein 环的 Poincaré-Betti 系列是否可能与无穷乘积有理相关？这对其超越性意味着什么？

主要发现

• 环 R = k[S̄197] 由域 k（特征为零）上的单项式 t^36, t^48, t^50, t^52, t^56, t^60, t^66, t^67, t^107, t^121, t^129, t^135 生成，为维数 1 的 Gorenstein 环且为整环。
• R 的 Poincaré-Betti 系列与无穷乘积 ∏_{n=1}^∞ (1+z^{2n-1})^2 / (1−z^{2n})^2 有理相关，而该乘积已知为超越函数。
• 关联分次李代数 η 的包络代数的系列表明为一个商代数的系列表与该无穷乘积的乘积，从而确认了 Betti 系列的超越性。
• R 的最小整数分度由求解 54 个方程、12 个变量的线性方程组唯一确定，解得 c1 = 67，确认了环在重分度下的刚性。
• 对于 R199，相同构造产生不同分度（例如 h=69 而非 67），且需 c1 = 69 才能使所有度数为整数，表明 R197 与 R199 即使在重分度下也不同构。
• 商环 R197/(a)，其中 a 对应 t^36，经重分度后（将剩余生成元重命名为 (b,c,d,e,f,g,h,i,j,k,l) = (1,1,1,1,1,1,1,2,2,2,2)）同构于 R199/(a)，但完整环 R197 与 R199 在任何重分度下均不同构。