[논문 리뷰] Enumerations of lozenge tilings, lattice paths, and perfect matchings and the weak Lefschetz property

David Cook, Uwe Nagel|arXiv (Cornell University)|2013. 05. 06.

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$ 를 정의하며, 균형 잡힌 영역은 위로 향하는 삼각형과 아래로 향하는 삼각형의 수가 동일한 영역이다.
• 루비드 타일링에 대한 두 부호 부여 방식을 도입: 하나는 완전 매칭을 통해, 다른 하나는 교차하지 않는 격자 경로의 집합을 통해.
• 구멍을 메우는 기법을 개발하여, 구멍이 있는 영역을 더 큰 균형 잡힌 영역으로 변환함으로써 두 부호 부여 방식 간의 직접적 비교를 가능하게 한다.
• 게셀-비엔노-린스트로움-스템브리지-크라텐탈러 이론을 사용하여, 부호가 있는 교차하지 않는 격자 경로의 집합의 수를 행렬식으로 표현한다.
• 조합적 자료를 아르틴형 단항 대수의 대수적 불변량, 특히 약한 레프셰츠 성질과 싸지 번들의 안정성과 연결한다.
• 약한 레프셰츠 성질을 만족하지 못하는 대수로부터 라플라스 방정식을 만족하는 토릭 표면을 구성하며, 고전 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 완전 매칭과 교차하지 않는 격자 경로를 통한 두 부호 정의가 일반적인 삼각형 부분 영역에서 동치인가?
• RQ2 루비드 타일링의 부호가 있는 수량 세기 공식이 육각형 영역을 초월하여 행렬식으로 표현될 수 있는가?
• RQ3 세 변수에서 아르틴형 단항 대수에 대해 약한 레프셰츠 성질이 보장되는 조건은 무엇인가?
• RQ4 약한 레프셰츠 성질의 실패는 라플라스 방정식을 만족하는 토릭 표면과 같은 기하적 구조와 어떻게 관련되는가?
• RQ5 단항 대수의 대수적 성질이 기저 체의 특성에 얼마나 의존하는가?

주요 결과

• 완전 매칭과 교차하지 않는 격자 경로를 통한 두 부호 정의는 구멍 메우기 기법을 통해 동치임이 입증된다.
• 균형 잡힌 삼각형 영역에서 부호가 있는 완전 매칭의 수와 부호가 있는 교차하지 않는 격자 경로의 수는 모두 동일한 행렬식으로 표현되며, 이는 두 가지 서로 다른 행렬식 공식을 제공한다.
• 세 변수에서 유형 2인 아르틴형 단항 대수에 대해 약한 레프셰츠 성질를 만족하는 모든 대수를 분류한다.
• 약한 레프셰츠 성질과 이상의 이상 번들의 반안정성에 대한 충분조건을 확립한다.
• 대수가 약한 레프셰츠 성질을 만족하지 못할 경우, 라플라스 방정식을 만족하는 토릭 표면을 자연스럽게 부여할 수 있으며, 임의로 많은 라플라스 방정식을 만족하는 표면의 예를 구성한다.
• 결과는 특성에 따라 달라진다: 논문은 기저 체의 특성이 약한 레프셰츠 성질 및 관련 불변량의 유효성에 미치는 영향을 명시적으로 분석한다.