[논문 리뷰] Derived Categories of Quadric Fibrations and Intersections of Quadrics

Alexander Kuznetsov|ArXiv.org|2005. 10. 31.

Geometric and Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 기저 위의 이차 곡면에 대한 기하적 구조를 기반으로 하여 클리포드 대수의 짝수 부분의 층을 사용하여 유도 범주에 대한 준직교 분해를 수립한다. 이는 카프란프의 단일 이차 곡면에 대한 기존 기술을 일반화한 것으로, 이중 버로네제 매핑 하에서 $\mathbb{P}(W)$와 비가환 다양체 $(\mathbb{P}(S^2W^*), B_0)$ 사이의 호모로지적으로 프로젝티브 쌍대성을 증명함으로써, 이중 곡면의 완전 교차의 유도 범주에 대한 완전한 기술을 이끌어낸다.

ABSTRACT

We construct a semiorthogonal decomposition of the derived category of coherent sheaves on a quadric fibration consisting of several copies of the derived category of the base of the fibration and the derived category of coherent sheaves of modules over the sheaf of even parts of the Clifford algebras on the base corresponding to this quadric fibration, generalizing the Kapranov's description of the derived category of a single quadric. As an application we verify that the noncommutative algebraic variety $(\PP(S^2W^*),\CB_0)$, where $\CB_0$ is the universal sheaf of even parts of Clifford algebras, is Homologically Projectively Dual to the projective space $\PP(W)$ in the double Veronese embedding $\PP(W) o \PP(S^2W)$. Using the properties of the Homological Projective Duality we obtain a description of the derived category of coherent sheaves on a complete intersection of any number of quadrics.

연구 동기 및 목표

• 기저 스킴 위의 이차 곡면에 대한 유도 범주의 준직교 분해를 단일 이차 곡면의 케이프란프 기술로 일반화하는 것.
• 기저의 유도 범주와 클리포드 대수의 짝수 부분의 층을 이용하여 이차 곡면에 대한 유도 범주의 준직교 분해를 구성하는 것.
• 이중 버로네제 매핑 하에서 $\mathbb{P}(W)$와 비가환 다양체 $(\mathbb{P}(S^2W^*), B_0)$ 사이의 호모로지적으로 프로젝티브 쌍대성을 확립하는 것.
• 호모로지적으로 프로젝티브 쌍대성의 기법을 사용하여 이차 곡면의 완전 교차의 유도 범주에 대한 완전한 기술을 도출하는 것.

제안 방법

• 이차 곡면에 대한 좌표 대수와 동차 클리포드 대수 사이의 코즐 쌍대성을 사용하여 준직교 분해를 구성하는 것.
• 기저 $\mathbb{P}(S^2W^*)$ 위에 클리포드 대수의 짝수 부분의 층 $B_0$를 정의하고, 이가 이차 곡면의 유도 범주에서 비자명한 성분을 제공함을 보이는 것.
• 이중 버로네제 매핑 $f: \mathbb{P}(W) \to \mathbb{P}(S^2W)$에 대해 호모로지적으로 프로젝티브 쌍대성 이론을 적용하고, 보편 이차 곡면을 초평면 섹션으로 간주하는 것.
• 보편 초평면 섹션의 필요 준직교 분해를 확인하여 비가환 다양체 $(\mathbb{P}(S^2W^*), B_0)$ 가 $\mathbb{P}(W)$ 와 호모로지적으로 프로젝티브 쌍대성을 만족하는지 검증하는 것.
• 얻어진 쌍대성을 이용하여 선형 섹션 $X_L$ 과 $Y_L$ 에 대한 준직교 분해를 유도하는 것. 이는 이차 곡면의 완전 교차와 그 비가환 대응체에 해당한다.

실험 결과

연구 질문

• RQ1 기저 스킴 위의 이차 곡면에 대한 유도 범주는 간단한 삼각 범주들로 어떻게 분해될 수 있는가?
• RQ2 클리포드 대수의 짝수 부분의 층이 이차 곡면에 대한 유도 범주에서 어떤 역할을 하는가?
• RQ3 이중 버로네제 매핑 하에서 비가환 다양체 $(\mathbb{P}(S^2W^*), B_0)$ 는 $\mathbb{P}(W)$ 와 호모로지적으로 프로젝티브 쌍대인가?
• RQ4 클리포드 대수의 구조와 함께 호모로지적으로 프로젝티브 쌍대성을 사용하여 이차 곡면의 완전 교차의 유도 범주를 기술할 수 있는가?

주요 결과

• 기저 위의 평탄한 이차 곡면에 대한 유도 범주 $p: X \to S$ 는 상대 차원 $n-2$ 를 가질 때 다음 준직교 분해를 가진다: $D^b(X) = \langle D^b(S, B_0), p^*D^b(S)(1), \dots, p^*D^b(S)(n-2) \rangle$, 여기서 $B_0$ 는 기저 $S$ 위의 클리포드 대수의 짝수 부분의 층이다.
• 비가환 다양체 $Y = (\mathbb{P}(S^2W^*), B_0)$ 는 이중 버로네제 매핑 하에서 $\mathbb{P}(W)$ 와 호모로지적으로 프로젝티브 쌍대이다.
• 모든 부분공간 $L \subset S^2W^*$ 에 대해 $X_L$ 이 $\mathbb{P}(W)$ 에서 $r = \dim L$ 개의 이차 곡면의 완전 교차가 되는 경우, $r \leq n/2$ 이면 $D^b(X_L) = \langle D^b(P(L), B_0), \mathcal{O}_{X_L}(1), \dots, \mathcal{O}_{X_L}(n-2r) \rangle$ 의 준직교 분해가 존재하며, $r \geq n/2$ 일 경우 이중적으로 성립한다.
• 만약 $r = \dim L = 1$ 이면 $X_1$ 은 단일 이차 곡면이며 $D^b(P(L), B_0)$ 는 카프란프의 기술을 복원한다: $D^b(X_1) = \langle D^b(B_0), \mathcal{O}_{X_1}(1), \dots, \mathcal{O}_{X_1}(n-2) \rangle$, 여기서 $D^b(B_0)$ 는 $n$ 의 홀짝성에 따라 하나 또는 두 개의 예외적 대상으로 생성된다.
• 만약 $r = \dim L = 2$ 이면 $X_2$ 는 매끄러운 두 개의 이차 곡면의 완전 교차이며, $D^b(X_2)$ 는 $n$ 이 짝수일 경우 임계값에서 분지하는 $\mathbb{P}^1$ 의 이중 쌍대 또는 홀수 $n$ 일 경우 $\mathbb{P}^1$ 위의 $\mathbb{Z}/2\mathbb{Z}$-스택인 카테고리 $C$ 를 포함하는 준직교 분해를 가진다.
• 만약 $\dim L = n/2$ 이면 $D^b(X_L) \simeq D^b(P(L), B_0)$ 의 전형적 포함 사상이 존재하며, 이는 교차의 유도 범주와 비가환 해석 사이의 쌍대성 등가를 보여준다.