Tilting modules over split-by-nilpotent extensions (Q4395745)

Let \(A\) and \(R\) be two finite dimensional algebras over a field \(k\). Recall that \(R\) is a split-by-nilpotent extension of \(A\) provided there exists a split surjective algebra morphism \(R\to A\) whose kernel \(Q\) is contained in the radical of \(R\). The authors deal with the question of extending tilting modules from \(A\) to \(R\). More precisely, they prove the following: Let \(R\) be a split extension of \(A\) by the nilpotent bimodule \(Q\), and \(T_A\) be an \(A\)-module. Then \(T\otimes_AR\) is a (partial) tilting \(R\)-module if and only if \(T_A\) is a (partial) tilting \(A\)-module, \(\Hom_A(T\otimes_A Q,\tau_AT)=0\) and \(\Hom_A(D(_AQ),\tau_AT)=0\). This generalizes previous results by Tachikawa-Wakamatsu for trivial extensions by the dual of its trace ideal and by Miyachi for trivial extensions of algebras. Such results have also been, independently, generalized to tilting modules of large projective dimension and to *-modules.