導来圏

出典: フリー百科事典『ウィキペディア(Wikipedia)』

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学においてアーベル圏 導来圏(どうらいけん、: Derived category: Catégorie dérivée) ホモロジー代数から構成されるもので、 上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。その構成は基本的には次の様に進む:まず 対象 の双対鎖複体であり、次に2つのその様な双対鎖複体の間にチェイン写像が存在してコホモロジーを取った段階で同型を誘導する場合に同型であると考えるのである。このとき、導来函手は双対鎖複体に対して定義され、超コホモロジー英語版の考えを精密化したものとなる。これらの定義により、煩雑なスペクトル系列英語版を用いて(完全に忠実ではなく)記述されるよりほか無かった式は劇的に簡素化される。

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

動機[編集]

非特異スキームであるという前提のない連接層の理論で、セール双対の結果を通して出現する極限をとると、単純に双対化する層の部分に沿っての双対鎖複体をとる必要が出てくる。事実、非特異性を弱めることとなるコーエン・マコーレー環の条件は、単純に双対化された層が存在することに対応する。しかし、これは、一般的議論であるとはとてもいえない。いつもそうであるが、高い位置からトップダウンでグロタンディークが想定していることを、再定式化することが非常に重要となる。(たとえば、)このことは、実テンソル積Hom函手が導来圏のレベルで存在するはずであるというアイデアもそうであり、Tor函手Ext函手もこれを通してより計算し易い道具立てとなった。

抽象度が高いにもかかわらず、特に層コホモロジーの設定での利便性により、導来圏は続く10年で受け入れられるようになった。おそらく、1980年頃、導来圏のことばで 1 よりも大きな次元でのリーマン・ヒルベルト対応英語版の定式化が、最も大きな前進であっただろう。佐藤スクールでは、導来圏の言葉を使い、D-加群をこの言葉で表現した。

平行して発展した理論は、ホモトピー論でのスペクトル英語版の圏の理論である。スペクトルのホモトピーの圏と環の導来圏は、双方とも三角圏英語版の例である。

定義[編集]

アーベル圏とする[注釈 1]。導来圏 はいくつかのステップを踏んで得られる。

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

の圏 である。この圏の対象が導来圏の対象となるが、射は異なる。

  • 鎖ホモトピック英語版な射を同一視することにより、双対鎖複体のホモトピー圏英語版 を得る。
  • 擬同型の集合での局所化英語版により、導来圏 を得る。導来圏の射は、経路図式 X ← X'→ Y として明示的に表現される。ここに X' → X は擬同型であり、X' → Y は双対鎖複体の任意の射である。

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

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

三角圏から導来圏への注意[編集]

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

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

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

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

三角圏英語版であるので[3] の局所化 も三角圏である。整数 n と双対鎖複体 X に対し、X を n シフトした双対鎖複体 X[n] を

と微分

により定義する[4]

定義から、 の完全三角形は、ある双対鎖複体の射 f: XY から導かれる三角形 XY → Cone(f) → X[1] と において同型な三角形である。ここに、Cone(f) は f写像錐英語版である。特に、 中の短完全系列 0 → XYZ → 0 に対し、三角形 XYZX[1] は、 の完全三角形である。ヴェルディエは、シフト X[1] の定義を、射 X → 0 の写像錐であることとして説明した[5]

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

を得る。

射影分解と単射分解[編集]

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

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

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

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

このテクニックを応用するために、問題のアーベル圏が十分単射的対象を持つことを仮定する必要がある。十分単射的対象を持つとは、圏のすべての対象 X がある単射対象 I への単射を持つという意味である。(写像も単射対象も一意である必要はない。)たとえば、グロタンディークアーベル圏英語版は十分単射的対象を持つ。X を単射対象 I0 へ埋め込み、この射の余核を単射対象 I1 へ埋め込みと、繰り返すと X の単射分解、つまり(一般には無限の)完全系列

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

これがホモトピー圏が再び重要な役割を果たす点である。 の対象 X から の(任意の)単射分解 I* への射は、函手

へ拡張される。

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

となる。

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

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

さらに一般的には、定義を注意深い適用すると、完全圏英語版の導来圏を定義することもできる[6]

導来函手との関係[編集]

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

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

以下では右導来函手について述べるので、F を左完全とする。典型例は、ある固定した対象 A に対し、 あるいは、 により与えられる の上の大域切断函手順像函手である。これらの右導来函手は、それぞれ、Ext函手 )、層コホモロジー )、高次順像函手 (Rnf*(F)) である。

導来圏によって、すべての導来函手 RnF をひとつの函手へ要約することができる。いわゆる全導来函手 である。この函手は合成 である。ここに第一の圏同値は上で述べたものである。古典的な導来函手は、 を通して、全導来函手へ関連付いている。 は双対鎖複体を忘れコホモロジーのみを保持している一方、 は双対鎖複体を保持している、ということもできる。

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

グロタンディークスペクトル系列英語版は、全導来函手の恒等射を表わす

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

脚注[編集]

注釈[編集]

  1. ^ 基本的な例は、環上の加群の圏や、位相空間上のアーベル群のの圏である

出典[編集]

  1. ^ Verdier 1996.
  2. ^ Kashiwara & Schapira 2006, p. 355, Theorem 14.3.1(iii).
  3. ^ Kashiwara & Schapira 2006, p. 280, Theorem 11.3.8.
  4. ^ Gelfand & Manin 2003, p. 154, III.3.2.
  5. ^ Verdier 1996, Appendice to Ch. 1.
  6. ^ Keller 1996.

参考文献[編集]

  • Keller, Bernhard (1994), “Deriving DG categories”, Annales Scientifiques de l'École Normale Supérieure. Quatrième Série 27 (1): 63–102, ISSN 0012-9593, MR1258406, Zbl 0799.18007, http://www.numdam.org/numdam-bin/fitem?id=ASENS_1994_4_27_1_63_0 
  • Keller, Bernhard (1996), “Derived categories and their uses”, in Hazewinkel, M., Handbook of algebra, 1, Amsterdam: North Holland, pp. 671–701, ISBN 0-444-82212-7, MR1421815, Zbl 0862.18001, http://www.math.jussieu.fr/~keller/publ/dcu.ps 
  • May, J. P. (2006), Derived categories from a topological point of view, http://www.math.uchicago.edu/~may/MISC/DerivedCats.pdf , preprint
  • Spaltenstein, N. (1988), “Resolutions of unbounded complexes”, Compositio Mathematica 65 (2): 121–154, ISSN 0010-437X, MR932640, Zbl 0636.18006, http://www.numdam.org/numdam-bin/fitem?id=CM_1988__65_2_121_0 
  • Verdier, Jean-Louis (1996), “Des Catégories Dérivées des Catégories Abéliennes” (French), Astérisque (Paris: Société Mathématique de France) 239, ISSN 0303-1179, MR1453167, Zbl 0882.18010 

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