[논문 리뷰] Compactified Jacobians and q,t-Catalan Numbers, I

Eugene Gorsky, Mikhail Mazin|arXiv (Cornell University)|2011. 05. 05.

Advanced Combinatorial Mathematics참고 문헌 31인용 수 11

한 줄 요약

이 논문은 하나의 Puiseux 쌍을 가진 평면 곡선 특이점의 컴팩티피케이션 임계군의 호모로지와 Garsia 및 Haiman의 $q,t$-카탈란 수 사이의 조합론적 연결을 수립한다. $\Gamma^{p,q}$-반군과 $(p,q)$-직사각형 내의 양도형 사이의 이분법을 구성함으로써, 세포 차원을 $h^+_{p/q}$ 통계량을 통해 표현하고, 임계군의 Poincaré 다항식을 $q,t$-카탈란 생성함수로 표현하는 공식을 도출한다. 이는 $(n,n+1)$-특이점에서 검증되었으며, 일반적인 서로소 $(p,q)$에 대해 추측된다.

ABSTRACT

J. Piontkowski described the homology of the Jacobi factor of a plane curve singularity with one Puiseux pair. We discuss the combinatorial structure of his answer, in particular, relate it to the bigraded deformation of Catalan numbers introduced by A. Garsia and M. Haiman.

연구 동기 및 목표

• 일개의 Puiseux 쌍을 가진 평면 곡선 특이점의 임계군 호모로지를 조합론적 도구를 사용하여 이해하기 위해.
• Piontkowski의 임계군 세포 분해를 Garsia 및 Haiman이 도입한 $q,t$-카탈란 수와 연결하기 위해.
• 오른쪽 $(p,q)$-삼각형 내의 $\Gamma^{p,q}$-반군과 양도형 사이의 조합론적 이분법을 구축하기 위해.
• $(n,n+1)$-특이점에 대해 임계군의 Poincaré 다항식이 $t^{2\binom{n}{2}}C_n(t^{-2},1)$와 같음을 증명하기 위해.
• 이 공식을 일반적인 서로소 $(p,q)$-특이점으로 일반화하고, $\mathbb{C}^2$에서의 점들의 Hilbert 스킴과 연결하기 위해.

제안 방법

• 생성자 $p$와 $q$에 의해 생성되는 반군의 $0$-정규화된 부분모노이드로 $\Gamma^{p,q}$-반군을 정의한다.
• $(p,q)$-직사각형 내의 대각선 아래 영역인 $R_+^{p,q}$에 포함된 양도형으로의 자연스러운 이분법 $D$를 구성한다.
• 반군 $\Delta$에 대응하는 세포 $C_\Delta$의 차원을 $\frac{(p-1)(q-1)}{2} - h^+_{p/q}(D(\Delta))$로 표현하며, 여기서 $h^+_{p/q}(D)$는 $\frac{a(c)}{l(c)+1} \leq \frac{p}{q} < \frac{a(c)+1}{l(c)}$ 조건을 만족하는 상자 수를 세는 통계량이다.
• Garsia 및 Haglund의 $q,t$-카탈란 수에 대한 조합론적 공식을 사용하여, $(n,n+1)$-특이점에 대해 $\sum_{\Delta} q^{\dim C_\Delta} t^{|\mathbb{Z}_{\geq 0} \setminus \Delta|} = q^{\binom{n}{2}} C_n(q^{-1}, t)$라는 항등식을 도출한다.
• subdiagram $D$에 대해 $R_+^{p,q}$의 subdiagram에서 자신으로 가는 사상 $G$를 정의하며, 이에 따라 $|G(D)| = \dim C_\Delta$가 되도록 하고, $G$가 이분법임을 추측한다.
• T=(\mathbb{C}^*)^2$-작용과 고정점의 불안정 다양체를 통해 Piontkowski의 세포 분해와 $\operatorname{Hilb}^h(\mathbb{C}^2)$의 열린 부분다양체의 세포 분해 사이의 이분법을 수립한다.

실험 결과

연구 질문

• RQ1 일개의 Puiseux 쌍을 가진 평면 곡선 특이점의 임계군 호모로지를 어떻게 조합론적으로 묘사할 수 있는가?
• RQ2 Piontkowski의 분해에서 세포 차원과 양도형 위의 $h^+_{p/q}$ 통계량 사이의 정확한 관계는 무엇인가?
• RQ3 임계군의 Poincaré 다항식은 $q,t$-카탈란 수의 생성함수로 표현될 수 있는가?
• RQ4 subdiagram $R_+^{p,q}$의 집합과 $\Gamma^{p,q}$-반군의 집합 사이에 세포의 차원을 유지하는 자연스러운 이분법이 존재하는가?
• RQ5 임계군의 세포 분해는 $\mathbb{C}^2$에서의 점들의 Hilbert 스킴의 세포 분해와 어떻게 관련이 있는가?

주요 결과

• $(n,n+1)$-특이점에 대해, 임계군의 Poincaré 다항식은 $P_{n,n+1}(t) = t^{2\binom{n}{2}} C_n(t^{-2}, 1)$로 주어지며, 이는 $q,t$-카탈란 생성함수와 일치한다.
• 반군 $\Delta$에 대응하는 세포 $C_\Delta$의 차원은 $\binom{n}{2} - h^+_{n/(n+1)}(D(\Delta))$로 주어지며, 여기서 $D(\Delta)$는 관련된 양도형이다.
• $R_+^{n,n+1}$의 subdiagram에 정의된 사상 $G$는 $|G(D)| = \dim C_\Delta$를 만족하며, $(n,n+1)$의 경우 이분법임이 증명되었으며, 이는 Haglund의 이분법에 대한 새로운 조합론적 실현을 제공한다.
• 임계군의 세포 분해가 $T$-작용과 불안정 다양체를 통해 $\operatorname{Hilb}^h(\mathbb{C}^2)$의 열린 부분다양체 $\mathcal{M}_{p,q,h}$의 세포 분해와 동치임을 보였다.
• $\mathcal{M}_{p,q,h}$의 다이어그램 $D$에 의해 레이블링된 세포의 차원은 $h + h^+_{p/q}(D)$로 주어지며, 이는 두 세포 분해의 호환성을 확인한다.
• 결과들은 컴팩티피케이션 임계군의 코homology와 토르스 룩스의 HOMFLY 호모로지 사이에 깊은 연결이 있으며, 특히 $q,t$-카탈란 수의 조합론을 통해 나타나는 것으로 암시된다.