[论文解读] Derived categories for the working mathematician

Richard Thomas|ArXiv.org|Jan 7, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用 23

一句话总结

本文將導出範疇引入代數幾何與拓撲學中的同調代數，作為自然的框架，並表明與其上同調相比，使用鏈複形能保留更豐富的不變量。它展示出導出函子如 Ext、Tor 和上同調複形能從導出範疇形式主義中清晰地自然出現，關鍵結果包括透過德 Rham 複形識別層上同調，以及從函子複合中推導出譜序列。

ABSTRACT

It is becoming increasingly difficult for geometers and even physicists to avoid papers containing phrases like `triangulated category', not to mention derived functors. I will give some motivation for such things from algebraic geometry, and show how the concepts are already familiar from topology. This gives a natural and simple way to look at cohomology and other scary concepts in homological algebra like Ext, Tor, hypercohomology and spectral sequences.

研究动机与目标

• 促使導出範疇作為代數幾何與拓撲學中上同調不變量的自然延伸。
• 表明與其上同調相比，使用鏈複形能保留重要的拓撲與幾何資訊，例如 Massey 乘積與同倫類型。
• 展示古典同調代數概念——Ext、Tor、上同調複形與譜序列——如何自然地出現在導出範疇框架中。
• 透過展示三角範疇與導出函子在拓撲學例子中已為人所熟知，彌合代數拓撲與代數幾何之間的差距。
• 為導出範疇提供概念性與直觀性的基礎，使其對從事研究的數學家與物理學家更具可及性。

提出的方法

• 在代數拓撲中使用鏈複形（如單純或奇异鏈），以比僅使用上同調更忠實地表示拓撲不變量。
• 引入擬同構作為等價關係，以識別在導出範疇中應視為同構的複形。
• 採用三角範疇與錐結構來形式化導出範疇的結構，特別強調八面體公理與正合三角形。
• 應用導出函子（以粗體 R 和 L 表示），如 RΓ、RHom 和 L⊗，以處理層理論與上同調計算。
• 透過導出函子的複合構造譜序列，以 Leray 譜序列與局部-整體譜序列為例。
• 使用解析（內射、平坦或細）來計算導出函子，如德 Rham 定理中光滑形式解析常值層的方式。

实验结果

研究问题

• RQ1 為何上同調群在代數拓撲中作為不變量不夠充分？鏈複形提供了何種更豐富的結構？
• RQ2 導出範疇如何用於統一與簡化 Ext、Tor 與上同調複形等古典同調代數概念？
• RQ3 三角範疇與導出函子在何種方式下自然地從拓撲與幾何例子中出現？
• RQ4 譜序列如何從層理論中導出函子的複合中產生？
• RQ5 擬同構在識別代表相同導出不變量的複形中扮演何種角色？

主要发现

• 層或複形的導出範疇與模擬擬同構的複形範疇等價，此等價保留了所有基本的同倫與上同調資料。
• 德 Rham 定理被恢復為常值層 ℝ 與光滑形式的德 Rham 複形之間的擬同構，顯示層上同調可計算實上同調。
• 格羅滕迪克譜序列源自導出函子的複合，例如 RΓ ∘ Rp_* 產生 Leray 譜序列。
• Ext 的局部-整體譜序列來自 Hom 與整體截面的複合，其 E2 頁為 H^i(ℰxt^j)，收斂至 Ext^{i+j}。
• 導出張量積 L⊗ 與導出 Hom Rℋom 滿足對稱與對偶性質，例如 Rℋom(A,B) ≅ B ⊗^L A∨。
• 導出範疇形式主義清楚地表明，上同調複形僅是導出整體截面函子下複形上同調的結果。