[논문 리뷰] A bijective proof of Loehr-Warrington's formulas for the statistics $\mbox{ctot}_{\frac{q}{p}}$ and $\mbox{midd}_{\frac{q}{p}}$

Mikhail Mazin|arXiv (Cornell University)|2013. 01. 30.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 4

한 줄 요약

이 논문은 청소년 다이어그램에서 통계 $\operatorname{ctot}_{\frac{q}{p}}$ 및 $\operatorname{mid}_{\frac{q}{p}}$에 대한 Loehr-Warrington의 공식에 대해 이중성의 기본 조합적 이중성, 즉 큰 직사각형 내에서 다이어그램 $D$의 허리 길이 $a$와 다리 길이 $l$을 가진 상자의 수는 그 여집합에서 정확히 한 개 적다는 것을 이용하여 전단사적 증명을 제공한다. 핵심 결과는 이러한 통계의 대칭성을 설명하는 직접적이고 구성적인 전단사적 사상으로, $\mathbb{C}^2$ 위의 점들의 Hilbert 스킴에서의 기하학적 불변량에 대한 조합적 해석을 제공한다. 증명은 $\operatorname{ctot}_{\frac{q}{p}}(D)$와 $\operatorname{mid}_{\frac{q}{p}}(D)$가 경계 그래프 $M(D)$에만 의존한다는 것을 입증하며, 토루스 작용의 맥락에서 오랫동안 남아있던 조합적 수수께끼를 해결한다.

ABSTRACT

Loehr and Warrington introduced partitional statistics $\mbox{ctot}_{\frac{q}{p}}(D)$ and $\mbox{midd}_{\frac{q}{p}}(D)$ and provided formulas for these statistics in terms of the boundary graph of the Young diagram $D$. In this paper we give a bijective proof of Loehr-Warrington's formulas using the following simple combinatorial observation: given a Young diagram $D$ and two numbers $a$ and $l,$ the number of boxes in $D$ with the arm length $a$ and the leg length $l$ is one less than the number of boxes with the same properties in the complement to $D.$ Here the complement is taken inside the positive quadrant or, equivalently, a very large rectangle.

연구 동기 및 목표

• 청소년 다이어그램에서 $\operatorname{ctot}_{\frac{q}{p}}$ 및 $\operatorname{mid}_{\frac{q}{p}}$에 대한 Loehr-Warrington의 공식에 전단사적 증명을 제공한다.
• 유리수 $x$에 대해 $h_x(D)$의 불변성의 배경이 되는 조합적 대칭성을 설명한다. 이는 $\mathbb{C}^2$ 위의 점들의 Hilbert 스킴과 기하학적으로 연결되어 있다.
• 왜 $\operatorname{ctot}_{\frac{q}{p}}(D)$와 $\operatorname{mid}_{\frac{q}{p}}(D)$가 오직 경계 그래프 $M(D)$에만 의존하는지 명확히 한다. 이는 토루스 작용의 조합론에서 오랫동안 남아있던 수수께끼를 해결한다.
• 안정적이고 비안정적인 셀 분해의 대칭성을 설명하는 직접적이고 명시적인 전단사적 사상을 제공한다. 이 사상은 $c^+_{\frac{q}{p}}(D)$와 $c^-_{\frac{q}{p}}(D)$를 서로 바꾸면서도 $M(D)$를 유지한다.

제안 방법

• 증명은 핵심적인 조합적 이중성에 기반한다: 임의의 청소년 다이어그램 $D$에 대해, 허리 길이 $a$와 다리 길이 $l$을 가진 상자의 수는 큰 직사각형 $R_{Kp,Kq}$ 내에서 그 여집합에 비해 정확히 한 개 적다.
• 다이어그램 $D$의 경계 래티스 경로 $B(D)$를 사용하여, 정수 모듈로 $Kpq$로 라벨링된 정점과 함께 $N$-변이 $p$ 감소, $W$-변이 $q$ 증가하는 라벨이 부여된 그래프 $M(D)$를 정의한다. 정점은 라벨에 의해 식별된다.
• 그래프 $M(D)$는 경로 $B(D)$에 대응하는 올레라인 순회 $E(D)$를 갖는다. 통계 $\operatorname{ctot}_{\frac{q}{p}}(D)$와 $\operatorname{mid}_{\frac{q}{p}}(D)$는 $E(D)$의 선택과 무관하게 $M(D)$ 자체의 불변량임을 보여준다.
• 전단사적 사상은 $D$와 그 여집합 간의 이중성에 기반하여 구성된다. 각각의 $D$에 속한 상자에 대해 주어진 $(a,l)$를 가진 상자와, 여집합에 속한 상자에 대해 같은 $(a,l)$를 가지며, 그 수는 정확히 한 개의 차이를 가진다.
• 생성 함수를 사용하여 $D$의 $(p,q)$-가중치 내용이 $M(D)$에 의해 결정됨을 보이고, $C_{p,q}^D$가 $P_N^{M(D)}$와 $P_W^{M(D)}$로부터 복원될 수 있음을 확인함으로써, $M(D)$가 전체 내용 정보를 포함함을 입증한다.
• 기하학적 해석은 Hilbert 스킴 $\operatorname{Hilb}^n_{p,q}(\mathbb{C}^2)$에 기반하며, $\operatorname{ctot}_{\frac{q}{p}}(D)$는 단항 아이디얼 $I_D$를 포함하는 기약 성분의 차원과 같다. 전단사적 사상은 안정적이고 비안정적인 셀 분해 간의 대칭성을 반영한다.

실험 결과

연구 질문

• RQ1 Loehr-Warrington의 공식 $\operatorname{ctot}_{\frac{q}{p}}$ 및 $\operatorname{mid}_{\frac{q}{p}}$를 청소년 다이어그램의 기본 이중성에 기반한 전단사적 증명으로 어떻게 도출할 수 있는가?
• RQ2 왜 통계 $\operatorname{ctot}_{\frac{q}{p}}(D)$와 $\operatorname{mid}_{\frac{q}{p}}(D)$는 올레라인 순회 $E(D)$의 선택과 관계없이 오직 경계 그래프 $M(D)$에만 의존하는가?
• RQ3 안정적이고 비안정적인 셀 분해의 대칭성 뒤에 있는 조합적 메커니즘은 무엇인가? 이는 $h_x(D)$가 유리수 $x$에 대해 불변인 이유를 설명한다.
• RQ4 왜 $R_{Kp,Kq}$ 내에서 $D$와 그 여집합 간의 보완성은 같은 $(a,l)$를 가진 상자 간의 일대일 대응을 설명하며, 그 수는 정확히 한 개의 차이를 가진다?
• RQ5 기약 성분의 안정적이고 비안정적인 셀 분해가 각 차원의 셀 수를 동일하게 가지는 것은 어떤 기하학적 의미를 갖는가?

주요 결과

• 청소년 다이어그램 $D$에서 허리 길이 $a$와 다리 길이 $l$을 가진 상자의 수는 큰 직사각형 $R_{Kp,Kq}$ 내에서 그 여집합에 비해 정확히 한 개 적다. 이는 기본적인 이중성을 확립한다.
• 통계 $\operatorname{ctot}_{\frac{q}{p}}(D)$와 $\operatorname{mid}_{\frac{q}{p}}(D)$는 $E(D)$의 선택과 무관하게 오직 경계 그래프 $M(D)$에 의해 완전히 결정되며, 이는 생성 함수 $P_N^{M(D)}$와 $P_W^{M(D)}$의 불변성 때문이다.
• $(p,q)$-가중치 내용에 대한 생성 함수 $C_{p,q}^D$는 $P_N^{M(D)}$와 $P_W^{M(D)}$로부터 명시적으로 재구성될 수 있다. 이는 $M(D)$가 $D$의 전체 가중치 내용 정보를 포함함을 보여주며, 따라서 $M(D) = M(D')$이면 $D$와 $D'$가 같은 가중치 내용을 가진다.
• 기약 성분의 차원은 $\operatorname{ctot}_{\frac{q}{p}}(D)$와 같으며, 이는 $I_D$를 포함하는 $\operatorname{Hilb}^n_{p,q}(\mathbb{C}^2}$의 기약 성분의 기하학적 해석을 제공한다.
• 안정적이고 비안정적인 셀 분해가 각 차원의 셀 수를 동일하게 가지므로, $c^+_{\frac{q}{p}}(D)$와 $c^-_{\frac{q}{p}}(D)$를 서로 바꾸면서도 $M(D)$를 유지하는 전단사적 사상이 존재함을 설명한다.
• 전단사적 증명은 Loehr-Warrington의 대칭성에 대한 조합적 수수께끼를 해결한다. 즉, $h_x(D)$의 유리수 $x$에 대한 불변성은 다이어그램과 그 여집합 간의 구체적이고 구성적인 이중성에서 기인한다.