[논문 리뷰] Sheaves on local Calabi-Yau varieties

Matthew R. Ballard|ArXiv.org|2008. 01. 23.

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

한 줄 요약

이 논문은 $X$가 매끄럽고 사영인 다양체이고 $\bigwedge^{\operatorname{rank}E}E \cong \omega_X$를 만족하는 벡터(bundle) $E$에 대해, 국소 Calabi-Yau 3차원 다양체 $V(E)$의 영단면 위에 지지된 층들의 기하학을 다룬다. $A_\infty$-대수 기법과 dg-강화를 사용하여, 영단면 위에 지지된 층들의 유도 범주에 대해 준위가 동형인 기술을 제공하며, 특히 $E = \omega_X$인 경우 이 범주는 $X$ 자체의 유도 범주에 의해 완전히 결정됨을 보여주어, 이 설정에서 호모로지 미러 대칭의 정확한 대수적 실현을 제공한다.

ABSTRACT

We investigate sheaves supported on the zero section of the total space of a locally-free sheaf E on a smooth, projective variety X when the top exterior power of E is isomorphic to the canonical bundle of X. We rephrase this construction using the language of A-infinity algebra and provide a simple characterisation of the case E is simply the canonical bundle itself.

연구 동기 및 목표

• 매끄럽고 사영인 다양체 $X$ 위의 벡터(bundle) $E$에 대해 $\bigwedge^{\operatorname{rank}E}E \cong \omega_X$를 만족하는 국소 Calabi-Yau 3차원 다양체 $V(E)$의 영단면 위에 지지된 코herent 층들의 유도 범주를 이해하는 것.
• dg-구조와 $A_\infty$-구조, 체인 수준의 준위가 동형을 사용하여 이 유도 범주의 dg-강화를 제공함으로써 정확한 대수적 기술을 가능하게 하는 것.
• $E = \omega_X$인 경우, $D^b(\operatorname{Coh}(X))$가 $V(\omega_X)$의 유도 범주에 완전한 충실한 임베딩으로서 특징지어지며, 사상 공간에 비퇴화된 대칭 쌍선형 형식이 존재하는 것.
• 이 구조를 호모로지 미러 대칭과 연결하기 위해, $V(\omega_X)$ 위의 층들의 유도 범주가 $A_\infty$-대수적 자료를 통해 $X$의 유도 범주와 동치임을 보이는 것.
• $X$에서의 층들을 포함사상 $i: X \to V(E)$를 통해 $V(E)$ 위의 유도 범주를 생성하는 프레임워크를 수립하는 것.

제안 방법

• 유도 범주 $D^b(\operatorname{Coh}(X))$의 강화된 모델로 Cech 복합체와 Dolbeault 복합체를 각각 사용하여 정의된 dg-범주 $\check{C}(X)$와 $\overline{\partial}(X)$를 사용한다.
• Ext 동형 $\operatorname{Ext}^j_{V(E)}(i_*F, i_*G) \cong \bigoplus_{r=0}^{\operatorname{rank}E} \operatorname{Ext}^{j+r}_X(F, G \otimes \bigwedge^r E)$을 dg-자기준동형 대수의 준위가 동형으로 올리는 것.
• 다른 층들의 유도 범주에 대한 $V(E)$ 위의 층들의 dg-범주에 비퇴화된 대칭 쌍선형 형식을 부여하여, $D^b_X(\operatorname{Coh}(V(E)))$에서의 Serre 쌍대성의 자명성을 반영한다.
• $A_\infty$-대수 기법을 적용하여, $V(\omega_X)$의 유도 범주를 $D(\operatorname{Qcoh}(X))$의 순수한 형식으로 기술하며, 형식적 심플렉틱 기하학을 활용한다.
• Koszul 분해와 $Li^*$를 통한 당김을 사용하여, 프로젝티브 스킴에 대해 $\{\mathcal{O}_X, \dots, \mathcal{O}_X(N)\}$이 $D(\operatorname{Qcoh}(X))$를 생성함을 보임.
• 멱등원 완비화와 삼각형 폐쇄를 사용하여, $D^b(\operatorname{Coh}(\mathbb{P}^N))$의 고전적 생성자를 $D^b(\operatorname{Coh}(X))$의 고전적 생성자로 당겨옴을 보임.

실험 결과

연구 질문

• RQ1 만일 $\bigwedge^{\operatorname{rank}E}E \cong \omega_X$일 경우, $V(E)$의 영단면 위에 지지된 코herent 층들의 유도 범주를 어떻게 대수적으로 기술할 수 있는가?
• RQ2 유도 범주 $D^b_X(\operatorname{Coh}(V(E)))$의 dg-강화는 무엇이며, 이는 $X$의 유도 범주와 어떻게 관련되어 있는가?
• RQ3 $E = \omega_X$인 경우, $D(\operatorname{Qcoh}(X))$가 $D(\operatorname{Qcoh}(V(\omega_X)))$에 완전한 임베딩으로서 특징지어질 수 있는가?
• RQ4 dg-범주에서 사상 공간에 존재하는 비퇴화된 대칭 쌍선형 형식은 어떻게 Calabi-Yau 성질을 반영하는가?
• RQ5 $A_\infty$-구조를 통해 이 설정에서 호모로지 미러 대칭을 어느 정도 실현할 수 있는가?

주요 결과

• 매끄럽고 올바른 $X$일 경우, $D^b_X(\operatorname{Coh}(V(E)))$는 자명한 Serre 쌍대성을 가지며, 이는 Calabi-Yau 삼각형 범주임을 의미한다.
• Ext 동형 $\operatorname{Ext}^j_{V(E)}(i_*F, i_*G) \cong \bigoplus_{r=0}^{\operatorname{rank}E} \operatorname{Ext}^{j+r}_X(F, G \otimes \bigwedge^r E)$은 dg-자기준동형 대수의 준위가 동형으로 올라가며, 이는 dg-강화를 제공한다.
• $E = \omega_X$인 경우, $D_X(\operatorname{Qcoh}(V(\omega_X)))$는 $D(\operatorname{Qcoh}(X))$와 완전히 동치이며, 이 동치는 $A_\infty$-대수적 구조를 통해 실현된다.
• dg-범주에서 Hom-공간에 존재하는 대칭 형식은 코homology에서 비퇴화되어 있으며, 이는 체인 수준에서 Calabi-Yau 조건을 반영한다.
• 모든 프로젝티브 스킴 $X \subset \mathbb{P}^N_k$에 대해 $\{\mathcal{O}_X, \dots, \mathcal{O}_X(N)\}$은 $D(\operatorname{Qcoh}(X))$를 생성하며, 이는 당김을 통해 $V(\omega_X)$의 유도 범주를 생성한다.
• $D^b(\operatorname{Coh}(\mathbb{P}^N))$의 고전적 생성자들은 당김을 통해 $D^b(\operatorname{Coh}(X))$의 고전적 생성자로 옮겨지며, 당김에 의한 생성 성질을 확인한다.