[논문 리뷰] Motivic Donaldson-Thomas invariants of the conifold and the refined topological vertex

Andrew Morrison, Sergey Mozgovoy외 2명|arXiv (Cornell University)|2011. 07. 25.

Algebraic structures and combinatorial models참고 문헌 38인용 수 10

한 줄 요약

이 논문은 잠김된 원뿔의 모든 안정성 조건의 영역에서, 잠김된 원뿔의 모티빅 도널드슨-타운젠 인버티언트를 퀼러 표현과 포텐셜을 이용해 계산한다. 이는 DT/PT 대응의 완전한 모티빅 보완을 수립하고, 모든 영역에서 가상 모티브의 곱 공식을 통해 정밀화된 위상수학적 정점 형식과의 일치를 확인한다.

ABSTRACT

We compute the motivic Donaldson-Thomas theory of the resolved conifold, in all chambers of the space of stability conditions of the corresponding quiver. The answer is a product formula whose terms depend on the position of the stability vector, generalizing known results for the corresponding numerical invariants. Our formulae imply in particular a motivic form of the DT/PT correspondence for the resolved conifold. The answer for the motivic PT series is in full agreement with the prediction of the refined topological vertex formalism.

연구 동기 및 목표

• 잠김된 원뿔의 모든 안정성 매개변수 영역에서 모티빅 도널드슨-타운젠 인버티언트를 계산한다.
• 가상 모티브의 사라지는 순환체를 이용해 수치적 DT 인버티언트를 그 모티빅 보완으로 일반화한다.
• 가상 모티브의 생성 함수를 통해 원뿔에 대한 모티빅 형태의 DT/PT 대응을 수립한다.
• 특정 변수 치환 하에서 생성 함수를 일치시켜 정밀화된 위상수학적 정점 형식과의 호환성을 검증한다.

제안 방법

• 잠김된 원뿔의 퀄러와 포텐셜을 사용하여, 표현 이론을 통해 일관된 복소선형층을 대수적으로 모델링한다.
• 모티브 힐 대수의 맥락에서 모티브 사라지는 순환체와 가상 모티브를 사용하며, 모티브의 링 $\mathcal{M}_{\mathbb{C}}$ 를 활용한다.
• 실수 및 허수 근으로 구성된 루트 체계 $\Delta_{+} = \Delta^{\mathrm{re}}_{+} \sqcup \Delta^{\mathrm{im}}_{+}$ 기반의 모티브 생성 함수의 인수 분해 성질을 활용하며, 실수 근과 허수 근에 대해 각각 다른 곱의 구조를 가진다.
• 안정성 벡터 $\zeta$ 에 따라 각 영역에서 모티브 생성 함수 $Z_\zeta(y_0, y_1)$ 의 명시적 곱 공식을 유도한다.
• 토루-등변 기법과 온전한 퀄러로의 차원 감소를 통해 핵심 평가, 특히 정리 2.1을 계산한다.
• 변수 치환 $q = \mathbb{L}^{1/2}s$, $t = \mathbb{L}^{-1/2}s$ 하에서 생성 함수 $Z_{\rm PT}(-s,T)$ 와 일치시켜 정밀화된 위상수학적 정점 형식과의 일치를 검증한다.

실험 결과

연구 질문

• RQ1 잠김된 원뿔에 대해 모든 안정성 조건 영역에서 모티빅 도널드슨-타운젠 인버티언트는 어떻게 행동하는가?
• RQ2 가상 모티브를 이용해 원뿔에 대해 모티빅 DT/PT 대응을 수립하고 검증할 수 있는가?
• RQ3 정밀화된 위상수학적 정점 형식은 모티브 표현 이론을 통해 계산된 모티브 생성 함수와 어느 정도 일치하는가?
• RQ4 모티브 밀너의 근은 수치적 인버티언트를 가상 모티브로 보완하는 데 어떤 역할을 하는가?
• RQ5 코homological 힐 대수의 프레임워크는 어떻게 모티브 인버티언트를 혼합 호지 모듈의 E-다항식으로 해석하는 데 사용될 수 있는가?

주요 결과

• 모티브 생성 함수 $Z_\zeta(y_0, y_1)$ 는 안정성 매개변수 $\zeta$ 의 영역에 따라 곱 공식으로 주어지며, $\Delta_+$ 의 실수 근과 허수 근에 대해 각각 다른 형태를 가진다.
• 실수 근 $\alpha = (i, i-1)$ 또는 $(i-1, i)$ 에 대해, 함수는 $\prod_{j=0}^{\alpha_0 - 1} \left(1 - \mathbb{L}^{-\frac{\alpha_0}{2} + \frac{1}{2} + j} y_0^{\alpha_0} y_1^{\alpha_1}\right)$ 로 주어진다.
• 허수 근 $\alpha = (i,i)$ 에 대해, 함수는 $\prod_{j=0}^{\alpha_0 - 1} \left(1 - \mathbb{L}^{-\frac{\alpha_0}{2} + 1 + j} y_0^{\alpha_0} y_1^{\alpha_1}\right)$ 로 주어진다.
• 모티브 PT 생성 함수는 치환 $q = \mathbb{L}^{1/2}s$, $t = \mathbb{L}^{-1/2}s$ 하에서 정밀화된 위상수학적 정점 표현 $Z^\text{vertex}_{\rm PT}(t,q,T)$ 와 일치하며, 이는 모티브=정밀화된 대응을 확인한다.
• 결과는 모티브 힐 대수의 프레임워크와 완전히 호환되며, [23]의 부분적으로 추측적인 통합 사상에 의존하지 않아 직접 계산을 제공한다.
• 사라지는 순환체의 혼합 호지 모듈의 E-다항식은 $\mathbb{L} \mapsto q$ 로 특수화함으로써, 이 설정에서 [12]의 공식을 복원한다.