[논문 리뷰] Derived category of toric varieties with Picard number three

Arijit Dey, Michał Lasoń외 1명|arXiv (Cornell University)|2010. 02. 18.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 8

한 줄 요약

이 논문은 피카르 수가 3인 특정한 가환 스킴의 완전한, 강한 예외적 선다발 집합을 구성한다. 이는 $\mathcal{O}_{\mathbb{P}^{n-1}} \oplus \mathcal{O}_{\mathbb{P}^{n-1}}(b_1)$의 프로젝티브이션의 선형 부분공간에 대한 블로우업으로서, $b_1$은 음이 아닌 정수이다. 주요 기여는 코즐 복합체와 분할 관계를 사용한 명시적 구성에 의한 존재성 증명으로, 이는 이 비-판노 가환 스킴에 대한 추측을 확인한다.

ABSTRACT

We construct a full, strongly exceptional collection of line bundles on the variety X that is the blow up of the projectivization of the vector bundle O_{P^{n-1}}\oplus O_{P^{n-1}}(b) along a linear space of dimension n-2, where b is a non-negative integer.

연구 동기 및 목표

• 피카르 수가 3인 매끄럽고 완전한 가환 스킴에 대해 완전하고 강한 예외적 선다발 집합의 존재성에 대한 열린 추측을 해결하기 위해.
• 판노와 낮은 피카르 수의 경우를 초월하여 특정한 프로젝티브 다발의 블로우업을 분석함으로써 기존 결과를 확장하기 위해.
• 분할 클래스와 코homological 기법을 사용하여 그러한 집합의 명시적 구성 제공하기 위해.
• 구성된 집합이 코즐 복합체와 분할 관계를 사용하여 강한 예외성과 완전성을 모두 만족함을 검증하기 위해.

제안 방법

• 저자들은 피카르 수가 3인 가환 스킴를 분류한 바티레프의 분류를 사용하며, 다섯 개의 기본 집합을 가진 경우에 집중한다.
• variety $X$는 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^{n-1}} \oplus \mathcal{O}_{\mathbb{P}^{n-1}}(b_1))$의 $n-2$ 차원 선형 부분공간에 대한 블로우업으로 정의되며, 그의 팬과 기본 관계를 명시적으로 기술한다.
• 선다발의 순서를 그들의 분할 클래스에 따라 정렬함으로써 강한 예외적 집합을 구성한다: $\mathcal{O}(-kD_v - D_y - D_t)$ 및 $\mathcal{O}(-kD_v - D_t)$, 계수는 기본 관계에 의해 제약을 받는다.
• 집합은 두 부분으로 나뉜다: $Col_1$은 $D_y$와 $D_t$를 포함하는 경우, $Col_2$는 순수한 $D_v$ 항만 포함하는 경우로, 분할 클래스 간의 음수 차이가 발생하지 않도록 보장한다.
• 코즐 복합체는 $\mathcal{O}(D_y), \mathcal{O}(D_{v_1}), \dots, \mathcal{O}(D_{v_{n-1}})$ 및 그 쌍대 버전에 적용되어 유도 범주에서 중간 선다발을 생성한다.
• 완전성은 두 개의 보조정리에 기반한 귀납적 증명으로 증명된다: 하나는 $Col_1$과 $Col_2$로부터 $\mathcal{O}(-kD_v - D_t)$를 생성하고, 다른 하나는 쌍대 복합체로부터 $\mathcal{O}(-kD_v - D_y - D_t)$를 생성한다.

실험 결과

연구 질문

• RQ1 차원 $n-2$인 선형 부분공간에 대한 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^{n-1}} \oplus \mathcal{O}_{\mathbb{P}^{n-1}}(b_1))$의 블로우업에서 완전하고 강한 예외적 선다발 집합이 존재하는가?
• RQ2 피카르 수가 3인 판노가 아닌 가환 스킴에 대해 그러한 집합을 명시적으로 구성할 수 있는가?
• RQ3 특정한 분할 관계를 가진 프로젝티브 다발의 블로우업에서 완전하고 강한 예외적 선다발 집합의 존재성이 유지되는가?
• RQ4 코즐 복합체는 주어진 예외적 집합에서 유도 범주에서 누락된 선다발을 효과적으로 생성하는 데 사용될 수 있는가?
• RQ5 구성된 집합은 이 비-판노 가환 스킴의 가족에 대해 강한 예외성과 완전성을 모두 만족하는가?

주요 결과

• 논문은 차원 $n$이고 피카르 수가 3인 매끄럽고 완전한 가환 스킴 $X$ 위에 완전하고 강한 예외적 선다발 집합을 구성한다.
• 집합은 $\mathcal{O}(-(n-1+b)D_v - D_y - D_t), \dots, \mathcal{O}(-bD_v - D_y - D_t), \mathcal{O}(-(n-1)D_v), \dots, \mathcal{O}$로 명시적으로 순서가 정해져 있으며, 여기서 $b = b_1$이다.
• 모든 양의 고차 호모로지 그룹이 서로 다른 집합 내 선다발 간에 영이 되므로, 강한 예외성이 증명된다.
• 모든 선다발이 $B_1$, $B_2$, $B_3$ 집합에 속해 있으며, 이는 코즐 복합체를 통해 집합으로부터 생성됨을 보여줌으로써 완전성이 확립된다.
• 모든 $b \geq 0$에 대해 성립하므로, $X$가 판노가 아닐 경우에도 구성 방법이 작동한다. $X$는 $b < n-1$일 때에만 판노이지만, 결과는 모든 $b \geq 0$에 대해 성립한다.
• 분할 관계와 팬의 구조에 의존하여, 집합 내 선다발 간의 차이가 효과적 클래스를 생성하지 않도록 보장함으로써 강한 예외성이 유지된다.