Tilting theory

Suppose that A is a finite-dimensional unital associative algebra over some field. A finitely-generated right A-module T is called a tilting module if it has the following three properties:

• T has projective dimension at most 1, in other words it is a quotient of a projective module by a projective submodule.
• Ext{{su|p=1|b=A}}(T,T ) = 0.
• The right A-module A is the kernel of a surjective morphism between finite direct sums of direct summands of T.

Given such a tilting module, we define the endomorphism algebra B = End_A(T ). This is another finite-dimensional algebra, and T is a finitely-generated left B-module.

The tilting functors Hom_A(T,−), Ext{{su|p=1|b=A}}(T,−), −⊗_BT and Tor{{su|p=B|b=1}}(−,T) relate the category mod-A of finitely-generated right A-modules to the category mod-B of finitely-generated right B-modules.

In practice one often considers hereditary finite-dimensional algebras A because the module categories over such algebras are fairly well understood. The endomorphism algebra of a tilting module over a hereditary finite-dimensional algebra is called a tilted algebra.

Suppose A is a finite-dimensional algebra, T is a tilting module over A, and B = End_A(T ). Write F = Hom_A(T,−), F′ = Ext{{su|p=1|b=A}}(T,−), G = −⊗_BT, and G′ = Tor{{su|p=B|b=1}}(−,T). F is right adjoint to G and F′ is right adjoint to G′.

{{harvtxt|Brenner|Butler|1980}} showed that tilting functors give equivalences between certain subcategories of mod-A and mod-B. Specifically, if we define the two subcategories $\backslash mathcal\{F\}=\backslash ker(F)$ and $\backslash mathcal\{T\}=\backslash ker(F\text{'})$ of A-mod, and the two subcategories $\backslash mathcal\{X\}=\backslash ker(G)$ and $\backslash mathcal\{Y\}=\backslash ker(G\text{'})$ of B-mod, then $(\backslash mathcal\{T\},\backslash mathcal\{F\})$ is a torsion pair in A-mod (i.e. $\backslash mathcal\{T\}$ and $\backslash mathcal\{F\}$ are maximal subcategories with the property $\backslash operatorname\{Hom\}(\backslash mathcal\{T\},\backslash mathcal\{F\})=0$; this implies that every M in A-mod admits a natural short exact sequence $0\; \backslash to\; U\; \backslash to\; M\; \backslash to\; V\; \backslash to\; 0$ with U in $\backslash mathcal\{T\}$ and V in $\backslash mathcal\{F\}$) and $(\backslash mathcal\{X\},\backslash mathcal\{Y\})$ is a torsion pair in B-mod. Further, the restrictions of the functors F and G yield inverse equivalences between $\backslash mathcal\{T\}$ and $\backslash mathcal\{Y\}$, while the restrictions of F′ and G′ yield inverse equivalences between $\backslash mathcal\{F\}$ and $\backslash mathcal\{X\}$. (Note that these equivalences switch the order of the torsion pairs $(\backslash mathcal\{T\},\backslash mathcal\{F\})$ and $(\backslash mathcal\{X\},\backslash mathcal\{Y\})$.)

Tilting theory may be seen as a generalization of Morita equivalence which is recovered if T is a projective generator; in that case $\backslash mathcal\{T\}=\backslash operatorname\{mod\}-A$ and $\backslash mathcal\{Y\}=\backslash operatorname\{mod\}-B$.

If A has finite global dimension, then B also has finite global dimension, and the difference of F and F' induces an isometry between the Grothendieck groups K₀(A) and K₀(B).

In case A is hereditary (i.e. B is a tilted algebra), the global dimension of B is at most 2, and the torsion pair $(\backslash mathcal\{X\},\backslash mathcal\{Y\})$ splits, i.e. every indecomposable object of B-mod is either in $\backslash mathcal\{X\}$ or in $\backslash mathcal\{Y\}$.

{{harvtxt|Happel|1988}} and {{harvtxt|Cline|Parshall|Scott|1986}} showed that in general A and B are derived equivalent (i.e. the derived categories D^b(A-mod) and D^b(B-mod) are equivalent as triangulated categories).

A generalized tilting module over the finite-dimensional algebra A is a right A-module T with the following three properties:

• T has finite projective dimension.
• Ext{{su|p=i|b=A}}(T,T) = 0 for all i > 0.
• There is an exact sequence $0\; \backslash to\; A\; \backslash to\; T\_1\; \backslash to\backslash dots\backslash to\; T\_n\; \backslash to\; 0$ where the T_i are finite direct sums of direct summands of T.

These generalized tilting modules also yield derived equivalences between A and B, where B = End_A(T ).

{{harvtxt|Rickard|1989}} extended the results on derived equivalence by proving that two finite-dimensional algebras R and S are derived equivalent if and only if S is the endomorphism algebra of a "tilting complex" over R. Tilting complexes are generalizations of generalized tilting modules. A version of this theorem is valid for arbitrary rings R and S.

{{harvtxt|Happel|Reiten|Smalø|1996}} defined tilting objects in hereditary abelian categories in which all Hom- and Ext-spaces are finite-dimensional over some algebraically closed field k. The endomorphism algebras of these tilting objects are the quasi-tilted algebras, a generalization of tilted algebras. The quasi-tilted algebras over k are precisely the finite-dimensional algebras over k of global dimension ≤ 2 such that every indecomposable module either has projective dimension ≤ 1 or injective dimension ≤ 1. {{harvtxt|Happel|2001}} classified the hereditary abelian categories that can appear in the above construction.

{{harvtxt|Colpi|Fuller|2007}} defined tilting objects T in an arbitrary abelian category C; their definition requires that C contain the direct sums of arbitrary (possibly infinite) numbers of copies of T, so this is not a direct generalization of the finite-dimensional situation considered above. Given such a tilting object with endomorphism ring R, they establish tilting functors that provide equivalences between a torsion pair in C and a torsion pair in R-Mod, the category of all R-modules.

From the theory of cluster algebras came the definition of cluster category (from {{harvtxt|Buan|Marsh|Reineke|Reiten|2006}}) and cluster tilted algebra ({{harvtxt|Buan|Marsh|Reiten|2007}}) associated to a hereditary algebra A. A cluster tilted algebra arises from a tilted algebra as a certain semidirect product, and the cluster category of A summarizes all the module categories of cluster tilted algebras arising from A.

{{refbegin|30em}}

• {{Citation | editor1-last=Angeleri Hügel | editor1-first=Lidia |editor1-link=Lidia Angeleri Hügel| editor2-last=Happel | editor2-first=Dieter | editor3-last=Krause | editor3-first=Henning | title=Handbook of tilting theory | url=http://www.maths.ed.ac.uk/~aar/papers/tilting.pdf | publisher=Cambridge University Press | series=London Mathematical Society Lecture Note Series | isbn=978-0-521-68045-5 | doi=10.1017/CBO9780511735134 | mr=2385175 | year=2007 | volume=332}}
• {{Cite book | last1=Assem | first1=Ibrahim | editor1-last=Balcerzyk | editor1-first=Stanisław | editor2-last=Józefiak | editor2-first=Tadeusz | editor3-last=Krempa | editor3-first=Jan | editor4-last=Simson | editor4-first=Daniel | editor5-last=Vogel | editor5-first=Wolfgang | title=Topics in algebra, Part 1 (Warsaw, 1988) | chapter-url=http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.zamlynska-997c588e-a09b-4afd-ac53-667732d1c8f3/c/bcp_26_1_09.pdf | series=Banach Center Publications | mr=1171230 | year=1990 | volume=26 | chapter=Tilting theory–an introduction | pages=127–180 | location=Warsaw | publisher=PWN | doi=10.4064/-26-1-127-180 }}
• {{Citation | last1=Auslander | first1=Maurice |authorlink1= Maurice Auslander| last2=Platzeck | first2=María Inés | last3=Reiten | first3=Idun |authorlink3=Idun Reiten| title=Coxeter functors without diagrams | doi=10.2307/1998978 | mr=530043 | year=1979 | journal=Transactions of the American Mathematical Society | issn=0002-9947 | volume=250 | pages=1–46| jstor=1998978 | doi-access=free }}
• {{Citation | last1=Bernšteĭn | first1=Iosif N. | authorlink1=Joseph Bernstein| last2=Gelfand | first2=Izrail M. | authorlink2=Israel Gelfand| last3=Ponomarev | first3=V. A. | title=Coxeter functors, and Gabriel's theorem | doi=10.1070/RM1973v028n02ABEH001526 | mr=0393065 | year=1973 | journal=Russian Mathematical Surveys | issn=0042-1316 | volume=28 | issue=2 | pages=17–32| citeseerx=10.1.1.642.2527 | bibcode=1973RuMaS..28...17B }}
• {{Citation | last1=Brenner | first1=Sheila | last2=Butler | first2=Michael C. R. | title=Representation theory, II (Proc. Second Internat. Conf., Carleton Univ., Ottawa, Ont., 1979) | publisher=Springer-Verlag | location=Berlin, New York | series=Lecture Notes in Math. | doi=10.1007/BFb0088461 | mr=607151 | year=1980 | volume=832 | chapter=Generalizations of the Bernstein-Gel'fand-Ponomarev reflection functors | pages=103–169| isbn=978-3-540-10264-9 }}
• {{Citation| last1=Buan | first1=Aslak | last2=Marsh | first2=Robert | authorlink2=Robert James Marsh| last3=Reineke | first3=Markus | last4=Reiten | first4=Idun | authorlink4=Idun Reiten|last5=Todorov |first5=Gordana|author5-link= Gordana Todorov | title=Tilting theory and cluster combinatorics | journal=Advances in Mathematics| volume=204| year=2006| issue=2| pages=572–618|mr=2249625 | doi=10.1016/j.aim.2005.06.003| doi-access=free | arxiv=math/0402054 | s2cid=15318919 }}
• {{Citation| last1=Buan |first1=Aslak| last2=Marsh | first2=Robert| authorlink2=Robert James Marsh| last3=Reiten |first3=Idun | authorlink3=Idun Reiten| title=Cluster-tilted algebras | journal=Transactions of the American Mathematical Society |year=2007|volume=359|number=1|pages=323–332|mr=2247893 | doi=10.1090/s0002-9947-06-03879-7| doi-access=free}}
• {{Citation| last1=Cline | first1= Edward| last2=Parshall| first2=Brian|last3=Scott|first3=Leonard|title=Derived categories and Morita theory|journal=Algebra|volume=104| issue= 2|year=1986|pages=397–409| doi=10.1016/0021-8693(86)90224-3|mr=0866784|doi-access=}}
• {{Citation|journal=Transactions of the American Mathematical Society |volume=359|number=2|date=February 2007|pages=741–765|url=http://www.ams.org/journals/tran/2007-359-02/S0002-9947-06-03909-2/S0002-9947-06-03909-2.pdf|title=Tilting Objects in Abelian Categories and Quasitilted Rings|first1=Riccardo|last1=Colpi|first2=Kent R.|last2=Fuller| doi = 10.1090/s0002-9947-06-03909-2 |doi-access=free}}
• {{Citation| first1=Dieter|last1=Happel|first2=Idun|last2=Reiten|authorlink2=Idun Reiten| first3=Sverre O.|last3=Smalø|title=Tilting in abelian categories and quasitilted algebras|journal=Memoirs of the American Mathematical Society |volume=575|year=1996}}
• {{Citation | last1=Happel | first1=Dieter | last2=Ringel | first2=Claus Michael | title=Tilted algebras | doi=10.2307/1999116 | mr=675063 | year=1982 | journal=Transactions of the American Mathematical Society | issn=0002-9947 | volume=274 | issue=2 | pages=399–443| jstor=1999116 | doi-access=free }}
• {{Citation|last1=Happel|first1=Dieter|title=Triangulated categories in the representation theory of finite-dimensional algebras|year=1988|series=London Mathematical Society Lecture Notes Series|volume=119|publisher=Cambridge University Press|doi=10.1017/CBO9780511629228|isbn=9780521339223}}
• {{Citation|first1=Dieter|last1=Happel|title=A characterization of hereditary categories with tilting object|journal=Invent. Math.|volume=144|issue=2|year=2001|pages=381–398|doi=10.1007/s002220100135|bibcode=2001InMat.144..381H|s2cid=120437744}}
• {{Citation|last1=Rickard|first1=Jeremy|title=Morita theory for derived categories|journal=Journal of the London Mathematical Society|number=2|volume=39|year=1989|pages=436–456|doi=10.1112/jlms/s2-39.3.436}}
• {{eom|id=T/t130130|title=Tilting theory|first=L.|last= Unger}}

{{refend}}

Category:Representation theory