|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 代 ： [よ, しろ] 【名詞】 1. world 2. society 3. age 4. generation ・ 代数 ： [だいすう] (n) algebra ・ 数 ： [すう, かず] 1. (n,n-suf) number 2. figure ・ 的 ： [まと, てき] 【名詞】 1. mark 2. target ・ 理 ： [り] 【名詞】 1. reason ・ 理論 ： [りろん] 【名詞】 1. theory ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
数学では、代数的K-理論(algebraic K-theory)は、ある非負な整数 n に対して環からアーベル群への函手の系列 : を定義して適用することに関係したホモロジー代数の重要な一部である。歴史的理由により、低次 K-群 K0 と K1 は、n ≥ 2 に対する高次 K-群 Kn とはいくらか異なった項と考えられている。実際、高次の群よりも低次の群は受け入れやすく、より多くの応用を持っている。高次の群の理論は、（ R が整数の環であるときでさえ）非常に深く、計算することが確かに困難である。 群 K0(R) は、射影加群を使い、環のイデアル類群の構成を一般化したことになる。1960年代、1970年代の発展は、現在は(Quillen–Suslin theorem)となっている射影加群についてのジャン＝ピエール・セール(Jean-Pierre Serre)の予想を解こうとした努力に関係していた。キレン・サスリンの定理は、この分野で発見された古典的代数の他の問題に多く関連している。同じように、K1(R) は、行列の基本変形を使った環の可逆元の群の変形である。群 K1(R) はトポロジー、特に、R が群環のときに重要である。なぜなら、その商である(Whitehead group)が、(simple homotopy theory)や(surgery theory)の理論における問題を研究するためのホワイトヘッドの捩れを含んでいるからである。群 K0(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 の群 K2(A) を、H2(E(A),Z) と同型となる A 上の無限要素行列の群 E(A) の普遍中心拡大の中心として定義した（以下の定義）。そこには自然な K1(A) × K1(A) から K2(A) への双線型ペアリングが存在する。体 k の特別な場合には、K1(k) は乗法群 GL(1,k) に同型であり、(Hideya Matsumoto)は、K2(k) はある簡単に記述される関係式の集合を modulo とした K1(A) × K1(A) により生成される群に同型である。 結局、基本的な難しさは、（深い困難な理論を離れ） により解決された。彼は(plus-construction)と(Q-construction)を通して、任意の非負な n に対して Kn(A) の定義方法をいくつか示した。
|