傾理論

傾理論の概要

傾理論は、数学の一分野である表現論における重要な理論であり、特に多元環上の加群に関連しています。この理論は、傾加群と呼ばれる特殊な加群と、それに付随する傾関手によって、加群の圏を構築する方法を提供します。多元環の観点から見ると、一方の多元環は、他方の多元環上の傾加群の自己準同型多元環となっています。

歴史的背景

傾理論は1973年にBernšteĭn、Gelfand、Ponomarevによって導入された鏡映関手に触発されました。これらの関手は、加群の表現に関連し、その後、Auslander、Platzeck、Reitenによって再定義されました。1980年には、BrennerとButlerによってこの理論が一般化され、傾関手の導入が行われました。これにより、傾理論は、線形代数や多元環の研究において新たな道を切り拓くこととなりました。

傾加群の定義と性質

傾理論では、体上の有限次元単位的結合多元環Aを考えます。加群Tが以下の条件を満たすと、Tは傾加群と見なされます：

1. 加群Tの射影次元が高々1であること。
2. Ext^1_A(T, T)が0であること。
3. 加群AがTの有限直和の直和因子間の全射の核であること。

これにより、傾加群TからB=End_A(T)と定義される有限次元多元環が導出されます。このBにおいて、Tは有限生成左B加群として振る舞います。傾関手として、Hom_A(T, -)、Ext^1_A(T, -)、- ⊗_B T、Tor^1_B(-, T)が設定され、これらの関手は、有限生成右A加群の圏mod Aと有限生成右B加群の圏mod Bとを対応付けます。

具体的な結果

特に、有限次元遺伝的多元環Aにおいては、傾加群の自己準同型多元環がtilted algebraと呼ばれるものになります。TがA上の傾加群で、B=End_A(T)のとき、Hom_A(T, -)はGの右随伴であり、Ext^1_A(T, -)はG'の右随伴です。BrennerとButlerはこの傾関手がmod Aとmod Bの間に圏同値を与えることを示しました。

具体的には、mod Aの部分圏F、Tを定義し、mod Bの部分圏X、Yを設定すると、(T, F)はmod Aの中でのトルション対となります。これに加えて、関手FおよびGの制限を考えると、TとYとの間の圏同値が得られます。

理論の重要性

傾理論は、加群圏の深い性質を理解する上で非常に強力なツールであり、特に森田理論の一般化としても解釈されます。これにより、Aが大域次元有限である場合、Bもまた大域次元有限であることが示され、FとF'の差がグロタンディーク群の間の等長写像を定めることになります。また、Aが遺伝的でBの大域次元が高々2である場合、mod Bのすべての直既約対象はXまたはYに属することが確認できるため、この理論の適用範囲は非常に広範です。

近年、HappelやClineらによって、AとBが導来同値な関係にあることが示され、加群の圏における傾理論の重要性はますます増しています。これにより、数学における加群の理解が一層深まり、より複雑な構造を持つ対象の研究にも寄与しています。

もう一度検索