[论文解读] Enumerations of lozenge tilings, lattice paths, and perfect matchings and the weak Lefschetz property

David Cook, Uwe Nagel|arXiv (Cornell University)|May 6, 2013

Advanced Combinatorial Mathematics参考文献 57被引用 4

一句话总结

本文通过一种新颖的穿孔解析技术，建立了在平衡三角形区域中菱形密铺、完美匹配与非交叉格路之间的带符号双射，证明了两种符号定义的等价性。主要贡献在于为两种行列式计数公式提供了组合学基础，并将其应用于多项式环上阿廷诺单环代数的弱莱夫谢茨性质研究。

ABSTRACT

MacMahon enumerated the plane partitions in an $a imes b imes c$ box. These are in bijection to lozenge tilings of a hexagon, to certain perfect matchings, and to families of non-intersecting lattice paths. In this work we consider more general regions, called triangular regions, and establish signed versions of the latter three bijections. Indeed, we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. A combinatorial argument involving a new method, called resolution of a puncture, then shows that the signs are in fact equivalent. This provides in particular two different determinantal enumerations of these families. These results are then applied to study the weak Lefschetz property of Artinian quotients by monomial ideals of a three-dimensional polynomial ring. We establish sufficient conditions guaranteeing the weak Lefschetz property as well as the semistability of the syzygy bundle of the ideal, classify the type two algebras with the weak Lefschetz property, and study monomial almost complete intersections in depth. Furthermore, we develop a general method that often associates to an algebra that fails the weak Lefschetz property a toric surface that satisfies a Laplace equation. We also present examples of toric varieties that satisfy arbitrarily many Laplace equations. Our combinatorial methods allow us to address the dependence on the characteristic of the base field for many of our results.

研究动机与目标

• 将麦克马洪对 $a\times b\times c$ 方箱中平面分拆的计数推广至超越六边形的更一般三角形区域。
• 通过完美匹配与非交叉格路，定义并比较两种不同的菱形密铺符号赋值。
• 利用一种名为“穿孔解析”的新技术，建立两种符号定义之间的组合等价性。
• 将所得的带符号组合学应用于研究阿廷诺单环代数中的弱莱夫谢茨性质与斜率丛稳定性。
• 利用组合工具研究这些代数性质对基域特征的依赖性。

提出的方法

• 通过移除指向上的单位三角形（即穿孔）定义三角形子区域 $T \subset \mathcal{T}_d$，其中平衡区域包含等量的上指与下指单位三角形。
• 为菱形密铺引入两种符号赋值：一种基于完美匹配，另一种基于非交叉格路族。
• 开发“穿孔解析”技术，将带穿孔区域转化为更大的平衡区域，从而实现对两种符号定义的直接比较。
• 利用 Gessel-Viennot-Lindström-Stembridge-Krattenthaler 理论，将带符号非交叉格路族的计数表示为行列式。
• 将组合数据与阿廷诺单环代数的代数不变量（特别是弱莱夫谢茨性质与斜率丛稳定性）联系起来。
• 从不满足弱莱夫谢茨性质的代数构造一个满足拉普拉斯方程的 toric 曲面，推广了经典结果。

实验结果

研究问题

• RQ1 在一般三角形子区域中，基于完美匹配与非交叉格路的两种菱形密铺符号定义是否等价？
• RQ2 菱形密铺的带符号计数能否以一种推广麦克马洪公式的行列式形式表达，且适用于非六边形区域？
• RQ3 在三个变量的阿廷诺单环代数中，弱莱夫谢茨性质的充分条件是什么？
• RQ4 弱莱夫谢茨性质的失效如何与满足拉普拉斯方程的几何结构（如 toric 曲面）相关联？
• RQ5 单环代数的代数性质在多大程度上依赖于基域的特征？

主要发现

• 通过穿孔解析方法，基于完美匹配与非交叉格路的两种菱形密铺符号定义在组合上是等价的。
• 在平衡三角形区域中，带符号完美匹配数与带符号非交叉格路族数均由同一行列式枚举，从而提供了两种不同的行列式公式。
• 对于三个变量中类型为二的阿廷诺单环代数，本文对所有具有弱莱夫谢茨性质的代数进行了分类。
• 建立了弱莱夫谢茨性质与理想斜率丛半稳定性的充分条件。
• 当一个代数不满足弱莱夫谢茨性质时，可自然地关联一个满足拉普拉斯方程的 toric 曲面，且本文构造了满足任意多条拉普拉斯方程的此类曲面示例。
• 结果具有特征依赖性：本文明确分析了基域特征在弱莱夫谢茨性质及其相关不变量有效性中的作用。