[論文レビュー] Derived categories for the working mathematician

Richard Thomas|ArXiv.org|Jan 7, 2000

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

ひとこと要約

この論文は、代数幾何学およびトポロジーにおけるホモロジー代数の自然な枠組みとして、導来圏を導入し、そのコホモロジーではなくチェーン複体で作業することで、より豊かな不変量が保存されることを示している。導来圏の形式的枠組みから、Ext、Tor、ハイパーコホモロジーといった導来函手が明確に生じることを示しており、主な結果として、層コホモロジーがDe 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.

研究の動機と目的

• 代数幾何学およびトポロジーにおけるコホモロジー的不変量の自然な拡張として導来圏を動機づける。
• コホモロジーではなくチェーン複体で作業することで、マッセイ積やホモトピー型といった、本質的な位相的および幾何学的情報が保存されることを示す。
• 古典的なホモロジー代数の概念—Ext、Tor、ハイパーコホモロジー、スペクトル系列—が導来圏の枠組みの中で自然に生じることを示す。
• 三角圏および導来函手が、すでにトポロジー的例として馴染み深いことから、代数的トポロジーと代数的幾何学の溝を埋める。
• 導来圏の概念的かつ直感的な基盤を提供し、実務を行う数学者や理論物理学者にとってアクセス可能なものとする。

提案手法

• 単体的または特異的チェーン複体を用いて、コホモロジーだけでは不十分な位相的不変量をより忠実に表現する。
• 導来圏において同型とみなすべき複体を特定する等価関係として、準同型写像（quasi-isomorphism）を導入する。
• 三角圏およびコーンを用いて導来圏の構造を形式化し、特に八面体公理と完全三角形に焦点を当てる。
• RΓ、RHom、L⊗などの太字で表される導来函手（RとLを太字で表記）を層論およびコホモロジー計算に応用する。
• Lerayおよび局所的からグローバルへのスペクトル系列の例として、導来函手の合成からスペクトル系列を構成する。
• De Rham定理のように、注入的、平坦的、または細かい分解を用いて導来函手を計算する。

実験結果

リサーチクエスチョン

• RQ1 なぜコホモロジー群だけでは代数的トポロジーにおける不変量として不十分であり、チェーン複体が提供するより豊かな構造とは何か？
• RQ2 導来圏は、Ext、Tor、ハイパーコホモロジーといった古典的なホモロジー代数の概念をどのように統合的かつ簡略化的に扱えるか？
• RQ3 三角圏および導来函手は、どのような形でトポロジー的および幾何学的例から自然に生じるか？
• RQ4 層論における導来函手の合成から、スペクトル系列はどのように生じるか？
• RQ5 準同型写像は、同じ導来不変量を表す複体を特定するために果たす役割は何か？

主な発見

• 層または複体の導来圏は、準同型写像に関して同型とみなされる複体の圏に同値であり、すべての本質的なホモトピー的およびコホモロジー的データが保存される。
• De Rham定理は、定数層Rと滑らかな微分形式のDe Rham複体の間の準同型写像として回復され、層コホモロジーが実コホモロジーを計算することを示している。
• Grothendieckのスペクトル系列は、導来函手の合成から生じ、例えばRΓ ∘ Rp_* からLerayスペクトル系列が得られる。
• Extの局所的からグローバルへのスペクトル系列は、Homとグローバル切断の合成から導かれる。E2項はH^i(ℰxt^j)であり、Ext^{i+j}に収束する。
• 導来テンソル積L⊗と導来Hom Rℋomは、Rℋom(A,B) ≅ B ⊗^L A∨といった対称性および双対性の性質を満たす。
• 導来圏の形式的枠組みにより、ハイパーコホモロジーが導来グローバル切断函手の下での複体のコホモロジーそのものであることが明確になる。