射影極限

数学における逆極限（ぎゃくきょくげん、）あるいは射影極限（しゃえいきょくげん、）は、正確な言い方ではないが、いくつかの関連する対象を「貼合せる」ような構成法であり、貼合せの具体的な方法は対象の間の射によって決められている。逆極限は任意の圏において考えることができる。
厳密な定義.
代数系の射影極限.
まず群と準同型からなる逆系 あるいは射影系 と呼ばれるものの定義から始める。("I", ≤) を有向半順序集合とする（"I" が有向集合であることを課さない文献もある）。群の族 ("A""i")"i"∈"I" と準同型の族 "f""ij": "A""j" → "A""i" ("i" ≤ "j") で以下の性質、
を満たすものが与えられたとき、対 (("A""i")"i"∈"I", ("f""ij")"i"≤ "j"∈"I") を群と準同型の成す "I" 上の逆系と呼び、各射 "f""ij" はこの系の遷移射 と呼ぶ。
逆系 (("A""i")"i"∈"I", ("f""ij")"i"≤ "j"∈"I") の逆極限（射影極限）は "A""i" たちの直積の特定の部分群
として定義される。この射影極限 "A" は（"I" の各 "i" に対して直積の "i"-成分を取り出すという）自然な射影 π"i": "A" → "A""i" を備えている。射影極限と自然な射影は、次節に述べる普遍性を満足する。
これと同じ構成法は、"A""i" たちが集合や環あるいは（適当に固定した環上の）加群、多元環などの場合にも、それぞれの意味での準同型を射として行うことができて、得られる逆極限はそれぞれの圏に属する対象となる。
一般の定義.
逆極限は、任意の圏において普遍性を用いて抽象的に定義することができる。
("X""i", "f""ij") を圏 "C" の対象と射からなる逆系（逆系の意味は前節と同じ）とすると、この逆系の逆極限（射影極限）とは、"C" の適当な対象 "X" と射影と総称される射の族 π"i": "X" → "X""i" で π"i" = "f""ij" ∘ π"j" を任意の "i" ≤ "j" に対して満たすものとの対 ("X", π"i") であって、次のような意味で普遍性を満足するものをいう。すなわち、同様の対 ("Y", ψ"i") があれば、射 "u": "Y" → "X" が一意的に存在して図式
は全ての "i" ≤ "j" に対して可換になる。逆系 ("X""i", "f""ij") が既知であるとき、その逆極限 "X" をしばしば
で表す。
前節の場合と異なり、任意の圏においては逆極限が存在しないことが起こりうるが、しかし存在する場合は強い意味で一意である。すなわち、逆極限 "X" とは別の逆極限 "X"′ が任意に与えられたとき、全ての射影に対して可換となる射 "X"′ → "X" が一意的に存在する。
圏 "C" における逆系は、函手の言葉で記述することもできる。任意の半順序集合 "I" は「"i" → "j" ⇔ "i" ≤ "j"」によって射の集合を定めた小さい圏と見なすことができるから、逆系とは反変函手 "I" → "C" に他ならない。そして、逆極限函手
は共変函手となる。
射影極限の導来函手.
アーベル圏 "C" に対して、逆極限函手
は左完全である。"I" が可算順序集合（単に半順序が入っているというのではない）で、"C" がアーベル群の圏 Ab のとき、ミッタークレフラー条件とは formula_6 の完全性を保証するような遷移射 "f""ij" に関する条件である。
以下具体的に述べる。アイレンベルグは函手
で、三つのアーベル群の逆系("A""i", "f""ij"), ("B""i", "g""ij"), ("C""i", "h""ij") が短完全列
を成すならば、
が Ab における完全列となるというものを構成した。 
次のような状況は、ミッターク＝レフラー条件を満たす例となっている。 
また、lim1 が 0 とならない（したがってミッターク＝レフラー条件を満足しない）例として、"I" は非負整数の全体、"A""i" = "p""i"Z, "B""i" = Z, "C""i" = "B""i"/"A""i" = Z/"p""i"Z とすれば、
が得られる。ここで Z"p" は"p"-進整数環を表す。
更なる結果.
もっと一般に、"C" が十分多くの入射対象を持つアーベル圏ならば、"C""I" もそうで、従って射影極限函手の右導来函手が定まる。 "n"-次の右導来函手を
で表す。"C" がグロタンディークの公理 (AB4*) を満足する場合には、ジャン＝エリック・ルースが Ab"I" 上の函手 lim1を
なる函手の系列 limn へ一般化した。ルースは凡そ40年を掛け、「lim の導来函手における応用」において、"I" が非負整数で遷移射が全射となるような逆系（ミッターク＝レフラー列） ("A""i", "f""ij") に対して、lim1 "A""i" = 0 となることを示した。しかし、2002年にアムノン・ニーマンとピエール・ドリーニュは (AB4*) に加えて (AB4) を満足する圏における同様の逆系でlim1 "A""i" ≠ 0 なる例を構成する。その後ルースは、「逆極限の導来函手再考」において、彼の結果は（(AB3) と (AB4*) に加えて）"C" が生成系を持つならば正しくなるということを示した。
バリー･ミッチェルは、"The cohomological dimension of a directed set"（「有向集合のコホモロジー次元」）において、"I" が 濃度 ℵ"d"（"d" 番目のアレフ数）を持つならば、"R""n"lim は "n" ≥ "d" + 2 なる全ての "n" について 0 になることを示した。これは可換環 "R" 上の "R"-加群の圏 "R"-Mod において "I" で添字付けられた図式に適用することができる。ここで "R"-加群の圏でなく任意のアーベル圏とすると必ずしも成立しない（可算集合で添字付けられる図式上で lim"n" が 0 とならないようなアーベル圏の例については を参照）。
関連概念と一般化.
射影極限（逆極限）の圏論的双対は帰納極限（順極限、直極限）であり、圏論においてはより一般の極限と余極限として捉えることができる。用語法が少し紛らわしいが、逆極限は（圏論的）極限であって、余極限ではないことに注意。