[논문 리뷰] A theory of generalized Donaldson-Thomas invariants. I. An invariant counting stable pairs

Dominic Joyce, Yinan Song|arXiv (Cornell University)|2008. 11. 03.

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

한 줄 요약

이 논문은 Calabi-Yau 3-다양체 위의 안정 쌍을 세는 유리수 값을 갖는 일반화된 Donaldson-Thomas 불변량 $¯{DT}^a(t)$를 도입한다. 이는 고전적 DT 불변량을 엄격하게 반안정층이 존재하는 경우를 포함한 모든 체른 특성류로 확장한다. 일관된 임계 구조를 갖는 코herent 층의 모듈리 스택을 이용해, 안정 조건 변화에 따른 변환 법칙이 알려진 변형 불변 이론을 유도하며, 고전적 불변량을 일반화하고 비가환 DT 이론과 연결한다.

ABSTRACT

Let X be a Calabi-Yau 3-fold over C. The Donaldson-Thomas 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 \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 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.

연구 동기 및 목표

• 모든 체른 특성류로 일반화된 변형 불변 불변량을 정의하여 고전적 Donaldson-Thomas 불변량을 엄격히 반안정층이 존재하는 경우까지 확장하는 것.
• 안정 조건 변화에 따른 DT 불변량의 불변성과 변환 법칙의 부재를 해결하는 것.
• Calabi-Yau 3-다양체 위의 코herent 층의 모듈리 스택에 대한 국소 임계 구조를 확립하여 일반화된 불변량의 구축을 가능하게 하는 것.
• 구성형 불변량을 비가환 DT 이론과 연결하기 위해 쿼버 표현과 슈퍼포텐셜을 이용하는 것.
• 새로운 불변량의 정수성 성질을 추측하고 구체적 예시에서 검증하는 것.

제안 방법

• Calabi-Yau 3-다양체 위의 코herent 층의 모듈리 스택 M에 대해, 복소다양체 위의 헬모르피크 함수 f의 임계집합으로 국소적으로 아틀라스를 구성하는 것.
• 국소 임계 구조를 이용해 M의 Behrend 함수에 대한 항등식을 도출하며, 이는 일반화된 불변량 정의에 필수적이다.
• Behrend 함수를 포함한 가중 카르테시안 오일러 지표를 통해 유리수로 정의된 일반화된 DT 불변량 $¯{DT}^a(t)$를 정의하는 것.
• $¯{DT}^a(t)$가 변형 불변임을 증명하고 안정 조건 변화에 따른 알려진 변환 법칙을 만족함을 보이는 것.
• 스퍼퍼포텐셜에서 유도된 관계를 갖는 쿼버 표현의 아벨리안 카테고리로 프레임워크를 확장하여 Szendroi의 비가환 DT 불변량과 연결하는 것.
• 예시에서 이론을 검증하고 일반화된 불변량의 정수성에 대한 추측을 제시하는 것.

실험 결과

연구 질문

• RQ1 엄격히 반안정층이 존재하는 경우를 포함해, Donaldson-Thomas 불변량을 모든 체른 특성류로 어떻게 확장할 수 있는가?
• RQ2 안정 조건 변화에 따른 DT 불변량의 행동은 어떠한가? 이는 변환 법칙으로 기술될 수 있는가?
• RQ3 Calabi-Yau 3-다양체 위의 코herent 층의 모듈리 스택은 국소적으로 헬모르피크 함수의 임계집합으로 기술될 수 있는가?
• RQ4 일반화된 불변량은 쿼버 설정에서 비가환 Donaldson-Thomas 불변량과 어떻게 관련이 있는가?
• RQ5 일반화된 불변량은 어떤 정수성 성질을 만족하며, 기하학적 및 카테고리적 구조를 바탕으로 추측할 수 있는가?

주요 결과

• 일반화된 불변량 $¯{DT}^a(t)$는 엄격히 반안정층이 존재하는 경우를 포함해 모든 체른 특성류 a에 대해 정의된 유리수이다.
• 체른 특성류 a에 엄격히 반안정층이 존재하지 않는 경우, $¯{DT}^a(t)$는 고전적 DT 불변량 DT^a(t)와 일치한다.
• $¯{DT}^a(t)$는 변형 불변이며, 기저가 되는 Calabi-Yau 3-다양체의 변형에도 값이 유지된다.
• 안정 조건 변화에 따른 $¯{DT}^a(t)$의 변환 법칙이 확립되었으며, 이는 고전적 행동을 일반화한다.
• 모듈리 스택 M의 국소 구조는 헬모르피크 함수 f에 대해 Crit(f)와 국소적으로 위상동형임을 보였으며, 이는 임계 함수 기법의 활용을 가능하게 한다.
• 이론은 슈퍼포텐셜 관계를 갖는 쿼버 표현으로 확장되었으며, Szendroi의 비가환 DT 불변량과 Reineke의 연구와 연결된다.