[論文レビュー] Strong generators in $D^{perf}(X)$ and $D^b_{coh}(X)$

Amnon Neeman|arXiv (Cornell University)|Mar 13, 2017

Algebraic structures and combinatorial models参考文献 25被引用数 7

ひとこと要約

この論文は代数幾何における2つの主要な予想を証明する。まず、$X$ が準コンパactかつ分離的であり、各 $R_i$ が有限なグローバル次元を持つ有限個のアフィン開被覆 $\mathrm{Spec}(R_i)$ を持つならば、$X$ 上の完全複体の導来カテゴリ $\mathbf{D}^{\mathrm{perf}}(X)$ は強く生成される。第二に、$X$ が次元 $\leq 2$ である良好なスキーム上の有限型ノエター的スキームであるとき、$\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.

研究の動機と目的

• 準コンパクトかつ分離的であり、各 $R_i$ が有限なグローバル次元を持つアフィン被覆を持つスキーム $X$ に対して、$\mathbf{D}^{\mathrm{perf}}(X)$ の強生成性に関するボンダルとヴァン・デン・ベルグの予想を解決すること。
• 等長性を仮定しないで、次元 $\leq 2$ である良好なスキーム上の有限型ノエター的スキーム $X$ に対して、$\mathbf{D}^{b}_{\mathrm{coh}}(X)$ の強生成性を確立すること。
• コンパクト生成子とアフィン被覆に関する帰納法を用いて、スキームの導来カテゴリにおける強生成性を証明する一般的手法を開発すること。
• 分離的準コンパクト・クワシーセパラテなスキームの射 $f: X \to Y$ が有限なトール次元を持つための条件を示す、既存の有限トール次元基準の新しい証明を提供すること。

提案手法

• 各 $\mathrm{Spec}(R_i)$ が有限なグローバル次元を持つと仮定し、$X$ のアフィン開被覆の個数に関する帰納法を用いる。
• $\mathbf{D}_{\mathrm{qc}}(X)$ 内のコンパクト生成子 $G$ 及びその押し出し $\mathbf{R}j_*G$ の像を用いて、より大きなカテゴリにおける生成を制御する。
• $\mathbf{R}j_{1*}F \to F \to \mathbf{R}j_{1*}j^*F \oplus \mathbf{R}j_{2*}j^*F$ を含む三角形の議論を用いて、$\mathbf{D}_{\mathrm{qc}}(X)$ 内の対象を分解する。
• コンパクト生成子 $G$ から対象を生成するのに必要なステップ数を測るための部分カテゴリ $\mathrm{Coprod}_K(G[-\infty,\infty])$ を用いる。
• $\mathbf{R}h'_*Q'$ が $\mathrm{Coprod}_K(G'[¯{A},¯{B}])$ に属することを活用し、基底変換によりこれを $X$ に持ち上げる。
• 有界性とコンパクト性を用いて、$\mathbf{R}j_*G$ が $\mathrm{Coprod}_N(G[-\infty,\infty])$ に属することを示す。

実験結果

リサーチクエスチョン

• RQ1 準コンパクトかつ分離的スキーム $X$ に対して、完全複体の導来カテゴリ $\mathbf{D}^{\mathrm{perf}}(X)$ が強生成される条件は何か？
• RQ2 等長性を仮定しないで、次元 $\leq 2$ である良好なスキーム上の有限型ノエター的スキーム $X$ に対して、$\mathbf{D}^{b}_{\mathrm{coh}}(X)$ の強生成性は確立可能か？
• RQ3 分離的準コンパクト・クワシーセパラテなスキームの射 $f: X \to Y$ が有限なトール次元を持つための条件は何か？
• RQ4 コンパクト生成子 $\mathbf{D}_{\mathrm{qc}}(X)$ を用いて、導来カテゴリ全体を帰納的に生成することは可能か？
• RQ5 $\mathbf{R}f_*\mathcal{F}$ の有界下界トールアーモニウムと $f$ の有限トール次元との間の正確な関係は何か？

主な発見

• 準コンパクトかつ分離的であり、各 $R_i$ が有限なグローバル次元を持つ有限個のアフィン開被覆 $\mathrm{Spec}(R_i)$ を持つならば、$X$ 上の導来カテゴリ $\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$ は帰納法と押し出しのパrameterの積によって有界である。
• 証明により、$\mathbf{R}j_{1*}G_1$ および $\mathbf{R}j_{2*}G_2$ が $\mathrm{Coprod}_N(G[-\infty,\infty])$ に属することを示し、生成の帰納的制御が可能になる。
• 鍵となる技術的ステップは、$\mathbf{R}h'_*Q'$ が $\mathrm{Coprod}_K(G'[¯{A},¯{B}])$ に属することを示すことであり、これにより基底変換を介して $Y$ から $X$ への生成の持ち上げが可能になる。