グロタンディーク群

グロタンディーク群についての詳細

数学の一分野である抽象代数学において、グロタンディーク群は特に重要な役割を果たします。この群は、可換モノイドから構成される最も普遍的なアーベル群とみなされ、自然数から整数を生成する標準的な方法を一般化したものです。グロタンディーク群の名前は、アレクサンドル・グロタンディークから取られ、彼が1950年代にK-理論を発展させる際に導入した概念です。この群は、特にグロタンディーク・リーマン・ロッホ定理の証明において中心的な役割を果たしました。

可換モノイドとグロタンディーク群

ある可換モノイド M が与えられた場合、加法逆元を導入することで、新しいアーベル群 K を構成することを目指します。この群 K には、以下のような特性があります。モノイド準同型 i : M → K が存在し、M から任意のアーベル群 A へのモノイド準同型 f : M → A に対して、一意に群準同型 g : K → A がつくり出されるのです。この関係は、K が M の準同型像を含む最も一般的な群であることを示しています。

グロタンディーク群の構成

グロタンディーク群を具体的に構成するには、まずデカルト積 M × M を考えます。ここで、2つの元はそれぞれ正の部分と負の部分に対応し、(m, n) は直観的には m - n に関連付けられます。M × M における加法は、各座標ごとに定義され、次のようになります。

$$(m1, m2) + (n1, n2) = (m1 + n1, m2 + n2)$$

次に、同値関係を定義します。ある M の元 k に対して、m1 + n2 + k = m2 + n1 + k が成り立つとき、(m1, m2) と (n1, n2) は同値であるとします。このように構成された K の要素は同値類の集合であり、K 上の加法は同値関係に整合性があります。この結果として得られる K はアーベル群になります。

グロタンディーク群 K は生成元と関係式を用いても構成可能であり、自由アーベル群 Z(M) の商群として表される部分群によって構成されます。これにより、任意の半群に対しても実行可能な群が得られ、「半群の分数群」としても知られています。

グロタンディーク群の性質

圏論的視点から見ると、ちゃんとした普遍的構成から関手が導出されます。可換モノイドの圏からアーベル群の圏へと M を K に送る函手が存在し、これは同時にアーベル群から可換モノイドへの忘却函手の左随伴です。また、可換モノイド M に対し、写像 i : M → K が単射であるための条件と M が消約律を満たすことは等価です。

具体的な例

グロタンディーク群の基本的な例が自然数から整数を生成する方法です。自然数は可換モノイド (N, +) を形成し、グロタンディーク群の構成を用いると、自然数の形式的な差 n - m が得られます。同値関係はもちろん、整数の定義にもつながります。この構成はK-理論においても重要で、実際にはコンパクト多様体上のベクトル束の同型類からなるグロタンディーク群 K0(M) へと広がっていきます。

もう一つの興味深い例が、環上の有限生成加群によるグロタンディーク群 G0(R) です。ここで、有限生成 R-アーベル群の同型類から構成されます。この構成は関手の観点からも重要で、加法的な性質を持つ写像を通じて群準同型を導出できます。特に、この群は群環の指標として機能し、表現論において極めて豊富な情報を提供します。

総括

グロタンディーク群は、抽象代数学及び圏論において非常に重要な役割を果たしています。その普遍的性質により、様々な数学的対象との関連性があり、多様体や環の理論においても応用が期待されています。この群を通じて、数理的な解釈が深まり、さまざまな場面で利用されています。

もう一度検索