グロタンディーク群のソースを表示

{{要改訳}}
[[数学]]、特に[[抽象代数学]]において'''グロタンディーク群'''（{{lang-en-short|Grothendieck group}}）とは、[[可換]]な[[モノイド]]から最も普遍的な方法で構成される[[アーベル群]]である。これは[[整数#厳密な構成|自然数から整数を構成]]する標準的な方法の一般化に相当する。この群は、[[圏論]]でのより一般的な構成から命名されている。それは、[[アレクサンドル・グロタンディーク]]が1950年代中期に[[K-理論]]の発展をもたらした基本的な仕事の中で導入し、{{仮リンク|グロタンディーク・リーマン・ロッホの定理|en|Grothendieck–Riemann–Roch theorem}}の証明を導いた。この記事においてどちらの構成も扱う。

==可換モノイドのグロタンディーク群==
===動機付け===
可換モノイド ''M'' が与えられたとき、加法逆元を導入することによって ''M'' から生じる「最も一般的な」アーベル群 ''K'' を構成したい。そのようなアーベル群 ''K'' は常に存在し、''M'' のグロタンディーク群と呼ばれる。それは以下の[[普遍性]]によって特徴づけられ、 ''M'' から具体的に構成することもできる。

===普遍性===
''M'' を可換[[モノイド]]とする。その'''グロタンディーク群''' ''K'' = ''K''(''M'') は、以下の普遍性を持つ[[アーベル群]]である{{sfn|Lang|2002|pp={{google books quote|id=FJmiSW1KRBAC|page=39|39}}–40}}。モノイド準同型 <math>i \colon M \rightarrow K</math> が存在し、任意の可換モノイド ''M'' からアーベル群 ''A'' への任意のモノイド準同型 <math>f \colon M \rightarrow A</math> に対し、一意に群準同型 <math>g \colon K \rightarrow A</math> が存在して、
:<math>f = g \circ i</math>
となる。

これは、''M'' の準同型像を含む任意のアーベル群 ''A'' は ''K'' の準同型像もまた含み、''K'' は ''M'' の準同型像を含む「最も一般的な」アーベル群であるという事実を表現している。

===明示的な構成===
可換モノイド ''M'' のグロタンディーク群を構成するためには、まず、[[デカルト積]]
:''M'' &times; ''M''
を構成する。2つの座標は、正の値の部分と負の値の部分を表現している、つまり直観的には (''m'', ''n'') は、''m'' &minus; ''n'' と対応することを意味する。

''M'' &times; ''M'' の加法は座標ごとに定義される。
:(''m''<sub>1</sub>, ''m''<sub>2</sub>) + (''n''<sub>1</sub>, ''n''<sub>2</sub>) = (''m''<sub>1</sub> + ''n''<sub>1</sub>, ''m''<sub>2</sub> + ''n''<sub>2</sub>).
次に、''M'' &times; ''M'' 上の[[同値関係]]を定義する。ある ''M'' の元 ''k'' に対して ''m''<sub>1</sub> + ''n''<sub>2</sub> + ''k'' =  ''m''<sub>2</sub> + ''n''<sub>1</sub> + ''k'' であるとき、(''m''<sub>1</sub>, ''m''<sub>2</sub>) は (''n''<sub>1</sub>, ''n''<sub>2</sub>) と同値であるという（すべてのモノイドの中で[[簡約律]]が成り立つわけではないので、''k'' は必要である）。''K'' を同値類全体の集合と定義する。''M'' &times; ''M'' 上の加法演算は同値関係と整合性を持っているから、''K'' 上の加法が得られ、''K'' はアーベル群になる。''K'' の単位元は (''m'', ''m'') の形の任意の元の同値類であり、 (''m<sub>1</sub>'', ''m<sub>2</sub>'') の類の逆元は (''m<sub>2</sub>'', ''m<sub>1</sub>'') の類である。準同型 ''i'':''M'' &rarr; ''K'' は元 ''m'' を (''m'', 0) の類に送る。

グロタンディーク群 ''K'' は[[群の表示|生成元と関係式]]を用いて構成することもできる。''(Z(M),+')'' により集合 ''M'' により生成される[[自由アーベル群]]を書くことにすると、グロタンディーク群 ''K'' は <math>\{(x+'y)-'(x+y)\mid x,y\in M\}</math> によって生成される部分群による ''Z(M)'' の[[商群]]である。（ここで +' は自由アーベル群 ''Z(M)'' における加法を表し、 + はモノイド ''M'' における加法を表す。）この構成には次のような利点がある。任意の半群 ''M'' に対して実行することができ、半群に対する対応する普遍性を満たす群、つまり、「''M'' の準同型像を含む最も一般的で最も小さい群」、が生じる。これは「半群の group completion」あるいは「半群の分数群 (group of fractions of a semigroup)」として知られている。

===性質===
[[圏論]]のことばでは、任意の普遍的構成から関手が生じる。したがって可換モノイドの圏から[[アーベル群の圏]]への、可換モノイド ''M'' をそのグロタンディーク群 ''K'' に送る[[函手]]を得る。この[[函手]]は、アーベル群の圏から可換モノイドの圏への{{仮リンク|忘却函手|en|forgetful functor}}の[[随伴函手|左随伴]]である。

可換モノイド ''M'' に対し、写像 ''i'' : ''M'' → ''K'' が単射であることと ''M'' が消約律を満たすことは同値であり、全単射であることと ''M'' が既に群であることは同値である。

===例： 整数と、多様体や環のグロタンディーク群===
グロタンディーク群の最も単純な構成例は、[[自然数]]から[[整数]]の構成である。まず、自然数と通常の加法は、確かに可換モノイド ('''N''', +) を形成する。ここで、グロタンディーク群の構成を使うと、自然数の形式的な差として元 ''n - m'' を得、同値関係
:<math>n - m \sim n' - m' \iff n + m' = n'+ m</math>
を得る。ここで、すべての ''n'' ∈ '''N''' に対して、
:<math> n := [n-0] </math>,
:<math> -n := [0 - n] </math>
と定義する。これは、整数 '''Z''' を定義する。実際、この構成は自然数から整数を構成する通常の方法である。より詳細な説明は[[整数#厳密な構成|整数の構成]]を参照。

グロタンディーク群は [[K-理論]]の基本的な構成である。コンパクト[[多様体]] ''M'' の群 ''K<sub>0</sub>(M)'' は ''M'' 上の有限ランクの[[ベクトル束]]のすべての同型類からなる可換モノイドにモノイド演算を直和で与えたグロタンディーク群と定義される。これは多様体からアーベル群への[[反変関手]]を与える。関手は{{仮リンク|位相的K-理論|en|topological K-theory}}において研究され拡張されている。

（可換でなくてもよい）環 ''R'' の 0 次代数 K 群 ''K<sub>0</sub>(R)'' は ''R'' 上有限生成[[射影加群]]の同型類からなるモノイドでモノイド演算が直和によって与えられるもののグロタンディーク群である。このとき ''K<sub>0</sub>'' は環からアーベル群への共変関手である。

これら 2 つの例は関係している： ''R'' がコンパクト多様体 ''M'' 上の（複素数値としよう）[[滑らかな関数]]全体の環 ''C''<sup>∞</sup>(''X'') である場合を考えよう。この場合射影 ''R''-加群は（[[セール・スワンの定理]]によって）''M'' 上のベクトル束に[[双対 (圏論)|双対]]である。したがって ''K<sub>0</sub>(R)'' と ''K<sub>0</sub>(M)'' は同じ群である。

==グロタンディーク群と拡大==
グロタンディーク群と名のついた別の構成は、次のような構成である。''R'' をある体 ''k'' 上の有限次元代数、あるいはより一般的に[[アルティン環]]とする。グロタンディーク群 ''G''<sub>0</sub>(''R'') を有限生成 ''R''-加群の同型類の集合 <math>\{[X] \mid X \in R\mathrm{-Mod}\}</math> で生成されたアーベル群とし、次の関係が成り立つとする。R-加群のすべての[[短完全列]]
:<math>0\to A\to B\to C\to 0</math>
が関係式
:<math>[A] - [B] + [C] = 0</math>
を満たすとする。

これらの生成子と関係式により定義される可換群がグロタンディーク群 G<sub>0</sub>(R) である。

この群は普遍性を満たす。予備的な定義をする。同型類の集合からアーベル群 A への函数 χ が'''加法的'''とは、各々の完全系列 0 → A → B → C → 0 に対し、<math>\chi(A)-\chi(B)+\chi(C)= 0</math> であることをいう。すると、任意の加法的函数 χ: R-mod → X に対し、'''一意に'''群準同型 f: G<sub>0</sub>(R) → X が存在し、χ が f を通して分解し、各々の <math>\mathcal A</math> の対象を G<sub>0</sub>(R) の中の同型類を表現する元への写像となる。具体的には、このことは f はすべての有限生成 R-加群 V に対し、等式 f([V]) = χ(V) を満たし、f はそのように写像する唯一の群準同型である。

加法的函数の例は、[[表現論]]から来る[[指標 (数学)|指標]]函数である。R を有限次元 ''k''-代数とすると、指標 χ<sub>V</sub>: R → ''k'' を、すべての有限次元 R-加群 V と結びつけることができる。χ<sub>V</sub>(x) は、元 x ∈ R の乗法で与えられる V 上の k-線型写像の[[トレース (線型代数学)|トレース]]として定義される。

適当な基底を選び、対応する区分三角形式の行列として書くと、指標は上記の意味で加法的であることが容易に分かる。普遍性により、このことが「普遍指標」 <math>\chi: G_0(R)\to \mathrm{Hom}_K(R,K)</math> を与え、<math>\chi([V]) = \chi_V</math> となる。

''k'' = '''C''' とし、''R'' を[[有限群]] ''G'' の[[群環]] '''C'''[''G''] とすると、この指標は[[自然変換|自然な]] ''G<sub>0</sub>''('''C'''[''G'']) と指標環 Ch(''G'') の同型を与える。有限群の[[モジュラー表現論]]では、''k'' は ''p'' 個の元を持つ[[有限体]]の[[代数的閉包]] <math>\overline{\mathbf{F}}_p</math> でもよい。この場合、各々の ''k''[''G'']-加群を[[モジュラー表現論#ブラウアー指標|ブラウアー指標]]に対応させる定義された似たような写像も、ブラウアー指標環の上への自然な同型 <math>G_0(\overline{\mathbf{F}}_p[G])\to \mathrm{BCh}(G)</math> をもたらす。このようにグロタンディーク群は表現論において現れる。

この普遍性は、G<sub>0</sub>(R) を一般化された[[オイラー標数]]の「普遍的受け皿(universal receiver)」とする。特に、すべての R-加群の中の対象の有界[[鎖複体]]
:<math> \cdots \to 0 \to 0 \to A^n \to A^{n+1} \to \cdots \to A^{m-1} \to A^m \to 0 \to 0 \to \cdots </math>
に対して、標準的な元
:<math> [A^\ast] = \sum_i (-1)^i [A^i] = \sum_i (-1)^i [H^i (A^\ast)] \in G_0(R)</math>
を得る。事実、グロタンディーク群は、元来、オイラー標数の研究のために導入された。

==完全圏のグロタンディーク群==
これら 2つの概念の共通な一般化は、{{仮リンク|完全圏|en|exact category}} <math>\mathcal{A}</math> のグロタンディーク群により与えられる。単純化された完全圏は、別の短系列 A → B → C の類を持つ加法圏である。この別な系列は「完全系列」と呼ばれる。別のクラスの正確な公理はグロタンディーク群を構成する上で問題ではない。

完全圏のグロタンディーク群は、前と同様に圏 <math>\mathcal{A}</math> の対象（の同型類）の生成子 [M] を持ち、各々の完全系列
:<math>A\hookrightarrow B\twoheadrightarrow C</math>
に対する関係式
:<math>[A]-[B]+[C] = 0</math>
を持つアーベル群として定義される。

あるいは完全圏のグロタンディーク群を普遍性を使い定義することもできる。アーベル群 G を写像 <math>\phi: \mathrm{Ob}(\mathcal{A})\to G</math> がグロタンディーク群 <math>\mathcal{A}</math> であるとは、<math>\mathcal{A}</math> からアーベル群 X へのすべての｢加法的」写像 <math>\chi\colon \mathrm{Ob}(\mathcal{A})\to X</math> （上の意味で「加法的」とは、すべての完全系列 <math>A\hookrightarrow B\twoheadrightarrow C</math> に対し、<math>\chi(A)-\chi(B)+\chi(C)=0</math> となることである）は、一意に φ を通して分解することである。

「完全」の意味を標準的な解釈をすると、すべての[[アーベル圏]]は完全圏である。このことは、<math>\mathcal{A}:=R</math>-'''mod''' としたとき、<math>\mathcal{A}</math> とする有限生成 R-加群の前のセクションでのグロタンディーク群の考え方をもたらす。前のセクションでは、R はアルティン的であり（従って、ネター的（Noetherian)である）ことを前提とするので、すでに実際はアーベル的である。

他方、この系列だけで包含写像と射影射をもつ <math>A\hookrightarrow A\oplus B\twoheadrightarrow B</math> の形をした系列を完全ということにすると、すべての{{仮リンク|加法圏|en|additive category}}も完全である。この過程は、可換モノイド <math>(\mathrm{Iso}(\mathcal{A}),\oplus)</math> のグロタンディーク群を、最初の意味で生成する（ここに <math>\mathrm{Iso}(\mathcal{A})</math> は、<math>\mathcal{A}</math> の中では（基本的性格を除き）同値類の「集合」を意味する）。

== 三角圏のグロタンディーク群==
さらに一般化すると、{{仮リンク|三角圏|en|triangulated category}}のグロタンディーク群も定義することができる。この構成は本質的には同じであるが、完全三角形 ''X'' → ''Y'' → ''Z'' → ''X[1]'' に対して関係式 [''X''] - [''Y''] + [''Z''] = 0 を使う。

==さらなる例==
* [[可換体|体]] ''k'' 上の有限次元ベクトル空間の[[アーベル圏]]では、2つのベクトル空間が同値であることと、それらが同じ次元であることは同値であり、従って、ベクトル空間 V に対し同値類は <math>K_0(\mathrm{Vect}_{\mathrm{fin}})</math> の中で <math>[V] = [k^{\mbox{dim}(V)}]</math> である。さらに、完全系列
::<math> 0 \to k^l \to k^m \to k^n \to 0 </math>
:に対して、''m = l + n'' であるので、
::<math> [k^{l+n}] = [k^l] + [k^n] = (l+n)[k]</math>

:となる。従って、<math>[V] = \operatorname{dim}(V)[k]</math> に対し、グロタンディーク群 <math>K_0(\mathrm{Vect}_{\mathrm{fin}})</math> は '''Z''' と同型であり、''[k]'' により生成される。結局、有限次元ベクトル空間 ''V''* の[[鎖複体]]に対し、
::<math> [V^*] = \chi(V^*)[k] </math>
:であり、ここに <math> \chi </math> は、
::<math> \chi(V^*)= \sum_i (-1)^i \operatorname{dim} V = \sum_i (-1)^i \operatorname{dim} H^i(V^*)</math>
:により定義される標準的オイラー特性数である。
<!--
* [[環 (数学)|環]]に対して、<math>K_0</math> が定義されることがよくある。通常の構成は次にようにおなる。（必ずしも可換である必要はない）環 R に対し、圏 <math>\mathcal A</math> をすべての環上の有限生成[[射影加群]]の圏であるとすると、''K<sub>0</sub>(R)'' は <math>\mathcal{A}</math> のグロタンディーク群と定義される。これは R の函手を与える。-->
* [[環付き空間]] <math>(X,\mathcal{O}_X)</math> に対して、''X'' 上のすべての[[局所自由層]]からなる圏 <math>\mathcal{A}</math> を考えることができる。すると ''K<sub>0</sub>(X)'' はこの完全圏のグロタンディーク群として定義され、再びこれは関手を与える。
<!--
* 後者の例の環付きのバージョンは、次のようになる。<math>\mathcal{A}</math> を ''X'' 上のすべての[[局所自由層]]の圏とする。''K<sub>0</sub>(X)'' はこの圏のグロタンディーク群として再定義され、函手が定義される。
-->
* 環付き空間 <math>(X,\mathcal{O}_X)</math> に対し、圏 <math>\mathcal A</math> を ''X'' 上のすべての[[連接層]]の圏として再定義する。このことは、ネター環 ''R'' 上の有限生成加群の圏である <math>\mathcal{A}</math> の特別の場合（環付き空間が[[アフィンスキーム]]の場合）を含んでいる。どちらの場合も、<math>\mathcal{A}</math> はアーベル圏であり、前提的に、完全圏であるので、上の構成が適用される。
<!--
* ''R'' がある体上の有限次元代数である特別の場合は、このことは上に述べたグロタンディーク群 ''G<sub>0</sub>(R)'' へ還元される。加えて、環が ℤ-次数付きであれば、グロタンディーク群は自然に ℤ[q,q<sup>-1</sup>]-加群となる。ここに q は 1 による次数付きシフトに対応する。
-->
* ''R'' がある体上の有限次元代数である場合には、（有限生成加群の短完全列によって定義された）グロタンディーク群 ''G<sub>0</sub>(R)'' と（有限生成射影加群の直和によって定義された） ''K<sub>0</sub>(R)'' は一致する。実は、これらの群は[[単純加群|単純]] ''R''-加群の同型類によって生成された自由アーベル群に同型である。

* 環や環付き空間には他にもグロタンディーク群 ''G<sub>0</sub>'' が存在し、有益なこともある。圏が環付き空間のすべての[[連接層|準連接層]]の圏として選択された場合は、アフィンスキームでのある環 ''R'' 上の全ての加群の圏へ還元される。''G<sub>0</sub>'' は函手では'''ない'''が、しかし、重要な情報を持っている。

* （有界）[[導来圏]]は三角圏であるので、導来圏のグロタンディーク群が存在する。このことは、たとえば表現論に応用を持っている。非有界な圏に対しては、グロタンディーク群は消滅する。複素有限次元の正の次数付き代数の導来圏に対し、非有界な導来圏の中に、そのグロタンディーク群が q-進完備な A のグロタンディーク群を含む部分圏が存在する。
== 脚注 ==
{{reflist}}

==参考文献==
* {{cite book
|last1      = Lang
|first1     = Serge
|year       = 2002
|title      = Algebra
|edition    = 3rd
|url        = {{google books|FJmiSW1KRBAC|Algebra|plainurl=yes}}
|publisher  = Springer
|isbn       = 978-0387-95385-4
|ref        = harv
}}
* Michael F. Atiyah, ''K-Theory'', (Notes taken by D.W.Anderson, Fall 1964), published in 1967, W.A. Benjamin Inc., New York.
* Pramod Achar, Catharina Stroppel, ''Completions of Grothendieck groups'', Bulletin of the LMS, 2012.

== 外部リンク ==
* {{SpringerEOM|title=Grothendieck group|last=Danilov |first=V.I. |urlname=Grothendieck_group}}
* {{planetmath reference|id=4290|title=Grothendieck group}}

{{DEFAULTSORT:くろたんていいくくん}}
[[Category:代数的構造]]
[[Category:ホモロジー代数]]
[[Category:K-理論]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]