導来圏

テンプレート:要改訳テンプレート:正確性 数学においてアーベル圏 $𝒜$ の導来圏（どうらいけん、テンプレート:Lang-en-short、テンプレート:Lang-fr-short）$D(𝒜)$ はホモロジー代数から構成されるもので、 $𝒜$ 上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。その構成は基本的には次の様に進む：まず圏 $D(𝒜)$ の対象は $𝒜$ の双対鎖複体であり、次に2つのその様な双対鎖複体の間にチェイン写像が存在してコホモロジーを取った段階で同型を誘導する場合に同型であると考えるのである。このとき、導来函手は双対鎖複体に対して定義され、テンプレート:仮リンクの考えを精密化したものとなる。これらの定義により、煩雑なスペクトル系列を用いて（完全に忠実ではなく）記述されるよりほか無かった式は劇的に簡素化される。

導来圏の発展は、アレクサンドル・グロタンディークと彼の学生のテンプレート:仮リンクにより1960年代初頭になされ、ホモロジー代数が長足の進歩を遂げた1950年代における爆発的な展開の一つの到達点であると現在ではみなされている。ヴェルディエによる理論の基本部分は博士論文に纏められたが、1996年になってようやくAstérisque（要約はずっと早くにテンプレート:仮リンクに収録されていた）に出版されたテンプレート:Sfn。その定式化には革新的な発想であるテンプレート:仮リンクの概念が必要であり、その構成は環の局所化を一般化したテンプレート:仮リンクに基づく。"導来"形式の展開への原動力となった欲求は、グロタンディークによるテンプレート:仮リンクの理論のなんらかの意味での定式化を行うことであった。導来圏は以後、代数幾何学以外の領域に於いてさえ、たとえば、D-加群や超局所解析でも不可欠な概念となっている。さらに、近年は、ミラー対称性やD-ブレーンの定式化という物理学に近い領域でも、導来圏が重要な役割を果たすようになっている。

動機

スキーム上の連接層の理論において、非特異スキームという仮定なしにセール双対の理論をどこまで展開できるかという考えを推し進めると、単なる双対化層の代わりに層の複体を考える必要が出てくる。実際、考えているスキームが（非特異という条件を弱めた）コーエン・マコーレーであるという条件は、双対化層が存在するという条件と同値である。しかしこの条件は全く一般的ではない。グロタンディークが取っていた高い位置から俯瞰的に考える立場からすると、この状況は理論を再定式化する必要性を表していた。これに付随して、「正しい」テンソル積やHom関手は導来圏のレベルで存在するだろうというアイデアが現れ、さらにTor関手とExt関手はそれらの導来圏レベルの関手をより具体的に計算するためのツールのようなものとなった。

抽象度が高いにもかかわらず、特に層コホモロジーの設定での利便性により、導来圏はその後の数十年で受け入れられるようになった。おそらく、1980年頃、導来圏のことばで 1 よりも大きな次元でのテンプレート:仮リンクを定式化したことが、最も大きな前進であっただろう。佐藤スクールは導来圏の言葉を使い、D-加群の理論をこの言葉で記述した。

平行して発展した理論は、ホモトピー論でのテンプレート:仮リンクの圏の理論である。スペクトルのホモトピー圏と環の導来圏は、双方ともテンプレート:仮リンクの例である。

定義

$𝒜$ をアーベル圏とするテンプレート:Efn。導来圏 $D(𝒜)$ はいくつかのステップを踏んで得られる。

• 基本となるのは、$𝒜$ における双対鎖複体

$\cdots \to X^{-1}\stackrel{d^{-1}}{\to }{X}^0\stackrel{d^0}{\to }{X}^1\stackrel{d^1}{\to }{X}^2\to \cdots$

の圏 $\mathrm{Kom}(𝒜)$ である。この圏の対象が導来圏の対象となるが、射は異なる。

• テンプレート:仮リンクな射を同一視することにより、双対鎖複体のテンプレート:仮リンク $K(𝒜)$ を得る。
• 擬同型の集合でのテンプレート:仮リンクにより、導来圏 $D(𝒜)$ を得る。導来圏の射は、経路図式 X ← X'→ Y として明示的に表現される。ここに X' → X は擬同型であり、X' → Y は双対鎖複体の任意の射である。

特に、ホモトピー同値が擬同型となっているので、第二のステップは避けることができる。しかし、射の単純な経路図式の定義は、より複雑な射の別の有限個の矢印により置き換える必要がある（テクニカルには、「分数の計算」を超えたものとなる（容易には計算できないことを意味する））。したがって、第一のステップの構成で十分ではあるのだが、一層、より複雑となってしまう。

モデル圏の観点からは、導来圏 $D(𝒜)$ は双対鎖複体の真のホモトピー圏であり、一方、$K(𝒜)$ はナイーブなホモトピー圏と呼ばれる。

三角圏から導来圏への注意

双対鎖複体 X が下に有界とは、n << 0 に対し Xⁿ = 0 であることで、上に有界とは、n >> 0 に対し Xⁿ = 0 であることで、単に有界とは、|n| >> 0 に対し Xⁿ = 0 のことである。 （以下に見るように）なんらかの目的のため、有界ではない双対鎖複体の代わりとして、下に有界、上に有界、あるいは有界な双対鎖複体を使う。対応する導来圏は、通常、それぞれに対し、$D^{+}(𝒜),D^{-}(𝒜),D^b(𝒜)$ と記す。

（クラスの考え方ではなく）ある対象から別の対象への射の集合が存在するという圏の古典的観点を適用するとき、導来圏に変更することを証明するには、議論を追加する必要がある。

アーベル圏 $𝒜$ が小さい場合、つまり、対象の集合しか持たない場合は、何も問題がない。$𝒜$ がテンプレート:仮リンクであったとしても、導来圏 $D(𝒜)$ はホモトピー圏 $K(𝒜)$ の充満部分圏に同値であるので、ある対象から他への射の集合を持つのみであるテンプレート:Sfn。グロタンディークアーベル圏は、環の上の加群の圏や位相空間上のアーベル群の層の圏や他の例を多く含んでいる。

しかしながら、導来圏での 2つの射の合成は、合成される 2つの射の頂点に、ある第三の射を見つけることで完成する。このことが確認できて始めて、well-definedで結合的な合成であることが完成する。

$K(𝒜)$ はテンプレート:仮リンクであるのでテンプレート:Sfn、$K(𝒜)$ の局所化 $D(𝒜)$ も三角圏である。整数 n と双対鎖複体 X に対し、X を n シフトした双対鎖複体 X[n] を

$X[n{]}^i=X^{n+i}$

と微分

$d_{X[n]}=(-1{)}^n{d}_X$

により定義するテンプレート:Sfn。

定義から、$D(𝒜)$ の完全三角形は、ある双対鎖複体の射 f: X → Y から導かれる三角形 X → Y → Cone(f) → X[1] と $D(𝒜)$ において同型な三角形である。ここに、Cone(f) は f のテンプレート:仮リンクである。特に、$𝒜$ 中の短完全系列 テンプレート:Math に対し、三角形 テンプレート:Math は、$D(𝒜)$ の完全三角形である。ヴェルディエは、シフト テンプレート:Math の定義を、射 テンプレート:Math の写像錐であることとして説明したテンプレート:Sfn。

$𝒜$ の対象を次数 0 に集中された双対鎖複体とみなすと、導来圏 $D(𝒜)$ は $𝒜$ を充満部分圏にもつ。さらに興味深いことに、導来圏の射は、Ext群の全情報を含んでいる。すべての対象 X, Y とすべての整数 j について、

${\mathrm{Hom}}_{D(𝒜)}(X,Y[j])={\mathrm{Ext}}_{𝒜}^j(X,Y)$

を得る。

射影分解と単射分解

ホモトピー同値は擬同型であることが容易に示せるので、上の構成の第二段階は省略できる場合がある。標準的函手

$K(𝒜)\to D(𝒜)$

の存在が明らかであるので、定義は通常この方法で与えられる。

具体的な状況において導来圏の射を直接に扱うことは非常に困難であるか不可能である。そこで導来圏に同値なより扱い易い圏を探すことになる。古典的には、射影分解と単射分解による2つの（双対な）アプローチがある。どちらの場合にも、上の標準函手を適当な部分圏へ制限することで圏同値となる。

以下では導来圏の文脈における単射分解の役割を述べる。これは右導来函手を定義する基礎となり、位相空間上の層コホモロジーやエタール・コホモロジーや群コホモロジーのような進んだコホモロジー論へ重要な応用を持つ。

このテクニックを応用するために、問題のアーベル圏が十分単射的対象を持つことを仮定する必要がある。十分単射的対象を持つとは、圏のすべての対象 X がある単射対象 テンプレート:Mvar への単射を持つという意味である。（写像も単射対象も一意である必要はない。）たとえば、テンプレート:仮リンクは十分単射的対象を持つ。テンプレート:Mvar を単射対象 テンプレート:Math へ埋め込み、この射の余核を単射対象 I¹ へ埋め込みと、繰り返すと X の単射分解、つまり（一般には無限の）完全系列

$0\to X\to I^0\to I^1\to \cdots$

が構成できる。ここに、テンプレート:Mvar は単射対象である。このアイデアは一般化され、十分小さな テンプレート:Mvar に対し テンプレート:Math となる下に有界な双対鎖複体 テンプレート:Mvar の分解を与える。上で注意したように、単射分解は一意的に定まらないが、任意の2つの分解が互いにホモトピー同値であり、ホモトピー圏では同型であるという事実がある。さらに、双対鎖複体の射は2つの与えられた単射分解の射へ一意的に拡張される。

これがホモトピー圏が再び重要な役割を果たす点である。$𝒜$ の対象 テンプレート:Mvar から $𝒜$ の（任意の）単射分解　テンプレート:Mvar への射は、函手

$D^{+}(𝒜)\to K^{+}(\mathrm{Inj}(𝒜))$

へ拡張される。

この函手が実際にはじめに述べた標準的局所化函手の制限の逆であることは、容易に分かる。言い換えると、導来圏における テンプレート:Math は、テンプレート:Mvar と テンプレート:Mvar の両方を単射分解した後ホモトピー圏で射を計算することにより計算することができ、このほうが理論的にはより容易となる。実際には テンプレート:Mvar の分解だけで十分であり、任意の双対鎖複体 テンプレート:Mvar と任意の下に有界な単射的双対鎖複体 テンプレート:Mvar に対し、

${\mathrm{Hom}}_{D(𝒜)}(X,Y)={\mathrm{Hom}}_{K(𝒜)}(X,Y)$

となる。

双対に、$𝒜$ が十分射影対象を持つこと、つまり、すべての対象 X に対し、射影対象 P から X への全射が存在することを仮定すれば、単射分解の代わりに射影分解を使うこともできる。

この分解のテクニックに加えて、特別な場合に適用し、上に有界や下に有界の制限問題をエレガントに避ける同様な方法がある。テンプレート:Harvtxt では、いわゆる K-単射分解や K-射影分解を使っている。テンプレート:Harvtxt と（少し用語は異なっているが）テンプレート:Harvtxt ではいわゆる胞体加群や準自由加群という用語が導入された。

さらに一般的には、定義を注意深い適用すると、テンプレート:仮リンクの導来圏を定義することもできるテンプレート:Sfn。

導来函手との関係

導来圏は導来函手の研究と定義の自然なフレームワークである。以下では、$F:𝒜\to ℬ$ をアーベル圏の函手とする。2つの双対な考えがある。

• 右導来函手は、左完全函手からきて、単射分解を通して計算される。
• 左導来函手は、右完全函手からきて、射影分解を通して計算される。

以下では右導来函手について述べるので、F を左完全とする。典型例は、ある固定した対象 A に対し、$X\mapsto \mathrm{Hom}(X,A)$ あるいは、$X\mapsto \mathrm{Hom}(A,X)$ により与えられる $F:𝒜\to 𝒜𝒷$ や層の上の大域切断函手や順像函手である。これらの右導来函手は、それぞれ、Ext函手（${\mathrm{Ext}}^n(,A)$ )、層コホモロジー（$H^n(X,F)$ ）、高次順像函手 (テンプレート:Math) である。

導来圏によって、すべての導来函手 RⁿF をひとつの函手へ要約することができる。いわゆる全導来函手 $RF:D^{+}(𝒜)\to D^{+}(ℬ)$ である。この函手は合成 $D^{+}(𝒜)\cong K^{+}(\mathrm{Inj}(𝒜))\to K^{+}(ℬ)\to D^{+}(ℬ)$ である。ここに第一の圏同値は上で述べたものである。古典的な導来函手は、$R^{n}F(X)=H^n(RF(X))$ を通して、全導来函手へ関連付いている。$R^{n}F$ は双対鎖複体を忘れコホモロジーのみを保持している一方、$RF$ は双対鎖複体を保持している、ということもできる。

導来圏はこれらの函手を研究するための、ある意味で、「適切な」圏である。たとえば、F が $𝒜$ の単射対象を G-非輪状（つまり、すべての i > 0 と単射写像 I に対し、$R^{i}G(F(I))=0$ となるような函手であり、2つの函手の合成

$𝒜\stackrel{F}{\to }ℬ\stackrel{G}{\to }𝒞$

のテンプレート:仮リンクは、全導来函手の恒等射を表わす

$R(G\circ F)\cong RG\circ RF$

である。ヴェルディエはアーベル圏に付帯する導来関手がどのようにすれば $𝒜$ の適切な導来圏への埋め込みに沿ったカン拡張としてみることができるかを示した [Mac Lane]。

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation, preprint
• テンプレート:Citation
• テンプレート:Citation

3つの教科書は導来圏について議論している。

• テンプレート:Citation
• テンプレート:Citation, 数学 sugaku.0602217
• テンプレート:Citation

外部リンク

• テンプレート:SpringerEOM