[论文解读] A strictly-functorial and small dg-enhancement of the derived category of perfect complexes

Emanuel Rodríguez Cirone|arXiv (Cornell University)|Feb 23, 2015

Algebraic structures and combinatorial models参考文献 2被引用 3

一句话总结

本文為有限型 k-概形上的完美複化層的導出類別構造了一個嚴格函子性且小的 dg-增強。透過明確定義使用零擴張模的局部小 dg-類別預層，並利用直和解析複形，該構造確保 dg-類別的零階上同調恢復為完美複化層的導出類別，且拉回運算透過 dg-函子嚴格實現。

ABSTRACT

Let k be a commutative noetherian ring. We construct a strictly-functorial presheaf of small dg-categories over k on the category of k-schemes of finite type, which gives dg-enhancements of the derived categories of perfect complexes.

研究动机与目标

• 為 k-概形上有限型的完美複化層的導出類別提供一個詳細且明確的嚴格函子性 dg-增強構造。
• 確保所涉及的 dg-類別為小類別，不依賴格羅滕迪克宇宙，從而彌補文獻中的基礎性缺口。
• 透過在模的生成集合上進行標準構造，將導出拉回函子 Lf* 實現為嚴格函子性的 dg-函子。
• 確立所構造的 dg-類別的零階上同調自然同構於古典的導出類別 D_perf(𝔖)。

提出的方法

• 對每個開子集 V ⊆ 𝔖，定義 O_𝔖-模 O_𝔖,V := (i_V)! O_V 為 V 的結構層的零擴張。
• 透過設 f^⋆O_𝔖,V := O_𝔗,f⁻¹V，並利用自然同構 θ_f,V 定義態射映射，在全子類別 𝔉_𝔖 上構造嚴格函子性的拉回 f^⋆。
• 將 f^⋆ 延拓至整個複形 dg-類別，透過在 O_𝔖,V 的直和上逐度定義，並藉由涉及同調集與直和的可交換圖確保與同調集的相容性。
• 定義 dg-類別 Perf_𝔖 為有上有界的直和複形之全子類別，其上同調為凝聚的，且對映射錐封閉。
• 驗證構造尊重複合：g^⋆ ∘ f^⋆ = (fg)^⋆，從而確保預層 𝔖 ↦ Perf_𝔖 的嚴格函子性。
• 證明所誘導的 dg-函子 f^⋆ 保持acyclic複形，因此可下降至零階上同調類別 H⁰(Perf_𝔖) ≅ D_perf(𝔖) 上的 dg-函子。

实验结果

研究问题

• RQ1 能否為諾埃特環 k 上有限型的 k-概形，明確構造出 D_perf(𝔖) 的嚴格函子性且小的 dg-增強？
• RQ2 如何在不依賴格羅滕迪克宇宙的情況下，將導出拉回函子 Lf* 實現為嚴格函子性的 dg-函子？
• RQ3 何種標準且小的模生成集可允許對完美複化層進行構造性 dg-增強？
• RQ4 該構造是否確保 dg-類別的零階上同調自然同構於古典的完美複化層導出類別？
• RQ5 能否透過標準的模解析選擇，使拉回函子在結構上滿足嚴格結合律？

主要发现

• 該構造產生了一個嚴格函子性的預層，將 Sch_k^op 上的每個概形 𝔖 映射至小 dg-類別 Perf_𝔖，且 H⁰(Perf_𝔖) 自然同構於 D_perf(𝔖)。
• 拉回函子 f^⋆: Perf_𝔖 → Perf_𝔗 是嚴格函子性的，滿足 g^⋆ ∘ f^⋆ = (fg)^⋆，從而解決了導出拉回的協調性問題。
• dg-函子 f^⋆: Perf_𝔖 → Perf_𝔗 在零階上同調上誘導出古典的左導出逆像函子 Lf^*: D_perf(𝔖) → D_perf(𝔗)。
• 該構造透過僅使用明確定義的小模 O_𝔖,V 及其直和，避開了格羅滕迪克宇宙。
• 具有凝聚上同調且有上界的複形類別 𝔛_𝔖 對映射錐封閉，且包含所有完美複化層。
• 關鍵同構 θ_f,V: f^*O_𝔖,V → O_𝔗,f⁻¹V 確保 f^⋆ 在生成模上與 f^* 一致，且此一致性可嚴格推廣至整個 dg-類別。