[논문 리뷰] A simple counterexample to the Jordan-Hölder property for derived categories

Alexander Kuznetsov|arXiv (Cornell University)|2013. 04. 03.

Algebraic structures and combinatorial models참고 문헌 3인용 수 15

한 줄 요약

이 논문은 $\mathbb{P}^3$의 블로우업의 유도 범주에 있는 브로날의 화살표 대수를 반직선 성분으로 실현하여, 매끄럽고 사영인 대상의 유도 범주의 조르당-횔러 성질에 대한 간단한 반례를 제시한다. 핵심 결과는 비이sov모르픽인 성분을 가진 두 개의 서로 다른 반직선 분해가 존재하여, 조르당-횔러 성질에서 요구하는 순열에 의한 유일성 원칙을 위반함을 보여준다.

ABSTRACT

A counterexample to the Jordan-Hölder property for semiorthogonal decompositions of derived categories of smooth projective varieties was constructed by Böhning, Graf von Bothmer and Sosna. In this short note we present a simpler example by realizing Bondal's quiver in the derived category of a blowup of the projective space.

연구 동기 및 목표

• 매끄럽고 사영인 대상의 유도 범주의 조르당-횔러 성질에 대한 더 단순한 반례를 제공하기.
• 유도 범주의 반직선 분해가 성분의 순열에 대해 유일하지 않음을 보여주기.
• 브로날의 화살표 대수를 $\mathbb{P}^3$의 블로우업의 유도 범주에 있는 부분범주로 실현하기.
• 이 블로우업의 유도 범주가 조르당-횔러 성질을 만족하지 못함을 보여주기.

제안 방법

• $\mathbb{P}^3$의 유리 곡선 $C$를 중심으로 정규군이 $\mathcal{O}_C(-1) \oplus \mathcal{O}_C(-2)$인 블로우업 $Y$를 구성하기.
• 유도 범주 $\mathbf{D}(Y)$를 예외적 대상 $\mathcal{E}_1, \mathcal{E}_2[1], \mathcal{E}_3[1]$를 포함하는 반직선 분해로 식별하기.
• 관계식 $\beta_1\alpha_2 = \beta_2\alpha_1 = 0$를 가진 브로날의 화살표 대수의 경로 대수를 이 대상들의 내적 대수로 실현하기.
• 접속과 푸시포워드 기법을 사용하여 예외적 분할의 기저층과 선다발의 푸시포워드 사이의 Hom 및 Ext 군을 식별하기.
• 곱셈 사상 $m: \mathop{\mathsf{Hom}}({\mathcal{O}}_X, i_*{\mathcal{O}}_E(1,0)) \otimes \mathop{\mathsf{Ext}}^1(i_*{\mathcal{O}}_E(1,0), j_*{\mathcal{O}}_C(-3)) \to \mathop{\mathsf{Ext}}^1({\mathcal{O}}_X, j_*{\mathcal{O}}_C(-3))$ 가 비자명한 핵을 가짐을 보여주기.
• $m(\alpha_i \otimes \beta_i)$의 선형 독립성을 평가 사상과 $\mathcal{O}_C(-1)$의 약순환성에 의해 $\mathop{\mathsf{Ext}}^1$에 임bedding하여 증명하기.

실험 결과

연구 질문

• RQ1 매끄럽고 사영인 대상의 유도 범주에서 조르당-횔러 성질에 대한 더 단순한 반례를 구성할 수 있는가?
• RQ2 는 $\mathbb{P}^3$의 블로우업의 유도 범주는 비이sov모르픽인 성분을 가진 반직선 분해를 갖는가?
• RQ3 브로날의 화살표 대수는 기하학적 유도 범주에 있는 전부의 부분범주로 실현될 수 있는가?
• RQ4 유도 범주의 Ext 대수에서 곱셈 사상이 조르당-횔러 성질을 위반하는 방식으로 비퇴화되는가?
• RQ5 관계식 $\beta_1\alpha_2 = \beta_2\alpha_1 = 0$는 화살표의 기하학적 실현에서 성립하는가?

주요 결과

• 정규군이 $\mathcal{O}_C(-1) \oplus \mathcal{O}_C(-2)$인 유리 곡선을 중심으로 $\mathbb{P}^3$의 블로우업 $Y$의 유도 범주 $\mathbf{D}(Y)$는 조르당-횔러 성질을 만족하지 못한다.
• 대상 $\mathcal{E}_1, \mathcal{E}_2[1], \mathcal{E}_3[1]$의 내적 대수는 관계식 $\beta_1\alpha_2 = \beta_2\alpha_1 = 0$를 가진 브로날의 화살표 대수의 경로 대수와 동형이다.
• 곱셈 사상 $m$은 $\alpha_1 \otimes \beta_2$와 $\alpha_2 \otimes \beta_1$에선 영이지만, $\alpha_1 \otimes \beta_1$과 $\alpha_2 \otimes \beta_2$에선 비영이면서 선형 독립이다.
• $m(\alpha_i \otimes \beta_i)$의 이미지는 $\mathop{\mathsf{Ext}}^1({\mathcal{O}}_X, j_*{\mathcal{O}}_C(-3))$ 내에서 선형 독립적이며, 이는 화살표 구조의 비퇴화성을 증명한다.
• 유도 범주 $\mathbf{D}(Y)$는 비이sov모르픽인 성분을 가진 두 개의 서로 다른 반직선 분해를 갖는다. 이는 조르당-횔러 성질을 위반한다.
• 이전의 보니그, 그라프 폰 보트머, 소스나의 구성보다 더 단순한 반례로서, 고차원적이거나 더 복잡한 기하학적 설정을 피하고 있다.