[논문 리뷰] Derived $\Theta$-stratifications and the $D$-equivalence conjecture

Daniel Halpern-Leistner|arXiv (Cornell University)|2020. 10. 02.

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

한 줄 요약

이 논문은 K3 표면 위의 Gieseker 반안정 층의 모듈리 공간과 비라소르-등가인 프로젝티브 Calabi-Yau 다양체에 대해 D-등가 추측을 증명한다. 유도된 $Θ$-분할과 자가쌍대 코탄젠트 복합체를 가진 유도된 스택의 국소 구조 정리에 기반하여, Bridgeland 안정성 조건의 변화와 GIT 몫에 대한 '마법 창' 정리로 유도 등가를 증명한다.

ABSTRACT

The theory of $\\Theta$-stratifications generalizes a classical stratification of the moduli of vector bundles on a smooth curve, the Harder-Narasimhan-Shatz stratification, to any moduli problem that can be represented by an algebraic stack. Using derived algebraic geometry, we develop a structure theory, which is a refinement of the theory of local cohomology, for the derived category of quasi-coherent complexes on an algebraic stack equipped with a $\\Theta$-stratification. We then apply this to the $D$-equivalence conjecture, which predicts that birationally equivalent Calabi-Yau manifolds have equivalent derived categories of coherent sheaves. We prove that any two projective Calabi-Yau manifolds that are birationally equivalent to a smooth moduli space of Gieseker semistable coherent sheaves on a $K3$ surface have equivalent derived categories. This establishes the first known case of the $D$-equivalence conjecture for a birational equivalence class in dimension greater than three.

연구 동기 및 목표

• 세 차원 이상의 차원에서 서로 비라소르-등가인 프로젝티브 Calabi-Yau 다양체에 대해 D-등가 추측을 증명하는 것.
• 유도 대수기하학을 이용해 $Θ$-분할이 부여된 대수적 스택 위의 쿼시코herent 복합체에 대한 유도된 구조 이론을 개발하는 것.
• Luna 절단 정리와 양호한 모듈리 공간을 통해 K3 표면 위의 Bridgeland 반안정 복합체 모듈리 스택의 국소 모델을 확립하는 것.
• GIT 몫에 대한 '마법 창' 정리를 활용해 안정성 조건의 변화를 통한 유도 등가를 구성하는 것.
• D-등가 추측을 휘어진 층의 모듈리 공간과 더 일반적인 2-Calabi-Yau $dg$-카테고리로 확장하는 것.

제안 방법

• Harder-Narasimhan-Shatz 분할을 임의의 대수적 스택으로 일반화하는 유도된 $Θ$-분할 프레임워크를 개발한다.
• 자기쌍대 코탄젠트 복합체를 가진 유도된 스택에 대한 국소 구조 정리를 제안하며, 이는 GIT 몫의 변화에 기반한다.
• Halpern-Leistner(2016)의 '마법 창' 정리를 적용하여 GIT 몫 변화의 국소 모델에서 유도 등가를 구성한다.
• 부드러운 강하와 쌍대 복합체 및 코탄젠트 복합체의 행렬식과 관련된 표준 동형사상을 사용하여 정규화를 확립한다.
• Calabi-Yau 다양체의 최소 모델 프로그램을 활용하여 Bridgeland 반안정 복합체의 모듈리 공간으로 감소시킨다.
• 부드러운 사상들 사이의 동형사상의 호환성에 의해 고전적 절단에서 캐논리컬 선다발의 영이 아닌 점을 구성한다.

실험 결과

연구 질문

• RQ1 세 차원 이상에서 비라소르-등가인 Calabi-Yau 다양체에 대해 D-등가 추측을 증명할 수 있는가?
• RQ2 유도된 $Θ$-분할은 대수적 스택 위의 유도된 카테고리에 대한 국소 코hom로지와 구조 이론을 어떻게 정교화할 수 있는가?
• RQ3 K3 표면 위의 Bridgeland 반안정 복합체 모듈리 스택에 대한 국소 기하 모델은 무엇인가?
• RQ4 유도된 설정에서 안정성 조건의 변화를 통해 유도 등가를 구성할 수 있는가?
• RQ5 양호한 모듈리 공간의 변화가 부드러운 다양체 사이의 유도 등가를 유도하는 조건은 무엇인가?

주요 결과

• 임의의 두 프로젝티브 Calabi-Yau 다양체가 K3 표면 위의 Gieseker 반안정 코herent 층의 매끄러운 모듈리 공간과 비라소르-등가일 경우, D-등가 추측이 성립한다.
• 유도된 카테고리의 등가는 '마법 창' 정리에 의해 가능해진 GIT 몫 변화의 국소 모델을 통해 확립된다.
• 표준 동형사상 $ϵ_{f}^{-1}$은 상대 캐논리컬 선다발의 정규화를 제공하며, 이는 고전적 절단에서 영이 아닌 점을 이끈다.
• 부드러운 강하와 부드러운 사상들 사이의 동형사상의 호환성에 의해 $H_0(ω_{ω}^{ullet})$의 전역 영이 아닌 점이 구성된다.
• 국소 구조 정리는 자가쌍대 코탄젠트 복합체와 양호한 모듈리 공간을 가진 임의의 유도된 스택에 적용되며, 2-Calabi-Yau $dg$-카테고리로 일반화된다.
• 결과는 휘어진 코herent 층의 모듈리 공간으로 확장되며, 비라소르-등가 클래스에서 차원 >3인 경우 D-등가 추측에 대한 첫 번째 알려진 증명을 제공한다.