[论文解读] Enumerations deciding the weak Lefschetz property

David Cook, Uwe Nagel|arXiv (Cornell University)|May 30, 2011

Advanced Combinatorial Mathematics参考文献 25被引用 15

一句话总结

本文建立了三变量的诺特环单项几乎完全交与穿孔六边形区域之间的对应关系，将弱 Lefschetz 性质（WLP）与带符号的菱形镶嵌计数的素因子联系起来。研究证明，当且仅当素数 p 整除编码带符号菱形镶嵌的矩阵的行列式时，WLP 在特征 p 下失效，给出了这些计数的闭式公式，并实现了对代数族中 WLP 行为的分类。

ABSTRACT

We introduce a natural correspondence between artinian monomial almost complete intersections in three variables and punctured hexagonal regions. We use this correspondence to investigate the algebras for the presence of the weak Lefschetz property. In particular, we relate the field characteristics in which such an algebra fails to have the weak Lefschetz property to the prime divisors of the enumeration of signed lozenge tilings of the associated punctured hexagonal region. On the one side this allows us to establish the weak Lefschetz property in many new cases. For numerous classes of punctured hexagonal regions we find closed formulae for the enumerations of signed lozenge tilings, and thus the field characteristics in which the associated algebras fail to the have the weak Lefschetz property. Further, we offer a conjecture for a closed formula for the enumerations of signed lozenge tilings of symmetric punctured hexagonal regions. These formulae are exploited to lend further evidence to a conjecture by Migliore, Miró-Roig, and the second author that classifies the {\em level} artinian monomial almost complete intersections in three variables that have the weak Lefschetz property in characteristic zero. Moreover, the formulae are used to generate families of algebras which never, or always, have the weak Lefschetz property, regardless of field characteristic. Finally, we determine (in one case, depending on the presence of the weak Lefschetz property) the splitting type of the syzygy bundle of an artinian monomial almost complete intersection in three variables, when the characteristic of the base field is zero. Our results convey an intriguing interplay between problems in algebra, combinatorics, and algebraic geometry, which raises new questions and deserves further investigation.

研究动机与目标

• 建立三变量单项几乎完全交与穿孔六边形区域之间的组合几何对应关系。
• 将弱 Lefschetz 性质的失效与带符号菱形镶嵌计数的素因子联系起来。
• 为对称及其它类型的穿孔六边形区域中带符号菱形镶嵌的计数推导闭式公式。
• 利用代数与组合技巧，分类此类代数在何种情况下具有或不具有 WLP，尤其关注正特征情形。
• 为特征零下水平诺特环单项代数的 WLP 猜想提供证据。

提出的方法

• 通过自然的组合构造，将单项几乎完全交映射到穿孔六边形区域。
• 定义两个整数矩阵——N（二项式系数矩阵）和 Z（零一矩阵）——其行列式编码了 WLP 条件。
• 证明 |det(N)| 等于与该代数相关的穿孔六边形的带符号菱形镶嵌数。
• 利用非相交格路与二分图上的完美匹配，将 Z 的行列式与带符号完美匹配联系起来。
• 应用超阶乘恒等式与基于奇偶性的分解，推导出镶嵌计数的闭式表达式。
• 建立 WLP 在特征 p 下失效当且仅当 p 整除带符号菱形镶嵌计数的结论。

实验结果

研究问题

• RQ1 对于哪些素特征 p，给定的三变量单项几乎完全交不具有弱 Lefschetz 性质？
• RQ2 对称及其它类型穿孔六边形区域的带符号菱形镶嵌数存在哪些闭式公式？
• RQ3 镶嵌计数的素因子如何与相关诺特代数的代数不变量相关联？
• RQ4 能否在特征零下，利用镶嵌数据确定此类代数的 syzygy bundle 的分裂类型？
• RQ5 哪些代数族始终或永无 WLP，且与域的特征无关？

主要发现

• 矩阵 N 的行列式枚举了与代数相关的穿孔六边形的带符号菱形镶嵌数。
• 矩阵 Z 的行列式枚举了由同一区域导出的二分图上的带符号完美匹配数。
• det(N) 与 det(Z) 的绝对值相等，且两者均等于带符号菱形镶嵌的总数。
• 对于对称穿孔六边形，基于超阶乘恒等式，提出了一个关于带符号菱形镶嵌计数的猜想闭式公式。
• WLP 在特征 p 下失效当且仅当 p 整除带符号菱形镶嵌计数，从而实现了对代数族中 WLP 行为的分类。
• 本文基于镶嵌公式，给出了明确的代数族，其是否具有 WLP 与域的特征无关，且始终或永不具有 WLP。