代数的K理論

数学では、代数的K-理論は、ある非負な整数 n に対して環からアーベル群への函手の系列

を定義して適用することに関係したホモロジー代数の重要な一部である。歴史的理由により、低次 K-群 K0 と K1 は、n ≥ 2 に対する高次 K-群 Kn とはいくらか異なった項と考えられている。実際、高次の群よりも低次の群は受け入れやすく、より多くの応用を持っている。高次の群の理論は、非常に深く、計算することが確かに困難である。

群 K0 は、射影加群を使い、環のイデアル類群の構成を一般化したことになる。1960年代、1970年代の発展は、現在はキレン・サスリンの定理となっている射影加群についてのジャン＝ピエール・セールの予想を解こうとした努力に関係していた。キレン・サスリンの定理は、この分野で発見された古典的代数の他の問題に多く関連している。同じように、K1 は、行列の基本変形を使った環の可逆元の群の変形である。群 K1 はトポロジー、特に、R が群環のときに重要である。なぜなら、その商であるホワイトヘッドの捩れが、単純ホモトピー論や手術理論の理論における問題を研究するためのホワイトヘッドの捩れを含んでいるからである。群 K0 もたとえば有限性不変量のような他の不変量を含んでいる。1980年代以降、代数的K-理論は、ますます代数幾何学へ多くの応用が増加している。たとえば、モチーヴィックコホモロジーは密接に代数的K-理論に関係している。

1. 歴史
-----

アレクサンドル・グロタンディークは、1950年代中期に K-理論をリーマン・ロッホの定理に非常に広い一般化を述べるためのフレームワークとして発見した。その後数年以内には、K-理論の位相的側面が、マイケル・アティヤとフリードリッヒ・ヒルツェブルフにより考え出され、現在は位相的K-理論として知られている。

K-群の応用は多様体の手術理論では、1960年代に K-群が発見され、特に、古典的な代数学の問題とこれ以外にも多くの関係がもたらされた。

少し遅れて、理論の作用素代数のための一分野は、豊かな発展をして、作用素K-理論やKK-理論をもたらした。K-理論は代数幾何学において代数的サイクルの理論で役割をはたすことも、明らかとなった。ここでは高次 K-群が高次の余次元の現象と関連してきていて、このことが研究を難しくしている。問題は、定義が不足していることである。ロバート・スタインバーグの古典代数群の普遍中心拡大についての仕事により、ジョン・ミルナーは環 A の群 K2 を、H2,Z) と同型となる A 上の無限要素行列の群 E の普遍中心拡大の中心として定義した。そこには自然な K1 × K1 から K2 への双線型ペアリングが存在する。体 k の特別な場合には、K1 は乗法群 GL に同型であり、松本秀也は、K2 はある簡単に記述される関係式の集合を modulo とした K1 × K1 により生成される群に同型である。

結局、基本的な難しさは、txt により解決された。彼はプラス構成とQ-構成を通して、任意の非負な n に対して Kn の定義方法をいくつか示した。

2. 低次 K-群
---------

低次 K-群は、最初に発見され、様々な発見的な記述を持ち、有益なことがわかった。この記事においては、A を環とする。

2.1. K0
-------

函手 K0 は環 A に対し、A 上の有限生成な射影加群の同型類の集合を直積によりモノイドとみなしたときのグロタンディーク群を K0 とすることで得られる 。任意の環準同型 A → B は、射影 A-加群 M を M ⊗A B へ写すことにより、写像 K0 → K0 を誘導するので、 K0 は共変関手となる。

環 A が可換であれば、K0 の部分群を集合

として定義することができる。ここに、

は、有限生成射影 A-加群 M を自由 -加群 のランクへ写す写像である。この部分群 は A の縮退した 0 番目の K-理論として知られている。

B を単位元のない環とすると、K0 の定義を次のように拡張することができる。環 A を、アーベル群 B⊕Z に積構造を ×= で入れたものとして定義する。 A の単位元は  である。このとき 短完全系列 0 → B → A → Z → 0 が得られるが、K0 を対応する写像 K0 → K0 = Zの核として定義する。

2.1.1. 相対的 K0
-------------

I を A のイデアルとし、次のように、「ダブル」をデカルト積 A × A の部分環と定義する。

相対的 K-群は、「ダブル」を用いて

で定義される。ここに写像は第一因子の射影により引き起こされた写像である。

相対的 K0 は I を恒等元を持たない環とみなしたときの K0 と同型である。A からの独立性はホモロジーの切除定理の類似である。

2.1.2. 環としての K0
---------------

A を可換環とすると、射影加群のテンソル積は再び射影的であり、従って、 K0 はテンソル積を積とすることにより単位元としてクラス [A] を持つ可換環となる。外積は同様に λ-環の構造を引き起こす。 A のピカール群は単数群 K0∗ の部分群として埋め込まれる。

2.2. K1
-------

この定義はハイマン・バスにより与えられた。K1 は無限一般線形群のアーベル化である。

ここに、

は左上へのブロック行列としての埋め込み GL → GL の帰納極限であり、[GL, GL] はそれの交換子部分群である。 [GL, GL] はホワイトヘッドの補題により、基本行列から生成される群 E   =   [GL, GL] と一致する。実際、群 GL/E はホワイトヘッドにより最初に定義され、研究され、環 A のホワイトヘッド群と呼ばれる。

2.2.1. 相対的 K1
-------------

相対的K-群は、K0 と同様に「ダブル」を用いて定義される。

次の自然な完全系列が存在する。

2.2.2. 可換環と可換体
--------------

可換環 A に対し、行列式 det: GL → A* は E 上で1となり、従って、写像 det: K1 → A* を誘導する。E ◅ SL より、特殊ホワイトヘッド群 SK1 := SL/E を定義することもできる。この写像は、写像 A* → GL → K1  を通して分解し、分裂短完全系列を導く。

この式は、通常の特殊線形群を定義する分裂完全系列

の商である。行列式は、単元群 A* = GL1 が一般線形群 GL に含まれることによって分裂し、従って、K1 は単元群と特殊ホワイトヘッド群の直和 K1 ≅ A* ⊕ SK1  として分裂する。

A がユークリッド整域であるとき、SK1 は 0 となり、行列式写像は K1 から A∗ への同型である。このことは一般的な PID A に対しては誤りであり、全ての PID へは一般化できないユークリッド整域の性質という、数学的にまれな例となっている。SK1 が 0 でない明示的な PID は、1980年にアイシェベックに、1981年にグレイソンにより与えられた。A がデデキント整域で、その商体が代数体となる場合は、Milnor が、SK1=0 となることを示した。

SK1 が 0 となることは、K1 が GL の中の GL1 の像により生成されたと解釈することができる。そうでない場合は、K1 が GL2 の像により生成されるかどうかが問題となる。デデキント整域の場合はこれは正しく、つまり、K1 が GL の中の GL1 と SL2 により生成される。SL2 により生成された SK1 の部分群はメニッケ記号により研究することができる。極大イデアルによる剰余環がすべて有限体となるようなデデキント整域に対し、SK1 は捩れ群である。

非可換環に対し、行列式は一般には定義することができないが、写像 GL → K1 は行列式の一般化である。

2.2.3. 中心単純代数
-------------

体 F 上の中心的単純代数 A の場合には、被約ノルムが行列式の一般化 K1 → F∗ を与え、SK1 はその核として定義することができる。ワンの定理は、A が素数の次数を持つと、SK1 が自明になるという定理であり、これは平方因子をもたない次数へ一般化することができる。Shianghao Wangも、SK1 が数体上の任意の中心的単純代数 A に対して自明であることを示したが、しかしプラトノフは SK1 が非自明となるような、次数が素数の二乗である代数の例を与えた。

2.3. K2
-------

ジョン・ミルナーは、K2 の正しい定義を発見した。ミルナーの定義は、A のスタインバーグ群  St の中心である。

これは写像

あるいは、行列の基本変形の群のシューアの乗数の核としても定義することができる。

体に対する K2 はスタインバーグの記号により決定される。このことが松本の定理を導く。

任意の有限体に対し、K2 が 0 であることを計算することができる。K2 の計算は複雑である。テイトは、

であることを証明し、平方剰余の相互法則のガウスによる第一証明に従うことを注意した。

非アルキメデス的局所体に対し、群 K2 は位数 m の有限巡回群の直和であり、いわば、可除群 K2m である。

K2 = Z/2,を得る。数体の整数環に対し、一般的に K2 は有限である。

さらに、n が 4 で割り切れれば、K2 = Z/2 であり、そうでない場合は 0 であることが分かる。

2.3.1. 松本の定理
------------

松本の定理は、体 k に対し第二 K-群は、

により与えられるという定理である。松本の元来の定理はより一般的で、任意のルート系に対し、非安定的な K-理論の表現が与えられるという内容である。この表現は、シンプレクティックなルート系に対しのみが、ここで与えた定式化とは異なっていて、ルート系の観点から、非安定的な K-理論はちょうど、GL に対する安定 K-群に一致する。非安定的 K-群は、与えられたルート系の普遍的なタイプのシュヴァレー群の普遍中心拡大の核をとることで定義される。この構成は、ルート系 An  のスタインバグ拡大の核であり、この極限は安定的な第二 K-群であることを意味している。

2.3.2. 長完全系列
------------

A を分数体 F を持つデデキント整域とすると、長完全系列

が存在する。ここに p は A のすべての素イデアルを渡る。

相対 K-群 K1 と K0 に対して、次の完全系列の拡大が存在する。

3. ミルナーの K-理論
-------------

体 k に対する K2 の上記の表現から、ミルナーは次の「高次」K-群の定義を導いた。

このように、

により生成された両側イデアルにより乗法群 k× のテンソル代数の商の次数付き部分として定義される。

n = 0, 1, 2 に対し、これらは以下に一致するが、n ≧ 3 に対しては、一般には異なっている。例えば、n ≧ 2 に対し Kb=n = 0 であるが、奇数の n に対し KnFq は 0 ではない。

テンソル代数上のテンソル積は、 を次数付き可換な次数付き環とするような積 を導く。

の中の元 の像は、記号として と書かれる。k の中で可逆な整数 m に対して、写像

が存在する。ここに はある k の分離的拡大の単元の m-乗根を表す。これは、

へ拡大され、ミルナーの定義関係式を満たす。従って、 は、ガロア記号写像と呼ばれる とみなすことができる。

体のエタールコホモロジーとミルナーの K-理論の間の関係は、ミルナー予想と呼ばれ、ウラジーミル・ヴォエヴォドスキーにより証明された。奇素数に対する類似な命題がブロッホ・加藤予想であり、ヴォエヴォドスキー、ロスト、他により証明された。

4. 高次 K-理論
----------

高次 K-群の受け入れられている定義は、Quillen により与えられ、その後数年の間に、いくつかの整合性をもたない定義が示唆された。プログラムの目的は、K や K の定義を分類空間の項で定義することを見つけ、その結果、R ⇒ K と  ⇒ K が空間のホモトピー圏への函手となり、相対 K-群の長完全系列がホモトピーの長完全系列として、ファイバー構造 K   →   K   →   K をもたらす。

キレンは、2つの構成を与え、ひとつは「プラス構成」でもうひとつは「Q-構成」であり、後者は結局、異なる方法で変形される。2つの構成は、同一の K-群を構成する。

4.1. プラス構成
----------

環の高次代数的 K-理論の定義の1つの可能性は、キレンにより与えられた。

ここに、πn はホモトピー群であり、GL は R 上の行列の大きさを無限とした一般線形群の帰納極限である。B はホモトピー論の分類空間の構成であり、+ はキレンのプラス構成である。

この定義は n   >   0 に対してのみ成立するので、高次代数的 K-理論を

を経て、定義することもある。BGL+ は弧状連結であり、K0 は離散的であるので、この定義は高次の場合との差異はなく、n   =   0 の場合にも成立する。

4.2. Q-構成
---------

Q-構成は、プラス構成と同じ結果をもたらすのであるが、より一般的な状況へ適用される。さらに、この定義は、Q-構成が定義により函手性を持っている定義であるという意味で、より直接的である。この事実は、プラス構成では自動的ではない。

P を完全函手であるとして、P に付随する新しい圏 QP が定義されると、その対象は P の対象であり、M から M への射は、図式

のクラスに同型である。ここに最初の矢印は許容的な全準同型であり、第2の矢印は許容的な単準同型である。

よって、完全圏 P の i-番目の K-群は、固定したゼロ対象 0 を持つ

で定義される。ここに、BQP は QP の分類空間であり、分類空間は QP のナーブの幾何学的実現である。

この定義は、K0 の上記の定義と同値である。P が有限生成射影 R-加群の圏であれば、この定義は上記 BGL+ と一致する。この定義はすべての n について Kn の定義である。 さらに一般的に、スキーム X に対し、X の高次 K-群は、X 上の局所自由な連接層の K-群であると定義される。

次のような変形も使われる。有限生成である射影加群は、有限生成加群である。この結果として現れる K-群は通常、Gn と書かれる。R がネーター正則環であれば、G-理論と K-理論は一致する。実際、正則環の大域次元は有限である。つまり、任意の有限生成加群は、有限の射影分解 P* → M を持ち、簡単な議論でも、標準写像 K0 → G0 は同型であり、 [M]=Σ ± [Pn] を持っている。この同型は高次 K-群へも拡張できる。

4.3. S-構成
---------

K-群の第3の構成は、フリードリッヒ・ワルドハウゼンによる S-構成である。この構成は、余ファイバー構成を持つ圏へ適用される。この圏は完全圏よりもより一般的な概念である。

5. 例
----

キレンの代数的 K-理論は代数幾何学、代数トポロジーの様々な側面への深い見方を持っている。一方、K-群はいくつかの興味深い特定の場合を除き、計算することが特に困難であることが示されている。

5.1. 有限体の代数的 K-群
----------------

最初で最も重要な環の高次代数的 K-群は、キレン自身により有限体の場合に対して計算された。

Fq を q 個の元を持つ有限体とすると、

K0 = Z,
i ≥1 に対して、K2i = 0,
i   ≥   1 に対して、K2i–1 = Z/Zが成り立つ。

5.2. 整数環の代数的 K-群
----------------

キレンは、A が代数体 F の代数的整数の環であれば、A の代数的 K-群は有限生成であることを証明した。アルマン・ボレルはこのことを使い、Ki と Ki modulo torsion を計算した。整数 Z に対し、ボレルは 

k を正としたときに i=4k+1 とならない正の整数 i に対し、Ki /tors.=0 であり
正の k に対し、K4k+1 /tors.= Zであることを証明した。

K2i+1 の捩れ部分群と有限群 K4k+2 の位数は、最近、決定することができたが、後者の群が巡回群であるかどうか、群 K4k が 0 となるかどうかが、円分整数の類群についてのヴァンディヴァー予想に依存している。さらに詳しくはキレン・リヒテンバウム予想を参照。

6. 応用と未解決問題
-----------

代数的 K-群はL-函数の特殊値や非可換岩澤理論の主予想や高次レギュレータ構成の定式化にも使われる。

パーシン予想は、有限体上の滑らかな多様体の高次代数的 K-群に関係していて、この場合には群は torsion に upto で 0 となることが予想されている。

他の基本的な予想は、ハイマン・バスによるバスの予想があり、すべての群 Gn は、A が有限生成な Z-代数のとき、有限生成であるという予想である。

7. 関連項目
-------

ブロッホの公式
代数的K-理論の基本定理
K-理論スペクトル
赤外予想

8. 脚注
-----

9. 参考文献
-------

last1=Milnor 
last1=Quillen 
last1=Quillen 
last1=Rosenberg . [1]
last=Silvester
last1=Weibel 

10. さらに先の書籍
-----------

11. 外部リンク
---------

[2]