[논문 리뷰] On motivic Joyce-Song formula for the Behrend function identities

Yunfeng Jiang|arXiv (Cornell University)|2016. 01. 02.

Algebraic Geometry and Number Theory참고 문헌 38인용 수 8

한 줄 요약

이 논문은 Calabi-Yau 3-fold의 맥락에서 Behrend 함수 항등식에 대한 motivic 버전의 Joyce-Song 공식을 수립한다. motivic 통합과 Cluckers-Loeser의 motivic 가시적 함수 이론을 사용하여, motivic Hall 대수에서 motivic 양자 토러스로의 통합 사상이 대수적 준동형사상임을 증명하는 것이 핵심 결과이며, 이는 Kontsevich-Soibelman의 추측을 새로운 motivic 증명을 통해 확인한다.

ABSTRACT

We prove the version of Joyce-Song formula for the Behrend function identities in the motivic setting. The main method we use is the proof of Kontsevich-Soibelman conjecture about the motivic Milnor fibers by Q. T. Le, who uses the method of motivic integration for formal schemes and Cluckers-Loeser's motivic constructible functions. In the Appendix the motivic formula can be used to provide a different proof that there is an algebra homomorphism of Kontsevich-Soibelman from the motivic Hall algebra of the abelian category of coherent sheaves on a Calabi-Yau threefold $Y$ to the motivic quantum torus of $Y$.

연구 동기 및 목표

• Behrend 함수 항등식에 대한 Joyce-Song 공식을 Calabi-Yau 3-fold의 맥락에서 motivic 설정으로 확장한다.
• Calabi-Yau 3-fold에 대해 Kontsevich-Soibelman의 대수적 준동형사상 추측에 대한 motivic 증명을 제공한다.
• Behrend 함수 항등식을 통해 motivic Hall 대수와 motivic 양자 토러스 사이의 연결 고리를 구축한다.
• 구성층의 유도 범주 내의 반안정 대상으로 고전적 Donaldson-Thomas 불변량을 일반화한다.

제안 방법

• 형식 스킴에 대한 motivic 통합과 Cluckers-Loeser의 motivic 가시적 함수 이론을 사용한다.
• 모듈리 스택인 구성층의 구조를 모델링하기 위해 d-비판적 위치와 국소 비판 차트의 프레임워크를 적용한다.
• 유도 범주 내의 반-슈어 대상과 관련된 전위 함수를 사용하여 motivic Milnor 원주를 구성한다.
• Milnor 원주의 오일러 지표를 사용하여 공식 $ \mathbb{L}^{n/2} \odot \mathcal{S}_{X}^{\phi} $ 를 통해 motivic 불변량을 정의한다.
• 지역 불변량을 연결하기 위해 항등식 $ t^{*}\mathcal{S}_{\mathcal{X}_1 \times \mathcal{X}_2}^{\phi} = \mathbb{L}^{\chi(\alpha_1,\alpha_2)/2} \cdot t_1^{*}\mathcal{S}_{\mathcal{X}_1}^{\phi} \cdot t_2^{*}\mathcal{S}_{\mathcal{X}_2}^{\phi} $ 를 유도한다.
• motivic Hall 대수에서 motivic 양자 토러스로의 통합 사상 $ I: \mathcal{H}^{\text{mot}} \to \overline{\mathcal{M}}_{\kappa,\text{loc}}^{\hat{\mu}}[\Gamma] $ 가 단위를 갖춘 대수적 준동형사상임을 증명한다.

실험 결과

연구 질문

• RQ1 Calabi-Yau 3-fold의 맥락에서 Behrend 함수 항등식에 대한 Joyce-Song 공식은 motivic 일반화를 갖는가?
• RQ2 motivic 통합을 사용하여 motivic Hall 대수에 대한 Kontsevich-Soibelman 대수적 준동형사상 추측을 증명할 수 있는가?
• RQ3 유도 범주 내의 대상들의 직접곱에 대해 국소 비판 차트의 motivic Milnor 원주는 어떻게 행동하는가?
• RQ4 반-슈어 대상들의 직합의 Behrend 함수에 대한 정확한 motivic 표현은 무엇인가?
• RQ5 motivic Hall 대수에서 motivic 양자 토러스로의 통합 사상은 잘 정의된 대수적 준동형사상인가?

주요 결과

• motivic Joyce-Song 공식이 성립한다: $ (1 - \mathcal{S}_0(E_1 \oplus E_2)) = (1 - \mathcal{S}_0(E_1)) \cdot (1 - \mathcal{S}_0(E_2)) $, 이는 곱 스택의 모든 점에서 유효하다.
• motivic Hall 대수에서 motivic 양자 토러스로의 통합 사상 $ I $ 는 대수적 준동형사상이며, $ I(\alpha_1 \star \alpha_2) = I(\alpha_1) \star I(\alpha_2) $ 를 만족한다.
• 곱 스택의 motivic Milnor 원주는 $ t^{*}\mathcal{S}_{\mathcal{X}_1 \times \mathcal{X}_2}^{\phi} = \mathbb{L}^{\chi(\alpha_1,\alpha_2)/2} \cdot t_1^{*}\mathcal{S}_{\mathcal{X}_1}^{\phi} \cdot t_2^{*}\mathcal{S}_{\mathcal{X}_2}^{\phi} $ 를 만족하며, 이는 오일러 형식을 반영한다.
• 직합 $ E_1 \oplus E_2 $ 의 motivic Milnor 원주는 $ E_1 $ 과 $ E_2 $ 의 Milnor 원주들의 곱으로 분해되며, $ \mathbb{L}^{\chi(E_1,E_2)/2} $ 에 의해 왜곡된다.
• 증명은 motivic 통합을 통해 Kontsevich-Soibelman의 추측을 확인하며, 대수적 준동형사상 성질에 대한 새로운 대수기하학적 증명을 제공한다.
• 이 방법은 Behrend 함수 항등식을 통해 motivic Hall 대수와 motivic 양자 토러스 사이의 정확한 연결 고리를 구축한다.