[논문 리뷰] Counting invariants for the ADE McKay quivers

Amin Gholampour, Yunfeng Jiang|ArXiv.org|2009. 10. 29.

Algebraic structures and combinatorial models참고 문헌 21인용 수 12

한 줄 요약

이 논문은 이황형 다각형군에 관련된 ADE 메이크비 퀼러 표현에서의 카운팅 불변량에 대한 벽을 넘는 프레임워크를 수립하며, 안정성 조건을 통해 도널드슨-타이러스(DT), 반다리파ande-타이러스(PT), 비가환 DT(NCDT) 불변량을 연결한다. $ Y = S \times \mathbb{C} $에서의 PT 분할 함수에 대해 해당 ADE 루트 체계의 양근을 이용하여 닫힌 형태의 표현식을 유도하고, DT/PT 불변량 대응을 가정할 경우 GW/DT/NCDT 대응을 검증한다.

ABSTRACT

We consider the moduli space of the McKay quiver representations associated to the binary polyhedral groups G < SU(2) < SU(3). The derived category of such representations is equivalent to the derived category of coherent sheaves on the corresponding ADE resolution Y=G-Hilb(C^3). Following the ideas of Nagao and Nakajima, by making particular choices of parameters in the space of stability conditions on the equivalent derived categories above, we recover Donaldson-Thomas (DT), Pandharipande-Thomas (PT) and Szendroi (NCDT) moduli spaces. We also compute the Gromov-Witten (GW) partition function of Y directly and express the result in terms of the root system of the associated ADE Dynkin diagram. We then verify the conjectural GW/DT/NCDT-correspondence by assuming the DT/PT-correspondence. The Szendroi invariants are the same as the orbifold Donaldson-Thomas invariants for C^3/G defined by Bryan. This will allow us to verify the Crepant Resolution Conjecture for the orbifold Donaldson-Thomas theory in this case.

연구 동기 및 목표

• ADE 분해 $ Y = G\text{-Hilb}(\mathbb{C}^3) $ 위의 코herent sheaf의 유도 범주에서 카운팅 불변량에 대한 벽을 넘는 프레임워크를 수립하는 것.
• 메이크비 퀄러 표현의 안정성 조건을 통해 DT, PT, NCDT 불변량을 연결하는 것.
• $ Y $의 골모프-위트 분할 함수를 직접 계산하고, 해당 ADE 루트 체계로 표현하는 것.
• DT/PT 불변량 대응을 가정할 경우 GW/DT/NCDT 대응을 검증하는 것.
• ADE 메이크비 퀄러 설정에서 궤도 DT 불변량에 대한 균일 분해 추측을 증명하는 것.

제안 방법

• G \to SU(2)에 대해 $ Y = G\text{-Hilb}(\mathbb{C}^3) $ 위의 코herent sheaf의 유도 범주와 메이크비 퀄러 표현의 유도 범주 간 동치를 이용한다.
• 안정성 조건 공간에서 특정 안정성 매개변수를 선택하여 나가오-나카지마 스타일의 벽을 넘는 공식을 적용한다.
• PT 분할 함수를 ADE 루트 체계의 양근을 전제로 하는 곱으로 구성하며, 지수는 루트의 다중도와 $ (-q)^m $ 요소에 의해 결정된다.
• GW/PT 대응에 따라 $ -q = e^{i\bar{\nu}} $를 PT 분할 함수에 대입하여 골모프-위트 분할 함수를 표현한다.
• 루트 격자와 $ H_2(Y, \mathbb{Z}) $의 식별을 통해 곡선 계열을 매개변수화하고 불변량을 루트 체계 데이터와 연결한다.
• 절단 보조정리와 벽을 넘는 공식을 적용하여 비일반 벽을 분석하고, 각 챔버를 넘어서 불변량을 계산한다.

실험 결과

연구 질문

• RQ1 유도 범주 $ Y = G\text{-Hilb}(\mathbb{C}^3) $에서의 벽을 넘는 공식을 어떻게 활용하여 ADE 메이크비 퀄러의 DT, PT, NCDT 불변량을 연결할 수 있는가?
• RQ2 $ S $가 ADE 분해일 때 $ Y = S \times \mathbb{C} $에 대한 반다리파ande-타이러스 분할 함수의 명시적 형태는 무엇인가?
• RQ3 $ Y $의 골모프-위트 분할 함수는 관련된 ADE 다이노프 다이어그램의 루트 체계와 어떻게 관련이 있는가?
• RQ4 벽을 넘는 기법과 안정성 매개변수 분석을 통해 이 비토리쿠스 설정에서 GW/DT/NCDT 대응을 검증할 수 있는가?
• RQ5 궤도 도널드슨-타이러스 불변량에 대한 균일 분해 추측은 ADE 메이크비 퀄러 케이스에서 성립하는가?

주요 결과

• $ Y = S \times \mathbb{C} $의 PT 분할 함수는 $ Z^{S\times\mathbb{C}}_{PT}(q;\bt) = \textstyle\bigprod_{\beta \neq 0} \bigprod_{m=1}^\f \big(1 - \bt^\beta (-q)^m\big)^{-m} $ 로 주어지며, 여기서 $ \beta $는 해당 ADE 루트 체계의 양근을 빈도로 순환한다.
• 골모프-위트 분할 함수는 PT 분할 함수에 $ -q = e^{i\bar{\nu}} $를 대입하여 유도되며, 이는 GW/PT 대응을 확인한다.
• 메이크비 퀄러의 NCDT 불변량이 브라이언이 정의한 $ \mathbb{C}^3/G $의 궤도 DT 불변량과 일치함을 보였다.
• 벽을 넘는 공식을 통해 NCDT 생성 함수를 반복적으로 적용함으로써 전체 PT 분할 함수를 유도할 수 있다.
• PT 분할 함수의 구조는 $ D_5 $의 루트 체계와 일치하며, 각 요소는 $ D_5 $ 루트 체계의 양근에 해당한다.
• 결과적으로 DT/PT 불변량 대응을 가정할 경우 GW/DT/NCDT 대응이 검증되었으며, 이 경우 궤도 DT 이론에 대한 균일 분해 추측이 증명되었다.