[논문 리뷰] Motivic Donaldson-Thomas invariants and McKay correspondence

Sergey Mozgovoy|arXiv (Cornell University)|2011. 07. 29.

Algebraic structures and combinatorial models참고 문헌 41인용 수 40

한 줄 요약

이 논문은 $①\operatorname{Hilb}^G(\mathbb{C}^3)$의 $\mathbb{C}^3/G$에 대한 크립탄 해소에 대해 퀘이버-포텐셜 기법을 사용하여 모티빅 Pandharipande-Thomas (PT) 및 Donaldson-Thomas (DT) 불변량을 계산한다. 이는 절대적으로 분해 불가능한 퀘이버 표현을 유한체 위에서 세는 카크의 다항식과 이 불변량들을 정확히 연결하는 공식을 수립하며, 모티빅 DT 불변량이 음이 아닌 정수 계수의 다항식임을 증명하여, 잠재적 퀘이버에 대한 더 넓은 양의성 추측을 지지한다.

ABSTRACT

Let $G\subset SL_2(C)\subset SL_3(C)$ be a finite group. We compute motivic Pandharipande-Thomas and Donaldson-Thomas invariants of the crepant resolution $Hilb^G(C^3)$ of $C^3/G$ generalizing results of Gholampour and Jiang who computed numerical DT/PT invariants using localization techniques. Our formulas rely on the computation of motivic Donaldson-Thomas invariants for a special class of quivers with potentials. We show that these motivic Donaldson-Thomas invariants are closely related to the polynomials counting absolutely indecomposable quiver representations over finite fields introduced by Kac. We formulate a conjecture on the positivity of Donaldson-Thomas invariants for a broad class of quivers with potentials. This conjecture, if true, implies the Kac positivity conjecture for arbitrary quivers.

연구 동기 및 목표

• 크립탄 해소 $Y = \operatorname{Hilb}^G(\mathbb{C}^3)$에 대한 모티빅 DT 및 PT 불변량을 계산하는 것, 여기서 $G \subset \operatorname{SL}_2(\mathbb{C})$이다.
• 유한체 위에서 절대적으로 분해 불가능한 퀘이버 표현을 세는 카크의 다항식 $a_\alpha(q)$의 기하학적 해석을 제공하는 것.
• 넓은 범위의 퀘이버-포텐셜에 대해 모티빅 DT 불변량의 양의성에 관한 추측을 제안하고 이를 뒷받침하는 것.
• 골람푸어와 장의 국소화 기법으로 계산한 수치 불변량을 모티빅 설정으로 일반화하는 것.

제안 방법

• 특정 포텐셜 $W = \sum_{(a:i\to j)\in Q_1} (aa^*l_j - a^*al_i)$를 가진 $(G, \mathbb{C}^3)$의 메이크비 퀘이버 $\widehat{Q}$를 사용한다.
• 틀린 안정 표현의 모듈리 공간의 가상 모티브를 사용하여 모티빅 도널드슨-타이틀스 불변량의 프레임워크를 적용한다.
• 일반적인 모티빅 DT 시리즈 공식에 의존한다: $\sum_{\alpha} [\mathfrak{M}(J_{\widehat{Q},W},\alpha)]_{\mathrm{vir}} y^\alpha = \operatorname{Exp}\left( \frac{\sum_{\alpha} a_\alpha(\mathbb{L}) y^\alpha}{1 - \mathbb{L}^{-1}} \right)$.
• 문제의 안정성 매개변수에 의존하는 생성함수 $\mathcal{Z}_\zeta$와 관련된 [34]의 벽-교체 공식을 적용한다.
• 아핀 퀘이버의 루트 체계 $\Delta_+^{\mathrm{re}}$ 및 $\Delta_+^{\mathrm{im}}$의 명시적 구조를 활용하여 $\mathcal{Z}_{PT}$ 및 $\mathcal{Z}_{DT}$에 대한 닫힌 표현식을 유도한다.
• 특수화 $\mathbb{L}^{1/2} = 1$를 적용하여 수치 불변량을 복원하며, 이는 골람푸어-장 및 다른 이들의 결과와 일치한다.

실험 결과

연구 질문

• RQ1 모티빅 DT 및 PT 불변량 $\operatorname{Hilb}^G(\mathbb{C}^3)$는 카크의 다항식 $a_\alpha(q)$와 어떻게 관련되어 있는가?
• RQ2 퀘이버-포텐셜에 대해 모티빅 DT 불변량의 양의성이 일반적으로 확립되거나 추측될 수 있는가?
• RQ3 $Y = \operatorname{Hilb}^G(\mathbb{C}^3)$에 대해 생성함수 $\mathcal{Z}_{PT}$ 및 $\mathcal{Z}_{DT}$의 정확한 구조는 무엇인가?
• RQ4 모티빅 불변량은 특수화 $\mathbb{L}^{1/2} = 1$ 하에서 고전적 수치 불변량과 어떻게 관련되어 있는가?
• RQ5 모티빅 DT/PT 상응관계는 $Y = \operatorname{Hilb}^G(\mathbb{C}^3)$에 대해 성립하는가, 그리고 GW/DT/PT 상응관계와 어떻게 관련되어 있는가?

주요 결과

• 일반적인 모티빅 DT 시리즈 $J_{\widehat{Q},W}$는 $\operatorname{Exp}\left( \frac{\sum_{\alpha} a_\alpha(\mathbb{L}) y^\alpha}{1 - \mathbb{L}^{-1}} \right)$로 주어지며, 이는 모티빅 불변량을 카크의 다항식과 직접적으로 연결한다.
• 실근 $\alpha$에 대해 $a_\alpha(q) = 1$; 허근에 대해 $a_\alpha(q) = q + l$이며, 여기서 $l$은 $G$의 비자명한 기약 표현의 수이다.
• 생성함수 $\mathcal{Z}_{PT}(Y,-s,Q)$는 $\prod_{n \geq 1} \prod_{j=1}^n \prod_{\alpha \in \dot{\Delta}_+} (1 - \mathbb{L}^{j - n/2} s^n Q^\alpha)^{-1}$이다.
• 생성함수 $\mathcal{Z}_{DT}(Y,-s,Q)$는 $\mathcal{Z}_{PT}(Y,-s,Q) \cdot \prod_{n \geq 1} \prod_{j=1}^n (1 - \mathbb{L}^{j+1 - n/2} s^n)^{-1} (1 - \mathbb{L}^{j - n/2} s^n)^{-l}$이다.
• $\mathbb{L}^{1/2} = 1$로 특수화하면 고전적 PT 및 DT 불변량을 복원한다: $\overline{\mathcal{Z}}_{PT}(-q,Q) = \prod_{\beta \in \dot{\Delta}_+} M(Q^\beta, q)$ 및 $\overline{\mathcal{Z}}_{DT}(-q,Q) = \overline{\mathcal{Z}}_{PT}(-q,Q) \cdot M(q)^{l+1}$.
• 골파쿠마르-바프 불변량은 $n_{0,\beta} = -1$ ($\beta \in \dot{\Delta}_+$) 이고, 그 외에는 0이며, 이는 GW/PT 상응관계를 통해 PT 시리즈로부터 유도된다.