[논문 리뷰] Derived categories of small toric Calabi-Yau 3-folds and counting invariants

Kentaro Nagao|arXiv (Cornell University)|2008. 09. 17.

Algebraic structures and combinatorial models참고 문헌 31인용 수 45

한 줄 요약

이 논문은 토릭 칼라비-야우 3차원 다양체의 소형 착각적 해석에서 페르세이브 코herent 시스템의 수를 세는 불변량의 생성함수에 대한 벽을 넘는 공식을 유도한다. 이는 이러한 해석과 초위력이 있는 쿼버 사이의 유도 동치를 통해 이루어지며, 주요 결과는 도널드슨-타이틀스, 반다르리파ande-타이틀스, 비가환 도널드슨-타이틀스 불변량 간의 정확한 관계를 벽을 넘는 현상에 의해 밝혀낸다. 특히, Ext대수의 구조와 콘필드의 경우에 대한 맥마혼 함수로부터 명시적인 공식을 유도한다.

ABSTRACT

We first construct a derived equivalence between a small crepant resolution of an affine toric Calabi-Yau 3-fold and a certain quiver with a superpotential. Under this derived equivalence we establish a wall-crossing formula for the generating function of the counting invariants of perverse coherent systems. As an application we provide certain equations on Donaldson-Thomas, Pandeharipande-Thomas and Szendroi's invariants. Finally, we show that moduli spaces associated with a quiver given by successive mutations are realized as the moduli spaces associated the original quiver by changing the stability conditions.

연구 동기 및 목표

• 소형 토릭 칼라비-야우 3차원 다양체의 아핀 토릭 칼라비-야우 3차원 다양체의 소형 착각적 해석에서 페르세이브 코herent 시스템의 수를 세는 불변량의 생성함수에 대한 벽을 넘는 공식을 수립한다.
• 콘필드의 경우에서의 벽을 넘는 프레임워크를 일반적인 사다리꼴 격자 다각형(높이 1)으로 확장하여 소형 토릭 칼라비-야우 3차원 다양체에 대응한다.
• 유도 범주와 안정성 매개변수를 통해 도널드슨-타이틀스, 반다르리파ande-타이틀스, 비가환 도널드슨-타이틀스 불변량 간의 명시적 공식을 유도한다.
• 페르세이브 코herent 시스템의 모듈리 공간의 오일러 특성의 생성함수가 안정된 대상의 자기확장 자료에 의해 지배되는 벽을 넘는 공식을 만족함을 보여준다.

제안 방법

• 토릭 기하학에서 유도된 기울임 번들의 기반으로, 아핀 토릭 칼라비-야우 3차원 다양체의 소형 착각적 해석과 초위력이 있는 쿼버 사이의 유도 동치를 구성한다.
• 초위력이 있는 쿼버의 표현의 모듈리 공간 기술을 사용하여 타우토로지컬 번들을 기울임 번들과 일치시키고, 내적환 대수를 계산한다.
• 안정성 매개변수의 침실 구조를 분석하며, 벽은 아핀 A형 루트 체계의 허수 루트에 대응한다.
• 양자 토러스 대수에서의 인수분해 성질을 적용하여 침실 간의 생성함수를 연결하며, $ q=1 $ 에서 $ A^{Z}_{l_{ u}}(q^{e_0}x_{f e}) A^{Z}_{l_{ u}}(x_{f e})^{-1} $ 의 작용을 사용한다.
• 각 벽의 기여를 $ B_E $ 대수(초위력으로부터 유도된 $ \mathrm{Ext}^1(E,E) $ 의 대수)를 사용하여 계산하고, $ f(t)|_{q=1} $ 을 평가하여 벽을 넘는 인자들을 도출한다.
• [KS]와 [MNOP06]의 결과를 활용하여 허수 벽에 대한 생성함수를 맥마혼 함수 $ M(-t)^{e(Y)} $ 로 식별하며, 이는 DT-PT 대응을 확인한다.

실험 결과

연구 질문

• RQ1 소형 토릭 칼라비-야우 3차원 다양체에서 안정성 매개변수 공간의 벽을 넘을 때 페르세이브 코herent 시스템의 수를 세는 불변량의 생성함수는 어떻게 행동하는가?
• RQ2 이 맥락에서의 벽을 넘는 현상은 어떤 정확한 수학적 구조에 의해 지배되며, 쿼버 표현과 초위력과 어떻게 관련되는가?
• RQ3 일반적인 소형 토릭 칼라비-야우 3차원 다양체 설정에서 DT-PT 대응은 벽을 넘는 공식으로 유도될 수 있는가?
• RQ4 벽에 위치한 안정 대상의 자기확장 구조는 벽을 넘는 기여를 어떻게 결정하는가?
• RQ5 양자 토러스 대수와 그 인수분해 성질은 벽을 넘는 행동을 어떻게 코딩하는가?

주요 결과

• 소형 착각적 해석을 갖는 아핀 토릭 칼라비-야우 3차원 다양체에서 페르세이브 코herent 시스템의 모듈리 공간의 오일러 특성의 생성함수에 대한 벽을 넘는 공식이 수립된다.
• 벽에서의 벽을 넘는 기여는 $ f(t) $ 생성함수에 의해 결정되며, 이는 $ B_E $ 대수(초위력으로부터 유도된 $ \mathrm{Ext}^1(E,E) $ 의 대수)의 순환 $ B_E $-모듈을 세는 것이다.
• 만약 $ \mathrm{ext}^1(E,E) = 0 $ 이면, 벽을 넘는 인자는 $ 1 + t $ 가 되며, 이는 자명한 자기확장의 경우에 해당한다.
• 만약 $ \mathrm{ext}^1(E,E) = 1 $ 이면, 인자는 $ (1 - t)^{-1} $ 가 되며, 이는 비자명한 변형 이론을 반영한다.
• 허수 벽(즉, $ \mathcal{O}_y $-sheaf에 대응하는 벽)의 기여는 $ M(-t)^{e(Y)} $ 로, 맥마혼 함수를 섬유의 오일러 특성만큼 거듭제곱한 것으로, DT-PT 대응을 확인한다.
• 양자 토러스 대수에서의 공식 $ \prod^\rightarrow_k A^{Z^+}_{l_k} = A^Z_{l_\infty} \cdot \left( \prod^\leftarrow_k A^{Z^-}_{l_k} \right) \cdot A^Z_{l_\infty}^{-1} $ 이 벽을 넘는 구조를 코딩하며, $ A^Z_{l_\infty}(q^{e_0}t) A^Z_{l_\infty}(t)^{-1} \big|_{q=1} = f(t)^{e_0} $ 는 핵심 기여를 제공한다.