[논문 리뷰] Strong generators in $D^{perf}(X)$ and $D^b_{coh}(X)$

Amnon Neeman|arXiv (Cornell University)|2017. 03. 13.

Algebraic structures and combinatorial models참고 문헌 25인용 수 7

한 줄 요약

이 논문은 대수기하학에서 두 가지 주요 추측을 증명한다: 첫째, $X$가 쿼지콤���이자 분리된 스킴이고 각 $R_i$가 유한한 전반적 차원을 갖는 유한 개의 아핀 오픈 $\mathrm{Spec}(R_i)$로 덮일 경우, $X$ 위의 완전 복합체의 유도 범주 $\mathbf{D}^{\mathrm{perf}}(X)$는 강하게 생성된다. 둘째, $X$가 차원 $\leq 2$인 우수한 스킴 위에서 유한형이면서 노에테리안인 경우, 유한 코herent sheaf의 유도 범주 $\mathbf{D}^{b}_{\mathrm{coh}}(X)$는 강하게 생성된다. 증명은 아핀 오픈의 수에 대한 귀납법을 사용하며, 특히 유도 범주 내에서 컴팩트 생성자들이 푸시포워드와 풀백에 어떻게 작용하는지에 대한 고급 호모로지 대수학에 의존한다.

ABSTRACT

We characterize the separated schemes for which the derived category of perfect complexes is strongly generated, proving a conjecture of Bondal and Van den Bergh. And we also prove the strong generation of the bounded derived category of coherent sheaves under mild conditions. In the proof we introduce techniques that have shown themselves to have powerful consequences in other contexts. In this final, pre-publication version of the manuscript there is a (very brief) survey of subsequent, followup articles.

연구 동기 및 목표

• 쿼지콤팩트이고 분리된 스킴 $X$가 전반적 차원이 유한한 링의 아핀 덮개를 갖는 경우, 볼드랄과 반 데인 버그의 $\mathbf{D}^{\mathrm{perf}}(X)$에 대한 강한 생성 추측을 해결한다.
• 등차수를 가정하지 않고, 차원 $\leq 2$인 우수한 스킴 위에서 유한형이면서 노에테리안인 스킴에 대해 $\mathbf{D}^{b}_{\mathrm{coh}}(X)$의 강한 생성을 확립한다.
• 컴팩트 생성자와 아핀 덮개에 대한 귀납법을 사용하여 스킴의 유도 범주에서 강한 생성을 증명하는 일반적인 방법을 개발한다.
• 분리된 사상 $f: X \to Y$가 쿼지콤팩트이고 쿼지분리된 스킴일 경우, $\mathbf{R}f_*\mathcal{F}$의 유한한 토르 앰플리튜드 조건을 기반으로, 이 사상이 유한한 토르 차원을 갖는다는 새로운 증명을 제공한다.

제안 방법

• 스킴 $X$의 아핀 오픈 부분집합 수에 대한 귀납법을 사용하며, 각 $\mathrm{Spec}(R_i)$가 유한한 전반적 차원을 갖는다고 가정한다.
• 유도 범주 $\mathbf{D}_{\mathrm{qc}}(X)$ 내의 컴팩트 생성자 $G$와 그 푸시포워드 $\mathbf{R}j_*G$의 이미지들을 사용하여 더 큰 범주에서의 생성을 제어한다.
• 유도 범주 $\mathbf{D}_{\mathrm{qc}}(X)$ 내의 객체를 분해하기 위해 삼각형 논증 $\mathbf{R}j_{1*}F \to F \to \mathbf{R}j_{1*}j^*F \oplus \mathbf{R}j_{2*}j^*F$ 를 적용한다.
• 객체를 컴팩트 생성자 $G$로부터 생성하는 데 필요한 단계 수를 측정하기 위해 부분범주 $\mathrm{Coprod}_K(G[-\infty,\infty])$ 를 사용한다.
• 기저 변경을 통해 $X$로 올리기 위해, $\mathbf{R}h'_*Q'$ 가 어떤 컴팩트 생성자 $G'$에 대해 $\mathrm{Coprod}_K(G'[¯{A},¯{B}])$ 에 속한다는 사실을 활용한다.
• 유한한 토르 앰플리튜드와 컴팩트성의 유한성에 기반하여, $\mathbf{R}j_*G$ 가 어떤 $N$에 대해 $\mathrm{Coprod}_N(G[-\infty,\infty])$ 에 속한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 쿼지콤팩트이고 분리된 스킴 $X$에 대해, 완전 복합체의 유도 범주 $\mathbf{D}^{\mathrm{perf}}(X)$가 강하게 생성되기 위한 조건은 무엇인가?
• RQ2 등차수를 가정하지 않고, 차원 $\leq 2$인 우수한 스킴 위에서 유한형이면서 노에테리안인 스킴에 대해 $\mathbf{D}^{b}_{\mathrm{coh}}(X)$의 강한 생성을 어떻게 확립할 수 있는가?
• RQ3 쿼지콤팩트이고 쿼지분리된 스킴 사이의 분리된 사상 $f: X \to Y$가 유한한 토르 차원을 갖기 위한 조건은 무엇인가?
• RQ4 유도 범주 $\mathbf{D}_{\mathrm{qc}}(X)$ 내의 컴팩트 생성자를 어떻게 사용하여 전체 유도 범주를 귀납적으로 생성할 수 있는가?
• RQ5 $\mathbf{R}f_*\mathcal{F}$의 유한한 토르 앰플리튜드와 사상 $f$의 유한한 토르 차원 사이의 정확한 관계는 무엇인가?

주요 결과

• 쿼지콤팩트이고 분리된 스킴 $X$가 각각 전반적 차원이 유한한 링 $R_i$로 이루어진 유한한 아핀 오픈 덮개를 갖는 한, 유도 범주 $\mathbf{D}^{\mathrm{perf}}(X)$는 강하게 생성된다.
• 차원 $\leq 2$인 우수한 스킴 위에서 유한형이면서 노에테리안인 스킴 $X$에 대해, 범주 $\mathbf{D}^{b}_{\mathrm{coh}}(X)$는 강하게 생성되며, 등차수 가정 없이도 성립한다.
• 이 방법을 통해, $\mathbf{R}f_*\mathcal{F}$ 가 모든 완전 복합체 $\mathcal{F}$ 에 대해 아래로 유한한 토르 앰플리튜드를 갖는다면, 분리된 사상 $f: X \to Y$ 는 유한한 토르 차원을 갖는다는 새로운 증명을 얻을 수 있다.
• 유도 범주 $\mathbf{D}_{\mathrm{qc}}(X)$의 강한 생성은 $\mathbf{D}_{\mathrm{qc}}(X) = \mathrm{Coprod}_K(G[-\infty,\infty])$ 를 만족하는 단계 수 $K$에 의해 제어되며, 이 $K$ 는 귀납법과 푸시포워드 매개변수의 곱으로 유계된다.
• 증명은 $\mathbf{R}j_{1*}G_1$ 과 $\mathbf{R}j_{2*}G_2$ 가 어떤 $N$ 에 대해 $\mathrm{Coprod}_N(G[-\infty,\infty])$ 에 속한다는 것을 증명함으로써, 생성의 귀납적 제어를 가능하게 한다.
• 핵심 기술적 단계는 $\mathbf{R}h'_*Q'$ 가 $\mathrm{Coprod}_K(G'[¯{A},¯{B}])$ 에 속한다는 것을 보이는 것으로, 이는 기저 변경을 통해 $Y$ 에서의 생성을 $X$ 로 옮기는 데 가능하게 한다.