[論文レビュー] 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

ひとこと要約

本稿は、平衡的三角形領域における菱形タイル張り、完全マッチング、交差しない格子路の間で符号付き双対写像を確立し、穴の解消技法を用いて2つの符号定義の同値性を示している。主な貢献は、2つの行列式的数え上げの組み合わせ的基盤を確立し、多項式環上のアートンスィアン単項式代数における弱Lefschetz性質への応用である。

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.

研究の動機と目的

• MacMahonによる $a\times b\times c$ 箱内の平面分割の数え上げを、六角形を越えるより一般の三角形領域へ拡張すること。
• 完全マッチングおよび交差しない格子路を介して、菱形タイル張りの2つの異なる符号割り当てを定義し、それらを比較すること。
• 「穴の解消」と呼ばれる新技術を用いて、2つの符号定義の組み合わせ的同値性を確立すること。
• 得られた符号付き組み合わせ論を応用し、アートンスィアン単項式代数における弱Lefschetz性質およびシジージ bundle の安定性を調べること。
• 組み合わせ的道具を用いて、これらの代数的性質が底体の特徴に依存する程度を調査すること。

提案手法

• 上向きの単位三角形（穴）を除去することで、$T \subset \mathcal{T}_d$ として三角形部分領域を定義し、上向きと下向きの単位三角形の数が等しい平衡領域を想定する。
• 菱形タイル張りの2つの符号割り当てを導入：1つは完全マッチングを介し、もう1つは交差しない格子路の族を介する。
• 「穴の解消」技法を開発し、穴あき領域をより大きな平衡領域に変換することで、2つの符号定義の直接的比較を可能にする。
• Gessel-Viennot-Lindström-Stembridge-Krattenthaler理論を用いて、符号付き交差しない格子路の族の数え上げを行列式として表現する。
• 組み合わせ的データをアートンスィアン単項式代数の代数的不変量、特に弱Lefschetz性質およびシジージ bundle の安定性に関連付ける。
• 弱Lefschetz性質を満たさない代数から、ラプラシアン方程式を満たすトーリック表面を自然に構成し、古典的結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 完全マッチングと交差しない格子路を介した2つの菱形タイル張りの符号定義は、一般の三角形部分領域において同値であるか？
• RQ2 菱形タイル張りの符号付き数え上げは、六角形領域を超えて一般化された形で行列式として表現可能か？
• RQ3 3変数のアートンスィアン単項式代数において、弱Lefschetz性質が保証される条件は何か？
• RQ4 弱Lefschetz性質の不成立は、ラプラシアン方程式を満たすトーリック表面のような幾何的構造とどのように関係するか？
• RQ5 単項式代数の代数的性質が底体の特徴にどの程度依存するか？

主な発見

• 完全マッチングと交差しない格子路に基づく2つの菱形タイル張りの符号定義は、穴の解消法により同値である。
• 平衡的三角形領域における符号付き完全マッチングおよび符号付き交差しない格子路の数え上げは、ともに同じ行列式で与えられ、2つの異なる行列式公式を提供する。
• 3変数のタイプ2のアートンスィアン単項式代数において、弱Lefschetz性質を有するすべての代数を分類している。
• 弱Lefschetz性質およびイデアルのシジージ bundle の半安定性を保証する十分条件が確立された。
• 代数が弱Lefschetz性質を満たさない場合、自然にラプラシアン方程式を満たすトーリック表面を関連付けることができ、任意に多くのラプラシアン方程式を満たすようなそのような表面の例が構成された。
• 結果は特徴に依存する：本稿では、底体の特徴が弱Lefschetz性質および関連不変量の有効性に果たす役割を明示的に分析している。