コンテンツにスキップ
Wikipedia

傾理論

出典: フリー百科事典『ウィキペディア(Wikipedia)』
「

It turns out that there are applications of our functors which make use of the analogous transformations which we like to think of as a change of basis for a fixed root-system — a tilting of the axes relative to the roots which results in a different subset of roots lying in the positive cone. ... For this reason, and because the word 'tilt' inflects easily, we call our functors tilting functors or simply tilts.

」

—Brenner & Butler (1980, p. 103)

数学、特に表現論において、傾理論(けいりろん、英: tilting theory)は多元環上の加群の圏をいわゆる傾加群(けいかぐん、英: tilting module)と付随する傾関手(けいかんしゅ、英: tilting functor)によって関連づける方法を記述する。ここで一方の多元環は他方の多元環上の傾加群の自己準同型多元環である。

傾理論は Bernšteĭn, Gelfand & Ponomarev (1973) によって導入された鏡映関手によって動機づけられた。これらの関手は箙の表現を関連づけていた。これらの関手は Auslander, Platzeck & Reiten (1979) によって再定式化され、(傾関手を導入した)Brenner & Butler (1980) によって一般化された。

定義

[編集 ]

体上の有限次元単位的結合多元環 A をとる。有限生成右 A 加群 T が以下の3つの性質を満たすとき傾加群であるという。

傾加群 T が与えられたとき、B = EndA(T) とおく。これは有限次元多元環で、T は有限生成左 B 加群である。傾関手 HomA(T, –), ExtA1(T, –), – ⊗B T, TorB1(–, T) は有限生成右 A 加群の圏 mod A と有限生成右 B 加群の圏 mod B を関連づける。

実際には加群圏が極めてよく理解されている有限次元遺伝的多元環 A を考えることが多い。有限次元遺伝的多元環上の傾加群の自己準同型多元環は tilted algebra と呼ばれる。

事実

[編集 ]

有限次元単位的結合多元環 A をとり、T を A 上の傾加群、B = EndA(T) とする。ここで F = HomA(T, –), F′ = ExtA1(T, –), G = – ⊗B T, G′ = TorB1(–, T) とおく。このとき F は G の右随伴であり、 F′ は G′ の右随伴である。

Brenner & Butler (1980) は傾関手が mod A と mod B のある部分圏の間に圏同値を与えることを示した。具体的には mod A の部分圏を F = ker ⁡ F {\displaystyle {\mathcal {F}}=\ker F} {\displaystyle {\mathcal {F}}=\ker F}, T = ker ⁡ F ′ {\displaystyle {\mathcal {T}}=\ker F'} {\displaystyle {\mathcal {T}}=\ker F'} で定め、mod B の部分圏を X = ker ⁡ G {\displaystyle {\mathcal {X}}=\ker G} {\displaystyle {\mathcal {X}}=\ker G}, Y = ker ⁡ G ′ {\displaystyle {\mathcal {Y}}=\ker G'} {\displaystyle {\mathcal {Y}}=\ker G'} で定めると ( T , F ) {\displaystyle ({\mathcal {T}},{\mathcal {F}})} {\displaystyle ({\mathcal {T}},{\mathcal {F}})} は mod A における torsion pair [注釈 1] であり、 ( X , Y ) {\displaystyle ({\mathcal {X}},{\mathcal {Y}})} {\displaystyle ({\mathcal {X}},{\mathcal {Y}})} は mod B における torsion pair である。さらに関手 F, G の制限は T {\displaystyle {\mathcal {T}}} {\displaystyle {\mathcal {T}}} と Y {\displaystyle {\mathcal {Y}}} {\displaystyle {\mathcal {Y}}} との間の圏同値を与え、関手 F′, G′ の制限は F {\displaystyle {\mathcal {F}}} {\displaystyle {\mathcal {F}}} と X {\displaystyle {\mathcal {X}}} {\displaystyle {\mathcal {X}}} との間の圏同値を与える。(これらの圏同値は torsion pairs ( T , F ) {\displaystyle ({\mathcal {T}},{\mathcal {F}})} {\displaystyle ({\mathcal {T}},{\mathcal {F}})} と ( X , Y ) {\displaystyle ({\mathcal {X}},{\mathcal {Y}})} {\displaystyle ({\mathcal {X}},{\mathcal {Y}})} の順序を入れ替えていることに注意。)

傾理論は T を射影生成素とすれば森田同値が得られるので、森田理論の一般化とみることもできる;このとき T = mod ⁡ A {\displaystyle {\mathcal {T}}=\operatorname {mod} A} {\displaystyle {\mathcal {T}}=\operatorname {mod} A} で Y = mod ⁡ B {\displaystyle {\mathcal {Y}}=\operatorname {mod} B} {\displaystyle {\mathcal {Y}}=\operatorname {mod} B} である。

もし A が大域次元有限ならば、 B が大域次元有限であり、F と F′ の差がグロタンディーク群 K0(A) と K0(B) の間の等長写像を誘導する。

もし A が遺伝的(つまり B が tilted algebra)で、B の大域次元が高々 2 ならば、torsion pair ( X , Y ) {\displaystyle ({\mathcal {X}},{\mathcal {Y}})} {\displaystyle ({\mathcal {X}},{\mathcal {Y}})} は分裂する;つまり mod B のすべての直既約対象は X {\displaystyle {\mathcal {X}}} {\displaystyle {\mathcal {X}}} または Y {\displaystyle {\mathcal {Y}}} {\displaystyle {\mathcal {Y}}} に属する。

Happel (1988) と Cline, Parshall, Scott (1986) は一般に A と B は導来同値(つまり導来圏 Db(mod A) と Db(mod B) とが三角圏 (英語版)として同値)であることを示した。


脚注

[編集 ]
  1. ^ T {\displaystyle {\mathcal {T}}} {\displaystyle {\mathcal {T}}} と F {\displaystyle {\mathcal {F}}} {\displaystyle {\mathcal {F}}} は Hom ⁡ ( T , F ) = 0 {\displaystyle \operatorname {Hom} ({\mathcal {T}},{\mathcal {F}})=0} {\displaystyle \operatorname {Hom} ({\mathcal {T}},{\mathcal {F}})=0} という性質を満たす極大部分圏である;これはすべての M ∈ mod A が U ∈ T {\displaystyle U\in {\mathcal {T}}} {\displaystyle U\in {\mathcal {T}}} と V ∈ F {\displaystyle V\in {\mathcal {F}}} {\displaystyle V\in {\mathcal {F}}} とを満たす自然な短完全列 0 → U → M → V → 0 を持つことを意味する。

参考文献

[編集 ]

AltStyle によって変換されたページ (->オリジナル) /