[논문 리뷰] Semiorthogonal decomposition for algebraic varieties

Alexey Bondal, Dmitri Olegovich Orlov|ArXiv.org|1995. 06. 19.

Algebraic structures and combinatorial models참고 문헌 6인용 수 377

한 줄 요약

이 논문은 매끄러운代수적 다양체 위의 코herent sheaf의 유도 범주 간의 전부 충실한 함자에 대한 기준을 수립하고, 이를 통해 두 개의 짝수 차원 쌍곡선의 교차의 유도 범주에 대해 반직교 분해를 유도하며, 약하거나 반-약한 캐논리컬 번들의 경우 매끄럽고 사영인 다양체가 그 코herent sheaf의 유도 범주에 의해 유일하게 결정됨을 증명한다. 주요 기여는 재구성 정리와 플롭 하에서의 유도 동치에 대한 증거이다.

ABSTRACT

A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is obtained. The behaviour of derived categories with respect to birational transformations is investigated. A theorem about reconstruction of a variety from the derived category of coherent sheaves is proved.

연구 동기 및 목표

• 코herent sheaf의 유도 범주 간의 함자에 대해 전부 충실한 조건을 수립하기.
• 두 개의 짝수 차원 쌍곡선의 교차의 유도 범주에 대한 반직교 분해를 기술하기.
• 특히 플립과 플롭을 포함한 비라션 변환 하에서 유도 범주의 행동을 조사하기.
• 매끄럽고 사영인 다양체가 약하거나 반-약한 캐논리컬 번들을 가지면, 그 코herent sheaf의 유도 범주에 의해 유일하게 결정됨을 증명하기.
• 약하거나 반-약한 캐논리컬 번들의 경우, 유도 범주의 자가동치의 구조를 특성화하기.

제안 방법

• 스카이크래퍼 층과 그 이동에 대한 작용을 통해 $\Phi_E: D^b_{coh}(M) \to D^b_{coh}(X)$ 의 전부 충실성에 대한 기준을 도입하기.
• 공간 $X \times M$ 에서의 코herent sheaf $E$ 를 커널로 사용하여 $\Phi_E(\mathcal{F}) = \pi_*(E \otimes p^*\mathcal{F})$ 의 공식을 통해 함자 $\Phi_E$ 를 구성하기. 여기서 $p$ 와 $\pi$ 는 $X \times M$ 에서의 사영 사상이다.
• 이 기준을 $X$ 가 두 개의 짝수 차원 쌍곡선의 매끄러운 교차인 경우에 적용하여, $D^b_{coh}(C)$ 와 동치인 전체 부분범주를 식별하기. 여기서 $C$ 는 관련된 히퍼엘리프틱 곡선이다.
• 유도 범주 $D^b_{coh}(X)$ 에서 $D^b_{coh}(C)$ 와의 수직 여부에 대해, 선형 번들의 예외적 집합이 존재함을 보이기.
• 유도 범주 프레임워크를 사용하여 비라션 사상, 특히 플롭을 분석하고, 특정한 플립의 경우 $D^b_{coh}(X^+)$ 가 $D^b_{coh}(X)$ 에 전부 충실한 임bedding을 갖는다는 것을 증명하기.
• 유도 범주 구조를 통해 다양체를 재구성함으로써 재구성 정리를 증명하기: 캐논리컬 링과 점 대상들 $\mathcal{O}_x$ 의 집합이 다양체를 동형사상까지 유일하게 복원한다.

실험 결과

연구 질문

• RQ1 코herent sheaf의 유도 범주 간의 함자가 언제 전부 충실한가?
• RQ2 두 개의 짝수 차원 쌍곡선의 교차의 유도 범주는 더 단순한 성분들로 분해될 수 있는가?
• RQ3 플립과 플롭과 같은 비라션 변환 하에서 유도 범주는 어떻게 행동하는가?
• RQ4 매끄럽고 사영인 다양체가 그 코herent sheaf의 유도 범주에 의해 어느 정도까지 유일하게 결정되는가?
• RQ5 캐논리컬 또는 반-캐논리컬 번지가 약할 경우, $D^b_{coh}(X)$ 의 자가동치의 군의 구조는 어떻게 되는가?

주요 결과

• 함자 $\Phi_E: D^b_{coh}(M) \to D^b_{coh}(X)$ 는 스키슬러 층과 그 이동의 이미지 사이의 $\operatorname{Hom}$-공간에 대해 유사형을 유도할 때에만 전부 충실하다.
• 만일 $X$ 가 두 개의 짝수 차원 쌍곡선의 매끄러운 교차이면, 반직교 분해 $D^b_{coh}(X) = \langle D^b_{coh}(C), \mathcal{O}_X, \mathcal{O}_X(1), \dots, \mathcal{O}_X(n-1) \rangle$ 가 존재한다. 여기서 $C$ 는 관련된 히퍼엘리프틱 곡선이다.
• 쌍곡선의 교차의 유도 범주는 $D^b_{coh}(C)$ 에 전부 충실한 임베딩을 갖는다. 수직 여부는 선형 번들의 예외적 집합에 의해 생성된다.
• 두 다양체 $X$ 와 $X^+$ 사이의 플롭에 대해, $D^b_{coh}(X^+) \hookrightarrow D^b_{coh}(X)$ 가 전부 충실한 임베딩을 갖는다. 이는 그 유도 범주들이 동치일 것이라는 추측을 지지한다.
• 만일 $X$ 가 약하거나 반-약한 캐논리컬 번지를 갖는 매끄럽고 사영인 다양체이면, $D^b_{coh}(X) \simeq D^b_{coh}(X')$ 를 만족하는 모든 다양체 $X'$ 는 $X$ 와 동형이어야 하며, 이는 유도 재구성 정리를 증명한다.
• 이러한 $X$ 에 대해 $D^b_{coh}(X)$ 의 정확한 자가동치의 군은 다양체의 자기동형사상, 선형 번들의 텐서곱, 그리고 이동(역행)에 의해 생성된다.