ミルナーのK-理論とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > ミルナーのK-理論の意味・解説 

ミルナーのK理論

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/01/06 05:48 UTC 版)

ナビゲーションに移動 検索に移動

ミルナーのK-理論(Milnor K-theory)は、高次代数的K-理論を定義する初期の試みであり、 Milnor (1970) により導入された。

定義

体 F の K2 の計算により、ミルナーは「高次」K-群の次の定義を発見した。

このように、a ≠ 0, 1 により生成された両側イデアル(two-sided ideal)による乗法群 F×テンソル代数の商の次数付き部分である。n = 0, 1, 2 に対しては、これらは体のキレン(Quillen)の K-群に一致するが、n ≧ 3 に対しては一般には同値にならない。記号 の像として定義すると、n = 2 は、シュタインバーグの記号英語版(Steinberg symbol)である[1]

テンソル代数のテンソル積は、次数付き可換英語版(graded-commutative)である次数付き環とする積 を導く[2]

例えば、n ≧ 2; に対し、である。 は一意な非可算剰余群であり、 は一意的な非可算剰余群と位数 2 の巡回群の直和である。 の乗法群と非可算な剰余群の直和である。すべての奇素数 に対し、位数 の巡回群と位数 2 の巡回群の直和である。

応用

ミルナーのK-理論は、高次類体論で基本的な役割を果たし、1-次元類体論では、 を変更する。

ミルナーのK-理論 modulo 2 は、k*(F) と書かれ、ミルナー予想により、体 F のエタールコホモロジーガロアコホモロジーへ関連付けられる。この事実はウラジーミル・ヴォエヴォドスキーにより証明された。 ミルナー予想の一般化であるブロック・加藤の予想(ノルム剰余同型定理)は、ヴォエヴォドスキーにより証明された。この証明にはマーカス・ロスト英語版らの結果が重要な役割を果たしている[3]

次のように記号を使うと、kn(F) から F のヴィット環英語版(Witt ring)への準同型が存在する。

ここに像は、次元 2nフィスター形式英語版(Pfister form)である[1]。像は In/In+1 としてとることが可能で、写像はフィスター形式が加法的に In を生成するので全射である[4]。ミルナー予想は、これらの写像は同型であるということと解釈することができる。

参考文献

  1. ^ a b Lam (2005) p.366
  2. ^ Gille & Szamuely (2006) p.184
  3. ^ Voevodsky 2011.
  4. ^ Lam (2005) p.316

進んだ文献


ミルナーの K-理論

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/02/14 09:27 UTC 版)

代数的K理論」の記事における「ミルナーの K-理論」の解説

詳細は「ミルナーのK-理論」を参照 体 k に対する K2 の上記の表現から、ミルナー(Milnor)は次の高次」K-群の定義を導いた。 K ∗ M ( k ) := T ∗ ( k × ) / ( a ⊗ ( 1 − a ) )   . {\displaystyle K_{*}^{M}(k):=T^{*}(k^{\times })/(a\otimes (1-a))\ .} このように、 { a ⊗ ( 1 − a ) :   a ≠ 0 , 1 } {\displaystyle \left\{a\otimes (1-a):\ a\neq 0,1\right\}} により生成され両側イデアルにより乗法群 k× のテンソル代数の商の次数付き部分として定義される。 n = 0, 1, 2対し、これらは以下に一致するが、n ≧ 3 に対しては、一般に異なっている。例えば、n ≧ 2 に対し KMn(Fq) = 0 であるが、奇数の n に対し KnFq は 0 ではない(以下を参照)。 テンソル代数上のテンソル積は、 K ∗ M ( F ) {\displaystyle K_{*}^{M}(F)} を次数付き可換英語版)(graded-commutative)な次数付き環とするような積 K m × K nK m + n {\displaystyle K_{m}\times K_{n}\rightarrow K_{m+n}} を導く。 K n M ( k ) {\displaystyle K_{n}^{M}(k)} の中の元 a 1 ⊗ ⋯ ⊗ a n {\displaystyle a_{1}\otimes \cdots \otimes a_{n}} の像は、記号として { a 1 , … , a n } {\displaystyle \{a_{1},\ldots ,a_{n}\}} と書かれる。k の中で可逆整数 m に対して写像 ∂ : k ∗ → H 1 ( k , μ m ) {\displaystyle \partial :k^{*}\rightarrow H^{1}(k,\mu _{m})} が存在する。ここに μ m {\displaystyle \mu _{m}} はある k の分離的拡大単元の m-乗根を表す。これは、 ∂ n : k ∗ × ⋯ × k ∗ → H n ( k , μ m ⊗ n )   {\displaystyle \partial ^{n}:k^{*}\times \cdots \times k^{*}\rightarrow H^{n}\left({k,\mu _{m}^{\otimes n}}\right)\ } へ拡大されミルナーの定義関係式満たす。従って、 ∂ n {\displaystyle \partial ^{n}} は、ガロア記号写像(Galois symbol map)と呼ばれる K n M ( k ) {\displaystyle K_{n}^{M}(k)} とみなすことができる。 体のエタールコホモロジー(あるいはガロアコホモロジー)とミルナーの K-理論(modulo 2)の間の関係は、ミルナー予想呼ばれウラジーミル・ヴォエヴォドスキー(Vladimir Voevodsky)により証明された。奇素数対す類似命題ブロッホ・加藤予想であり、ヴォエヴォドスキー、ロスト(Rost)、他により証明された。

※この「ミルナーの K-理論」の解説は、「代数的K理論」の解説の一部です。
「ミルナーの K-理論」を含む「代数的K理論」の記事については、「代数的K理論」の概要を参照ください。

ウィキペディア小見出し辞書の「ミルナーのK-理論」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ミルナーのK-理論」の関連用語

ミルナーのK-理論のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ミルナーのK-理論のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのミルナーのK理論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの代数的K理論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS