[논문 리뷰] A theory of generalized Donaldson-Thomas invariants

Dominic Joyce, Yinan Song|arXiv (Cornell University)|2008. 10. 31.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 21

한 줄 요약

이 논문은 Calabi–Yau 3-다양체 위의 안정적이고 엄격한 준안정 코herent sheaf를 유리수 가중치를 갖는 가중 유클리드 특성으로 세는 일반화된 Donaldson–Thomas (DT) 불변량 이론을 개발한다. 이는 Behrend 함수를 통한 가중 유클리드 특성으로 이루어지며, 국소적으로 임계 차트 구조를 갖는 모듈리 스택을 통해 변형 불변성과 벽을 넘는 공식을 증명한다. 이는 리 대수 준동형 사상 프레임워크로 확장되어, 초위상이 있는 쿼버 표현으로까지 일반화된다.

ABSTRACT

Let X be a Calabi-Yau 3-fold over C. The Donaldson-Thomas invariants of X are integers DT^a(t) which count stable sheaves with Chern character a on X, with respect to a Gieseker stability condition t. They are defined only for Chern characters a for which there are no strictly semistable sheaves on X. They have the good property that they are unchanged under deformations of X. Their behaviour under change of stability condition t was not understood until now. This book defines and studies a generalization of Donaldson-Thomas invariants. Our new invariants \bar{DT}^a(t) are rational numbers, defined for all Chern characters a, and are equal to DT^a(t) if there are no strictly semistable sheaves in class a. They are deformation-invariant, and have a known transformation law under change of stability condition. To prove all this we study the local structure of the moduli stack M of coherent sheaves on X. We show that an atlas for M may be written locally as Crit(f) for f a holomorphic function on a complex manifold, and use this to deduce identities on the Behrend function of M. We compute our invariants in examples, and make a conjecture about their integrality properties. We extend the theory to abelian categories of representations of a quiver with relations coming from a superpotential, and connect our ideas with Szendroi's "noncommutative Donaldson-Thomas invariants" and work by Reineke and others. This book is surveyed in the paper arXiv:0910.0105.

연구 동기 및 목표

• 기존의 DT 불변량이 안정층만 세는 데서 한정되어 있음을 고려해, 엄격한 준안정층을 유리수 가중치로 포함하는 일반화된 DT 불변량을 개발한다.
• 엄격한 $\tau$-준안정층이 존재할 수 있는 모든 코hen트 특성 $\alpha$에 대해 일반화된 DT 불변량 $\overline{DT}_\alpha(\tau)$를 정의한다.
• 이 불변량이 변형에 대해 불변임을 증명하고, 안정성 조건의 변화에 따라 벽을 넘는 공식을 통해 변환됨을 보인다.
• 초위상이 있는 쿼버 표현에서 유래하는 3-Calabi–Yau 카테고리로 이 이론을 일반화하여 비가환 DT 이론과 연결한다.
• 스택 함수와 추측 가능한 불변량을 사용한 리 대수 준동형 사상 프레임워크를 수립하여 계산과 정수성 추측을 가능하게 한다.

제안 방법

• DT 불변량을 가중 유클리드 특성 $\chi(M_{\text{st}}, \nu_M)$로 표현하기 위해 Behrend 함수 $\nu_M$를 사용하며, 이는 준안정층까지 확장된다.
• 코herent sheaf의 모듈리 스택 $M$이 매끄러운 공간 위의 해석적 함수 $f$에 대해 임계 차트 구조 $\operatorname{Crit}(f)$를 국소적으로 가짐을 보이며, 이를 통해 미분기하학적 기법을 적용할 수 있다.
• Milnor 원환체와 소실 사이클 이론을 적용하여, 변형과 벽을 넘는 상황에서 Behrend 함수 $\nu_M$에 대한 항등식을 도출한다.
• 스택 함수 공간에서 리 대수 $\widetilde{L}(B_p)$로의 리 대수 준동형 사상 $\widetilde{\Psi}_{B_p}$를 구성하여 불변량과 대수적 항등식을 연결한다.
• 스택 함수 체계와 투영 연산자 $\Pi_{v_i}^n$를 사용하여 불변량 $\overline{DT}_\alpha(\tau)$와 $PI_{\alpha,n}(\tau')$를 정의하고 계산한다.
• 모듈리 공간의 안정 쌍에 대한 완전한 장애 이론을 구성함으로써 불변량 $PI_{\alpha,n}(\tau')$의 변형 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 Donaldson–Thomas 불변량을 엄격한 준안정층과 유리수 가중치를 포함하도록 확장할 수 있는가?
• RQ2 Calabi–Yau 3-다양체 위의 코herent sheaf 모듈리 스택의 국소 해석적 구조는 무엇이며, 이는 해석적 함수의 임계점과 어떻게 관련이 있는가?
• RQ3 안정성 조건의 변화에 따라 일반화된 DT 불변량이 벽을 넘는 방식으로 어떻게 변하는가?
• RQ4 일반화된 DT 불변량 $\overline{DT}_\alpha(\tau)$의 정수성 구조는 무엇이며, 어떤 조건에서 정수인가?
• RQ5 이 이론은 어떻게 초위상이 있는 쿼버 표현으로 확장될 수 있으며, 비가환 DT 불변량과 어떻게 관련이 있는가?

주요 결과

• 일반화된 DT 불변량 $\overline{DT}_\alpha(\tau)$는 모든 코hen트 특성 $\alpha$에 대해 정의되며, 엄격한 $\tau$-준안정층이 존재하지 않을 경우 고전적 $DT_\alpha(\tau)$와 일치한다.
• 불변량 $\overline{DT}_\alpha(\tau)$는 Calabi–Yau 3-다양체 $X$의 변형에 대해 불변이며, Behrend 함수의 변형 불변성에 의해 이를 증명할 수 있다.
• 안정성 조건 $\tau$의 변화에 따라 불변량은 리 대수 준동형 사상 $\widetilde{\Psi}_{B_p}$로부터 유도된 벽을 넘는 공식을 만족한다.
• 안정 쌍의 모듈리 공간 $M_{\alpha,n}^{\text{stp}}(\tau')$에 대해 불변량 $PI_{\alpha,n}(\tau')$는 변형에 대해 불변이며, $\text{rank}(\alpha) \neq 1$일 때 완전한 장애 이론에 의해 이를 증명할 수 있다.
• 쿼버 설정에서는 불변량 $\widehat{DT}_d^{Q,I}(\mu)$가 일반 안정성 조건에서 정수일 것으로 추측되며, 예시에서의 명시적 계산 결과가 이를 뒷받침한다.
• 쌍의 모듈리 스택 $M_{(\beta,1)}^{B_p}$ 위의 Behrend 함수는 $\nu_{M_{(\beta,1)}^{B_p}} = (-1)^{\overline{\chi}([\mathcal{O}_X(-n)], \beta) - 1} \pi^*(\nu_\beta)$를 만족하며, 여기서 $\pi$는 $\mathbb{P}^{\overline{\chi}([\mathcal{O}_X(-n)], \beta) - 1}$를 섬유로 갖는 매끄러운 피브레이션이다.