傾理論

数学、特に表現論において、傾理論（けいりろん、英: 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である；つまり、射影加群の射影部分加群による商である ExtA1(T, T) = 0 右 A 加群 A が T の有限直和の直和因子間の全射の核[要曖昧さ回避]である 傾加群 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} , T = ker ⁡ F ′ {\displaystyle {\mathcal {T}}=\ker F'} で定め、mod B の部分圏を X = ker ⁡ G {\displaystyle {\mathcal {X}}=\ker G} , Y = ker ⁡ G ′ {\displaystyle {\mathcal {Y}}=\ker G'} で定めると ( T , F ) {\displaystyle ({\mathcal {T}},{\mathcal {F}})} は mod A における torsion pair であり、 ( X , Y ) {\displaystyle ({\mathcal {X}},{\mathcal {Y}})} は mod B における torsion pair である。さらに関手 F, G の制限は T {\displaystyle {\mathcal {T}}} と Y {\displaystyle {\mathcal {Y}}} との間の圏同値を与え、関手 F′, G′ の制限は F {\displaystyle {\mathcal {F}}} と X {\displaystyle {\mathcal {X}}} との間の圏同値を与える。（これらの圏同値は torsion pairs ( T , F ) {\displaystyle ({\mathcal {T}},{\mathcal {F}})} と ( X , Y ) {\displaystyle ({\mathcal {X}},{\mathcal {Y}})} の順序を入れ替えていることに注意。） 傾理論は T を射影生成素とすれば森田同値が得られるので、森田理論の一般化とみることもできる；このとき T = mod ⁡ A {\displaystyle {\mathcal {T}}=\operatorname {mod} A} で Y = 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}})} は分裂する；つまり mod B のすべての直既約対象は X {\displaystyle {\mathcal {X}}} または Y {\displaystyle {\mathcal {Y}}} に属する。 Happel (1988) と Cline, Parshall, Scott (1986) は一般に A と B は導来同値（つまり導来圏 Db(mod A) と Db(mod B) とが三角圏（英語版）として同値）であることを示した。 ^ T {\displaystyle {\mathcal {T}}} と F {\displaystyle {\mathcal {F}}} は Hom ⁡ ( T , F ) = 0 {\displaystyle \operatorname {Hom} ({\mathcal {T}},{\mathcal {F}})=0} という性質を満たす極大部分圏である；これはすべての M ∈ mod A が U ∈ T {\displaystyle U\in {\mathcal {T}}} と V ∈ F {\displaystyle V\in {\mathcal {F}}} とを満たす自然な短完全列 0 → U → M → V → 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, http://www.maths.ed.ac.uk/~aar/papers/tilting.pdf  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, http://journals.impan.gov.pl/BC/oldindex.html  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, http://www.math.virginia.edu/~lls2l/derived_categories_and_morita_theory.pdf  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, http://www.ams.org/journals/tran/2007-359-02/S0002-9947-06-03909-2/S0002-9947-06-03909-2.pdf  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, http://staff.ustc.edu.cn/~yhbao/WRTA2012/download/III-3-triangulated-categories-in-the-representation-theory-of-finite-dimensional-algebras.pdf  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, http://www1.ahu.edu.cn/math/mathweb2/wrta2012/download/III-4-Morita-theory-for-derived-categories.pdf  Unger, L. (2001), “Tilting theory”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Tilting_theory