グロタンディーク群

数学、特に抽象代数学においてグロタンディーク群（）とは、可換なモノイドから最も普遍的な方法で構成されるアーベル群である。これは自然数から整数を構成する標準的な方法の一般化に相当する。この群は、圏論でのより一般的な構成から命名されている。それは、アレクサンドル・グロタンディークが1950年代中期にK-理論の発展をもたらした基本的な仕事の中で導入し、の証明を導いた。この記事においてどちらの構成も扱う。
可換モノイドのグロタンディーク群.
動機付け.
可換モノイド "M" が与えられたとき、加法逆元を導入することによって "M" から生じる「最も一般的な」アーベル群 "K" を構成したい。そのようなアーベル群 "K" は常に存在し、"M" のグロタンディーク群と呼ばれる。それは以下の普遍性によって特徴づけられ、 "M" から具体的に構成することもできる。
普遍性.
"M" を可換モノイドとする。そのグロタンディーク群 "K" = "K"("M") は、以下の普遍性を持つアーベル群である。モノイド準同型 formula_1 が存在し、任意の可換モノイド "M" からアーベル群 "A" への任意のモノイド準同型 formula_2 に対し、一意に群準同型 formula_3 が存在して、
となる。
これは、"M" の準同型像を含む任意のアーベル群 "A" は "K" の準同型像もまた含み、"K" は "M" の準同型像を含む「最も一般的な」アーベル群であるという事実を表現している。
明示的な構成.
可換モノイド "M" のグロタンディーク群を構成するためには、まず、デカルト積
を構成する。2つの座標は、正の値の部分と負の値の部分を表現している、つまり直観的には ("m", "n") は、"m" − "n" と対応することを意味する。
"M" × "M" の加法は座標ごとに定義される。
次に、"M" × "M" 上の同値関係を定義する。ある "M" の元 "k" に対して "m"1 + "n"2 + "k" = "m"2 + "n"1 + "k" であるとき、("m"1, "m"2) は ("n"1, "n"2) と同値であるという（すべてのモノイドの中で簡約律が成り立つわけではないので、"k" は必要である）。"K" を同値類全体の集合と定義する。"M" × "M" 上の加法演算は同値関係と整合性を持っているから、"K" 上の加法が得られ、"K" はアーベル群になる。"K" の単位元は ("m", "m") の形の任意の元の同値類であり、 ("m1", "m2") の類の逆元は ("m2", "m1") の類である。準同型 "i":"M" → "K" は元 "m" を ("m", 0) の類に送る。
グロタンディーク群 "K" は生成元と関係式を用いて構成することもできる。"(Z(M),+')" により集合 "M" により生成される自由アーベル群を書くことにすると、グロタンディーク群 "K" は formula_5 によって生成される部分群による "Z(M)" の商群である。（ここで +' は自由アーベル群 "Z(M)" における加法を表し、 + はモノイド "M" における加法を表す。）この構成には次のような利点がある。任意の半群 "M" に対して実行することができ、半群に対する対応する普遍性を満たす群、つまり、「"M" の準同型像を含む最も一般的で最も小さい群」、が生じる。これは「半群の group completion」あるいは「半群の分数群 (group of fractions of a semigroup)」として知られている。
性質.
圏論のことばでは、任意の普遍的構成から関手が生じる。したがって可換モノイドの圏からアーベル群の圏への、可換モノイド "M" をそのグロタンディーク群 "K" に送る函手を得る。この函手は、アーベル群の圏から可換モノイドの圏へのの左随伴である。
可換モノイド "M" に対し、写像 "i" : "M" → "K" が単射であることと "M" が消約律を満たすことは同値であり、全単射であることと "M" が既に群であることは同値である。
例： 整数と、多様体や環のグロタンディーク群.
グロタンディーク群の最も単純な構成例は、自然数から整数の構成である。まず、自然数と通常の加法は、確かに可換モノイド (N, +) を形成する。ここで、グロタンディーク群の構成を使うと、自然数の形式的な差として元 "n - m" を得、同値関係
を得る。ここで、すべての "n" ∈ N に対して、
と定義する。これは、整数 Z を定義する。実際、この構成は自然数から整数を構成する通常の方法である。より詳細な説明は整数の構成を参照。
グロタンディーク群は K-理論の基本的な構成である。コンパクト多様体 "M" の群 "K0(M)" は "M" 上の有限ランクのベクトル束のすべての同型類からなる可換モノイドにモノイド演算を直和で与えたグロタンディーク群と定義される。これは多様体からアーベル群への反変関手を与える。関手はにおいて研究され拡張されている。
（可換でなくてもよい）環 "R" の 0 次代数 K 群 "K0(R)" は "R" 上有限生成射影加群の同型類からなるモノイドでモノイド演算が直和によって与えられるもののグロタンディーク群である。このとき "K0" は環からアーベル群への共変関手である。
これら 2 つの例は関係している： "R" がコンパクト多様体 "M" 上の（複素数値としよう）滑らかな関数全体の環 "C"∞("X") である場合を考えよう。この場合射影 "R"-加群は（セール・スワンの定理によって）"M" 上のベクトル束に双対である。したがって "K0(R)" と "K0(M)" は同じ群である。
グロタンディーク群と拡大.
グロタンディーク群と名のついた別の構成は、次のような構成である。"R" をある体 "k" 上の有限次元代数、あるいはより一般的にアルティン環とする。グロタンディーク群 "G"0("R") を有限生成 "R"-加群の同型類の集合 formula_9 で生成されたアーベル群とし、次の関係が成り立つとする。R-加群のすべての短完全列
が関係式
を満たすとする。
これらの生成子と関係式により定義される可換群がグロタンディーク群 G0(R) である。
この群は普遍性を満たす。予備的な定義をする。同型類の集合からアーベル群 A への函数 χ が加法的とは、各々の完全系列 0 → A → B → C → 0 に対し、formula_12 であることをいう。すると、任意の加法的函数 χ: R-mod → X に対し、一意に群準同型 f: G0(R) → X が存在し、χ が f を通して分解し、各々の formula_13 の対象を G0(R) の中の同型類を表現する元への写像となる。具体的には、このことは f はすべての有限生成 R-加群 V に対し、等式 f([V]) = χ(V) を満たし、f はそのように写像する唯一の群準同型である。
加法的函数の例は、表現論から来る指標函数である。R を有限次元 "k"-代数とすると、指標 χV: R → "k" を、すべての有限次元 R-加群 V と結びつけることができる。χV(x) は、元 x ∈ R の乗法で与えられる V 上の k-線型写像のトレースとして定義される。
適当な基底を選び、対応する区分三角形式の行列として書くと、指標は上記の意味で加法的であることが容易に分かる。普遍性により、このことが「普遍指標」 formula_14 を与え、formula_15 となる。
"k" = C とし、"R" を有限群 "G" の群環 C["G"] とすると、この指標は自然な "G0"(C["G"]) と指標環 Ch("G") の同型を与える。有限群のモジュラー表現論では、"k" は "p" 個の元を持つ有限体の代数的閉包 formula_16 でもよい。この場合、各々の "k"["G"]-加群をブラウアー指標に対応させる定義された似たような写像も、ブラウアー指標環の上への自然な同型 formula_17 をもたらす。このようにグロタンディーク群は表現論において現れる。
この普遍性は、G0(R) を一般化されたオイラー標数の「普遍的受け皿(universal receiver)」とする。特に、すべての R-加群の中の対象の有界鎖複体
に対して、標準的な元
を得る。事実、グロタンディーク群は、元来、オイラー標数の研究のために導入された。
完全圏のグロタンディーク群.
これら 2つの概念の共通な一般化は、 formula_20 のグロタンディーク群により与えられる。単純化された完全圏は、別の短系列 A → B → C の類を持つ加法圏である。この別な系列は「完全系列」と呼ばれる。別のクラスの正確な公理はグロタンディーク群を構成する上で問題ではない。
完全圏のグロタンディーク群は、前と同様に圏 formula_20 の対象（の同型類）の生成子 [M] を持ち、各々の完全系列
に対する関係式
を持つアーベル群として定義される。
あるいは完全圏のグロタンディーク群を普遍性を使い定義することもできる。アーベル群 G を写像 formula_24 がグロタンディーク群 formula_20 であるとは、formula_20 からアーベル群 X へのすべての｢加法的」写像 formula_27 （上の意味で「加法的」とは、すべての完全系列 formula_22 に対し、formula_29 となることである）は、一意に φ を通して分解することである。
「完全」の意味を標準的な解釈をすると、すべてのアーベル圏は完全圏である。このことは、formula_30-mod としたとき、formula_20 とする有限生成 R-加群の前のセクションでのグロタンディーク群の考え方をもたらす。前のセクションでは、R はアルティン的であり（従って、ネター的（Noetherian)である）ことを前提とするので、すでに実際はアーベル的である。
他方、この系列だけで包含写像と射影射をもつ formula_32 の形をした系列を完全ということにすると、すべてのも完全である。この過程は、可換モノイド formula_33 のグロタンディーク群を、最初の意味で生成する（ここに formula_34 は、formula_20 の中では（基本的性格を除き）同値類の「集合」を意味する）。
三角圏のグロタンディーク群.
さらに一般化すると、のグロタンディーク群も定義することができる。この構成は本質的には同じであるが、完全三角形 "X" → "Y" → "Z" → "X[1]" に対して関係式 ["X"] - ["Y"] + ["Z"] = 0 を使う。