Weak tilting modules (Q2318378): Difference between revisions

A tilting module \(T\) is a finitely generated module over a finite dimensional algebra \(R\) that satisfies three conditions: (1) it has projective dimension at most one. (2) the group \(\mathrm{Ext}^1(T,T)\) is trivial, and (3) there exists an exact sequence \(0\to R\to U\to V\to 0\) such that \(U\) and \(V\) are direct summands of a direct sum of copies of \(T\). If \(T\) is a tilting module then \(\mathrm{Hom}_R(T,-)\) gives an equivalence of categories between a certain subcategory of finitely-generated \(R\)-modules and finitely-generated \(\mathrm{End}_R(T)\)-modules. This equivalence is an important tool in the representation theory of \(R\). In the paper under review, the authors present a new type of tilting module, a so-called weak tilting module (and a weak \(n\)-tilting module) that is motivated by generalizations of tilting \(R\)-modules where \(R\) is an infinite-dimensional algebra. The dual concept of a tilting module is a cotilting module, and it is known that the character module of a tilting module is cotilting. The authors prove the analogous result for weak tilting modules: that a module is weak tilting if and only if its character module is cotilting. This result shows that the notion of weak tilting is connected to the classical example of tilting in a very natural way, and in fact all tilting modules are weak tilting (which is not totally obvious from their definition). The authors link their notion to some other variants of tilting module. They also provide an application to Gorenstein projectives: roughly, they show that Gorenstein projectives (with respect to a particular type of class of modules) are flat if and only if all such Gorenstein projectives are strict \(W\)-stationary, where \(W\) is any weak \(n\)-tilting module with respect to the class of modules.