傾理論

「	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$ の射影次元が高々1である；つまり、射影加群の射影部分加群による商である
$Ext A 1 (T, T) = 0$
右 $A$ 加群 $A$ が $T$ の有限直和の直和因子間の全射の核^{[要曖昧さ回避]}である

傾加群 $T$ が与えられたとき、 $B = End A (T)$ とおく。これは有限次元多元環で、 $T$ は有限生成左 $B$ 加群である。傾関手 $Hom A (T, -)$ , $Ext A 1 (T, -)$ , $- \otimes B T$ , $Tor B 1 (-, T)$ は有限生成右 $A$ 加群の圏 $mod A$ と有限生成右 $B$ 加群の圏 $mod B$ を関連づける。

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

事実[編集]

有限次元単位的結合多元環 $A$ をとり、 $T$ を $A$ 上の傾加群、 $B = End A (T)$ とする。ここで $F = Hom A (T, -)$ , $F' = Ext A 1 (T, -)$ , $G = - \otimes B T$ , $G' = Tor B 1 (-, T)$ とおく。このとき $F$ は $G$ の右随伴であり、 $F'$ は $G'$ の右随伴である。

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

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

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

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

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

脚注[編集]

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

参考文献[編集]

Angeleri Hügel, Lidia; Happel, Dieter; Krause, Henning, eds. (2007), Handbook of tilting theory, London Mathematical Society Lecture Note Series, 332, Cambridge University Press, doi:10.1017/CBO9780511735134, ISBN 978-0-521-68045-5, MR2385175
Assem, Ibrahim (1990), Tilting theory---an introduction, in Balcerzyk, Stanisław; Józefiak, Tadeusz; Krempa, Jan et al., “Topics in algebra, Part 1 (Warsaw, 1988)”, Banach Center Publications, Banach Center Publ. (Warszawa: PWN) 26: 127–180, MR1171230
Auslander, Maurice; Platzeck, María Inés; Reiten, Idun (1979), “Coxeter functors without diagrams”, Transactions of the American Mathematical Society 250: 1–46, doi:10.2307/1998978, ISSN 0002-9947, MR530043
Bernšteĭn, I. N.; Gelfand, I. M.; Ponomarev, V. A. (1973), “Coxeter functors, and Gabriel's theorem”, Russian mathematical surveys 28 (2): 17–32, doi:10.1070/RM1973v028n02ABEH001526, ISSN 0042-1316, MR0393065
Brenner, Sheila; Butler, M. C. R. (1980), “Generalizations of the Bernstein-Gel'fand-Ponomarev reflection functors”, Representation theory, II (Proc. Second Internat. Conf., Carleton Univ., Ottawa, Ont., 1979), Lecture Notes in Math., 832, Berlin, New York: Springer-Verlag, pp. 103–169, doi:10.1007/BFb0088461, MR607151
Cline, E.; Parshall, B.; Scott, L. (1986), “Derived categories and Morita theory”, Algebra 104: 397–409, doi:10.1016/0021-8693(86)90224-3
Colpi, Riccardo; Fuller, Kent R. (February 2007), “Tilting Objects in Abelian Categories and Quasitilted Rings”, Transactions of the American Mathematical Society 359 (2): 741–765, doi:10.1090/s0002-9947-06-03909-2
Happel, Dieter; Reiten, Idun; Smalø, S.O. (1996), “Tilting in abelian categories and quasitilted algebras”, Memoirs American Mathematical Society 575
Happel, Dieter; Ringel, Claus Michael (1982), “Tilted algebras”, Transactions of the American Mathematical Society 274 (2): 399–443, doi:10.2307/1999116, ISSN 0002-9947, MR675063
Happel, Dieter (1988), Triangulated categories in the representation theory of finite-dimensional algebras, London Mathematical Society Lecture Notes, 119, Cambridge University Press
Happel, Dieter (2001), “A characterization of hereditary categories with tilting object”, Invent. Math. 144 (2): 381–398, doi:10.1007/s002220100135
Rickard, Jeremy (1989), “Morita theory for derived categories”, Journal London Mathematical Society 39 (2): 436–456
Unger, L. (2001), “Tilting theory”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

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

[注釈 1]