原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。正確な表現に改訳できる方を求めています。
この記事の正確性に疑問が呈されています。問題箇所に信頼できる情報源を示して、記事の改善にご協力ください。議論はノートを参照してください。(2015年4月)
数学においてアーベル圏 A {\displaystyle {\mathcal {A}}} の導来圏(どうらいけん、英: Derived category、仏: Categorie derivee) D ( A ) {\displaystyle D({\mathcal {A}})} はホモロジー代数から構成されるもので、 A {\displaystyle {\mathcal {A}}} 上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。その構成は基本的には次の様に進む:まず圏 D ( A ) {\displaystyle D({\mathcal {A}})} の対象は A {\displaystyle {\mathcal {A}}} の双対鎖複体であり、次に2つのその様な双対鎖複体の間にチェイン写像が存在してコホモロジーを取った段階で同型を誘導する場合に同型であると考えるのである。このとき、導来函手は双対鎖複体に対して定義され、超コホモロジー
(英語版)の考えを精密化したものとなる。これらの定義により、煩雑なスペクトル系列を用いて(完全に忠実ではなく)記述されるよりほか無かった式は劇的に簡素化される。導来圏の発展は、アレクサンドル・グロタンディークと彼の学生のジャン・ルイ・ヴェルディエ(英語版)により1960年代初頭になされ、ホモロジー代数が長足の進歩を遂げた1950年代における爆発的な展開の一つの到達点であると現在ではみなされている。ヴェルディエによる理論の基本部分は博士論文に纏められたが、1996年になってようやくAsterisque(要約はずっと早くにSGA 4?(英語版)に収録されていた)に出版された[1]。その定式化には革新的な発想である三角圏(英語版)の概念が必要であり、その構成は環の局所化を一般化した圏の局所化(英語版)に基づく。"導来"形式の展開への原動力となった欲求は、グロタンディークによる連接双対(英語版)の理論のなんらかの意味での定式化を行うことであった。導来圏は以後、代数幾何学以外の領域に於いてさえ、たとえば、D-加群や超局所解析でも不可欠な概念となっている。さらに、近年は、ミラー対称性やD-ブレーンの定式化という物理学に近い領域でも、導来圏が重要な役割を果たすようになっている。
動機[ソースを編集]
スキーム上の連接層の理論において、非特異スキームという仮定なしにセール双対の理論をどこまで展開できるかという考えを推し進めると、単なる双対化層の代わりに層の複体を考える必要が出てくる。実際、考えているスキームが(非特異という条件を弱めた)コーエン・マコーレーであるという条件は、双対化層が存在するという条件と同値である。しかしこの条件は全く一般的ではない。グロタンディークが取っていた高い位置から俯瞰的に考える立場からすると、この状況は理論を再定式化する必要性を表していた。これに付随して、「正しい」テンソル積やHom関手は導来圏のレベルで存在するだろうというアイデアが現れ、さらにTor関手とExt関手はそれらの導来圏レベルの関手をより具体的に計算するためのツールのようなものとなった。
抽象度が高いにもかかわらず、特に層コホモロジーの設定での利便性により、導来圏はその後の数十年で受け入れられるようになった。おそらく、1980年頃、導来圏のことばで 1 よりも大きな次元でのリーマン・ヒルベルト対応(英語版)を定式化したことが、最も大きな前進であっただろう。佐藤スクールは導来圏の言葉を使い、D-加群の理論をこの言葉で記述した。
平行して発展した理論は、ホモトピー論でのスペクトル(英語版)の圏の理論である。スペクトルのホモトピー圏と環の導来圏は、双方とも三角圏(英語版)の例である。
定義[ソースを編集]
A {\displaystyle {\mathcal {A}}} をアーベル圏とする[注釈 1]。導来圏 D ( A ) {\displaystyle D({\mathcal {A}})} はいくつかのステップを踏んで得られる。
基本となるのは、 A {\displaystyle {\mathcal {A}}} における双対鎖複体
⋯ → X − 1 → d − 1 X 0 → d 0 X 1 → d 1 X 2 → ⋯ {\displaystyle \dotsb \rightarrow X^{-1}{\xrightarrow {d^{-1}}}X^{0}{\xrightarrow {d^{0}}}X^{1}{\xrightarrow {d^{1}}}X^{2}\rightarrow \dotsb }