[논문 리뷰] Donaldson-Thomas theory of A_n x P^1

Davesh Maulik, Alexei Oblomkov|ArXiv.org|2008. 02. 20.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 5

한 줄 요약

이 논문은 $τ$-형식의 $τ$-형식에 대한 상대 도널드슨-타이트 이론에 대한 완전한 해법을 제시한다. 이는 Fock 공간 위에서 작용하는 애질리프 대수 $τ$-형식의 표현을 통해 분할 연산자를 기술함으로써 이루어진다. 비퇴화 추측을 가정할 경우, GW/DT 대응을 증명하고, DT 환을 $τ$-형식의 점들의 Hilbert 스킴의 소형 양자 cohomology와 동일시함으로써, 이 상대 DT 이론에 대한 완전한 대수적 구조를 제공한다.

ABSTRACT

We study the relative Donaldson-Thomas theory of A_n x P^1, where A_n is the surface resolution of a type A_n singularity. The action of divisor operators in the theory is expressed in terms of operators of the affine algebra \hat{gl}(n+1) on Fock space. Assuming a nondegeneracy conjecture, this gives a complete solution for the theory. The results complete the comparison of this theory with the Gromov-Witten theory of A_n x P^1 and the quantum cohomology of the Hilbert scheme of points on A_n.

연구 동기 및 목표

• 세차원 다양체 $τ$-형식 $\times \mathbb{P}^1$에 대한 상대 도널드슨-타이트 이론의 완전한 대수적 기술을 제공하는 것. 이는 $\mathbb{P}^1$ 위로 올리는 $τ$-형식이 $A_n$-특이점의 해소임.
• Fock 공간 위에서 작용하는 애질리프 대수 $\widehat{\mathfrak{gl}}(n+1)$를 이용해 DT 이론에서의 분할 연산자 작용을 기술하는 것.
• 이전 연구를 바탕으로 하여 이 상대 이론에 대해 그로모프-와이트먼/도널드슨-타이트 대응을 확립하는 것.
• 비퇴화 추측을 가정할 경우, $H_T^*(\mathrm{Hilb}(\mathcal{A}_n), \mathbb{Q})$의 DT 환의 변형이 소형 양자 cohomology 환과 일치함을 보이는 것.
• 퇴화 및 TQFT 체계를 사용하여 고차수 곡선 위의 $τ$-형식-_bundle_로 이 체계를 일반화하는 것.

제안 방법

• 모듈리 공간의 $T$-고정점 위에서 잔여 적분을 통한 등변 DT 불변량을 사용하여 이론을 수립함. 이는 $X = \mathcal{A}_n \times \mathbb{P}^1$ 위의 이상층의 모듈리 공간에서 이루어지며, $\mathbb{P}^1$ 위의 올에서 상대 조건을 포함함.
• 고무 기하학과 상대 모듈리 공간 $I_\chi(X/S, (\beta,m))$를 사용하여, $τ$-형식 위의 점들의 Hilbert 스킴에서의 경계 조건을 가진 불변량을 정의함.
• 분할 연산자의 작용은 $τ$-형식의 기하학과 $T$-작용에 기반한, Fock 공간 표현 위에서의 연산자로 표현됨. 명시적 공식이 기하학적 구조로부터 유도됨.
• 비퇴화 추측을 가정하여, 연산자 $M_D$와 $M_{(1,\omega_i)}$의 공통 고유공간이 일치하는 것을 보장함으로써, DT 환의 완전한 재구성 가능성을 확보함.
• 퇴화 기법과 삼점 함수 비교를 통해 GW/DT 대응을 증명함. 이는 두 이론에서 분할 연산자가 일치하기 때문임.
• Calabi-Yau 특수화 하에 $X(0,-1)$에 대한 기존 결과와 결합함으로써, 상대 DT 이론을 고차수 곡선 위의 $τ$-형식-_bundle_로 확장함.

실험 결과

연구 질문

• RQ1 어떻게 대수적 구조를 사용하여 $τ$-형식 $\times \mathbb{P}^1$에 대한 상대 도널드슨-타이트 이론을 완전히 계산할 수 있는가?
• RQ2 분할 연산자의 작용이 $τ$-형식 $\times \mathbb{P}^1$의 DT 이론에서 어떻게 기술되며, 표현 이론과 어떤 관련이 있는가?
• RQ3 비퇴화 추측을 가정할 경우, $H_T^*(\mathrm{Hilb}(\mathcal{A}_n), \mathbb{Q})$의 DT 환 변형이 소형 양자 cohomology 환과 일치하는가?
• RQ4 이 상대 DT 이론에 대해 GW/DT 대응을 확립할 수 있으며, 이는 $τ$-형식의 기저가 퇴화될 경우 어떻게 행동하는가?
• RQ5 퇴화와 TQFT 체계를 사용하여 이 체계를 고차수 곡선 위의 $τ$-형식-_bundle_로 일반화할 수 있는가?

주요 결과

• 비퇴화 추측을 가정할 경우, $τ$-형식 $\times \mathbb{P}^1$의 상대 DT 분할 함수는 Fock 공간 위에서 작용하는 $τ$-형식의 연산자에 의해 완전히 결정됨.
• 분할 연산자 $M_D$와 $M_{(1,\omega_i)}$의 공통 스펙트럼이 서로 다른 고유값을 가지며, 이는 그들의 공통 고유공간이 일치함을 지지하는 추측을 뒷받침함.
• 비퇴화 추측을 가정할 경우, $H_T^*(\mathrm{Hilb}(\mathcal{A}_n), \mathbb{Q})$의 DT 환 변형은 분할 클래스에 의해 생성되며, 소형 양자 cohomology 환과 동형임을 보임.
• GW/DT 대응은 이 이론에서 성립함: $-q = e^{iu}$로의 변수 변경 후, DT 이론의 삼점 함수는 그로모프-와이트먼 이론의 삼점 함수와 일치함. 이는 분할 연산자가 양쪽 이론에서 일치하기 때문임.
• 상대 올이 $k > 3$인 경우, $τ$-형식의 기저를 유리 곡선의 사슬으로 퇴화시킴으로써 $k=3$의 경우로 감소되며, 이 과정에서 GW/DT 일치성이 유지됨.
• 퇴화 공식과 풍부화된 TQFT 체계를 사용하여, $τ$-형식-_bundle_가 고차수 곡선 위에 존재할 경우, 상대 DT 이론을 $τ$-형식 $\times \mathbb{P}^1$의 이론과 $X(0,-1)$에 대한 기존 결과를 결합함으로써 확장함.