代数的K理論
数学では、代数的K-理論(algebraic K-theory)は、ある非負な整数 n に対して環からアーベル群への函手の系列
を定義して適用することに関係したホモロジー代数の重要な一部である。歴史的理由により、低次 K-群 K と K は、n ≥ 2 に対する高次 K-群 K とはいくらか異なった項と考えられている。実際、高次の群よりも低次の群は受け入れやすく、より多くの応用を持っている。高次の群の理論は、（ R が整数の環であるときでさえ）非常に深く、計算することが確かに困難である。
群 K(R) は、射影加群を使い、環のイデアル類群の構成を一般化したことになる。1960年代、1970年代の発展は、現在は(Quillen–Suslin theorem)となっている射影加群についてのジャン＝ピエール・セール(Jean-Pierre Serre)の予想を解こうとした努力に関係していた。キレン・サスリンの定理は、この分野で発見された古典的代数の他の問題に多く関連している。同じように、K(R) は、行列の基本変形を使った環の可逆元の群の変形である。群 K(R) はトポロジー、特に、R が群環のときに重要である。なぜなら、その商である(Whitehead group)が、(simple homotopy theory)や(surgery theory)の理論における問題を研究するためのホワイトヘッドの捩れを含んでいるからである。群 K(R) もたとえば有限性不変量のような他の不変量を含んでいる。1980年代以降、代数的K-理論は、ますます代数幾何学へ多くの応用が増加している。たとえば、(motivic cohomology)は密接に代数的K-理論に関係している。
アレクサンドル・グロタンディーク(Alexander Grothendieck)は、1950年代中期に K-理論をリーマン・ロッホの定理に非常に広い一般化を述べるためのフレームワークとして発見した。その後数年以内には、K-理論の位相的側面が、マイケル・アティヤ(Michael Atiyah)とフリードリッヒ・ヒルツェブルフ(Friedrich Hirzebruch)により考え出され、現在は(topological K-theory)として知られている。
K-群の応用は多様体の(surgery theory)では、1960年代に K-群が発見され、特に、古典的な代数学の問題とこれ以外にも多くの関係がもたらされた。
少し遅れて、理論の作用素代数のための一分野は、豊かな発展をして、(operator K-theory)や(KK-theory)をもたらした。K-理論は代数幾何学において代数的サイクルの理論で役割をはたすことも、明らかとなった（(Gersten's conjecture)）。ここでは高次 K-群が高次の余次元の現象と関連してきていて、このことが研究を難しくしている。問題は、定義が不足していること（もしくは、多過ぎて、明らかな整合性を持たないこと）である。(Robert Steinberg)の古典代数群の普遍中心拡大についての仕事により、ジョン・ミルナー(John Milnor)は環 A の群 K(A) を、H(E(A),Z) と同型となる A 上の無限要素行列の群 E(A) の普遍中心拡大の中心として定義した（以下の定義）。そこには自然な K(A) × K(A) から K(A) への双線型ペアリングが存在する。体 k の特別な場合には、K(k) は乗法群 GL(1,k) に同型であり、(Hideya Matsumoto)は、K(k) はある簡単に記述される関係式の集合を modulo とした K(A) × K(A) により生成される群に同型である。
結局、基本的な難しさは、（深い困難な理論を離れ） により解決された。彼は(plus-construction)と(Q-construction)を通して、任意の非負な n に対して K(A) の定義方法をいくつか示した。
低次 K-群は、最初に発見され、様々な発見的な記述を持ち、有益なことがわかった。この記事においては、A を環とする。
函手 K は環 A を、直積の下のモノイドと見て、有限生成な射影加群の同型類の集合をグロタンディーク群へ写像する。任意の環準同型 A → B は、K を共変函手とすることで、写像 K(A) → K(B) を射影 A-加群 M を M ⊗ B へ写す。
環 A が可換であれば、K(A) の部分群を集合
として定義することができる。ここに、
は、有限生成射影 A-加群 M のすべて（のクラス）を自由ランク formula_4-加群 formula_5 へ写す写像である（局所環上の有限生成射影加群は自由加群であるので、この加群は実際、自由加群である）。この部分群 formula_6 は A の縮退した 0 番目の K-理論として知られている。
B を単位元のない環とすると、K の定義を次のように拡張することができる。A = B⊕Z を、単位元 (0,1) を結合することにより単元を持つ環への B の拡張とすると、短完全系列 B → A → Z を得て、K(B) を対応する写像 K(A) → K(Z) = Zの核として定義する。
I を A のイデアルとし、次のように、「ダブル」をデカルト積 A × A の部分環と定義する。
相対的 K-群(relative K-group)は、「ダブル」の項として、
で定義される。ここに写像は第一因子の射影により引き起こされた写像である。
相対的 K(A,I) は I を恒等元を持たない環とみなしたときの K("I") と同型である。A からの独立性はホモロジーの(Excision theorem)の類似である。
A を可換環とすると、射影加群のテンソル積は再び射影的であり、従って、テンソル積は K を単位元としてクラス [A] を持つ可換環へ写す積を引き起こす。外積は同様に (λ-ring)の構造を引き起こす。ピカール群は単元 K("A") の群の部分群として埋め込む。
相対的K-群(relative K-group)は、「ダブル」の項で定義される。
次の自然な完全系列が存在する。
(Hyman Bass)は、この定義を環の単元の群へ一般化した。K(A) は(infinite general linear group)のアーベル化である。
は GL(n) の帰納極限であり、GL(n + 1) の中へ左上のブロック行列として埋め込まれ、交換子部分群は(Whitehead's lemma)により、基本行列 E(A) = [GL(A), GL(A)] より生成された群に一致する。実際、群 GL(A)/E(A) はホワイトヘッドにより最初に定義され、研究され、環 A のホワイトヘッド群(Whitehead group)と呼ばれる。
可換環 A に対し、行列式 det: GL(A) → A から A の単元の群への写像を定義することができ、この写像は E(A) 上で 0 となり、従って、写像 det: K(A) → A* へ落とすことができる。E(A) ◅ SL(A) として、特殊ホワイトヘッド群(special Whitehead group) SK(A) := SL(A)/E(A) を定義することもできる。この写像は、写像 A* → GL(1, A) → K(A) (左上の角での単元) を通して分解し、よって、上への写像で、分裂短完全系列(split short exact sequence)を導く核として特殊ホワイトヘッド群を持っている。
この式は、通常の特殊線形群を定義する分裂完全系列の商である。つまり、
行列式は、単位元 A* = GL(A) の群が一般線形群 GL(A) に含まれることによって分裂し、従って、K(A) は単位元と特殊ホワイトヘッド群の群の直和 K(A) ≅ A* ⊕ SK (A) として分裂する。
A がユークリッド整域である（つまり、体、あるいは整数）とき、SK(A) は 0 となり、行列式写像は K(A) から A。このことは一般的に PID に対しては誤りであるので、全ての PID へ一般化できないユークリッド整域の数学的にまれな例を提供する。SK が 0 でない明白な PID は、1980年にアイシェベック(Ischebeck)に、1981年にグレイソン(Grayson)により与えられた。A がデデキント整域で、その商体が代数体（有理数の有限拡大）であると、 では、SK(A) が 0 となることが示された。
SK が 0 となることは、K が GL の中の GL の像により生成されたと解釈することができる。これが失敗するとき、K は GL の像により生成されたのかどうかが問題となる。デデキント整域に対し、これが失敗する場合である。つまり、K が GL の中で GL と SL により生成される場合である。SL により生成された SK の部分群は(Mennicke symbol)により研究することができる。有限極大イデアルによるすべての商を持つデデキント整域に対し、SK は捩れ群(torsion group)である。
非可換環に対し、行列式は一般には定義することができないが、写像 GL(A) → K(A) は行列式の一般化である。
体 F 上の中心的単純代数 A の場合には、還元されたノルムが K(A) → F を与える行列式の一般化をもたらし、SK(A) は核として定義することができる。ワンの定理(Wang's theorem)は、A が素数の次数を持つと、SK(A) が自明になるという定理であり、これは平方数をもたない次数へ一般化することができる。も、SK(A) が数体上の任意の中心的単純代数に対して自明であることを示したが、しかしプラトノフ(Platonov)は SK(A) が非自明な素数の二乗が次数である代数の例を与えた。
ジョン・ミルナー(John Milnor)は、K の正しい定義を発見した。ミルナーの定義は、A の(Steinberg group) St(A) の中心である。
これは写像
あるいは、行列の基本変形の群の(Schur multiplier)の核としても定義することができる。
体に対する K は(Steinberg symbol)により決定される。このことが松本の定理を導く。
任意の有限体に対し、K が 0 であることを計算することができる。K(Q) の計算は複雑である。テイト(Tate)は、
であることを証明し、平方剰余の相互法則のガウス(Gauss)による第一証明に従うことを注意した。
非アルキメデス的局所体に対し、群 K(F) は位数 m の有限巡回群の直和であり、いわば、可除群(divisible group) K(F) である。
K(Z) = Z/2, を得る。数体の整数環に対し、一般的に K は有限である。
さらに、n が 4 で割り切れれば、K(Z/"n") = Z/2 であり、そうでない場合は 0 であることが分かる。
松本の定理(Matsumoto's theorem)は、体 k に対し第二 K-群は、
により与えられるという定理である。松本の元来の定理はより一般的で、任意のルート系(root system)に対し、非安定的な K-理論の表現が与えられるという内容である。この表現は、シンプレクティックなルート系に対しのみが、ここで与えた定式化とは異なっていて、ルート系の観点から、非安定的な K-理論はちょうど、GL(A) に対する安定 K-群に一致する。（この脈絡での）非安定的 K-群は、与えられたルート系の普遍的なタイプの(Chevalley group)の普遍中心拡大の核をとることで定義される。この構成は、ルート系 A (n > 1) のスタインバグ拡大の核であり、この極限は安定的な第二 K-群であることを意味している。
A を分数体 F を持つデデキント整域とすると、長完全系列
が存在する。ここに p は A のすべての素イデアルを渡る。
相対 K-群 K と K に対して、次の完全系列の拡大が存在する。
体 k に対する K の上記の表現から、ミルナー(Milnor)は次の「高次」K-群の定義を導いた。
このように、
により生成された両側イデアルにより乗法群 k のテンソル代数の商の次数付き部分として定義される。
n = 0, 1, 2 に対し、これらは以下に一致するが、n ≧ 3 に対しては、一般には異なっている。例えば、n ≧ 2 に対し K(F) = 0 であるが、奇数の n に対し KF は 0 ではない（以下を参照）。
テンソル代数上のテンソル積は、formula_22 を(graded-commutative)な次数付き環とするような積 formula_23 を導く。
formula_24 の中の元 formula_25 の像は、記号として formula_26 と書かれる。k の中で可逆な整数 m に対して、写像
が存在する。ここに formula_28 はある k の分離的拡大の単元の m-乗根を表す。これは、
へ拡大され、ミルナーの定義関係式を満たす。従って、formula_30 は、ガロア記号写像(Galois symbol map)と呼ばれる formula_24 とみなすことができる。
体のエタールコホモロジー（あるいはガロアコホモロジー）とミルナーの K-理論（modulo 2）の間の関係は、ミルナー予想と呼ばれ、ウラジーミル・ヴォエヴォドスキー(Vladimir Voevodsky)により証明された。奇素数に対する類似な命題がブロッホ・加藤予想であり、ヴォエヴォドスキー、ロスト(Rost)、他により証明された。
高次 K-群の受け入れられている定義は、 により与えられ、その後数年の間に、いくつかの整合性をもたない定義が示唆された。プログラムの目的は、K(R) や K(R,I) の定義を分類空間の項で定義することを見つけ、その結果、R ⇒ K(R) と (R,I) ⇒ K(R,I) が空間の(homotopy category)への函手となり、相対 K-群の長完全系列が(long exact homotopy sequence)として、(fibration) K(R,I) → K(R) → K(R/I) をもたらす。
キレン(Quillen)は、2つの構成を与え、ひとつは「プラス構成(plus-construction)」でもうひとつは「Q-構成(Q-construction)」であり、後者は結局、異なる方法で変形される。2つの構成は、同一の K-群を構成する。
環の高次代数的 K-理論の定義の一つの可能性は、キレン(Quillen)により与えられた。
ここに、π はホモトピー群であり、GL(R) は R 上の行列の大きさを無限とした一般線形群の帰納極限である。B はホモトピー論の分類空間の構成であり、 はキレンの(plus construction)である。
この定義は n > 0 に対してのみ成立するので、高次代数的 K-理論を
を経て、定義することもある。BGL(R) は弧状連結であり、K(R) は離散的であるので、この定義は高次の場合との差異はなく、n = 0 の場合にも成立する。
Q-構成は、プラス構成と同じ結果をもたらすのであるが、より一般的な状況へ適用される。さらに、この定義は、Q-構成が定義により函手性を持っている定義であるという意味で、より直接的である。この事実は、プラス構成では自動的ではない。
P を完全函手であるとして、P に付随する新しい圏 QP が定義されると、その対象は P の対象であり、M から M への射は、図式
のクラスに同型である。ここに最初の矢印は許容的な全準同型(epimorphism)であり、第二の矢印は許容的な(monomoorphism)である。
よって、完全圏 P の i-番目の K-群は、固定したゼロ対象 0 を持つ
で定義される。ここに、BQP は QP の分類空間であり、分類空間は QP の(nerve)の(geometric realisation)である。
この定義は、K(P) の上記の定義と同値である。P が有限生成射影 R-加群の圏であれば、この定義は上記 BGL と一致する。この定義はすべての n について K(R) の定義である。
さらに一般的に、スキーム X に対し、X の高次 K-群は、X 上の局所自由な連接層の K-群であると定義される。
次のような変形も使われる。有限生成である射影（=  局所自由な）加群は、有限生成加群である。この結果として現れる K-群は通常、G(R) と書かれる。R がネーター正則環であれば、G-理論と K-理論は一致する。実際、正則環の大域次元は有限である。つまり、任意の有限生成加群は、有限の射影分解 P → M を持ち、簡単な議論でも、標準写像 K(R) → G(R) は同型であり、 [M]=Σ ± [P] を持っている。この同型は高次 K-群へも拡張できる。
K-群の第三の構成は、フリードリッヒ・ワルドハウゼン(Friedhelm Waldhausen)による S-構成である。この構成は、余ファイバー構成を持つ圏へ適用される（(Waldhausen category)とも呼ばれる）。この圏は完全圏よりもより一般的な概念である。
キレン(Quillen)の代数的 K-理論は代数幾何学、代数トポロジーの様々な側面への深い見方を持っている。一方、K-群はいくつかの興味深い特定の場合を除き、計算することが特に困難であることが示されている。
最初で最も重要な環の高次代数的 K-群は、キレン自身により有限体の場合に対して計算された。
F を q 個の元を持つ有限体とすると、が成り立つ。
キレンは、A が代数体 F （有理数の有限拡大）の代数的整数の環であれば、A の代数的 K-群は有限生成であることを証明した。アルマン・ボレル(Armand Borel)はこのことを使い、K(A) と K(F) modulo torsion を計算した。整数 Z に対し、ボレルは (modulo torsion として)であることを証明した。
K(Z) の捩れ部分群と有限群 K(Z) の位数は、最近、決定することができたが、後者の群が巡回群であるかどうか、群 K(Z) が 0 となるかどうかが、円分整数の類群についての(Vandiver's conjecture)に依存している。さらに詳しくは(Quillen–Lichtenbaum conjecture)を参照。
代数的 K-群はL-函数の特殊値や非可換岩澤理論の主予想や高次レギュレータ構成の定式化にも使われる。
(Parshin's conjecture)は、有限体上の滑らかな多様体の高次代数的 K-群に関係していて、この場合には群は torsion に upto で 0 となることが予想されている。
他の基本的な予想は、(Hyman Bass)による(Bass' conjecture)があり、すべての群 G(A) は、A が有限生成な Z-代数のとき、有限生成であるという予想である（群 G(A) は有限生成 A-加群の圏の K-群である）。